About the Execution of ITS-Tools for Echo-PT-d03r05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2085.863 | 3600000.00 | 3820738.00 | 9425.00 | TTF?TTFFF?FF?FFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r114-smll-177955740400179.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool itstools
Input is Echo-PT-d03r05, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-177955740400179
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.0K Mar 7 05:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Mar 7 05:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Mar 7 05:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 7 05:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 09:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 09:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 15 09:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 09:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Mar 7 05:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Mar 7 05:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Mar 7 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 123K Mar 7 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 15 09:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 15 09:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 716K Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-00
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-01
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-02
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-03
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-04
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-05
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-06
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-07
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-08
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-09
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-10
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-11
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-12
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-13
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-14
FORMULA_NAME Echo-PT-d03r05-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1779717894228
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Echo-PT-d03r05
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202604301425
[2026-05-25 14:04:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 14:04:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 14:04:57] [INFO ] Load time of PNML (sax parser for PT used): 409 ms
[2026-05-25 14:04:57] [INFO ] Transformed 1445 places.
[2026-05-25 14:04:57] [INFO ] Transformed 1190 transitions.
[2026-05-25 14:04:57] [INFO ] Found NUPN structural information;
[2026-05-25 14:04:57] [INFO ] Parsed PT model containing 1445 places and 1190 transitions and 8260 arcs in 646 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 14 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 2 formulas.
Initial state reduction rules removed 1 formulas.
FORMULA Echo-PT-d03r05-LTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d03r05-LTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 32 out of 1445 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1445/1445 places, 1190/1190 transitions.
Reduce places removed 121 places and 0 transitions.
Iterating post reduction 0 with 121 rules applied. Total rules applied 121 place count 1324 transition count 1190
Applied a total of 121 rules in 176 ms. Remains 1324 /1445 variables (removed 121) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11009315059498505206.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15149665710295933702.kers'
[2026-05-25 14:04:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11009315059498505206.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15149665710295933702.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1324 cols 7685 entries
Finished phase 1 with 519 SingleSign rule and 201 generalized
[2026-05-25 14:04:59] [INFO ] Computed 604 invariants in 1510 ms
Computed 604 P flows in 1511 ms.
Exported basis to /tmp/petrispot-output-15149665710295933702.kers
Total runtime 1519 ms.
[2026-05-25 14:05:35] [INFO ] Performed 572/1324 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:06:05] [INFO ] Performed 658/1324 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 14:06:35] [INFO ] Performed 871/1324 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-25 14:06:56] [INFO ] Implicit Places using invariants in 118964 ms returned []
[2026-05-25 14:06:56] [INFO ] Invariant cache hit.
[2026-05-25 14:07:27] [INFO ] Implicit Places using invariants and state equation in 30588 ms returned []
Implicit Place search using SMT with State Equation took 149613 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 14:07:27] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 31240ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 31280ms
Starting structural reductions in LTL mode, iteration 1 : 1324/1445 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 181170 ms. Remains : 1324/1445 places, 1190/1190 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Applied a total of 0 rules in 135 ms. Remains 1324 /1324 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:07:58] [INFO ] Invariant cache hit.
[2026-05-25 14:08:33] [INFO ] Performed 585/1324 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:09:03] [INFO ] Performed 676/1324 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 14:09:33] [INFO ] Performed 808/1324 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-25 14:09:54] [INFO ] Implicit Places using invariants in 115679 ms returned []
[2026-05-25 14:09:54] [INFO ] Invariant cache hit.
[2026-05-25 14:10:25] [INFO ] Implicit Places using invariants and state equation in 30702 ms returned []
Implicit Place search using SMT with State Equation took 146401 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 146538 ms. Remains : 1324/1324 places, 1190/1190 transitions.
Support contains 32 out of 1324 places after structural reductions.
[2026-05-25 14:10:25] [INFO ] Flatten gal took : 351 ms
[2026-05-25 14:10:26] [INFO ] Flatten gal took : 239 ms
[2026-05-25 14:10:26] [INFO ] Input system was already deterministic with 1190 transitions.
RANDOM walk for 25950 steps (101 resets) in 2353 ms. (11 steps per ms) remains 0/19 properties
Computed a total of 1324 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1324 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X(p0)))))'
Support contains 2 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1320 transition count 1190
Applied a total of 4 rules in 108 ms. Remains 1320 /1324 variables (removed 4) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2586649652789190242.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17263540162059502654.kers'
[2026-05-25 14:10:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2586649652789190242.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17263540162059502654.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1320 cols 7665 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 14:10:30] [INFO ] Computed 600 invariants in 1945 ms
Computed 600 P flows in 1946 ms.
Exported basis to /tmp/petrispot-output-17263540162059502654.kers
Total runtime 1954 ms.
[2026-05-25 14:11:19] [INFO ] Performed 530/1320 implicitness test of which 0 returned IMPLICIT in 42 seconds.
[2026-05-25 14:11:59] [INFO ] Performed 582/1320 implicitness test of which 0 returned IMPLICIT in 83 seconds.
[2026-05-25 14:12:41] [INFO ] Performed 620/1320 implicitness test of which 0 returned IMPLICIT in 125 seconds.
[2026-05-25 14:12:41] [INFO ] Timeout of Implicit test with SMT after 125 seconds.
[2026-05-25 14:12:41] [INFO ] Implicit Places using invariants in 133813 ms returned []
[2026-05-25 14:12:41] [INFO ] Invariant cache hit.
[2026-05-25 14:13:16] [INFO ] Implicit Places using invariants and state equation in 34490 ms returned []
Implicit Place search using SMT with State Equation took 168312 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 14:13:16] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 31221ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 31232ms
Starting structural reductions in LTL mode, iteration 1 : 1320/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 199667 ms. Remains : 1320/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X(p0)))))'
Stuttering acceptance computed with spot in 454 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0), true, (NOT p0)]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-00
Product exploration explored 100000 steps with 20000 reset in 1243 ms.
Product exploration explored 100000 steps with 20000 reset in 1398 ms.
Computed a total of 1320 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1320 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 2 factoid took 74 ms. Reduced automaton from 6 states, 6 edges and 1 AP (stutter sensitive) to 6 states, 6 edges and 1 AP (stutter sensitive).
RANDOM walk for 295 steps (0 resets) in 37 ms. (7 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 73 ms. Reduced automaton from 6 states, 6 edges and 1 AP (stutter sensitive) to 6 states, 6 edges and 1 AP (stutter sensitive).
Stuttering acceptance computed with spot in 226 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0), true, (NOT p0)]
Knowledge-based reduction took 1331 ms.
Stuttering acceptance computed with spot in 245 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0), true, (NOT p0)]
Support contains 2 out of 1320 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1320/1320 places, 1190/1190 transitions.
Applied a total of 0 rules in 20 ms. Remains 1320 /1320 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:13:52] [INFO ] Invariant cache hit.
[2026-05-25 14:14:40] [INFO ] Performed 530/1320 implicitness test of which 0 returned IMPLICIT in 42 seconds.
[2026-05-25 14:15:10] [INFO ] Performed 614/1320 implicitness test of which 0 returned IMPLICIT in 72 seconds.
[2026-05-25 14:15:43] [INFO ] Performed 711/1320 implicitness test of which 0 returned IMPLICIT in 104 seconds.
[2026-05-25 14:16:13] [INFO ] Performed 1075/1320 implicitness test of which 0 returned IMPLICIT in 134 seconds.
[2026-05-25 14:16:13] [INFO ] Timeout of Implicit test with SMT after 134 seconds.
[2026-05-25 14:16:13] [INFO ] Implicit Places using invariants in 140870 ms returned []
[2026-05-25 14:16:13] [INFO ] Invariant cache hit.
[2026-05-25 14:16:47] [INFO ] Implicit Places using invariants and state equation in 34640 ms returned []
Implicit Place search using SMT with State Equation took 175528 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 175549 ms. Remains : 1320/1320 places, 1190/1190 transitions.
Computed a total of 1320 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1320 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 2 factoid took 92 ms. Reduced automaton from 6 states, 6 edges and 1 AP (stutter sensitive) to 6 states, 6 edges and 1 AP (stutter sensitive).
RANDOM walk for 256 steps (0 resets) in 25 ms. (9 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 103 ms. Reduced automaton from 6 states, 6 edges and 1 AP (stutter sensitive) to 6 states, 6 edges and 1 AP (stutter sensitive).
Stuttering acceptance computed with spot in 268 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0), true, (NOT p0)]
Knowledge-based reduction took 1492 ms.
Stuttering acceptance computed with spot in 259 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0), true, (NOT p0)]
Stuttering acceptance computed with spot in 249 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0), true, (NOT p0)]
Product exploration explored 100000 steps with 20000 reset in 1182 ms.
Product exploration explored 100000 steps with 20000 reset in 1219 ms.
Spot run failed in 125 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin7675486883678950069
[2026-05-25 14:16:52] [INFO ] Built C files in 91ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7675486883678950069
Running compilation step : cd /tmp/ltsmin7675486883678950069;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin7675486883678950069;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin7675486883678950069;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 2 out of 1320 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1320/1320 places, 1190/1190 transitions.
Applied a total of 0 rules in 20 ms. Remains 1320 /1320 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:16:55] [INFO ] Invariant cache hit.
[2026-05-25 14:17:44] [INFO ] Performed 530/1320 implicitness test of which 0 returned IMPLICIT in 42 seconds.
[2026-05-25 14:18:14] [INFO ] Performed 588/1320 implicitness test of which 0 returned IMPLICIT in 73 seconds.
[2026-05-25 14:18:54] [INFO ] Performed 626/1320 implicitness test of which 0 returned IMPLICIT in 113 seconds.
[2026-05-25 14:19:33] [INFO ] Performed 653/1320 implicitness test of which 0 returned IMPLICIT in 151 seconds.
[2026-05-25 14:19:33] [INFO ] Timeout of Implicit test with SMT after 151 seconds.
[2026-05-25 14:19:33] [INFO ] Implicit Places using invariants in 157894 ms returned []
[2026-05-25 14:19:33] [INFO ] Invariant cache hit.
[2026-05-25 14:20:08] [INFO ] Implicit Places using invariants and state equation in 35094 ms returned []
Implicit Place search using SMT with State Equation took 193005 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 193027 ms. Remains : 1320/1320 places, 1190/1190 transitions.
Built C files in :
/tmp/ltsmin12794590467979732314
[2026-05-25 14:20:08] [INFO ] Built C files in 30ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12794590467979732314
Running compilation step : cd /tmp/ltsmin12794590467979732314;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin12794590467979732314;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin12794590467979732314;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 14:20:12] [INFO ] Flatten gal took : 371 ms
[2026-05-25 14:20:12] [INFO ] Flatten gal took : 220 ms
[2026-05-25 14:20:12] [INFO ] Time to serialize gal into /tmp/LTL8240016699519695228.gal : 41 ms
[2026-05-25 14:20:12] [INFO ] Time to serialize properties into /tmp/LTL3280539824692583976.prop : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL8240016699519695228.gal' '-t' 'CGAL' '-hoa' '/tmp/aut3290635845244614911.hoa' '-atoms' '/tmp/LTL3280539824692583976.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...317
Loading property file /tmp/LTL3280539824692583976.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut3290635845244614911.hoa
Detected timeout of ITS tools.
[2026-05-25 14:20:28] [INFO ] Flatten gal took : 135 ms
[2026-05-25 14:20:28] [INFO ] Flatten gal took : 158 ms
[2026-05-25 14:20:28] [INFO ] Time to serialize gal into /tmp/LTL5906933863108583270.gal : 20 ms
[2026-05-25 14:20:28] [INFO ] Time to serialize properties into /tmp/LTL5383193451229776087.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL5906933863108583270.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL5383193451229776087.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(X(X(X("((p1327==1)&&(p943==0))"))))))
Formula 0 simplified : XXXX!"((p1327==1)&&(p943==0))"
Detected timeout of ITS tools.
[2026-05-25 14:20:43] [INFO ] Flatten gal took : 59 ms
[2026-05-25 14:20:43] [INFO ] Applying decomposition
[2026-05-25 14:20:43] [INFO ] Flatten gal took : 83 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13055819815070912443.txt' '-o' '/tmp/graph13055819815070912443.bin' '-w' '/tmp/graph13055819815070912443.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13055819815070912443.bin' '-l' '-1' '-v' '-w' '/tmp/graph13055819815070912443.weights' '-q' '0' '-e' '0.001'
[2026-05-25 14:20:43] [INFO ] Decomposing Gal with order
[2026-05-25 14:20:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 14:20:44] [INFO ] Removed a total of 1939 redundant transitions.
[2026-05-25 14:20:44] [INFO ] Flatten gal took : 394 ms
[2026-05-25 14:20:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 328 labels/synchronizations in 127 ms.
[2026-05-25 14:20:44] [INFO ] Time to serialize gal into /tmp/LTL145326069062303482.gal : 31 ms
[2026-05-25 14:20:44] [INFO ] Time to serialize properties into /tmp/LTL16537810864854207068.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL145326069062303482.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16537810864854207068.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Checking formula 0 : !((X(X(X(X("((i7.u60.p1327==1)&&(i8.u80.p943==0))"))))))
Formula 0 simplified : XXXX!"((i7.u60.p1327==1)&&(i8.u80.p943==0))"
Detected timeout of ITS tools.
Treatment of property Echo-PT-d03r05-LTLCardinality-00 finished in 631823 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((!p0 U p1)))'
Support contains 6 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1322 transition count 1190
Applied a total of 2 rules in 22 ms. Remains 1322 /1324 variables (removed 2) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11437277314534353744.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4381828472973594993.kers'
[2026-05-25 14:20:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11437277314534353744.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4381828472973594993.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1322 cols 7674 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 14:21:01] [INFO ] Computed 602 invariants in 1521 ms
Computed 602 P flows in 1522 ms.
Exported basis to /tmp/petrispot-output-4381828472973594993.kers
Total runtime 1528 ms.
[2026-05-25 14:21:43] [INFO ] Performed 500/1322 implicitness test of which 0 returned IMPLICIT in 37 seconds.
[2026-05-25 14:22:19] [INFO ] Performed 524/1322 implicitness test of which 0 returned IMPLICIT in 73 seconds.
[2026-05-25 14:22:50] [INFO ] Performed 593/1322 implicitness test of which 0 returned IMPLICIT in 104 seconds.
[2026-05-25 14:23:20] [INFO ] Performed 653/1322 implicitness test of which 0 returned IMPLICIT in 134 seconds.
[2026-05-25 14:23:20] [INFO ] Timeout of Implicit test with SMT after 134 seconds.
[2026-05-25 14:23:20] [INFO ] Implicit Places using invariants in 140338 ms returned []
[2026-05-25 14:23:20] [INFO ] Invariant cache hit.
[2026-05-25 14:23:48] [INFO ] Implicit Places using invariants and state equation in 28610 ms returned []
Implicit Place search using SMT with State Equation took 168953 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 14:23:48] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 31227ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 31244ms
Starting structural reductions in LTL mode, iteration 1 : 1322/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 200226 ms. Remains : 1322/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((!p0 U p1)))'
Stuttering acceptance computed with spot in 135 ms :[(NOT p1), (NOT p1), true]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-01
Product exploration explored 100000 steps with 50000 reset in 913 ms.
Product exploration explored 100000 steps with 50000 reset in 836 ms.
Computed a total of 1322 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1322 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Property proved to be true by K+ with min(!phi)
Knowledge based reduction with 11 factoid took 18 ms. Proved property starting from automaton with 3 states, 4 edges and 2 AP (stutter sensitive
Knowledge-based reduction took 905 ms.
FORMULA Echo-PT-d03r05-LTLCardinality-01 TRUE TECHNIQUES KNOWLEDGE
Treatment of property Echo-PT-d03r05-LTLCardinality-01 finished in 203077 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((G(F(p0))||(!p0&&F(p0)&&F(((!p1&&X(X(!p2)))||G(!p2)))))))'
Support contains 6 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 1321 transition count 1190
Applied a total of 3 rules in 38 ms. Remains 1321 /1324 variables (removed 3) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17901778280819997104.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-565965738351559489.kers'
[2026-05-25 14:24:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17901778280819997104.kers, --Pflows, --basisKERS=/tmp/petrispot-output-565965738351559489.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1321 cols 7670 entries
Finished phase 1 with 520 SingleSign rule and 200 generalized
[2026-05-25 14:24:24] [INFO ] Computed 601 invariants in 1608 ms
Computed 601 P flows in 1609 ms.
Exported basis to /tmp/petrispot-output-565965738351559489.kers
Total runtime 1620 ms.
[2026-05-25 14:24:59] [INFO ] Performed 508/1321 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:25:29] [INFO ] Performed 587/1321 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 14:26:09] [INFO ] Performed 627/1321 implicitness test of which 0 returned IMPLICIT in 100 seconds.
[2026-05-25 14:26:51] [INFO ] Performed 670/1321 implicitness test of which 0 returned IMPLICIT in 142 seconds.
[2026-05-25 14:26:51] [INFO ] Timeout of Implicit test with SMT after 142 seconds.
[2026-05-25 14:26:51] [INFO ] Implicit Places using invariants in 148527 ms returned []
[2026-05-25 14:26:51] [INFO ] Invariant cache hit.
[2026-05-25 14:27:21] [INFO ] Implicit Places using invariants and state equation in 30360 ms returned []
Implicit Place search using SMT with State Equation took 178895 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 14:27:21] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 31177ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 31187ms
Starting structural reductions in LTL mode, iteration 1 : 1321/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 210127 ms. Remains : 1321/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((G(F(p0))||(F(p0)&&F(((X(X(p3))&&p2)||G(p3)))&&p1))))'
Stuttering acceptance computed with spot in 537 ms :[(NOT p0), (NOT p0), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3))]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-03
Product exploration explored 100000 steps with 743 reset in 1879 ms.
Product exploration explored 100000 steps with 701 reset in 2115 ms.
Computed a total of 1321 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1321 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 25 factoid took 331 ms. Reduced automaton from 10 states, 33 edges and 4 AP (stutter sensitive) to 10 states, 33 edges and 4 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 12 to 11
RANDOM walk for 5614 steps (21 resets) in 378 ms. (14 steps per ms) remains 0/11 properties
Knowledge based reduction with 25 factoid took 4118 ms. Reduced automaton from 10 states, 33 edges and 4 AP (stutter sensitive) to 10 states, 33 edges and 4 AP (stutter sensitive).
Stuttering acceptance computed with spot in 399 ms :[(NOT p0), (NOT p0), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3))]
Knowledge-based reduction took 5781 ms.
Stuttering acceptance computed with spot in 457 ms :[(NOT p0), (NOT p0), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3))]
Support contains 6 out of 1321 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1321/1321 places, 1190/1190 transitions.
Applied a total of 0 rules in 46 ms. Remains 1321 /1321 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:28:03] [INFO ] Invariant cache hit.
[2026-05-25 14:28:37] [INFO ] Performed 510/1321 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:29:23] [INFO ] Performed 585/1321 implicitness test of which 0 returned IMPLICIT in 75 seconds.
[2026-05-25 14:29:53] [INFO ] Performed 646/1321 implicitness test of which 0 returned IMPLICIT in 105 seconds.
[2026-05-25 14:30:23] [INFO ] Performed 742/1321 implicitness test of which 0 returned IMPLICIT in 135 seconds.
[2026-05-25 14:30:23] [INFO ] Timeout of Implicit test with SMT after 135 seconds.
[2026-05-25 14:30:23] [INFO ] Implicit Places using invariants in 139634 ms returned []
[2026-05-25 14:30:23] [INFO ] Invariant cache hit.
[2026-05-25 14:30:52] [INFO ] Implicit Places using invariants and state equation in 29330 ms returned []
Implicit Place search using SMT with State Equation took 168972 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 169020 ms. Remains : 1321/1321 places, 1190/1190 transitions.
Computed a total of 1321 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1321 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 25 factoid took 452 ms. Reduced automaton from 10 states, 33 edges and 4 AP (stutter sensitive) to 10 states, 33 edges and 4 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 12 to 11
RANDOM walk for 4361 steps (15 resets) in 179 ms. (24 steps per ms) remains 0/11 properties
Knowledge based reduction with 25 factoid took 5382 ms. Reduced automaton from 10 states, 33 edges and 4 AP (stutter sensitive) to 10 states, 33 edges and 4 AP (stutter sensitive).
Stuttering acceptance computed with spot in 520 ms :[(NOT p0), (NOT p0), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3))]
Knowledge-based reduction took 7576 ms.
Stuttering acceptance computed with spot in 503 ms :[(NOT p0), (NOT p0), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3))]
Stuttering acceptance computed with spot in 482 ms :[(NOT p0), (NOT p0), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p0) (NOT p3))]
Product exploration explored 100000 steps with 703 reset in 2077 ms.
Product exploration explored 100000 steps with 711 reset in 1990 ms.
Spot run failed in 83 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin8395180808662693374
[2026-05-25 14:31:05] [INFO ] Built C files in 42ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8395180808662693374
Running compilation step : cd /tmp/ltsmin8395180808662693374;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8395180808662693374;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8395180808662693374;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 6 out of 1321 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1321/1321 places, 1190/1190 transitions.
Applied a total of 0 rules in 19 ms. Remains 1321 /1321 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:31:08] [INFO ] Invariant cache hit.
[2026-05-25 14:31:43] [INFO ] Performed 510/1321 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:32:24] [INFO ] Performed 566/1321 implicitness test of which 0 returned IMPLICIT in 70 seconds.
[2026-05-25 14:33:05] [INFO ] Performed 614/1321 implicitness test of which 0 returned IMPLICIT in 112 seconds.
[2026-05-25 14:33:45] [INFO ] Performed 640/1321 implicitness test of which 0 returned IMPLICIT in 152 seconds.
[2026-05-25 14:33:45] [INFO ] Timeout of Implicit test with SMT after 152 seconds.
[2026-05-25 14:33:45] [INFO ] Implicit Places using invariants in 157235 ms returned []
[2026-05-25 14:33:45] [INFO ] Invariant cache hit.
[2026-05-25 14:34:13] [INFO ] Implicit Places using invariants and state equation in 28063 ms returned []
Implicit Place search using SMT with State Equation took 185303 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 185322 ms. Remains : 1321/1321 places, 1190/1190 transitions.
Built C files in :
/tmp/ltsmin3301329417061011837
[2026-05-25 14:34:14] [INFO ] Built C files in 22ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3301329417061011837
Running compilation step : cd /tmp/ltsmin3301329417061011837;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3301329417061011837;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3301329417061011837;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 14:34:17] [INFO ] Flatten gal took : 105 ms
[2026-05-25 14:34:17] [INFO ] Flatten gal took : 96 ms
[2026-05-25 14:34:17] [INFO ] Time to serialize gal into /tmp/LTL17820720964185201865.gal : 17 ms
[2026-05-25 14:34:17] [INFO ] Time to serialize properties into /tmp/LTL8972521250519332633.prop : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL17820720964185201865.gal' '-t' 'CGAL' '-hoa' '/tmp/aut16616875168969438094.hoa' '-atoms' '/tmp/LTL8972521250519332633.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...319
Loading property file /tmp/LTL8972521250519332633.prop.
Loaded 4 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut16616875168969438094.hoa
Detected timeout of ITS tools.
[2026-05-25 14:34:32] [INFO ] Flatten gal took : 93 ms
[2026-05-25 14:34:32] [INFO ] Flatten gal took : 79 ms
[2026-05-25 14:34:32] [INFO ] Time to serialize gal into /tmp/LTL6347571049522717853.gal : 17 ms
[2026-05-25 14:34:32] [INFO ] Time to serialize properties into /tmp/LTL18200898031496493504.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL6347571049522717853.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL18200898031496493504.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((F((G(F("((p487==0)||(p682==1))")))||(("((p487==1)&&(p682==0))")&&((F("((p487==0)||(p682==1))"))&&(F((G("((p544==1)&&(p869==0))"))||...224
Formula 0 simplified : G(FG!"((p487==0)||(p682==1))" & (!"((p487==1)&&(p682==0))" | G!"((p487==0)||(p682==1))" | G(F!"((p544==1)&&(p869==0))" & (!"((p593==...204
Detected timeout of ITS tools.
[2026-05-25 14:34:47] [INFO ] Flatten gal took : 52 ms
[2026-05-25 14:34:47] [INFO ] Applying decomposition
[2026-05-25 14:34:47] [INFO ] Flatten gal took : 70 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph15265074852702942696.txt' '-o' '/tmp/graph15265074852702942696.bin' '-w' '/tmp/graph15265074852702942696.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15265074852702942696.bin' '-l' '-1' '-v' '-w' '/tmp/graph15265074852702942696.weights' '-q' '0' '-e' '0.001'
[2026-05-25 14:34:48] [INFO ] Decomposing Gal with order
[2026-05-25 14:34:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 14:34:48] [INFO ] Removed a total of 1975 redundant transitions.
[2026-05-25 14:34:48] [INFO ] Flatten gal took : 433 ms
[2026-05-25 14:34:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 553 labels/synchronizations in 95 ms.
[2026-05-25 14:34:48] [INFO ] Time to serialize gal into /tmp/LTL17810738670005648348.gal : 32 ms
[2026-05-25 14:34:48] [INFO ] Time to serialize properties into /tmp/LTL5140635833755031048.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL17810738670005648348.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL5140635833755031048.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((F((G(F("((i8.u32.p487==0)||(i7.i0.u117.p682==1))")))||(("((i8.u32.p487==1)&&(i7.i0.u117.p682==0))")&&((F("((i8.u32.p487==0)||(i7.i0...338
Formula 0 simplified : G(FG!"((i8.u32.p487==0)||(i7.i0.u117.p682==1))" & (!"((i8.u32.p487==1)&&(i7.i0.u117.p682==0))" | G!"((i8.u32.p487==0)||(i7.i0.u117.p...318
Detected timeout of ITS tools.
Treatment of property Echo-PT-d03r05-LTLCardinality-03 finished in 641115 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(p1))))'
Support contains 3 out of 1324 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Graph (complete) has 4763 edges and 1324 vertex of which 1313 are kept as prefixes of interest. Removing 11 places using SCC suffix rule.16 ms
Discarding 11 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 201 ms. Remains 1312 /1324 variables (removed 12) and now considering 1188/1190 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4864522952542958890.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14861489528242198713.kers'
[2026-05-25 14:35:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4864522952542958890.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14861489528242198713.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1188 rows 1312 cols 7614 entries
Finished phase 1 with 507 SingleSign rule and 211 generalized
[2026-05-25 14:35:06] [INFO ] Computed 594 invariants in 1912 ms
Computed 594 P flows in 1913 ms.
Exported basis to /tmp/petrispot-output-14861489528242198713.kers
Total runtime 1923 ms.
[2026-05-25 14:35:48] [INFO ] Performed 490/1312 implicitness test of which 0 returned IMPLICIT in 35 seconds.
[2026-05-25 14:36:30] [INFO ] Performed 566/1312 implicitness test of which 0 returned IMPLICIT in 77 seconds.
[2026-05-25 14:37:14] [INFO ] Performed 626/1312 implicitness test of which 1 returned IMPLICIT in 122 seconds.
[2026-05-25 14:37:45] [INFO ] Performed 732/1312 implicitness test of which 2 returned IMPLICIT in 152 seconds.
[2026-05-25 14:37:46] [INFO ] Implicit Places using invariants in 161981 ms returned [615, 716, 737, 742]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 161985 ms to find 4 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 1308/1324 places, 1188/1190 transitions.
Applied a total of 0 rules in 128 ms. Remains 1308 /1308 variables (removed 0) and now considering 1188/1188 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 162314 ms. Remains : 1308/1324 places, 1188/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(p1))))'
Stuttering acceptance computed with spot in 169 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-06
Stuttering criterion allowed to conclude after 268 steps with 1 reset in 5 ms.
FORMULA Echo-PT-d03r05-LTLCardinality-06 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r05-LTLCardinality-06 finished in 162539 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((p0 U (X(X(p1))&&F(p0))))'
Support contains 3 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 1321 transition count 1190
Applied a total of 3 rules in 38 ms. Remains 1321 /1324 variables (removed 3) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1406841649862005350.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9120952765152835178.kers'
[2026-05-25 14:37:46] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1406841649862005350.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9120952765152835178.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1190 rows 1321 cols 7670 entries
Finished phase 1 with 513 SingleSign rule and 207 generalized
[2026-05-25 14:37:48] [INFO ] Computed 601 invariants in 1850 ms
Computed 601 P flows in 1851 ms.
Exported basis to /tmp/petrispot-output-9120952765152835178.kers
Total runtime 1859 ms.
[2026-05-25 14:38:23] [INFO ] Performed 499/1321 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:38:53] [INFO ] Performed 574/1321 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 14:39:28] [INFO ] Performed 581/1321 implicitness test of which 0 returned IMPLICIT in 94 seconds.
[2026-05-25 14:39:58] [INFO ] Performed 643/1321 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2026-05-25 14:39:58] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2026-05-25 14:39:58] [INFO ] Implicit Places using invariants in 131615 ms returned []
[2026-05-25 14:39:58] [INFO ] Invariant cache hit.
[2026-05-25 14:40:28] [INFO ] Implicit Places using invariants and state equation in 29974 ms returned []
Implicit Place search using SMT with State Equation took 161595 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 1321/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 161636 ms. Remains : 1321/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((p0 U (X(X(p1))&&F(p0))))'
Stuttering acceptance computed with spot in 366 ms :[(OR (NOT p1) (NOT p0)), (NOT p1), (NOT p0), (NOT p1), (NOT p1), true, (NOT p1), (NOT p1)]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-09
Product exploration explored 100000 steps with 3019 reset in 1796 ms.
Product exploration explored 100000 steps with 2832 reset in 1989 ms.
Computed a total of 1321 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1321 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 8 factoid took 58 ms. Reduced automaton from 8 states, 13 edges and 2 AP (stutter sensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
RANDOM walk for 298 steps (0 resets) in 10 ms. (27 steps per ms) remains 0/1 properties
Knowledge based reduction with 8 factoid took 63 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 68 ms :[(NOT p0), (NOT p0)]
[2026-05-25 14:40:33] [INFO ] Invariant cache hit.
[2026-05-25 14:40:35] [INFO ] [Real]Absence check using 5 positive place invariants in 65 ms returned sat
[2026-05-25 14:40:39] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 14:40:41] [INFO ] [Real]Absence check using 5 positive and 596 generalized place invariants in 5528 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 9082 ms.
Stuttering acceptance computed with spot in 90 ms :[(NOT p0), (NOT p0)]
Support contains 1 out of 1321 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in SI_LTL mode, iteration 0 : 1321/1321 places, 1190/1190 transitions.
Graph (complete) has 4733 edges and 1321 vertex of which 1314 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.11 ms
Discarding 7 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Reduce places removed 1 places and 1 transitions.
Applied a total of 1 rules in 107 ms. Remains 1313 /1321 variables (removed 8) and now considering 1188/1190 (removed 2) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15548353144658798761.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1233943492474244995.kers'
[2026-05-25 14:40:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15548353144658798761.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1233943492474244995.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1188 rows 1313 cols 7619 entries
Finished phase 1 with 506 SingleSign rule and 212 generalized
[2026-05-25 14:40:43] [INFO ] Computed 595 invariants in 1666 ms
Computed 595 P flows in 1667 ms.
Exported basis to /tmp/petrispot-output-1233943492474244995.kers
Total runtime 1680 ms.
[2026-05-25 14:41:30] [INFO ] Performed 510/1313 implicitness test of which 0 returned IMPLICIT in 42 seconds.
[2026-05-25 14:42:00] [INFO ] Performed 582/1313 implicitness test of which 0 returned IMPLICIT in 72 seconds.
[2026-05-25 14:42:31] [INFO ] Performed 672/1313 implicitness test of which 1 returned IMPLICIT in 103 seconds.
[2026-05-25 14:43:01] [INFO ] Performed 984/1313 implicitness test of which 6 returned IMPLICIT in 133 seconds.
[2026-05-25 14:43:13] [INFO ] Implicit Places using invariants in 151584 ms returned [615, 716, 737, 742, 763, 864]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 151597 ms to find 6 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 1307/1321 places, 1188/1190 transitions.
Applied a total of 0 rules in 53 ms. Remains 1307 /1307 variables (removed 0) and now considering 1188/1188 (removed 0) transitions.
Finished structural reductions in SI_LTL mode , in 2 iterations and 151759 ms. Remains : 1307/1321 places, 1188/1190 transitions.
Computed a total of 1307 stabilizing places and 1188 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1307 transition count 1188
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 77 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
RANDOM walk for 214 steps (0 resets) in 12 ms. (16 steps per ms) remains 0/1 properties
Knowledge based reduction with 4 factoid took 81 ms. Reduced automaton from 2 states, 3 edges and 1 AP (stutter insensitive) to 2 states, 3 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 97 ms :[(NOT p0), (NOT p0)]
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6894078929927008668.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11218130393624447404.kers'
[2026-05-25 14:43:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6894078929927008668.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11218130393624447404.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1188 rows 1307 cols 7583 entries
Finished phase 1 with 523 SingleSign rule and 195 generalized
[2026-05-25 14:43:16] [INFO ] Computed 589 invariants in 1664 ms
Computed 589 P flows in 1665 ms.
Exported basis to /tmp/petrispot-output-11218130393624447404.kers
Total runtime 1678 ms.
[2026-05-25 14:43:19] [INFO ] [Real]Absence check using 5 positive place invariants in 64 ms returned sat
[2026-05-25 14:43:25] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 14:43:27] [INFO ] [Real]Absence check using 5 positive and 584 generalized place invariants in 7643 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 13878 ms.
Stuttering acceptance computed with spot in 72 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 68 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 1493 reset in 2312 ms.
Product exploration explored 100000 steps with 1507 reset in 3071 ms.
Built C files in :
/tmp/ltsmin8803472851479341601
[2026-05-25 14:43:32] [INFO ] Computing symmetric may disable matrix : 1188 transitions.
[2026-05-25 14:43:32] [INFO ] Computation of Complete disable matrix. took 12 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 14:43:32] [INFO ] Computing symmetric may enable matrix : 1188 transitions.
[2026-05-25 14:43:32] [INFO ] Computation of Complete enable matrix. took 13 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 14:43:33] [INFO ] Computing Do-Not-Accords matrix : 1188 transitions.
[2026-05-25 14:43:33] [INFO ] Computation of Completed DNA matrix. took 81 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 14:43:33] [INFO ] Built C files in 555ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8803472851479341601
Running compilation step : cd /tmp/ltsmin8803472851479341601;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8803472851479341601;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8803472851479341601;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 1307 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 1307/1307 places, 1188/1188 transitions.
Graph (complete) has 4648 edges and 1307 vertex of which 1306 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 0 output transitions
Applied a total of 1 rules in 71 ms. Remains 1306 /1307 variables (removed 1) and now considering 1188/1188 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12077807517209743019.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7012178202015655418.kers'
[2026-05-25 14:43:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12077807517209743019.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7012178202015655418.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 1188 rows 1306 cols 7578 entries
Finished phase 1 with 523 SingleSign rule and 195 generalized
[2026-05-25 14:43:38] [INFO ] Computed 588 invariants in 1769 ms
Computed 588 P flows in 1770 ms.
Exported basis to /tmp/petrispot-output-7012178202015655418.kers
Total runtime 1780 ms.
[2026-05-25 14:44:13] [INFO ] Performed 479/1306 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 14:44:44] [INFO ] Performed 560/1306 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 14:45:19] [INFO ] Performed 646/1306 implicitness test of which 0 returned IMPLICIT in 95 seconds.
[2026-05-25 14:45:49] [INFO ] Performed 692/1306 implicitness test of which 0 returned IMPLICIT in 125 seconds.
[2026-05-25 14:45:49] [INFO ] Timeout of Implicit test with SMT after 125 seconds.
[2026-05-25 14:45:49] [INFO ] Implicit Places using invariants in 133263 ms returned []
[2026-05-25 14:45:49] [INFO ] Invariant cache hit.
[2026-05-25 14:46:05] [INFO ] Implicit Places using invariants and state equation in 16196 ms returned []
Implicit Place search using SMT with State Equation took 149462 ms to find 0 implicit places.
[2026-05-25 14:46:05] [INFO ] Redundant transitions in 84 ms returned []
Running 1182 sub problems to find dead transitions.
[2026-05-25 14:46:05] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1306 variables, 1306/1306 constraints. Problems are: Problem set: 0 solved, 1182 unsolved
SMT process timed out in 31250ms, After SMT, problems are : Problem set: 0 solved, 1182 unsolved
Search for dead transitions found 0 dead transitions in 31262ms
Starting structural reductions in SI_LTL mode, iteration 1 : 1306/1307 places, 1188/1188 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 180897 ms. Remains : 1306/1307 places, 1188/1188 transitions.
Built C files in :
/tmp/ltsmin2613901644978473753
[2026-05-25 14:46:37] [INFO ] Computing symmetric may disable matrix : 1188 transitions.
[2026-05-25 14:46:37] [INFO ] Computation of Complete disable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 14:46:37] [INFO ] Computing symmetric may enable matrix : 1188 transitions.
[2026-05-25 14:46:37] [INFO ] Computation of Complete enable matrix. took 2 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 14:46:37] [INFO ] Computing Do-Not-Accords matrix : 1188 transitions.
[2026-05-25 14:46:37] [INFO ] Computation of Completed DNA matrix. took 41 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 14:46:37] [INFO ] Built C files in 380ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2613901644978473753
Running compilation step : cd /tmp/ltsmin2613901644978473753;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin2613901644978473753;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin2613901644978473753;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 14:46:40] [INFO ] Flatten gal took : 81 ms
[2026-05-25 14:46:40] [INFO ] Flatten gal took : 48 ms
[2026-05-25 14:46:40] [INFO ] Time to serialize gal into /tmp/LTL6176812940811358351.gal : 9 ms
[2026-05-25 14:46:40] [INFO ] Time to serialize properties into /tmp/LTL5562623895069813945.prop : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL6176812940811358351.gal' '-t' 'CGAL' '-hoa' '/tmp/aut4652984662914543989.hoa' '-atoms' '/tmp/LTL5562623895069813945.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...317
Loading property file /tmp/LTL5562623895069813945.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut4652984662914543989.hoa
Detected timeout of ITS tools.
[2026-05-25 14:46:55] [INFO ] Flatten gal took : 52 ms
[2026-05-25 14:46:56] [INFO ] Flatten gal took : 94 ms
[2026-05-25 14:46:56] [INFO ] Time to serialize gal into /tmp/LTL3385209957240537335.gal : 24 ms
[2026-05-25 14:46:56] [INFO ] Time to serialize properties into /tmp/LTL9488471497227155934.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL3385209957240537335.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9488471497227155934.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((("(p169==1)")U((X(X("((p677==0)||(p71==1))")))&&(F("(p169==1)")))))
Formula 0 simplified : !"(p169==1)" R (XX!"((p677==0)||(p71==1))" | G!"(p169==1)")
Detected timeout of ITS tools.
[2026-05-25 14:47:11] [INFO ] Flatten gal took : 47 ms
[2026-05-25 14:47:11] [INFO ] Applying decomposition
[2026-05-25 14:47:11] [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.202604301425/bin/convert-linux64' '-i' '/tmp/graph8518108895363108541.txt' '-o' '/tmp/graph8518108895363108541.bin' '-w' '/tmp/graph8518108895363108541.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8518108895363108541.bin' '-l' '-1' '-v' '-w' '/tmp/graph8518108895363108541.weights' '-q' '0' '-e' '0.001'
[2026-05-25 14:47:11] [INFO ] Decomposing Gal with order
[2026-05-25 14:47:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 14:47:11] [INFO ] Removed a total of 1973 redundant transitions.
[2026-05-25 14:47:11] [INFO ] Flatten gal took : 124 ms
[2026-05-25 14:47:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 280 labels/synchronizations in 57 ms.
[2026-05-25 14:47:11] [INFO ] Time to serialize gal into /tmp/LTL4317318699500423968.gal : 28 ms
[2026-05-25 14:47:11] [INFO ] Time to serialize properties into /tmp/LTL7889199306254013382.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL4317318699500423968.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL7889199306254013382.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Checking formula 0 : !((("(i0.u68.p169==1)")U((X(X("((i6.i1.i1.u106.p677==0)||(i7.u53.p71==1))")))&&(F("(i0.u68.p169==1)")))))
Formula 0 simplified : !"(i0.u68.p169==1)" R (XX!"((i6.i1.i1.u106.p677==0)||(i7.u53.p71==1))" | G!"(i0.u68.p169==1)")
Detected timeout of ITS tools.
Treatment of property Echo-PT-d03r05-LTLCardinality-09 finished in 580289 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X((p0&&(X(p1) U G(p0))&&F(p2)))&&F(p3))))'
Support contains 7 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1320 transition count 1190
Applied a total of 4 rules in 27 ms. Remains 1320 /1324 variables (removed 4) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2914075970249994067.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14631190098246024650.kers'
[2026-05-25 14:47:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2914075970249994067.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14631190098246024650.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1320 cols 7665 entries
Finished phase 1 with 514 SingleSign rule and 206 generalized
[2026-05-25 14:47:28] [INFO ] Computed 600 invariants in 1987 ms
Computed 600 P flows in 1988 ms.
Exported basis to /tmp/petrispot-output-14631190098246024650.kers
Total runtime 2000 ms.
[2026-05-25 14:48:19] [INFO ] Performed 541/1320 implicitness test of which 0 returned IMPLICIT in 44 seconds.
[2026-05-25 14:48:57] [INFO ] Performed 677/1320 implicitness test of which 0 returned IMPLICIT in 82 seconds.
[2026-05-25 14:50:08] [INFO ] Implicit Places using invariants in 162060 ms returned []
[2026-05-25 14:50:08] [INFO ] Invariant cache hit.
[2026-05-25 14:50:44] [INFO ] Implicit Places using invariants and state equation in 35848 ms returned []
Implicit Place search using SMT with State Equation took 197928 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 14:50:44] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30910ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30915ms
Starting structural reductions in LTL mode, iteration 1 : 1320/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 228875 ms. Remains : 1320/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X((p0&&(X(p1) U G(p0))&&F(p2)))&&F(p3))))'
Stuttering acceptance computed with spot in 415 ms :[(OR (NOT p3) (NOT p0) (NOT p2)), (OR (NOT p3) (NOT p2) (NOT p0)), (OR (NOT p2) (NOT p0)), (NOT p3), true, (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) p1), (NOT p1)]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-12
Product exploration explored 100000 steps with 4734 reset in 1754 ms.
Product exploration explored 100000 steps with 4814 reset in 1741 ms.
Computed a total of 1320 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1320 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 10 factoid took 236 ms. Reduced automaton from 10 states, 19 edges and 4 AP (stutter sensitive) to 9 states, 16 edges and 3 AP (stutter sensitive).
RANDOM walk for 19628 steps (76 resets) in 480 ms. (40 steps per ms) remains 0/7 properties
Knowledge based reduction with 10 factoid took 775 ms. Reduced automaton from 9 states, 16 edges and 3 AP (stutter sensitive) to 9 states, 16 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 380 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), true, (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) p1), (NOT p1)]
[2026-05-25 14:51:22] [INFO ] Invariant cache hit.
[2026-05-25 14:51:29] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 14:51:31] [INFO ] [Real]Absence check using 0 positive and 600 generalized place invariants in 6702 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 11653 ms.
Stuttering acceptance computed with spot in 303 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), true, (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) p1), (NOT p1)]
Support contains 5 out of 1320 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 1320/1320 places, 1190/1190 transitions.
Applied a total of 0 rules in 28 ms. Remains 1320 /1320 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:51:31] [INFO ] Invariant cache hit.
[2026-05-25 14:52:22] [INFO ] Performed 541/1320 implicitness test of which 0 returned IMPLICIT in 45 seconds.
[2026-05-25 14:53:06] [INFO ] Performed 599/1320 implicitness test of which 0 returned IMPLICIT in 89 seconds.
[2026-05-25 14:53:44] [INFO ] Performed 627/1320 implicitness test of which 0 returned IMPLICIT in 127 seconds.
[2026-05-25 14:53:44] [INFO ] Timeout of Implicit test with SMT after 127 seconds.
[2026-05-25 14:53:44] [INFO ] Implicit Places using invariants in 132991 ms returned []
[2026-05-25 14:53:44] [INFO ] Invariant cache hit.
[2026-05-25 14:54:21] [INFO ] Implicit Places using invariants and state equation in 37003 ms returned []
Implicit Place search using SMT with State Equation took 170006 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 170035 ms. Remains : 1320/1320 places, 1190/1190 transitions.
Computed a total of 1320 stabilizing places and 1190 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 1320 transition count 1190
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge based reduction with 4 factoid took 129 ms. Reduced automaton from 9 states, 16 edges and 3 AP (stutter sensitive) to 9 states, 16 edges and 3 AP (stutter sensitive).
RANDOM walk for 39939 steps (156 resets) in 1487 ms. (26 steps per ms) remains 0/7 properties
Knowledge based reduction with 4 factoid took 245 ms. Reduced automaton from 9 states, 16 edges and 3 AP (stutter sensitive) to 9 states, 16 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 334 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), true, (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) p1), (NOT p1)]
[2026-05-25 14:54:23] [INFO ] Invariant cache hit.
[2026-05-25 14:54:31] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-25 14:54:32] [INFO ] [Real]Absence check using 0 positive and 600 generalized place invariants in 6473 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 11006 ms.
Stuttering acceptance computed with spot in 380 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), true, (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) p1), (NOT p1)]
Stuttering acceptance computed with spot in 395 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p2) (NOT p0)), true, (NOT p2), (AND (NOT p0) (NOT p1)), (NOT p0), (AND (NOT p0) p1), (NOT p1)]
Product exploration explored 100000 steps with 4838 reset in 1647 ms.
Product exploration explored 100000 steps with 4788 reset in 1810 ms.
Spot run failed in 87 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/autstates.py", line 2, in
import spot
ModuleNotFoundError: No module named 'spot'
java.io.IOException
at fr.lip6.move.gal.application.runner.spot.SpotRunner.computeForwardClosedSI(SpotRunner.java:551)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.treatPartialPOR(LTLPropertySolver.java:419)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:280)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStutteringLTLTest(LTLPropertySolver.java:217)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.runStructuralLTLCheck(LTLPropertySolver.java:66)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:849)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
Built C files in :
/tmp/ltsmin8368971643867504937
[2026-05-25 14:54:37] [INFO ] Built C files in 34ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8368971643867504937
Running compilation step : cd /tmp/ltsmin8368971643867504937;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8368971643867504937;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin8368971643867504937;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 5 out of 1320 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1320/1320 places, 1190/1190 transitions.
Applied a total of 0 rules in 33 ms. Remains 1320 /1320 variables (removed 0) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:54:40] [INFO ] Invariant cache hit.
[2026-05-25 14:55:31] [INFO ] Performed 541/1320 implicitness test of which 0 returned IMPLICIT in 45 seconds.
[2026-05-25 14:56:13] [INFO ] Performed 599/1320 implicitness test of which 0 returned IMPLICIT in 87 seconds.
[2026-05-25 14:56:50] [INFO ] Performed 623/1320 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2026-05-25 14:56:50] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2026-05-25 14:56:50] [INFO ] Implicit Places using invariants in 130599 ms returned []
[2026-05-25 14:56:50] [INFO ] Invariant cache hit.
[2026-05-25 14:57:19] [INFO ] Implicit Places using invariants and state equation in 29194 ms returned []
Implicit Place search using SMT with State Equation took 159805 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 159842 ms. Remains : 1320/1320 places, 1190/1190 transitions.
Built C files in :
/tmp/ltsmin16137931457639525892
[2026-05-25 14:57:19] [INFO ] Built C files in 21ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16137931457639525892
Running compilation step : cd /tmp/ltsmin16137931457639525892;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin16137931457639525892;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin16137931457639525892;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 14:57:23] [INFO ] Flatten gal took : 64 ms
[2026-05-25 14:57:23] [INFO ] Flatten gal took : 46 ms
[2026-05-25 14:57:23] [INFO ] Time to serialize gal into /tmp/LTL14868506495018798631.gal : 14 ms
[2026-05-25 14:57:23] [INFO ] Time to serialize properties into /tmp/LTL12806723838238637428.prop : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL14868506495018798631.gal' '-t' 'CGAL' '-hoa' '/tmp/aut11402329473278639729.hoa' '-atoms' '/tmp/LTL12806723838238637428.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...320
Loading property file /tmp/LTL12806723838238637428.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut11402329473278639729.hoa
Detected timeout of ITS tools.
[2026-05-25 14:57:38] [INFO ] Flatten gal took : 100 ms
[2026-05-25 14:57:38] [INFO ] Flatten gal took : 69 ms
[2026-05-25 14:57:38] [INFO ] Time to serialize gal into /tmp/LTL17754559762972815379.gal : 10 ms
[2026-05-25 14:57:38] [INFO ] Time to serialize properties into /tmp/LTL2703890940778276664.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL17754559762972815379.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2703890940778276664.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((X((X((("((p742==0)||(p570==1))")&&((X("((p1204==0)||(p536==1))"))U(G("((p742==0)||(p570==1))"))))&&(F("(p515==1)"))))&&(F("((p286==...175
Formula 0 simplified : X(X(!"((p742==0)||(p570==1))" | (X!"((p1204==0)||(p536==1))" R F!"((p742==0)||(p570==1))") | G!"(p515==1)") | G!"((p286==0)||(p824==...160
Detected timeout of ITS tools.
[2026-05-25 14:57:53] [INFO ] Flatten gal took : 65 ms
[2026-05-25 14:57:53] [INFO ] Applying decomposition
[2026-05-25 14:57:53] [INFO ] Flatten gal took : 53 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7847973229336008556.txt' '-o' '/tmp/graph7847973229336008556.bin' '-w' '/tmp/graph7847973229336008556.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7847973229336008556.bin' '-l' '-1' '-v' '-w' '/tmp/graph7847973229336008556.weights' '-q' '0' '-e' '0.001'
[2026-05-25 14:57:53] [INFO ] Decomposing Gal with order
[2026-05-25 14:57:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 14:57:54] [INFO ] Removed a total of 1962 redundant transitions.
[2026-05-25 14:57:54] [INFO ] Flatten gal took : 175 ms
[2026-05-25 14:57:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 40 ms.
[2026-05-25 14:57:54] [INFO ] Time to serialize gal into /tmp/LTL16162089386679703214.gal : 20 ms
[2026-05-25 14:57:54] [INFO ] Time to serialize properties into /tmp/LTL9274899960736102434.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL16162089386679703214.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9274899960736102434.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((X((X((("((i3.i1.u62.p742==0)||(i6.u42.p570==1))")&&((X("((i4.i0.u116.p1204==0)||(i3.i2.u27.p536==1))"))U(G("((i3.i1.u62.p742==0)||(...257
Formula 0 simplified : X(X(!"((i3.i1.u62.p742==0)||(i6.u42.p570==1))" | (X!"((i4.i0.u116.p1204==0)||(i3.i2.u27.p536==1))" R F!"((i3.i1.u62.p742==0)||(i6.u4...242
Detected timeout of ITS tools.
Treatment of property Echo-PT-d03r05-LTLCardinality-12 finished in 642466 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(F((p0||G(p1))))))'
Support contains 3 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 1320 transition count 1190
Applied a total of 4 rules in 27 ms. Remains 1320 /1324 variables (removed 4) and now considering 1190/1190 (removed 0) transitions.
[2026-05-25 14:58:09] [INFO ] Invariant cache hit.
[2026-05-25 14:58:49] [INFO ] Performed 479/1320 implicitness test of which 0 returned IMPLICIT in 33 seconds.
[2026-05-25 14:59:19] [INFO ] Performed 562/1320 implicitness test of which 0 returned IMPLICIT in 63 seconds.
[2026-05-25 14:59:56] [INFO ] Performed 594/1320 implicitness test of which 0 returned IMPLICIT in 101 seconds.
[2026-05-25 15:00:35] [INFO ] Performed 623/1320 implicitness test of which 0 returned IMPLICIT in 139 seconds.
[2026-05-25 15:00:35] [INFO ] Timeout of Implicit test with SMT after 139 seconds.
[2026-05-25 15:00:35] [INFO ] Implicit Places using invariants in 145866 ms returned []
[2026-05-25 15:00:35] [INFO ] Invariant cache hit.
[2026-05-25 15:01:06] [INFO ] Implicit Places using invariants and state equation in 31133 ms returned []
Implicit Place search using SMT with State Equation took 177016 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 1320/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 177046 ms. Remains : 1320/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(F((G(p0)||p1)))))'
Stuttering acceptance computed with spot in 135 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-13
Stuttering criterion allowed to conclude after 475 steps with 3 reset in 8 ms.
FORMULA Echo-PT-d03r05-LTLCardinality-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r05-LTLCardinality-13 finished in 177241 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0 U p1)&&X(p2)))'
Support contains 3 out of 1324 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1324/1324 places, 1190/1190 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 1321 transition count 1190
Applied a total of 3 rules in 39 ms. Remains 1321 /1324 variables (removed 3) and now considering 1190/1190 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15266966878676813097.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1306904788459480760.kers'
[2026-05-25 15:01:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15266966878676813097.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1306904788459480760.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 1190 rows 1321 cols 7671 entries
Finished phase 1 with 510 SingleSign rule and 210 generalized
[2026-05-25 15:01:08] [INFO ] Computed 601 invariants in 1714 ms
Computed 601 P flows in 1723 ms.
Exported basis to /tmp/petrispot-output-1306904788459480760.kers
Total runtime 1733 ms.
[2026-05-25 15:01:45] [INFO ] Performed 523/1321 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 15:02:15] [INFO ] Performed 751/1321 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 15:02:45] [INFO ] Performed 893/1321 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-25 15:02:59] [INFO ] Implicit Places using invariants in 113264 ms returned []
[2026-05-25 15:02:59] [INFO ] Invariant cache hit.
[2026-05-25 15:03:31] [INFO ] Implicit Places using invariants and state equation in 31272 ms returned []
Implicit Place search using SMT with State Equation took 144548 ms to find 0 implicit places.
Running 1189 sub problems to find dead transitions.
[2026-05-25 15:03:31] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1319 variables, 1319/1319 constraints. Problems are: Problem set: 0 solved, 1189 unsolved
SMT process timed out in 30567ms, After SMT, problems are : Problem set: 0 solved, 1189 unsolved
Search for dead transitions found 0 dead transitions in 30571ms
Starting structural reductions in LTL mode, iteration 1 : 1321/1324 places, 1190/1190 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 175165 ms. Remains : 1321/1324 places, 1190/1190 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(((p0 U p1)&&X(p2)))'
Stuttering acceptance computed with spot in 172 ms :[(OR (NOT p1) (NOT p2)), true, (NOT p1), (NOT p2)]
Running random walk in product with property : Echo-PT-d03r05-LTLCardinality-14
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 0 ms.
FORMULA Echo-PT-d03r05-LTLCardinality-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property Echo-PT-d03r05-LTLCardinality-14 finished in 175379 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X(p0)))))'
Spot run failed in 86 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((G(F(p0))||(!p0&&F(p0)&&F(((!p1&&X(X(!p2)))||G(!p2)))))))'
Spot run failed in 52 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((p0 U (X(X(p1))&&F(p0))))'
Spot run failed in 53 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((X((p0&&(X(p1) U G(p0))&&F(p2)))&&F(p3))))'
Spot run failed in 53 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
[2026-05-25 15:04:02] [INFO ] Flatten gal took : 53 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin11085190852173782164
[2026-05-25 15:04:02] [INFO ] Computing symmetric may disable matrix : 1190 transitions.
[2026-05-25 15:04:02] [INFO ] Computation of Complete disable matrix. took 4 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 15:04:02] [INFO ] Computing symmetric may enable matrix : 1190 transitions.
[2026-05-25 15:04:02] [INFO ] Computation of Complete enable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 15:04:02] [INFO ] Applying decomposition
[2026-05-25 15:04:02] [INFO ] Flatten gal took : 73 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10396160842191306824.txt' '-o' '/tmp/graph10396160842191306824.bin' '-w' '/tmp/graph10396160842191306824.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10396160842191306824.bin' '-l' '-1' '-v' '-w' '/tmp/graph10396160842191306824.weights' '-q' '0' '-e' '0.001'
[2026-05-25 15:04:02] [INFO ] Decomposing Gal with order
[2026-05-25 15:04:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 15:04:02] [INFO ] Computing Do-Not-Accords matrix : 1190 transitions.
[2026-05-25 15:04:02] [INFO ] Computation of Completed DNA matrix. took 40 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2026-05-25 15:04:02] [INFO ] Built C files in 409ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11085190852173782164
Running compilation step : cd /tmp/ltsmin11085190852173782164;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '180' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
[2026-05-25 15:04:02] [INFO ] Removed a total of 1978 redundant transitions.
[2026-05-25 15:04:02] [INFO ] Flatten gal took : 119 ms
[2026-05-25 15:04:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 307 labels/synchronizations in 36 ms.
[2026-05-25 15:04:02] [INFO ] Time to serialize gal into /tmp/LTLCardinality2252958216530010062.gal : 19 ms
[2026-05-25 15:04:02] [INFO ] Time to serialize properties into /tmp/LTLCardinality974848874807861012.ltl : 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.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTLCardinality2252958216530010062.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality974848874807861012.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 4 LTL properties
Checking formula 0 : !((X(X(X(X("((i0.i1.u6.p1327!=0)&&(i3.u27.p943!=1))"))))))
Formula 0 simplified : XXXX!"((i0.i1.u6.p1327!=0)&&(i3.u27.p943!=1))"
Compilation finished in 8000 ms.
Running link step : cd /tmp/ltsmin11085190852173782164;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 96 ms.
Running LTSmin : cd /tmp/ltsmin11085190852173782164;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X(X(X(X((LTLAPp0==true)))))' '--buchi-type=spotba'
LTSmin run took 585 ms.
FORMULA Echo-PT-d03r05-LTLCardinality-00 TRUE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
Running LTSmin : cd /tmp/ltsmin11085190852173782164;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '<>(([](<>((LTLAPp1==true)))||(!(LTLAPp1==true)&&<>((LTLAPp1==true))&&<>(((!(LTLAPp2==true)&&X(X(!(LTLAPp3==true))))||[](!(LTLAPp3==true)))))))' '--buchi-type=spotba'
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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -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
++ 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.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLCardinality -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-d03r05"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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-5973"
echo " Executing tool itstools"
echo " Input is Echo-PT-d03r05, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-177955740400179"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d03r05.tgz
mv Echo-PT-d03r05 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;