About the Execution of ITS-Tools for Echo-PT-d04r03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1975.943 | 3600000.00 | 3710903.00 | 10838.40 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r158-smll-171636266200130.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is Echo-PT-d04r03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-smll-171636266200130
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1012K
-rw-r--r-- 1 mcc users 6.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K May 19 07:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 19 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 19 07:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 18:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 12 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Apr 12 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 12 04:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Apr 12 04:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 530K May 18 16:42 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 Echo-PT-d04r03-CTLFireability-2024-00
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-01
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-02
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-03
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-04
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-05
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-06
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-07
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-08
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-09
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-10
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2024-11
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2023-12
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2023-13
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2023-14
FORMULA_NAME Echo-PT-d04r03-CTLFireability-2023-15
=== Now, execution of the tool begins
BK_START 1716489873870
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d04r03
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202405141337
[2024-05-23 18:44:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-23 18:44:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-23 18:44:36] [INFO ] Load time of PNML (sax parser for PT used): 397 ms
[2024-05-23 18:44:36] [INFO ] Transformed 1019 places.
[2024-05-23 18:44:36] [INFO ] Transformed 850 transitions.
[2024-05-23 18:44:36] [INFO ] Found NUPN structural information;
[2024-05-23 18:44:36] [INFO ] Parsed PT model containing 1019 places and 850 transitions and 6340 arcs in 648 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 26 ms.
Support contains 362 out of 1019 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1019/1019 places, 850/850 transitions.
Reduce places removed 81 places and 0 transitions.
Iterating post reduction 0 with 81 rules applied. Total rules applied 81 place count 938 transition count 850
Applied a total of 81 rules in 232 ms. Remains 938 /1019 variables (removed 81) and now considering 850/850 (removed 0) transitions.
// Phase 1: matrix 850 rows 938 cols
[2024-05-23 18:44:38] [INFO ] Computed 432 invariants in 1461 ms
[2024-05-23 18:45:15] [INFO ] Performed 22/938 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2024-05-23 18:45:47] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 64 seconds.
[2024-05-23 18:46:19] [INFO ] Performed 35/938 implicitness test of which 0 returned IMPLICIT in 96 seconds.
[2024-05-23 18:46:52] [INFO ] Performed 56/938 implicitness test of which 0 returned IMPLICIT in 130 seconds.
[2024-05-23 18:46:52] [INFO ] Timeout of Implicit test with SMT after 130 seconds.
[2024-05-23 18:46:52] [INFO ] Implicit Places using invariants in 135430 ms returned []
[2024-05-23 18:46:52] [INFO ] Invariant cache hit.
[2024-05-23 18:47:42] [INFO ] Performed 103/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 18:48:27] [INFO ] Performed 161/938 implicitness test of which 0 returned IMPLICIT in 81 seconds.
[2024-05-23 18:48:59] [INFO ] Performed 163/938 implicitness test of which 0 returned IMPLICIT in 113 seconds.
[2024-05-23 18:49:31] [INFO ] Performed 166/938 implicitness test of which 0 returned IMPLICIT in 146 seconds.
[2024-05-23 18:49:31] [INFO ] Timeout of Implicit test with SMT after 146 seconds.
[2024-05-23 18:49:31] [INFO ] Implicit Places using invariants and state equation in 159106 ms returned []
Implicit Place search using SMT with State Equation took 294612 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 18:49:32] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30055 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30025 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 61319ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 61365ms
Starting structural reductions in LTL mode, iteration 1 : 938/1019 places, 850/850 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 356261 ms. Remains : 938/1019 places, 850/850 transitions.
Support contains 362 out of 938 places after structural reductions.
[2024-05-23 18:50:33] [INFO ] Flatten gal took : 284 ms
[2024-05-23 18:50:34] [INFO ] Flatten gal took : 202 ms
[2024-05-23 18:50:34] [INFO ] Input system was already deterministic with 850 transitions.
Support contains 309 out of 938 places (down from 362) after GAL structural reductions.
RANDOM walk for 40000 steps (244 resets) in 3159 ms. (12 steps per ms) remains 4/86 properties
BEST_FIRST walk for 40004 steps (8 resets) in 497 ms. (80 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 462 ms. (86 steps per ms) remains 3/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 440 ms. (90 steps per ms) remains 2/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 501 ms. (79 steps per ms) remains 1/2 properties
[2024-05-23 18:50:36] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/13 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/13 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 650/663 variables, 160/173 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/663 variables, 650/823 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/663 variables, 0/823 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 275/938 variables, 272/1095 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/938 variables, 275/1370 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/938 variables, 0/1370 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (OVERLAPS) 850/1788 variables, 938/2308 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1788/1788 variables, and 2308 constraints, problems are : Problem set: 0 solved, 1 unsolved in 3867 ms.
Refiners :[Domain max(s): 938/938 constraints, Generalized P Invariants (flows): 432/432 constraints, State Equation: 938/938 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/13 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/13 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 663/1788 variables, and 173 constraints, problems are : Problem set: 0 solved, 1 unsolved in 1139 ms.
Refiners :[Domain max(s): 13/938 constraints, Generalized P Invariants (flows): 160/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints]
After SMT, in 5087ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 0 ms.
Support contains 13 out of 938 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 938/938 places, 850/850 transitions.
Graph (complete) has 3593 edges and 938 vertex of which 922 are kept as prefixes of interest. Removing 16 places using SCC suffix rule.13 ms
Discarding 16 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 8 place count 922 transition count 842
Applied a total of 8 rules in 191 ms. Remains 922 /938 variables (removed 16) and now considering 842/850 (removed 8) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 191 ms. Remains : 922/938 places, 842/850 transitions.
RANDOM walk for 40000 steps (252 resets) in 1186 ms. (33 steps per ms) remains 1/1 properties
BEST_FIRST walk for 34853 steps (7 resets) in 408 ms. (85 steps per ms) remains 0/1 properties
[2024-05-23 18:50:42] [INFO ] Flatten gal took : 113 ms
[2024-05-23 18:50:42] [INFO ] Flatten gal took : 119 ms
[2024-05-23 18:50:42] [INFO ] Input system was already deterministic with 850 transitions.
Computed a total of 938 stabilizing places and 850 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 938 transition count 850
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 1 formulas.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 41 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 18:50:42] [INFO ] Invariant cache hit.
[2024-05-23 18:51:18] [INFO ] Performed 23/938 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2024-05-23 18:51:50] [INFO ] Performed 25/938 implicitness test of which 0 returned IMPLICIT in 64 seconds.
[2024-05-23 18:52:22] [INFO ] Performed 27/938 implicitness test of which 0 returned IMPLICIT in 96 seconds.
[2024-05-23 18:52:55] [INFO ] Performed 44/938 implicitness test of which 0 returned IMPLICIT in 129 seconds.
[2024-05-23 18:52:55] [INFO ] Timeout of Implicit test with SMT after 129 seconds.
[2024-05-23 18:52:55] [INFO ] Implicit Places using invariants in 132653 ms returned []
[2024-05-23 18:52:55] [INFO ] Invariant cache hit.
[2024-05-23 18:53:50] [INFO ] Performed 38/938 implicitness test of which 0 returned IMPLICIT in 42 seconds.
[2024-05-23 18:54:31] [INFO ] Performed 52/938 implicitness test of which 0 returned IMPLICIT in 83 seconds.
[2024-05-23 18:55:05] [INFO ] Performed 57/938 implicitness test of which 0 returned IMPLICIT in 117 seconds.
[2024-05-23 18:55:35] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160028 ms
Implicit Place search using SMT with State Equation took 292683 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 18:55:35] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30053 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30022 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 61117ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 61131ms
Finished structural reductions in LTL mode , in 1 iterations and 353862 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 18:56:36] [INFO ] Flatten gal took : 61 ms
[2024-05-23 18:56:36] [INFO ] Flatten gal took : 76 ms
[2024-05-23 18:56:37] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 18:56:37] [INFO ] Flatten gal took : 57 ms
[2024-05-23 18:56:37] [INFO ] Flatten gal took : 58 ms
[2024-05-23 18:56:37] [INFO ] Time to serialize gal into /tmp/CTLFireability8106571920094740254.gal : 41 ms
[2024-05-23 18:56:37] [INFO ] Time to serialize properties into /tmp/CTLFireability5530614956275768243.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8106571920094740254.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5530614956275768243.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 18:57:07] [INFO ] Flatten gal took : 60 ms
[2024-05-23 18:57:07] [INFO ] Applying decomposition
[2024-05-23 18:57:07] [INFO ] Flatten gal took : 58 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph14622265723185374005.txt' '-o' '/tmp/graph14622265723185374005.bin' '-w' '/tmp/graph14622265723185374005.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph14622265723185374005.bin' '-l' '-1' '-v' '-w' '/tmp/graph14622265723185374005.weights' '-q' '0' '-e' '0.001'
[2024-05-23 18:57:07] [INFO ] Decomposing Gal with order
[2024-05-23 18:57:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 18:57:08] [INFO ] Removed a total of 1495 redundant transitions.
[2024-05-23 18:57:08] [INFO ] Flatten gal took : 288 ms
[2024-05-23 18:57:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 241 labels/synchronizations in 71 ms.
[2024-05-23 18:57:08] [INFO ] Time to serialize gal into /tmp/CTLFireability10474671179414092294.gal : 29 ms
[2024-05-23 18:57:08] [INFO ] Time to serialize properties into /tmp/CTLFireability7468502651564411362.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10474671179414092294.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7468502651564411362.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 35 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 18:57:38] [INFO ] Invariant cache hit.
[2024-05-23 18:58:14] [INFO ] Performed 23/938 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2024-05-23 18:58:46] [INFO ] Performed 25/938 implicitness test of which 0 returned IMPLICIT in 64 seconds.
[2024-05-23 18:59:20] [INFO ] Performed 41/938 implicitness test of which 0 returned IMPLICIT in 98 seconds.
[2024-05-23 18:59:53] [INFO ] Performed 65/938 implicitness test of which 0 returned IMPLICIT in 132 seconds.
[2024-05-23 18:59:53] [INFO ] Timeout of Implicit test with SMT after 132 seconds.
[2024-05-23 18:59:53] [INFO ] Implicit Places using invariants in 135361 ms returned []
[2024-05-23 18:59:53] [INFO ] Invariant cache hit.
[2024-05-23 19:00:43] [INFO ] Performed 23/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:01:15] [INFO ] Performed 25/938 implicitness test of which 0 returned IMPLICIT in 68 seconds.
[2024-05-23 19:01:45] [INFO ] Performed 65/938 implicitness test of which 0 returned IMPLICIT in 98 seconds.
[2024-05-23 19:02:18] [INFO ] Performed 67/938 implicitness test of which 0 returned IMPLICIT in 131 seconds.
[2024-05-23 19:02:18] [INFO ] Timeout of Implicit test with SMT after 131 seconds.
[2024-05-23 19:02:18] [INFO ] Implicit Places using invariants and state equation in 144089 ms returned []
Implicit Place search using SMT with State Equation took 279452 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:02:18] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30020 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30020 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60802ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60814ms
Finished structural reductions in LTL mode , in 1 iterations and 340305 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:03:18] [INFO ] Flatten gal took : 57 ms
[2024-05-23 19:03:19] [INFO ] Flatten gal took : 57 ms
[2024-05-23 19:03:19] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:03:19] [INFO ] Flatten gal took : 53 ms
[2024-05-23 19:03:19] [INFO ] Flatten gal took : 53 ms
[2024-05-23 19:03:19] [INFO ] Time to serialize gal into /tmp/CTLFireability14166040867870054046.gal : 8 ms
[2024-05-23 19:03:19] [INFO ] Time to serialize properties into /tmp/CTLFireability1532322743810783732.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14166040867870054046.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1532322743810783732.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:03:49] [INFO ] Flatten gal took : 53 ms
[2024-05-23 19:03:49] [INFO ] Applying decomposition
[2024-05-23 19:03:49] [INFO ] Flatten gal took : 52 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph268691179195852098.txt' '-o' '/tmp/graph268691179195852098.bin' '-w' '/tmp/graph268691179195852098.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph268691179195852098.bin' '-l' '-1' '-v' '-w' '/tmp/graph268691179195852098.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:03:49] [INFO ] Decomposing Gal with order
[2024-05-23 19:03:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:03:49] [INFO ] Removed a total of 1494 redundant transitions.
[2024-05-23 19:03:49] [INFO ] Flatten gal took : 169 ms
[2024-05-23 19:03:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 278 labels/synchronizations in 111 ms.
[2024-05-23 19:03:50] [INFO ] Time to serialize gal into /tmp/CTLFireability8396664062594684828.gal : 20 ms
[2024-05-23 19:03:50] [INFO ] Time to serialize properties into /tmp/CTLFireability13856030897654740250.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8396664062594684828.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13856030897654740250.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 18 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 19:04:20] [INFO ] Invariant cache hit.
[2024-05-23 19:04:57] [INFO ] Performed 42/938 implicitness test of which 0 returned IMPLICIT in 34 seconds.
[2024-05-23 19:05:30] [INFO ] Performed 47/938 implicitness test of which 0 returned IMPLICIT in 67 seconds.
[2024-05-23 19:06:03] [INFO ] Performed 51/938 implicitness test of which 0 returned IMPLICIT in 99 seconds.
[2024-05-23 19:06:36] [INFO ] Performed 71/938 implicitness test of which 0 returned IMPLICIT in 133 seconds.
[2024-05-23 19:06:36] [INFO ] Timeout of Implicit test with SMT after 133 seconds.
[2024-05-23 19:06:36] [INFO ] Implicit Places using invariants in 136520 ms returned []
[2024-05-23 19:06:36] [INFO ] Invariant cache hit.
[2024-05-23 19:07:25] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:07:55] [INFO ] Performed 74/938 implicitness test of which 0 returned IMPLICIT in 66 seconds.
[2024-05-23 19:08:25] [INFO ] Performed 127/938 implicitness test of which 0 returned IMPLICIT in 96 seconds.
[2024-05-23 19:09:01] [INFO ] Performed 134/938 implicitness test of which 0 returned IMPLICIT in 132 seconds.
[2024-05-23 19:09:01] [INFO ] Timeout of Implicit test with SMT after 132 seconds.
[2024-05-23 19:09:01] [INFO ] Implicit Places using invariants and state equation in 144678 ms returned []
Implicit Place search using SMT with State Equation took 281200 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:09:01] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30022 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30021 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60553ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60563ms
Finished structural reductions in LTL mode , in 1 iterations and 341785 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:10:01] [INFO ] Flatten gal took : 43 ms
[2024-05-23 19:10:01] [INFO ] Flatten gal took : 48 ms
[2024-05-23 19:10:02] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:10:02] [INFO ] Flatten gal took : 48 ms
[2024-05-23 19:10:02] [INFO ] Flatten gal took : 48 ms
[2024-05-23 19:10:02] [INFO ] Time to serialize gal into /tmp/CTLFireability5177345667749596367.gal : 10 ms
[2024-05-23 19:10:02] [INFO ] Time to serialize properties into /tmp/CTLFireability12926171612716178277.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5177345667749596367.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12926171612716178277.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:10:32] [INFO ] Flatten gal took : 48 ms
[2024-05-23 19:10:32] [INFO ] Applying decomposition
[2024-05-23 19:10:32] [INFO ] Flatten gal took : 50 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph15519682202410929394.txt' '-o' '/tmp/graph15519682202410929394.bin' '-w' '/tmp/graph15519682202410929394.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph15519682202410929394.bin' '-l' '-1' '-v' '-w' '/tmp/graph15519682202410929394.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:10:32] [INFO ] Decomposing Gal with order
[2024-05-23 19:10:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:10:32] [INFO ] Removed a total of 1480 redundant transitions.
[2024-05-23 19:10:32] [INFO ] Flatten gal took : 99 ms
[2024-05-23 19:10:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 166 labels/synchronizations in 24 ms.
[2024-05-23 19:10:32] [INFO ] Time to serialize gal into /tmp/CTLFireability7133038249106091185.gal : 18 ms
[2024-05-23 19:10:32] [INFO ] Time to serialize properties into /tmp/CTLFireability390563459064609485.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7133038249106091185.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability390563459064609485.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 19 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 19:11:02] [INFO ] Invariant cache hit.
[2024-05-23 19:11:38] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 33 seconds.
[2024-05-23 19:12:11] [INFO ] Performed 30/938 implicitness test of which 0 returned IMPLICIT in 65 seconds.
[2024-05-23 19:12:43] [INFO ] Performed 36/938 implicitness test of which 0 returned IMPLICIT in 98 seconds.
[2024-05-23 19:13:17] [INFO ] Performed 44/938 implicitness test of which 0 returned IMPLICIT in 131 seconds.
[2024-05-23 19:13:17] [INFO ] Timeout of Implicit test with SMT after 131 seconds.
[2024-05-23 19:13:17] [INFO ] Implicit Places using invariants in 134283 ms returned []
[2024-05-23 19:13:17] [INFO ] Invariant cache hit.
[2024-05-23 19:14:06] [INFO ] Performed 23/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:14:41] [INFO ] Performed 26/938 implicitness test of which 0 returned IMPLICIT in 71 seconds.
[2024-05-23 19:15:11] [INFO ] Performed 43/938 implicitness test of which 0 returned IMPLICIT in 101 seconds.
[2024-05-23 19:15:49] [INFO ] Performed 53/938 implicitness test of which 0 returned IMPLICIT in 139 seconds.
[2024-05-23 19:15:49] [INFO ] Timeout of Implicit test with SMT after 139 seconds.
[2024-05-23 19:15:49] [INFO ] Implicit Places using invariants and state equation in 152971 ms returned []
Implicit Place search using SMT with State Equation took 287255 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:15:49] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30020 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30023 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60615ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60626ms
Finished structural reductions in LTL mode , in 1 iterations and 347903 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:16:50] [INFO ] Flatten gal took : 44 ms
[2024-05-23 19:16:50] [INFO ] Flatten gal took : 52 ms
[2024-05-23 19:16:50] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:16:50] [INFO ] Flatten gal took : 71 ms
[2024-05-23 19:16:50] [INFO ] Flatten gal took : 75 ms
[2024-05-23 19:16:51] [INFO ] Time to serialize gal into /tmp/CTLFireability10363654372327525472.gal : 12 ms
[2024-05-23 19:16:51] [INFO ] Time to serialize properties into /tmp/CTLFireability213088855966662829.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10363654372327525472.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability213088855966662829.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:17:21] [INFO ] Flatten gal took : 49 ms
[2024-05-23 19:17:21] [INFO ] Applying decomposition
[2024-05-23 19:17:21] [INFO ] Flatten gal took : 50 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph6004249204726131259.txt' '-o' '/tmp/graph6004249204726131259.bin' '-w' '/tmp/graph6004249204726131259.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph6004249204726131259.bin' '-l' '-1' '-v' '-w' '/tmp/graph6004249204726131259.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:17:21] [INFO ] Decomposing Gal with order
[2024-05-23 19:17:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:17:21] [INFO ] Removed a total of 1557 redundant transitions.
[2024-05-23 19:17:21] [INFO ] Flatten gal took : 104 ms
[2024-05-23 19:17:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 271 labels/synchronizations in 28 ms.
[2024-05-23 19:17:21] [INFO ] Time to serialize gal into /tmp/CTLFireability5873915905414168541.gal : 15 ms
[2024-05-23 19:17:21] [INFO ] Time to serialize properties into /tmp/CTLFireability3282767148256167565.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5873915905414168541.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3282767148256167565.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 14 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 19:17:51] [INFO ] Invariant cache hit.
[2024-05-23 19:18:27] [INFO ] Performed 22/938 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2024-05-23 19:18:59] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 64 seconds.
[2024-05-23 19:19:32] [INFO ] Performed 33/938 implicitness test of which 0 returned IMPLICIT in 97 seconds.
[2024-05-23 19:20:04] [INFO ] Performed 35/938 implicitness test of which 0 returned IMPLICIT in 129 seconds.
[2024-05-23 19:20:04] [INFO ] Timeout of Implicit test with SMT after 129 seconds.
[2024-05-23 19:20:04] [INFO ] Implicit Places using invariants in 132830 ms returned []
[2024-05-23 19:20:04] [INFO ] Invariant cache hit.
[2024-05-23 19:20:53] [INFO ] Performed 23/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:21:25] [INFO ] Performed 25/938 implicitness test of which 0 returned IMPLICIT in 68 seconds.
[2024-05-23 19:21:57] [INFO ] Performed 27/938 implicitness test of which 0 returned IMPLICIT in 100 seconds.
[2024-05-23 19:22:29] [INFO ] Performed 49/938 implicitness test of which 0 returned IMPLICIT in 131 seconds.
[2024-05-23 19:22:29] [INFO ] Timeout of Implicit test with SMT after 131 seconds.
[2024-05-23 19:22:29] [INFO ] Implicit Places using invariants and state equation in 144681 ms returned []
Implicit Place search using SMT with State Equation took 277513 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:22:29] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30019 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30018 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60538ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60549ms
Finished structural reductions in LTL mode , in 1 iterations and 338078 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:23:29] [INFO ] Flatten gal took : 43 ms
[2024-05-23 19:23:29] [INFO ] Flatten gal took : 44 ms
[2024-05-23 19:23:29] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:23:29] [INFO ] Flatten gal took : 53 ms
[2024-05-23 19:23:29] [INFO ] Flatten gal took : 42 ms
[2024-05-23 19:23:29] [INFO ] Time to serialize gal into /tmp/CTLFireability8130605294154963324.gal : 7 ms
[2024-05-23 19:23:29] [INFO ] Time to serialize properties into /tmp/CTLFireability16795982380359439723.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8130605294154963324.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16795982380359439723.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:24:00] [INFO ] Flatten gal took : 46 ms
[2024-05-23 19:24:00] [INFO ] Applying decomposition
[2024-05-23 19:24:00] [INFO ] Flatten gal took : 48 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph10165165329746807000.txt' '-o' '/tmp/graph10165165329746807000.bin' '-w' '/tmp/graph10165165329746807000.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph10165165329746807000.bin' '-l' '-1' '-v' '-w' '/tmp/graph10165165329746807000.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:24:00] [INFO ] Decomposing Gal with order
[2024-05-23 19:24:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:24:00] [INFO ] Removed a total of 1415 redundant transitions.
[2024-05-23 19:24:00] [INFO ] Flatten gal took : 88 ms
[2024-05-23 19:24:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 156 labels/synchronizations in 18 ms.
[2024-05-23 19:24:00] [INFO ] Time to serialize gal into /tmp/CTLFireability14235449763950866817.gal : 12 ms
[2024-05-23 19:24:00] [INFO ] Time to serialize properties into /tmp/CTLFireability17124126177460517699.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14235449763950866817.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17124126177460517699.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 14 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 19:24:30] [INFO ] Invariant cache hit.
[2024-05-23 19:25:05] [INFO ] Performed 11/938 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2024-05-23 19:25:37] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 64 seconds.
[2024-05-23 19:26:09] [INFO ] Performed 26/938 implicitness test of which 0 returned IMPLICIT in 96 seconds.
[2024-05-23 19:26:42] [INFO ] Performed 35/938 implicitness test of which 0 returned IMPLICIT in 129 seconds.
[2024-05-23 19:26:42] [INFO ] Timeout of Implicit test with SMT after 129 seconds.
[2024-05-23 19:26:42] [INFO ] Implicit Places using invariants in 131820 ms returned []
[2024-05-23 19:26:42] [INFO ] Invariant cache hit.
[2024-05-23 19:27:31] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:28:03] [INFO ] Performed 26/938 implicitness test of which 0 returned IMPLICIT in 68 seconds.
[2024-05-23 19:28:35] [INFO ] Performed 28/938 implicitness test of which 0 returned IMPLICIT in 100 seconds.
[2024-05-23 19:29:07] [INFO ] Performed 30/938 implicitness test of which 0 returned IMPLICIT in 132 seconds.
[2024-05-23 19:29:07] [INFO ] Timeout of Implicit test with SMT after 132 seconds.
[2024-05-23 19:29:07] [INFO ] Implicit Places using invariants and state equation in 145439 ms returned []
Implicit Place search using SMT with State Equation took 277261 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:29:07] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30022 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30020 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60616ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60627ms
Finished structural reductions in LTL mode , in 1 iterations and 337904 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:30:08] [INFO ] Flatten gal took : 43 ms
[2024-05-23 19:30:08] [INFO ] Flatten gal took : 45 ms
[2024-05-23 19:30:08] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:30:08] [INFO ] Flatten gal took : 67 ms
[2024-05-23 19:30:08] [INFO ] Flatten gal took : 75 ms
[2024-05-23 19:30:08] [INFO ] Time to serialize gal into /tmp/CTLFireability15094432205418503314.gal : 11 ms
[2024-05-23 19:30:08] [INFO ] Time to serialize properties into /tmp/CTLFireability3977868429423042483.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15094432205418503314.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3977868429423042483.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:30:38] [INFO ] Flatten gal took : 46 ms
[2024-05-23 19:30:38] [INFO ] Applying decomposition
[2024-05-23 19:30:38] [INFO ] Flatten gal took : 47 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph3604698117939501703.txt' '-o' '/tmp/graph3604698117939501703.bin' '-w' '/tmp/graph3604698117939501703.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph3604698117939501703.bin' '-l' '-1' '-v' '-w' '/tmp/graph3604698117939501703.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:30:39] [INFO ] Decomposing Gal with order
[2024-05-23 19:30:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:30:39] [INFO ] Removed a total of 1408 redundant transitions.
[2024-05-23 19:30:39] [INFO ] Flatten gal took : 89 ms
[2024-05-23 19:30:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2024-05-23 19:30:39] [INFO ] Time to serialize gal into /tmp/CTLFireability15676270287423140924.gal : 13 ms
[2024-05-23 19:30:39] [INFO ] Time to serialize properties into /tmp/CTLFireability7810292837439726915.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15676270287423140924.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7810292837439726915.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 24 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 19:31:09] [INFO ] Invariant cache hit.
[2024-05-23 19:31:45] [INFO ] Performed 23/938 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2024-05-23 19:32:17] [INFO ] Performed 25/938 implicitness test of which 0 returned IMPLICIT in 64 seconds.
[2024-05-23 19:32:52] [INFO ] Performed 54/938 implicitness test of which 0 returned IMPLICIT in 99 seconds.
[2024-05-23 19:33:24] [INFO ] Performed 56/938 implicitness test of which 0 returned IMPLICIT in 131 seconds.
[2024-05-23 19:33:24] [INFO ] Timeout of Implicit test with SMT after 131 seconds.
[2024-05-23 19:33:24] [INFO ] Implicit Places using invariants in 134907 ms returned []
[2024-05-23 19:33:24] [INFO ] Invariant cache hit.
[2024-05-23 19:34:14] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 38 seconds.
[2024-05-23 19:35:00] [INFO ] Performed 49/938 implicitness test of which 0 returned IMPLICIT in 84 seconds.
[2024-05-23 19:35:39] [INFO ] Performed 62/938 implicitness test of which 0 returned IMPLICIT in 123 seconds.
[2024-05-23 19:35:39] [INFO ] Timeout of Implicit test with SMT after 123 seconds.
[2024-05-23 19:35:39] [INFO ] Implicit Places using invariants and state equation in 135473 ms returned []
Implicit Place search using SMT with State Equation took 270381 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:35:39] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30019 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30019 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60566ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60576ms
Finished structural reductions in LTL mode , in 1 iterations and 330984 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:36:40] [INFO ] Flatten gal took : 42 ms
[2024-05-23 19:36:40] [INFO ] Flatten gal took : 48 ms
[2024-05-23 19:36:40] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:36:40] [INFO ] Flatten gal took : 46 ms
[2024-05-23 19:36:40] [INFO ] Flatten gal took : 48 ms
[2024-05-23 19:36:40] [INFO ] Time to serialize gal into /tmp/CTLFireability12009139056897450679.gal : 7 ms
[2024-05-23 19:36:40] [INFO ] Time to serialize properties into /tmp/CTLFireability10584368291908340332.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12009139056897450679.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10584368291908340332.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:37:10] [INFO ] Flatten gal took : 44 ms
[2024-05-23 19:37:10] [INFO ] Applying decomposition
[2024-05-23 19:37:10] [INFO ] Flatten gal took : 56 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph17808776994185279096.txt' '-o' '/tmp/graph17808776994185279096.bin' '-w' '/tmp/graph17808776994185279096.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph17808776994185279096.bin' '-l' '-1' '-v' '-w' '/tmp/graph17808776994185279096.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:37:10] [INFO ] Decomposing Gal with order
[2024-05-23 19:37:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:37:11] [INFO ] Removed a total of 1452 redundant transitions.
[2024-05-23 19:37:11] [INFO ] Flatten gal took : 133 ms
[2024-05-23 19:37:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 104 labels/synchronizations in 25 ms.
[2024-05-23 19:37:11] [INFO ] Time to serialize gal into /tmp/CTLFireability5427040025495687427.gal : 16 ms
[2024-05-23 19:37:11] [INFO ] Time to serialize properties into /tmp/CTLFireability10386107068770993513.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5427040025495687427.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10386107068770993513.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 938/938 places, 850/850 transitions.
Applied a total of 0 rules in 15 ms. Remains 938 /938 variables (removed 0) and now considering 850/850 (removed 0) transitions.
[2024-05-23 19:37:41] [INFO ] Invariant cache hit.
[2024-05-23 19:38:20] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:38:56] [INFO ] Performed 72/938 implicitness test of which 0 returned IMPLICIT in 72 seconds.
[2024-05-23 19:39:28] [INFO ] Performed 74/938 implicitness test of which 0 returned IMPLICIT in 104 seconds.
[2024-05-23 19:40:01] [INFO ] Performed 85/938 implicitness test of which 0 returned IMPLICIT in 137 seconds.
[2024-05-23 19:40:01] [INFO ] Timeout of Implicit test with SMT after 137 seconds.
[2024-05-23 19:40:01] [INFO ] Implicit Places using invariants in 139837 ms returned []
[2024-05-23 19:40:01] [INFO ] Invariant cache hit.
[2024-05-23 19:40:50] [INFO ] Performed 24/938 implicitness test of which 0 returned IMPLICIT in 36 seconds.
[2024-05-23 19:41:22] [INFO ] Performed 26/938 implicitness test of which 0 returned IMPLICIT in 68 seconds.
[2024-05-23 19:41:55] [INFO ] Performed 28/938 implicitness test of which 0 returned IMPLICIT in 100 seconds.
[2024-05-23 19:42:35] [INFO ] Performed 51/938 implicitness test of which 0 returned IMPLICIT in 141 seconds.
[2024-05-23 19:42:35] [INFO ] Timeout of Implicit test with SMT after 141 seconds.
[2024-05-23 19:42:35] [INFO ] Implicit Places using invariants and state equation in 154883 ms returned []
Implicit Place search using SMT with State Equation took 294722 ms to find 0 implicit places.
Running 849 sub problems to find dead transitions.
[2024-05-23 19:42:35] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30020 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 849/849 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 849 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/937 variables, 937/937 constraints. Problems are: Problem set: 0 solved, 849 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 937/1788 variables, and 1360 constraints, problems are : Problem set: 0 solved, 849 unsolved in 30017 ms.
Refiners :[Domain max(s): 937/938 constraints, Generalized P Invariants (flows): 423/432 constraints, State Equation: 0/938 constraints, PredecessorRefiner: 0/849 constraints, Known Traps: 0/0 constraints]
After SMT, in 60743ms problems are : Problem set: 0 solved, 849 unsolved
Search for dead transitions found 0 dead transitions in 60752ms
Finished structural reductions in LTL mode , in 1 iterations and 355491 ms. Remains : 938/938 places, 850/850 transitions.
[2024-05-23 19:43:36] [INFO ] Flatten gal took : 41 ms
[2024-05-23 19:43:36] [INFO ] Flatten gal took : 49 ms
[2024-05-23 19:43:36] [INFO ] Input system was already deterministic with 850 transitions.
[2024-05-23 19:43:36] [INFO ] Flatten gal took : 44 ms
[2024-05-23 19:43:36] [INFO ] Flatten gal took : 46 ms
[2024-05-23 19:43:36] [INFO ] Time to serialize gal into /tmp/CTLFireability15387245453844095954.gal : 7 ms
[2024-05-23 19:43:36] [INFO ] Time to serialize properties into /tmp/CTLFireability3964676595341036323.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15387245453844095954.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3964676595341036323.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-23 19:44:07] [INFO ] Flatten gal took : 45 ms
[2024-05-23 19:44:07] [INFO ] Applying decomposition
[2024-05-23 19:44:07] [INFO ] Flatten gal took : 48 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph10375604404965113984.txt' '-o' '/tmp/graph10375604404965113984.bin' '-w' '/tmp/graph10375604404965113984.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph10375604404965113984.bin' '-l' '-1' '-v' '-w' '/tmp/graph10375604404965113984.weights' '-q' '0' '-e' '0.001'
[2024-05-23 19:44:07] [INFO ] Decomposing Gal with order
[2024-05-23 19:44:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-23 19:44:07] [INFO ] Removed a total of 1408 redundant transitions.
[2024-05-23 19:44:07] [INFO ] Flatten gal took : 131 ms
[2024-05-23 19:44:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 5 ms.
[2024-05-23 19:44:07] [INFO ] Time to serialize gal into /tmp/CTLFireability14562243705241590899.gal : 16 ms
[2024-05-23 19:44:07] [INFO ] Time to serialize properties into /tmp/CTLFireability2918743549005968636.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14562243705241590899.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2918743549005968636.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
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="Echo-PT-d04r03"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is Echo-PT-d04r03, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r158-smll-171636266200130"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d04r03.tgz
mv Echo-PT-d04r03 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;