About the Execution of ITS-Tools for HypertorusGrid-PT-d4k3p2b08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16201.323 | 3600000.00 | 5529650.00 | 127163.60 | F?FFFF?F?F?FF??F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r162-smll-177961107600060.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 HypertorusGrid-PT-d4k3p2b08, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107600060
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 11K Mar 7 17:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Mar 7 17:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 7 17:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 7 17:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Mar 15 10:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 15 10:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 15 10:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 15 10:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Mar 7 17:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Mar 7 17:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Mar 7 17:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Mar 7 17:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 10:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rwxr-xr-x 1 mcc users 2.8M 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 HypertorusGrid-PT-d4k3p2b08-LTLFireability-00
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-01
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-02
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-03
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-04
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-05
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-06
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-07
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-08
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-09
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-10
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-11
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-12
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-13
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-14
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1779706367217
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypertorusGrid-PT-d4k3p2b08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-05-25 10:52:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 10:52:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 10:52:50] [INFO ] Load time of PNML (sax parser for PT used): 668 ms
[2026-05-25 10:52:50] [INFO ] Transformed 2025 places.
[2026-05-25 10:52:50] [INFO ] Transformed 5184 transitions.
[2026-05-25 10:52:50] [INFO ] Parsed PT model containing 2025 places and 5184 transitions and 20736 arcs in 955 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 17 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 64 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 518 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (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-11733953938527912750.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14791609108742705161.kers'
[2026-05-25 10:52:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11733953938527912750.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14791609108742705161.kers]
Culling duplicate invariants (modulo rational): removing 648 columns.
Culled 648 columns in 7 ms.
// Phase 1: matrix 5184 rows 1377 cols 15552 entries
Finished phase 1 with 1295 SingleSign rule and 0 generalized
[2026-05-25 10:52:51] [INFO ] Computed 730 invariants in 85 ms
Computed 730 P flows in 87 ms.
Exported basis to /tmp/petrispot-output-14791609108742705161.kers
Total runtime 97 ms.
[2026-05-25 10:52:55] [INFO ] Implicit Places using invariants in 4405 ms returned []
[2026-05-25 10:52:55] [INFO ] Invariant cache hit.
[2026-05-25 10:53:03] [INFO ] Implicit Places using invariants and state equation in 7896 ms returned []
Implicit Place search using SMT with State Equation took 12373 ms to find 0 implicit places.
Running 4536 sub problems to find dead transitions.
[2026-05-25 10:53:03] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 729/7209 variables, and 0 constraints, problems are : Problem set: 0 solved, 4536 unsolved in 30188 ms.
Refiners :[Positive P Invariants (semi-flows): 0/730 constraints, State Equation: 0/2025 constraints, PredecessorRefiner: 4536/4536 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4536 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 729/7209 variables, and 0 constraints, problems are : Problem set: 0 solved, 4536 unsolved in 30102 ms.
Refiners :[Positive P Invariants (semi-flows): 0/730 constraints, State Equation: 0/2025 constraints, PredecessorRefiner: 0/4536 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 65997ms problems are : Problem set: 0 solved, 4536 unsolved
Search for dead transitions found 0 dead transitions in 66085ms
Finished structural reductions in LTL mode , in 1 iterations and 79076 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 223 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:54:10] [INFO ] Invariant cache hit.
[2026-05-25 10:54:13] [INFO ] Implicit Places using invariants in 3474 ms returned []
[2026-05-25 10:54:13] [INFO ] Invariant cache hit.
[2026-05-25 10:54:20] [INFO ] Implicit Places using invariants and state equation in 6615 ms returned []
Implicit Place search using SMT with State Equation took 10096 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10323 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Support contains 64 out of 2025 places after structural reductions.
[2026-05-25 10:54:21] [INFO ] Flatten gal took : 535 ms
[2026-05-25 10:54:21] [INFO ] Flatten gal took : 261 ms
[2026-05-25 10:54:22] [INFO ] Input system was already deterministic with 5184 transitions.
Reduction of identical properties reduced properties to check from 34 to 32
RANDOM walk for 17818 steps (4 resets) in 5473 ms. (3 steps per ms) remains 0/32 properties
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-03 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Computed a total of 0 stabilizing places and 0 stable 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((p0&&G((X(p2)||p1))))&&(!p3 U (p4||G(!p3)))))))'
Support contains 8 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 209 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:54:24] [INFO ] Invariant cache hit.
[2026-05-25 10:54:28] [INFO ] Implicit Places using invariants in 3622 ms returned []
[2026-05-25 10:54:28] [INFO ] Invariant cache hit.
[2026-05-25 10:54:36] [INFO ] Implicit Places using invariants and state equation in 8576 ms returned []
Implicit Place search using SMT with State Equation took 12208 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 12423 ms. Remains : 2025/2025 places, 5184/5184 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((p0&&G((X(p2)||p1))))&&(!p3 U (p4||G(!p3)))))))'
Stuttering acceptance computed with spot in 715 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2)) (AND p3 (NOT p4))), (OR (NOT p0) (AND (NOT p1) (NOT p2)) (AND p3 (NOT p4))), (OR (NOT p0) (AND (NOT p1) (NOT p2)) (AND p3 (NOT p4))), true, (OR (NOT p0) (AND (NOT p1) (NOT p2))), (AND (NOT p4) p3), (NOT p2), (AND (NOT p1) (NOT p2))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-00
Entered a terminal (fully accepting) state of product in 12709 steps with 9 reset in 2633 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-00 finished in 15915 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)))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 165 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:54:40] [INFO ] Invariant cache hit.
[2026-05-25 10:54:42] [INFO ] Implicit Places using invariants in 2216 ms returned []
[2026-05-25 10:54:42] [INFO ] Invariant cache hit.
[2026-05-25 10:54:49] [INFO ] Implicit Places using invariants and state equation in 6867 ms returned []
Implicit Place search using SMT with State Equation took 9094 ms to find 0 implicit places.
[2026-05-25 10:54:50] [INFO ] Redundant transitions in 995 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10268 ms. Remains : 2025/2025 places, 5184/5184 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)))'
Stuttering acceptance computed with spot in 81 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-01
Product exploration timeout after 48370 steps with 13 reset in 10002 ms.
Product exploration timeout after 47710 steps with 16 reset in 10002 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 82 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 13290 steps (2 resets) in 3135 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 121 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 113 ms :[(NOT p0), (NOT p0)]
Knowledge-based reduction took 13469 ms.
Stuttering acceptance computed with spot in 101 ms :[(NOT p0), (NOT p0)]
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 199 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:55:24] [INFO ] Invariant cache hit.
[2026-05-25 10:55:27] [INFO ] Implicit Places using invariants in 3397 ms returned []
[2026-05-25 10:55:27] [INFO ] Invariant cache hit.
[2026-05-25 10:55:35] [INFO ] Implicit Places using invariants and state equation in 7928 ms returned []
Implicit Place search using SMT with State Equation took 11332 ms to find 0 implicit places.
[2026-05-25 10:55:36] [INFO ] Redundant transitions in 528 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 12073 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 74 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 3134 steps (0 resets) in 877 ms. (3 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 118 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 106 ms :[(NOT p0), (NOT p0)]
Knowledge-based reduction took 11119 ms.
Stuttering acceptance computed with spot in 104 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 120 ms :[(NOT p0), (NOT p0)]
Product exploration timeout after 53100 steps with 13 reset in 10001 ms.
Product exploration timeout after 51510 steps with 14 reset in 10001 ms.
Built C files in :
/tmp/ltsmin12673134568443493654
[2026-05-25 10:56:07] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:56:07] [INFO ] Built C files in 130ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12673134568443493654
Running compilation step : cd /tmp/ltsmin12673134568443493654;'/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/ltsmin12673134568443493654;'/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/ltsmin12673134568443493654;'/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 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 112 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:56:10] [INFO ] Invariant cache hit.
[2026-05-25 10:56:13] [INFO ] Implicit Places using invariants in 2851 ms returned []
[2026-05-25 10:56:13] [INFO ] Invariant cache hit.
[2026-05-25 10:56:20] [INFO ] Implicit Places using invariants and state equation in 6259 ms returned []
Implicit Place search using SMT with State Equation took 9112 ms to find 0 implicit places.
[2026-05-25 10:56:20] [INFO ] Redundant transitions in 847 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10083 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin15876188357473235992
[2026-05-25 10:56:20] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:56:20] [INFO ] Built C files in 77ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15876188357473235992
Running compilation step : cd /tmp/ltsmin15876188357473235992;'/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/ltsmin15876188357473235992;'/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/ltsmin15876188357473235992;'/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 10:56:24] [INFO ] Flatten gal took : 256 ms
[2026-05-25 10:56:24] [INFO ] Flatten gal took : 187 ms
[2026-05-25 10:56:25] [INFO ] Time to serialize gal into /tmp/LTL8564591958541598846.gal : 80 ms
[2026-05-25 10:56:25] [INFO ] Time to serialize properties into /tmp/LTL10908675248605104918.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/LTL8564591958541598846.gal' '-t' 'CGAL' '-hoa' '/tmp/aut14082801562959662097.hoa' '-atoms' '/tmp/LTL10908675248605104918.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/LTL10908675248605104918.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut14082801562959662097.hoa
Detected timeout of ITS tools.
[2026-05-25 10:56:40] [INFO ] Flatten gal took : 169 ms
[2026-05-25 10:56:40] [INFO ] Flatten gal took : 167 ms
[2026-05-25 10:56:40] [INFO ] Time to serialize gal into /tmp/LTL260382419556322996.gal : 39 ms
[2026-05-25 10:56:40] [INFO ] Time to serialize properties into /tmp/LTL14743118237120117937.ltl : 7 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/LTL260382419556322996.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14743118237120117937.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 : !((G(F("(((pbl_3_3_3_2<1)||(pi_d4_n1_3_3_3_2<1))||(((pbl_2_3_3_3<1)||(po_d3_n1_2_3_1_3<1))&&((pbl_3_3_2_3<1)||(po_d1_n1_1_3_2_3<1))))"...159
Formula 0 simplified : FG!"(((pbl_3_3_3_2<1)||(pi_d4_n1_3_3_3_2<1))||(((pbl_2_3_3_3<1)||(po_d3_n1_2_3_1_3<1))&&((pbl_3_3_2_3<1)||(po_d1_n1_1_3_2_3<1))))"
Detected timeout of ITS tools.
[2026-05-25 10:56:55] [INFO ] Flatten gal took : 159 ms
[2026-05-25 10:56:55] [INFO ] Applying decomposition
[2026-05-25 10:56:55] [INFO ] Flatten gal took : 155 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/graph6524137297193533613.txt' '-o' '/tmp/graph6524137297193533613.bin' '-w' '/tmp/graph6524137297193533613.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6524137297193533613.bin' '-l' '-1' '-v' '-w' '/tmp/graph6524137297193533613.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:56:56] [INFO ] Decomposing Gal with order
[2026-05-25 10:56:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:56:57] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 10:56:58] [INFO ] Flatten gal took : 1443 ms
[2026-05-25 10:56:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 64 ms.
[2026-05-25 10:56:59] [INFO ] Time to serialize gal into /tmp/LTL3224891916477405554.gal : 104 ms
[2026-05-25 10:56:59] [INFO ] Time to serialize properties into /tmp/LTL8843880736193564492.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/LTL3224891916477405554.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8843880736193564492.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 : !((G(F("(((i71.u79.pbl_3_3_3_2<1)||(i71.u403.pi_d4_n1_3_3_3_2<1))||(((i53.u57.pbl_2_3_3_3<1)||(i53.u524.po_d3_n1_2_3_1_3<1))&&((i69.u7...210
Formula 0 simplified : FG!"(((i71.u79.pbl_3_3_3_2<1)||(i71.u403.pi_d4_n1_3_3_3_2<1))||(((i53.u57.pbl_2_3_3_3<1)||(i53.u524.po_d3_n1_2_3_1_3<1))&&((i69.u77....204
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-01 finished in 154251 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(G(p1))))))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 69 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:57:14] [INFO ] Invariant cache hit.
[2026-05-25 10:57:17] [INFO ] Implicit Places using invariants in 3079 ms returned []
[2026-05-25 10:57:17] [INFO ] Invariant cache hit.
[2026-05-25 10:57:24] [INFO ] Implicit Places using invariants and state equation in 6697 ms returned []
Implicit Place search using SMT with State Equation took 9782 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9852 ms. Remains : 2025/2025 places, 5184/5184 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(G(p0))&&p1))))'
Stuttering acceptance computed with spot in 178 ms :[true, (OR (NOT p1) (NOT p0)), (NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-02
Entered a terminal (fully accepting) state of product in 185 steps with 0 reset in 51 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-02 finished in 10141 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((F(p0)&&X(F(((p2||G(p3))&&p1))))))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 112 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:57:24] [INFO ] Invariant cache hit.
[2026-05-25 10:57:28] [INFO ] Implicit Places using invariants in 3449 ms returned []
[2026-05-25 10:57:28] [INFO ] Invariant cache hit.
[2026-05-25 10:57:35] [INFO ] Implicit Places using invariants and state equation in 7731 ms returned []
Implicit Place search using SMT with State Equation took 11194 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 11308 ms. Remains : 2025/2025 places, 5184/5184 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((F(p0)&&X(F(((p2||G(p3))&&p1))))))'
Stuttering acceptance computed with spot in 236 ms :[(OR (NOT p0) (NOT p1) (AND (NOT p2) (NOT p3))), (OR (NOT p0) (NOT p1) (AND (NOT p2) (NOT p3))), (NOT p0), (OR (NOT p1) (AND (NOT p2) (NOT p3))), (OR (AND (NOT p1) (NOT p3)) (AND (NOT p2) (NOT p3)))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-05
Product exploration timeout after 45300 steps with 50 reset in 10003 ms.
Product exploration timeout after 47820 steps with 46 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 247 ms. Reduced automaton from 5 states, 8 edges and 4 AP (stutter sensitive) to 5 states, 8 edges and 4 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 8 to 7
RANDOM walk for 40000 steps (8 resets) in 8543 ms. (4 steps per ms) remains 1/7 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1164 ms. (34 steps per ms) remains 1/1 properties
[2026-05-25 10:58:09] [INFO ] Invariant cache hit.
Problem apf5 is UNSAT
After SMT solving in domain Real declared 4/7209 variables, and 0 constraints, problems are : Problem set: 1 solved, 0 unsolved in 20 ms.
Refiners :[Positive P Invariants (semi-flows): 0/730 constraints, State Equation: 0/2025 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61ms problems are : Problem set: 1 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Found 1 invariant AP formulas.
Knowledge based reduction with 3 factoid took 278 ms. Reduced automaton from 5 states, 8 edges and 4 AP (stutter sensitive) to 4 states, 5 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 174 ms :[(OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (OR (NOT p2) (NOT p1))]
[2026-05-25 10:58:09] [INFO ] Invariant cache hit.
[2026-05-25 10:58:22] [INFO ] [Real]Absence check using 730 positive place invariants in 5884 ms returned unknown
Could not prove EG (NOT p1)
[2026-05-25 10:58:22] [INFO ] Invariant cache hit.
[2026-05-25 10:58:34] [INFO ] [Real]Absence check using 730 positive place invariants in 5083 ms returned sat
[2026-05-25 10:58:37] [INFO ] [Real]Absence check using state equation in 3422 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 41538 ms.
Stuttering acceptance computed with spot in 159 ms :[(OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (OR (NOT p2) (NOT p1))]
Support contains 4 out of 2025 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 68 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:58:37] [INFO ] Invariant cache hit.
[2026-05-25 10:58:40] [INFO ] Implicit Places using invariants in 2776 ms returned []
[2026-05-25 10:58:40] [INFO ] Invariant cache hit.
[2026-05-25 10:58:48] [INFO ] Implicit Places using invariants and state equation in 7753 ms returned []
Implicit Place search using SMT with State Equation took 10539 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10608 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 217 ms. Reduced automaton from 4 states, 5 edges and 3 AP (stutter sensitive) to 4 states, 5 edges and 3 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 4 to 2
RANDOM walk for 6927 steps (0 resets) in 2032 ms. (3 steps per ms) remains 0/2 properties
Knowledge based reduction with 1 factoid took 187 ms. Reduced automaton from 4 states, 5 edges and 3 AP (stutter sensitive) to 4 states, 5 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 153 ms :[(OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (OR (NOT p2) (NOT p1))]
[2026-05-25 10:59:00] [INFO ] Invariant cache hit.
[2026-05-25 10:59:14] [INFO ] [Real]Absence check using 730 positive place invariants in 6252 ms returned sat
[2026-05-25 10:59:15] [INFO ] [Real]Absence check using state equation in 1190 ms returned unknown
Could not prove EG (NOT p1)
[2026-05-25 10:59:15] [INFO ] Invariant cache hit.
[2026-05-25 10:59:28] [INFO ] [Real]Absence check using 730 positive place invariants in 6200 ms returned unknown
Could not prove EG (NOT p2)
Knowledge-based reduction took 40019 ms.
Stuttering acceptance computed with spot in 190 ms :[(OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (OR (NOT p2) (NOT p1))]
Stuttering acceptance computed with spot in 214 ms :[(OR (NOT p0) (NOT p1) (NOT p2)), (OR (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (OR (NOT p2) (NOT p1))]
Product exploration timeout after 55430 steps with 62 reset in 10001 ms.
Product exploration timeout after 49280 steps with 43 reset in 10002 ms.
Spot run failed in 107 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/ltsmin16724679194903983177
[2026-05-25 10:59:49] [INFO ] Built C files in 62ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16724679194903983177
Running compilation step : cd /tmp/ltsmin16724679194903983177;'/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/ltsmin16724679194903983177;'/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/ltsmin16724679194903983177;'/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 4 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 74 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:59:52] [INFO ] Invariant cache hit.
[2026-05-25 10:59:55] [INFO ] Implicit Places using invariants in 3428 ms returned []
[2026-05-25 10:59:55] [INFO ] Invariant cache hit.
[2026-05-25 11:00:04] [INFO ] Implicit Places using invariants and state equation in 8481 ms returned []
Implicit Place search using SMT with State Equation took 11929 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 12005 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin4180682508394592009
[2026-05-25 11:00:04] [INFO ] Built C files in 102ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4180682508394592009
Running compilation step : cd /tmp/ltsmin4180682508394592009;'/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/ltsmin4180682508394592009;'/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/ltsmin4180682508394592009;'/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 11:00:07] [INFO ] Flatten gal took : 213 ms
[2026-05-25 11:00:07] [INFO ] Flatten gal took : 228 ms
[2026-05-25 11:00:07] [INFO ] Time to serialize gal into /tmp/LTL15637322318224867557.gal : 42 ms
[2026-05-25 11:00:07] [INFO ] Time to serialize properties into /tmp/LTL12687497467821728580.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/LTL15637322318224867557.gal' '-t' 'CGAL' '-hoa' '/tmp/aut3185156655382603663.hoa' '-atoms' '/tmp/LTL12687497467821728580.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/LTL12687497467821728580.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut3185156655382603663.hoa
Detected timeout of ITS tools.
[2026-05-25 11:00:23] [INFO ] Flatten gal took : 224 ms
[2026-05-25 11:00:23] [INFO ] Flatten gal took : 231 ms
[2026-05-25 11:00:23] [INFO ] Time to serialize gal into /tmp/LTL12591028168637266493.gal : 40 ms
[2026-05-25 11:00:23] [INFO ] Time to serialize properties into /tmp/LTL15060789793316339635.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/LTL12591028168637266493.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL15060789793316339635.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...277
Read 1 LTL properties
Checking formula 0 : !((X((F("((pbl_1_1_2_1<1)||(pi_d2_n1_1_1_2_1<1))"))&&(X(F(("((pbl_2_3_3_2>=1)&&(pi_d1_n1_2_3_3_2>=1))")&&(("((pbl_2_3_3_2>=1)&&(pi_d1_...229
Formula 0 simplified : X(G!"((pbl_1_1_2_1<1)||(pi_d2_n1_1_1_2_1<1))" | XG!"((pbl_2_3_3_2>=1)&&(pi_d1_n1_2_3_3_2>=1))")
Detected timeout of ITS tools.
[2026-05-25 11:00:38] [INFO ] Flatten gal took : 129 ms
[2026-05-25 11:00:38] [INFO ] Applying decomposition
[2026-05-25 11:00:38] [INFO ] Flatten gal took : 191 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/graph12989001608310083730.txt' '-o' '/tmp/graph12989001608310083730.bin' '-w' '/tmp/graph12989001608310083730.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12989001608310083730.bin' '-l' '-1' '-v' '-w' '/tmp/graph12989001608310083730.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:00:39] [INFO ] Decomposing Gal with order
[2026-05-25 11:00:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:00:40] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:00:40] [INFO ] Flatten gal took : 248 ms
[2026-05-25 11:00:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 18 ms.
[2026-05-25 11:00:40] [INFO ] Time to serialize gal into /tmp/LTL1450332072928632019.gal : 38 ms
[2026-05-25 11:00:40] [INFO ] Time to serialize properties into /tmp/LTL9564312093208050283.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/LTL1450332072928632019.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9564312093208050283.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((F("((i13.u14.pbl_1_1_2_1<1)||(i13.u117.pi_d2_n1_1_1_2_1<1))"))&&(X(F(("((i55.u57.pbl_2_3_3_2>=1)&&(i55.u102.pi_d1_n1_2_3_3_2>=1)...294
Formula 0 simplified : X(G!"((i13.u14.pbl_1_1_2_1<1)||(i13.u117.pi_d2_n1_1_1_2_1<1))" | XG!"((i55.u57.pbl_2_3_3_2>=1)&&(i55.u102.pi_d1_n1_2_3_3_2>=1))")
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-05 finished in 211239 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(p0)))'
Support contains 2 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 161 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:00:55] [INFO ] Invariant cache hit.
[2026-05-25 11:00:58] [INFO ] Implicit Places using invariants in 2969 ms returned []
[2026-05-25 11:00:58] [INFO ] Invariant cache hit.
[2026-05-25 11:01:06] [INFO ] Implicit Places using invariants and state equation in 7682 ms returned []
Implicit Place search using SMT with State Equation took 10654 ms to find 0 implicit places.
[2026-05-25 11:01:07] [INFO ] Redundant transitions in 637 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11470 ms. Remains : 2025/2025 places, 5184/5184 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(p0)))'
Stuttering acceptance computed with spot in 50 ms :[(NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-06
Product exploration timeout after 57380 steps with 0 reset in 10001 ms.
Product exploration timeout after 54740 steps with 0 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 100 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 1659 steps (0 resets) in 430 ms. (3 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 125 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Knowledge-based reduction took 10863 ms.
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Support contains 2 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 154 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:01:38] [INFO ] Invariant cache hit.
[2026-05-25 11:01:41] [INFO ] Implicit Places using invariants in 2979 ms returned []
[2026-05-25 11:01:41] [INFO ] Invariant cache hit.
[2026-05-25 11:01:49] [INFO ] Implicit Places using invariants and state equation in 7889 ms returned []
Implicit Place search using SMT with State Equation took 10872 ms to find 0 implicit places.
[2026-05-25 11:01:49] [INFO ] Redundant transitions in 582 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11618 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 117 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
RANDOM walk for 4049 steps (0 resets) in 942 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 126 ms. Reduced automaton from 1 states, 2 edges and 1 AP (stutter insensitive) to 1 states, 2 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 49 ms :[(NOT p0)]
Knowledge-based reduction took 11477 ms.
Stuttering acceptance computed with spot in 46 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 44 ms :[(NOT p0)]
Product exploration timeout after 62200 steps with 0 reset in 10001 ms.
Product exploration timeout after 60240 steps with 0 reset in 10001 ms.
Built C files in :
/tmp/ltsmin8759595462077607376
[2026-05-25 11:02:21] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:02:21] [INFO ] Built C files in 61ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8759595462077607376
Running compilation step : cd /tmp/ltsmin8759595462077607376;'/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/ltsmin8759595462077607376;'/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/ltsmin8759595462077607376;'/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 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 103 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:02:24] [INFO ] Invariant cache hit.
[2026-05-25 11:02:27] [INFO ] Implicit Places using invariants in 2399 ms returned []
[2026-05-25 11:02:27] [INFO ] Invariant cache hit.
[2026-05-25 11:02:34] [INFO ] Implicit Places using invariants and state equation in 7482 ms returned []
Implicit Place search using SMT with State Equation took 9901 ms to find 0 implicit places.
[2026-05-25 11:02:35] [INFO ] Redundant transitions in 544 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10566 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin17872166692592059564
[2026-05-25 11:02:35] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:02:35] [INFO ] Built C files in 73ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17872166692592059564
Running compilation step : cd /tmp/ltsmin17872166692592059564;'/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/ltsmin17872166692592059564;'/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/ltsmin17872166692592059564;'/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 11:02:38] [INFO ] Flatten gal took : 123 ms
[2026-05-25 11:02:38] [INFO ] Flatten gal took : 141 ms
[2026-05-25 11:02:38] [INFO ] Time to serialize gal into /tmp/LTL14125136242862235230.gal : 25 ms
[2026-05-25 11:02:38] [INFO ] Time to serialize properties into /tmp/LTL3325441501872100198.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/LTL14125136242862235230.gal' '-t' 'CGAL' '-hoa' '/tmp/aut7631098665444560182.hoa' '-atoms' '/tmp/LTL3325441501872100198.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...318
Loading property file /tmp/LTL3325441501872100198.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut7631098665444560182.hoa
Detected timeout of ITS tools.
[2026-05-25 11:02:53] [INFO ] Flatten gal took : 151 ms
[2026-05-25 11:02:54] [INFO ] Flatten gal took : 211 ms
[2026-05-25 11:02:54] [INFO ] Time to serialize gal into /tmp/LTL6511324075153046592.gal : 41 ms
[2026-05-25 11:02:54] [INFO ] Time to serialize properties into /tmp/LTL9305010540610675176.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/LTL6511324075153046592.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9305010540610675176.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 : !((F(G("((pbl_1_3_3_1<1)||(po_d4_n1_1_3_3_2<1))"))))
Formula 0 simplified : GF!"((pbl_1_3_3_1<1)||(po_d4_n1_1_3_3_2<1))"
Detected timeout of ITS tools.
[2026-05-25 11:03:09] [INFO ] Flatten gal took : 138 ms
[2026-05-25 11:03:09] [INFO ] Applying decomposition
[2026-05-25 11:03:09] [INFO ] Flatten gal took : 237 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/graph8622633065295296199.txt' '-o' '/tmp/graph8622633065295296199.bin' '-w' '/tmp/graph8622633065295296199.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8622633065295296199.bin' '-l' '-1' '-v' '-w' '/tmp/graph8622633065295296199.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:03:10] [INFO ] Decomposing Gal with order
[2026-05-25 11:03:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:03:10] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:03:11] [INFO ] Flatten gal took : 261 ms
[2026-05-25 11:03:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 12 ms.
[2026-05-25 11:03:11] [INFO ] Time to serialize gal into /tmp/LTL16043484320139174659.gal : 26 ms
[2026-05-25 11:03:11] [INFO ] Time to serialize properties into /tmp/LTL13568907534862892530.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/LTL16043484320139174659.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL13568907534862892530.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...256
Read 1 LTL properties
Checking formula 0 : !((F(G("((i79.u26.pbl_1_3_3_1<1)||(i79.u534.po_d4_n1_1_3_3_2<1))"))))
Formula 0 simplified : GF!"((i79.u26.pbl_1_3_3_1<1)||(i79.u534.po_d4_n1_1_3_3_2<1))"
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-06 finished in 150432 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(p0) U X((G(!p1) U !p2)))||G(p3)))'
Support contains 8 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 67 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:03:26] [INFO ] Invariant cache hit.
[2026-05-25 11:03:29] [INFO ] Implicit Places using invariants in 3249 ms returned []
[2026-05-25 11:03:29] [INFO ] Invariant cache hit.
[2026-05-25 11:03:36] [INFO ] Implicit Places using invariants and state equation in 6942 ms returned []
Implicit Place search using SMT with State Equation took 10214 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10281 ms. Remains : 2025/2025 places, 5184/5184 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(p0) U X((G(!p1) U !p2)))||G(p3)))'
Stuttering acceptance computed with spot in 480 ms :[(AND p2 (NOT p3)), (AND (NOT p0) p2 p1), p2, (AND (NOT p0) (NOT p3) p2 p1), (AND p2 (NOT p3)), (NOT p0), (AND (NOT p0) p1), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p0) (NOT p3))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-07
Product exploration explored 100000 steps with 45576 reset in 8956 ms.
Product exploration explored 100000 steps with 45133 reset in 9491 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 17 factoid took 587 ms. Reduced automaton from 9 states, 25 edges and 4 AP (stutter sensitive) to 5 states, 8 edges and 3 AP (stutter sensitive).
RANDOM walk for 36917 steps (8 resets) in 9798 ms. (3 steps per ms) remains 0/8 properties
Knowledge based reduction with 17 factoid took 806 ms. Reduced automaton from 5 states, 8 edges and 3 AP (stutter sensitive) to 5 states, 8 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 261 ms :[p2, (AND (NOT p0) p1 p2), p2, (NOT p0), (AND (NOT p0) p1)]
Knowledge-based reduction took 16313 ms.
Stuttering acceptance computed with spot in 281 ms :[p2, (AND (NOT p0) p1 p2), p2, (NOT p0), (AND (NOT p0) p1)]
Support contains 6 out of 2025 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 69 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:04:12] [INFO ] Invariant cache hit.
[2026-05-25 11:04:15] [INFO ] Implicit Places using invariants in 3162 ms returned []
[2026-05-25 11:04:15] [INFO ] Invariant cache hit.
[2026-05-25 11:04:22] [INFO ] Implicit Places using invariants and state equation in 7043 ms returned []
Implicit Place search using SMT with State Equation took 10219 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10288 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 206 ms. Reduced automaton from 5 states, 8 edges and 3 AP (stutter sensitive) to 5 states, 8 edges and 3 AP (stutter sensitive).
RANDOM walk for 33879 steps (7 resets) in 8628 ms. (3 steps per ms) remains 0/8 properties
Knowledge based reduction with 3 factoid took 298 ms. Reduced automaton from 5 states, 8 edges and 3 AP (stutter sensitive) to 5 states, 8 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 223 ms :[p2, (AND (NOT p0) p1 p2), p2, (NOT p0), (AND (NOT p0) p1)]
Knowledge-based reduction took 15220 ms.
Stuttering acceptance computed with spot in 214 ms :[p2, (AND (NOT p0) p1 p2), p2, (NOT p0), (AND (NOT p0) p1)]
Stuttering acceptance computed with spot in 231 ms :[p2, (AND (NOT p0) p1 p2), p2, (NOT p0), (AND (NOT p0) p1)]
Product exploration explored 100000 steps with 45249 reset in 8657 ms.
Product exploration explored 100000 steps with 46510 reset in 9522 ms.
Spot run failed in 58 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/ltsmin15695393360977810855
[2026-05-25 11:04:56] [INFO ] Built C files in 80ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15695393360977810855
Running compilation step : cd /tmp/ltsmin15695393360977810855;'/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/ltsmin15695393360977810855;'/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/ltsmin15695393360977810855;'/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 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 65 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:04:59] [INFO ] Invariant cache hit.
[2026-05-25 11:05:03] [INFO ] Implicit Places using invariants in 3574 ms returned []
[2026-05-25 11:05:03] [INFO ] Invariant cache hit.
[2026-05-25 11:05:10] [INFO ] Implicit Places using invariants and state equation in 7602 ms returned []
Implicit Place search using SMT with State Equation took 11196 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 11262 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin15856838591424725385
[2026-05-25 11:05:10] [INFO ] Built C files in 46ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15856838591424725385
Running compilation step : cd /tmp/ltsmin15856838591424725385;'/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/ltsmin15856838591424725385;'/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/ltsmin15856838591424725385;'/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 11:05:14] [INFO ] Flatten gal took : 140 ms
[2026-05-25 11:05:14] [INFO ] Flatten gal took : 127 ms
[2026-05-25 11:05:14] [INFO ] Time to serialize gal into /tmp/LTL3877485582060723245.gal : 26 ms
[2026-05-25 11:05:14] [INFO ] Time to serialize properties into /tmp/LTL316868657805371038.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/LTL3877485582060723245.gal' '-t' 'CGAL' '-hoa' '/tmp/aut16624560845618561282.hoa' '-atoms' '/tmp/LTL316868657805371038.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/LTL316868657805371038.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut16624560845618561282.hoa
Detected timeout of ITS tools.
[2026-05-25 11:05:29] [INFO ] Flatten gal took : 126 ms
[2026-05-25 11:05:29] [INFO ] Flatten gal took : 133 ms
[2026-05-25 11:05:29] [INFO ] Time to serialize gal into /tmp/LTL6616491430777317239.gal : 26 ms
[2026-05-25 11:05:29] [INFO ] Time to serialize properties into /tmp/LTL8997428383505699717.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/LTL6616491430777317239.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8997428383505699717.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 : !((((F("((pb_d3_n2_1_3_3_1>=1)&&(pil_d3_n1_1_3_1_1>=1))"))U(X((G(!("((pbl_3_1_2_1>=1)&&(po_d2_n1_3_2_2_1>=1))")))U(!("((pbl_1_3_2_3>=1...238
Formula 0 simplified : (G!"((pb_d3_n2_1_3_3_1>=1)&&(pil_d3_n1_1_3_1_1>=1))" R X(F"((pbl_3_1_2_1>=1)&&(po_d2_n1_3_2_2_1>=1))" R "((pbl_1_3_2_3>=1)&&(pi_d3_n...220
Detected timeout of ITS tools.
[2026-05-25 11:05:44] [INFO ] Flatten gal took : 223 ms
[2026-05-25 11:05:44] [INFO ] Applying decomposition
[2026-05-25 11:05:45] [INFO ] Flatten gal took : 203 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/graph13891246081355182292.txt' '-o' '/tmp/graph13891246081355182292.bin' '-w' '/tmp/graph13891246081355182292.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13891246081355182292.bin' '-l' '-1' '-v' '-w' '/tmp/graph13891246081355182292.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:05:45] [INFO ] Decomposing Gal with order
[2026-05-25 11:05:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:05:46] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:05:46] [INFO ] Flatten gal took : 332 ms
[2026-05-25 11:05:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 11 ms.
[2026-05-25 11:05:46] [INFO ] Time to serialize gal into /tmp/LTL3132995017861003700.gal : 25 ms
[2026-05-25 11:05:46] [INFO ] Time to serialize properties into /tmp/LTL9642090818806852726.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/LTL3132995017861003700.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL9642090818806852726.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 : !((((F("((i29.u33.pb_d3_n2_1_3_3_1>=1)&&(i24.u161.pil_d3_n1_1_3_1_1>=1))"))U(X((G(!("((i4.u5.pbl_3_1_2_1>=1)&&(i4.u641.po_d2_n1_3_2_2_...303
Formula 0 simplified : (G!"((i29.u33.pb_d3_n2_1_3_3_1>=1)&&(i24.u161.pil_d3_n1_1_3_1_1>=1))" R X(F"((i4.u5.pbl_3_1_2_1>=1)&&(i4.u641.po_d2_n1_3_2_2_1>=1))"...285
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-07 finished in 155299 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(p0))'
Support contains 2 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 150 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:06:01] [INFO ] Invariant cache hit.
[2026-05-25 11:06:04] [INFO ] Implicit Places using invariants in 3313 ms returned []
[2026-05-25 11:06:04] [INFO ] Invariant cache hit.
[2026-05-25 11:06:12] [INFO ] Implicit Places using invariants and state equation in 7767 ms returned []
Implicit Place search using SMT with State Equation took 11084 ms to find 0 implicit places.
[2026-05-25 11:06:13] [INFO ] Redundant transitions in 586 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11844 ms. Remains : 2025/2025 places, 5184/5184 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(p0))'
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-08
Product exploration timeout after 54150 steps with 48 reset in 10002 ms.
Product exploration timeout after 49220 steps with 62 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 95 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
RANDOM walk for 5061 steps (1 resets) in 1096 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 103 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 37 ms :[(NOT p0)]
[2026-05-25 11:06:45] [INFO ] Invariant cache hit.
[2026-05-25 11:06:57] [INFO ] [Real]Absence check using 730 positive place invariants in 6542 ms returned sat
[2026-05-25 11:07:00] [INFO ] [Real]Absence check using state equation in 2068 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 26632 ms.
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Support contains 2 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 94 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:07:00] [INFO ] Invariant cache hit.
[2026-05-25 11:07:03] [INFO ] Implicit Places using invariants in 2903 ms returned []
[2026-05-25 11:07:03] [INFO ] Invariant cache hit.
[2026-05-25 11:07:11] [INFO ] Implicit Places using invariants and state equation in 7996 ms returned []
Implicit Place search using SMT with State Equation took 10932 ms to find 0 implicit places.
[2026-05-25 11:07:11] [INFO ] Redundant transitions in 644 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11695 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 87 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
RANDOM walk for 1784 steps (0 resets) in 475 ms. (3 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 112 ms. Reduced automaton from 1 states, 1 edges and 1 AP (stutter insensitive) to 1 states, 1 edges and 1 AP (stutter insensitive).
Stuttering acceptance computed with spot in 53 ms :[(NOT p0)]
[2026-05-25 11:07:22] [INFO ] Invariant cache hit.
[2026-05-25 11:07:36] [INFO ] [Real]Absence check using 730 positive place invariants in 6614 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Timeout of Z3 solver reached")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:308)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:857)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testEGap(DeadlockTester.java:590)
at fr.lip6.move.gal.application.solver.ltl.knowledge.KnowledgeFacts.computeEGknowledge(KnowledgeFacts.java:240)
at fr.lip6.move.gal.application.solver.ltl.knowledge.KnowledgeOrchestrator.applyKnowledgeBasedReductions(KnowledgeOrchestrator.java:52)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.checkLTLProperty(LTLPropertySolver.java:261)
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)
[2026-05-25 11:07:37] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Timeout of Z3 solver reached")... while checking expression EG (NOT p0)
Could not prove EG (NOT p0)
Knowledge-based reduction took 25630 ms.
Stuttering acceptance computed with spot in 42 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Product exploration timeout after 50300 steps with 53 reset in 10001 ms.
Product exploration timeout after 49970 steps with 49 reset in 10001 ms.
Built C files in :
/tmp/ltsmin5902886002688422291
[2026-05-25 11:07:57] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:07:57] [INFO ] Built C files in 40ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5902886002688422291
Running compilation step : cd /tmp/ltsmin5902886002688422291;'/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/ltsmin5902886002688422291;'/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/ltsmin5902886002688422291;'/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 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 115 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:08:00] [INFO ] Invariant cache hit.
[2026-05-25 11:08:03] [INFO ] Implicit Places using invariants in 2736 ms returned []
[2026-05-25 11:08:03] [INFO ] Invariant cache hit.
[2026-05-25 11:08:10] [INFO ] Implicit Places using invariants and state equation in 7034 ms returned []
Implicit Place search using SMT with State Equation took 9800 ms to find 0 implicit places.
[2026-05-25 11:08:10] [INFO ] Redundant transitions in 415 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10337 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin4854296845896622426
[2026-05-25 11:08:10] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:08:10] [INFO ] Built C files in 53ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4854296845896622426
Running compilation step : cd /tmp/ltsmin4854296845896622426;'/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/ltsmin4854296845896622426;'/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/ltsmin4854296845896622426;'/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 11:08:14] [INFO ] Flatten gal took : 125 ms
[2026-05-25 11:08:14] [INFO ] Flatten gal took : 199 ms
[2026-05-25 11:08:14] [INFO ] Time to serialize gal into /tmp/LTL17396607313206584406.gal : 39 ms
[2026-05-25 11:08:14] [INFO ] Time to serialize properties into /tmp/LTL15923244540495772020.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/LTL17396607313206584406.gal' '-t' 'CGAL' '-hoa' '/tmp/aut14666622744630186947.hoa' '-atoms' '/tmp/LTL15923244540495772020.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/LTL15923244540495772020.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut14666622744630186947.hoa
Detected timeout of ITS tools.
[2026-05-25 11:08:29] [INFO ] Flatten gal took : 126 ms
[2026-05-25 11:08:29] [INFO ] Flatten gal took : 155 ms
[2026-05-25 11:08:29] [INFO ] Time to serialize gal into /tmp/LTL6512448105506594378.gal : 22 ms
[2026-05-25 11:08:29] [INFO ] Time to serialize properties into /tmp/LTL11554628405565863012.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/LTL6512448105506594378.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL11554628405565863012.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("((pbl_2_1_2_2>=1)&&(pi_d3_n1_2_1_2_2>=1))")))
Formula 0 simplified : G!"((pbl_2_1_2_2>=1)&&(pi_d3_n1_2_1_2_2>=1))"
Detected timeout of ITS tools.
[2026-05-25 11:08:45] [INFO ] Flatten gal took : 124 ms
[2026-05-25 11:08:45] [INFO ] Applying decomposition
[2026-05-25 11:08:45] [INFO ] Flatten gal took : 132 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/graph8464616965644259909.txt' '-o' '/tmp/graph8464616965644259909.bin' '-w' '/tmp/graph8464616965644259909.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8464616965644259909.bin' '-l' '-1' '-v' '-w' '/tmp/graph8464616965644259909.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:08:45] [INFO ] Decomposing Gal with order
[2026-05-25 11:08:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:08:46] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:08:46] [INFO ] Flatten gal took : 246 ms
[2026-05-25 11:08:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 15 ms.
[2026-05-25 11:08:46] [INFO ] Time to serialize gal into /tmp/LTL14726344828093862658.gal : 27 ms
[2026-05-25 11:08:46] [INFO ] Time to serialize properties into /tmp/LTL13958858932006122213.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/LTL14726344828093862658.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL13958858932006122213.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...256
Read 1 LTL properties
Checking formula 0 : !((F("((i30.u35.pbl_2_1_2_2>=1)&&(i30.u180.pi_d3_n1_2_1_2_2>=1))")))
Formula 0 simplified : G!"((i30.u35.pbl_2_1_2_2>=1)&&(i30.u180.pi_d3_n1_2_1_2_2>=1))"
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-08 finished in 179933 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(((!X(X(X(p0)))&&X(p1)) U (!X(p0) U p2))))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 67 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:09:01] [INFO ] Invariant cache hit.
[2026-05-25 11:09:04] [INFO ] Implicit Places using invariants in 2825 ms returned []
[2026-05-25 11:09:04] [INFO ] Invariant cache hit.
[2026-05-25 11:09:12] [INFO ] Implicit Places using invariants and state equation in 8087 ms returned []
Implicit Place search using SMT with State Equation took 10943 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 11010 ms. Remains : 2025/2025 places, 5184/5184 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(((!X(X(X(p0)))&&X(p1)) U (!X(p0) U p2))))'
Stuttering acceptance computed with spot in 231 ms :[(NOT p2), (OR (NOT p2) p0), true, p0, (OR (NOT p2) p0), p0, p0]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-09
Entered a terminal (fully accepting) state of product in 908 steps with 0 reset in 239 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-09 finished in 11545 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&&X(!p1))||G(!p1))))))'
Support contains 4 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 107 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:09:13] [INFO ] Invariant cache hit.
[2026-05-25 11:09:16] [INFO ] Implicit Places using invariants in 3031 ms returned []
[2026-05-25 11:09:16] [INFO ] Invariant cache hit.
[2026-05-25 11:09:23] [INFO ] Implicit Places using invariants and state equation in 7377 ms returned []
Implicit Place search using SMT with State Equation took 10431 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10539 ms. Remains : 2025/2025 places, 5184/5184 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)||(X(p0)&&p1))))))'
Stuttering acceptance computed with spot in 257 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-10
Product exploration timeout after 89100 steps with 17615 reset in 10001 ms.
Product exploration timeout after 81410 steps with 16491 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 169 ms. Reduced automaton from 4 states, 8 edges and 2 AP (stutter sensitive) to 4 states, 8 edges and 2 AP (stutter sensitive).
RANDOM walk for 14339 steps (3 resets) in 4167 ms. (3 steps per ms) remains 0/6 properties
Knowledge based reduction with 1 factoid took 260 ms. Reduced automaton from 4 states, 8 edges and 2 AP (stutter sensitive) to 4 states, 8 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 220 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Knowledge-based reduction took 13301 ms.
Stuttering acceptance computed with spot in 187 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Support contains 4 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 107 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:09:57] [INFO ] Invariant cache hit.
[2026-05-25 11:10:00] [INFO ] Implicit Places using invariants in 3103 ms returned []
[2026-05-25 11:10:00] [INFO ] Invariant cache hit.
[2026-05-25 11:10:07] [INFO ] Implicit Places using invariants and state equation in 6848 ms returned []
Implicit Place search using SMT with State Equation took 9963 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10070 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 184 ms. Reduced automaton from 4 states, 8 edges and 2 AP (stutter sensitive) to 4 states, 8 edges and 2 AP (stutter sensitive).
RANDOM walk for 22907 steps (4 resets) in 4956 ms. (4 steps per ms) remains 0/6 properties
Knowledge based reduction with 1 factoid took 235 ms. Reduced automaton from 4 states, 8 edges and 2 AP (stutter sensitive) to 4 states, 8 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 141 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Knowledge-based reduction took 12779 ms.
Stuttering acceptance computed with spot in 136 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 148 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Product exploration timeout after 87320 steps with 16609 reset in 10001 ms.
Product exploration timeout after 82050 steps with 16574 reset in 10001 ms.
Spot run failed in 57 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/ltsmin16376216848997343493
[2026-05-25 11:10:40] [INFO ] Built C files in 39ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16376216848997343493
Running compilation step : cd /tmp/ltsmin16376216848997343493;'/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/ltsmin16376216848997343493;'/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/ltsmin16376216848997343493;'/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 4 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 107 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:10:43] [INFO ] Invariant cache hit.
[2026-05-25 11:10:46] [INFO ] Implicit Places using invariants in 2893 ms returned []
[2026-05-25 11:10:46] [INFO ] Invariant cache hit.
[2026-05-25 11:10:52] [INFO ] Implicit Places using invariants and state equation in 6173 ms returned []
Implicit Place search using SMT with State Equation took 9073 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9182 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin9819918223340072957
[2026-05-25 11:10:52] [INFO ] Built C files in 58ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9819918223340072957
Running compilation step : cd /tmp/ltsmin9819918223340072957;'/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/ltsmin9819918223340072957;'/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/ltsmin9819918223340072957;'/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 11:10:56] [INFO ] Flatten gal took : 126 ms
[2026-05-25 11:10:56] [INFO ] Flatten gal took : 131 ms
[2026-05-25 11:10:56] [INFO ] Time to serialize gal into /tmp/LTL14390471563583332985.gal : 25 ms
[2026-05-25 11:10:56] [INFO ] Time to serialize properties into /tmp/LTL5953635416167910724.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/LTL14390471563583332985.gal' '-t' 'CGAL' '-hoa' '/tmp/aut15765325128830991001.hoa' '-atoms' '/tmp/LTL5953635416167910724.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/LTL5953635416167910724.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut15765325128830991001.hoa
Detected timeout of ITS tools.
[2026-05-25 11:11:11] [INFO ] Flatten gal took : 192 ms
[2026-05-25 11:11:11] [INFO ] Flatten gal took : 195 ms
[2026-05-25 11:11:11] [INFO ] Time to serialize gal into /tmp/LTL11397652928399122919.gal : 42 ms
[2026-05-25 11:11:11] [INFO ] Time to serialize properties into /tmp/LTL10701334551277620461.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/LTL11397652928399122919.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL10701334551277620461.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...277
Read 1 LTL properties
Checking formula 0 : !((X(X(F((G("((pbl_2_3_1_1<1)||(pi_d3_n1_2_3_1_1<1))"))||((X("((pbl_2_3_1_1<1)||(pi_d3_n1_2_3_1_1<1))"))&&("((pbl_1_2_1_2<1)||(po_d2_n...176
Formula 0 simplified : XXG(F!"((pbl_2_3_1_1<1)||(pi_d3_n1_2_3_1_1<1))" & (!"((pbl_1_2_1_2<1)||(po_d2_n1_1_3_1_2<1))" | X!"((pbl_2_3_1_1<1)||(pi_d3_n1_2_3_1...164
Detected timeout of ITS tools.
[2026-05-25 11:11:26] [INFO ] Flatten gal took : 126 ms
[2026-05-25 11:11:26] [INFO ] Applying decomposition
[2026-05-25 11:11:27] [INFO ] Flatten gal took : 132 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/graph15968372077958880426.txt' '-o' '/tmp/graph15968372077958880426.bin' '-w' '/tmp/graph15968372077958880426.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15968372077958880426.bin' '-l' '-1' '-v' '-w' '/tmp/graph15968372077958880426.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:11:27] [INFO ] Decomposing Gal with order
[2026-05-25 11:11:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:11:28] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:11:28] [INFO ] Flatten gal took : 216 ms
[2026-05-25 11:11:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 13 ms.
[2026-05-25 11:11:28] [INFO ] Time to serialize gal into /tmp/LTL15978285016676695937.gal : 26 ms
[2026-05-25 11:11:28] [INFO ] Time to serialize properties into /tmp/LTL17625247007116795633.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/LTL15978285016676695937.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL17625247007116795633.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...256
Read 1 LTL properties
Checking formula 0 : !((X(X(F((G("((i46.u48.pbl_2_3_1_1<1)||(i46.u340.pi_d3_n1_2_3_1_1<1))"))||((X("((i46.u48.pbl_2_3_1_1<1)||(i46.u340.pi_d3_n1_2_3_1_1<1)...224
Formula 0 simplified : XXG(F!"((i46.u48.pbl_2_3_1_1<1)||(i46.u340.pi_d3_n1_2_3_1_1<1))" & (!"((i0.u0.pbl_1_2_1_2<1)||(i0.u457.po_d2_n1_1_3_1_2<1))" | X!"((...212
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-10 finished in 150510 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 (G((!p0||X(G(!p1))))||((!p0||X(G(!p1)))&&(p0||F(p3))&&p2)))))'
Support contains 8 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 65 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:11:43] [INFO ] Invariant cache hit.
[2026-05-25 11:11:46] [INFO ] Implicit Places using invariants in 2966 ms returned []
[2026-05-25 11:11:46] [INFO ] Invariant cache hit.
[2026-05-25 11:11:53] [INFO ] Implicit Places using invariants and state equation in 6938 ms returned []
Implicit Place search using SMT with State Equation took 9915 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9981 ms. Remains : 2025/2025 places, 5184/5184 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 (G((!p0||X(G(!p1))))||((!p0||X(G(!p1)))&&(F(p3)||p0)&&p2)))))'
Stuttering acceptance computed with spot in 289 ms :[true, (AND p0 p1), (AND (NOT p3) p0 p1), (AND p0 p1), (NOT p3), p1, (AND (NOT p3) p1)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-12
Entered a terminal (fully accepting) state of product in 534 steps with 0 reset in 96 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-12 finished in 10420 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||(G(p2)&&p1)))))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 85 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:11:53] [INFO ] Invariant cache hit.
[2026-05-25 11:11:56] [INFO ] Implicit Places using invariants in 2643 ms returned []
[2026-05-25 11:11:56] [INFO ] Invariant cache hit.
[2026-05-25 11:12:03] [INFO ] Implicit Places using invariants and state equation in 6438 ms returned []
Implicit Place search using SMT with State Equation took 9111 ms to find 0 implicit places.
[2026-05-25 11:12:03] [INFO ] Redundant transitions in 363 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 9575 ms. Remains : 2025/2025 places, 5184/5184 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||(G(p2)&&p1)))))'
Stuttering acceptance computed with spot in 110 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p2))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-13
Product exploration timeout after 53330 steps with 63 reset in 10001 ms.
Product exploration timeout after 52120 steps with 65 reset in 10002 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 280 ms. Reduced automaton from 3 states, 6 edges and 3 AP (stutter insensitive) to 3 states, 6 edges and 3 AP (stutter insensitive).
RANDOM walk for 20712 steps (4 resets) in 5838 ms. (3 steps per ms) remains 0/7 properties
Knowledge based reduction with 2 factoid took 348 ms. Reduced automaton from 3 states, 6 edges and 3 AP (stutter insensitive) to 3 states, 6 edges and 3 AP (stutter insensitive).
Stuttering acceptance computed with spot in 116 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p2))]
[2026-05-25 11:12:38] [INFO ] Invariant cache hit.
[2026-05-25 11:12:52] [INFO ] [Real]Absence check using 730 positive place invariants in 5637 ms returned sat
[2026-05-25 11:12:53] [INFO ] [Real]Absence check using state equation in 1528 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
[2026-05-25 11:12:53] [INFO ] Invariant cache hit.
[2026-05-25 11:13:07] [INFO ] [Real]Absence check using 730 positive place invariants in 6175 ms returned sat
[2026-05-25 11:13:08] [INFO ] [Real]Absence check using state equation in 1543 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p2))
Knowledge-based reduction took 45070 ms.
Stuttering acceptance computed with spot in 134 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p2))]
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 130 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:13:08] [INFO ] Invariant cache hit.
[2026-05-25 11:13:12] [INFO ] Implicit Places using invariants in 3053 ms returned []
[2026-05-25 11:13:12] [INFO ] Invariant cache hit.
[2026-05-25 11:13:19] [INFO ] Implicit Places using invariants and state equation in 7084 ms returned []
Implicit Place search using SMT with State Equation took 10188 ms to find 0 implicit places.
[2026-05-25 11:13:19] [INFO ] Redundant transitions in 546 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10879 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 359 ms. Reduced automaton from 3 states, 6 edges and 3 AP (stutter insensitive) to 3 states, 6 edges and 3 AP (stutter insensitive).
RANDOM walk for 24890 steps (5 resets) in 6898 ms. (3 steps per ms) remains 0/7 properties
Knowledge based reduction with 2 factoid took 423 ms. Reduced automaton from 3 states, 6 edges and 3 AP (stutter insensitive) to 3 states, 6 edges and 3 AP (stutter insensitive).
Stuttering acceptance computed with spot in 158 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p2))]
[2026-05-25 11:13:34] [INFO ] Invariant cache hit.
[2026-05-25 11:13:47] [INFO ] [Real]Absence check using 730 positive place invariants in 5617 ms returned sat
[2026-05-25 11:13:49] [INFO ] [Real]Absence check using state equation in 2222 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
[2026-05-25 11:13:49] [INFO ] Invariant cache hit.
[2026-05-25 11:14:02] [INFO ] [Real]Absence check using 730 positive place invariants in 6213 ms returned sat
[2026-05-25 11:14:04] [INFO ] [Real]Absence check using state equation in 1452 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p2))
Knowledge-based reduction took 44574 ms.
Stuttering acceptance computed with spot in 145 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p2))]
Stuttering acceptance computed with spot in 135 ms :[(OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (AND (NOT p0) (NOT p2))]
Product exploration timeout after 48400 steps with 41 reset in 10003 ms.
Product exploration timeout after 47490 steps with 43 reset in 10003 ms.
Built C files in :
/tmp/ltsmin12381302341868071573
[2026-05-25 11:14:24] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:14:24] [INFO ] Built C files in 39ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12381302341868071573
Running compilation step : cd /tmp/ltsmin12381302341868071573;'/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/ltsmin12381302341868071573;'/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/ltsmin12381302341868071573;'/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 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 85 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:14:27] [INFO ] Invariant cache hit.
[2026-05-25 11:14:30] [INFO ] Implicit Places using invariants in 2390 ms returned []
[2026-05-25 11:14:30] [INFO ] Invariant cache hit.
[2026-05-25 11:14:36] [INFO ] Implicit Places using invariants and state equation in 6400 ms returned []
Implicit Place search using SMT with State Equation took 8812 ms to find 0 implicit places.
[2026-05-25 11:14:37] [INFO ] Redundant transitions in 486 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 9389 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin5656876369315043448
[2026-05-25 11:14:37] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:14:37] [INFO ] Built C files in 61ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5656876369315043448
Running compilation step : cd /tmp/ltsmin5656876369315043448;'/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/ltsmin5656876369315043448;'/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/ltsmin5656876369315043448;'/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 11:14:40] [INFO ] Flatten gal took : 138 ms
[2026-05-25 11:14:40] [INFO ] Flatten gal took : 131 ms
[2026-05-25 11:14:40] [INFO ] Time to serialize gal into /tmp/LTL14135243737741864267.gal : 24 ms
[2026-05-25 11:14:40] [INFO ] Time to serialize properties into /tmp/LTL8628060808794478955.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/LTL14135243737741864267.gal' '-t' 'CGAL' '-hoa' '/tmp/aut15760151916799757605.hoa' '-atoms' '/tmp/LTL8628060808794478955.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/LTL8628060808794478955.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut15760151916799757605.hoa
Detected timeout of ITS tools.
[2026-05-25 11:14:55] [INFO ] Flatten gal took : 143 ms
[2026-05-25 11:14:56] [INFO ] Flatten gal took : 210 ms
[2026-05-25 11:14:56] [INFO ] Time to serialize gal into /tmp/LTL2621689758248761519.gal : 39 ms
[2026-05-25 11:14:56] [INFO ] Time to serialize properties into /tmp/LTL16633240527889638935.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/LTL2621689758248761519.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL16633240527889638935.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 : !((G(F(("((pbl_2_2_1_3>=1)&&(pi_d3_n1_2_2_1_3>=1))")||(("((pbl_1_3_2_3>=1)&&(po_d2_n1_1_1_2_3>=1))")&&(G("((pbl_1_1_2_3>=1)&&(pi_d2_n1...176
Formula 0 simplified : FG(!"((pbl_2_2_1_3>=1)&&(pi_d3_n1_2_2_1_3>=1))" & (!"((pbl_1_3_2_3>=1)&&(po_d2_n1_1_1_2_3>=1))" | F!"((pbl_1_1_2_3>=1)&&(pi_d2_n1_1_...168
Detected timeout of ITS tools.
[2026-05-25 11:15:11] [INFO ] Flatten gal took : 144 ms
[2026-05-25 11:15:11] [INFO ] Applying decomposition
[2026-05-25 11:15:11] [INFO ] Flatten gal took : 128 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/graph9992200252998957151.txt' '-o' '/tmp/graph9992200252998957151.bin' '-w' '/tmp/graph9992200252998957151.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9992200252998957151.bin' '-l' '-1' '-v' '-w' '/tmp/graph9992200252998957151.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:15:11] [INFO ] Decomposing Gal with order
[2026-05-25 11:15:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:15:12] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:15:12] [INFO ] Flatten gal took : 307 ms
[2026-05-25 11:15:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 21 ms.
[2026-05-25 11:15:12] [INFO ] Time to serialize gal into /tmp/LTL8548781920073572868.gal : 37 ms
[2026-05-25 11:15:12] [INFO ] Time to serialize properties into /tmp/LTL12186517921149600381.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/LTL8548781920073572868.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL12186517921149600381.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 : !((G(F(("((i40.u44.pbl_2_2_1_3>=1)&&(i40.u340.pi_d3_n1_2_2_1_3>=1))")||(("((i28.u29.pbl_1_3_2_3>=1)&&(i28.u442.po_d2_n1_1_1_2_3>=1))")...227
Formula 0 simplified : FG(!"((i40.u44.pbl_2_2_1_3>=1)&&(i40.u340.pi_d3_n1_2_2_1_3>=1))" & (!"((i28.u29.pbl_1_3_2_3>=1)&&(i28.u442.po_d2_n1_1_1_2_3>=1))" | ...219
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-13 finished in 213791 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(((G(p0) U p1)||F((G((p0||X(p0)))&&p2)))))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 64 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:15:27] [INFO ] Invariant cache hit.
[2026-05-25 11:15:31] [INFO ] Implicit Places using invariants in 3674 ms returned []
[2026-05-25 11:15:31] [INFO ] Invariant cache hit.
[2026-05-25 11:15:38] [INFO ] Implicit Places using invariants and state equation in 6897 ms returned []
Implicit Place search using SMT with State Equation took 10602 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10666 ms. Remains : 2025/2025 places, 5184/5184 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(((G(p0) U p1)||F((G((p0||X(p0)))&&p2)))))'
Stuttering acceptance computed with spot in 217 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLFireability-14
Product exploration timeout after 57960 steps with 5 reset in 10001 ms.
Product exploration timeout after 55020 steps with 1 reset in 10002 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 503 ms. Reduced automaton from 6 states, 23 edges and 3 AP (stutter sensitive) to 6 states, 23 edges and 3 AP (stutter sensitive).
RANDOM walk for 6864 steps (0 resets) in 2510 ms. (2 steps per ms) remains 0/10 properties
Knowledge based reduction with 1 factoid took 655 ms. Reduced automaton from 6 states, 23 edges and 3 AP (stutter sensitive) to 6 states, 23 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 306 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (NOT p0), (NOT p0)]
[2026-05-25 11:16:11] [INFO ] Invariant cache hit.
[2026-05-25 11:16:23] [INFO ] [Real]Absence check using 730 positive place invariants in 5482 ms returned sat
[2026-05-25 11:16:26] [INFO ] [Real]Absence check using state equation in 2969 ms returned unknown
Could not prove EG (AND (NOT p1) (NOT p2))
[2026-05-25 11:16:26] [INFO ] Invariant cache hit.
[2026-05-25 11:16:38] [INFO ] [Real]Absence check using 730 positive place invariants in 5534 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 39848 ms.
Stuttering acceptance computed with spot in 227 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (NOT p0), (NOT p0)]
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 66 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:16:38] [INFO ] Invariant cache hit.
[2026-05-25 11:16:41] [INFO ] Implicit Places using invariants in 3185 ms returned []
[2026-05-25 11:16:41] [INFO ] Invariant cache hit.
[2026-05-25 11:16:48] [INFO ] Implicit Places using invariants and state equation in 7010 ms returned []
Implicit Place search using SMT with State Equation took 10212 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10279 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 743 ms. Reduced automaton from 6 states, 23 edges and 3 AP (stutter sensitive) to 6 states, 23 edges and 3 AP (stutter sensitive).
RANDOM walk for 6124 steps (0 resets) in 2311 ms. (2 steps per ms) remains 0/10 properties
Knowledge based reduction with 1 factoid took 866 ms. Reduced automaton from 6 states, 23 edges and 3 AP (stutter sensitive) to 6 states, 23 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 324 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (NOT p0), (NOT p0)]
[2026-05-25 11:17:03] [INFO ] Invariant cache hit.
[2026-05-25 11:17:16] [INFO ] [Real]Absence check using 730 positive place invariants in 6990 ms returned unknown
Could not prove EG (AND (NOT p1) (NOT p2))
[2026-05-25 11:17:16] [INFO ] Invariant cache hit.
[2026-05-25 11:17:29] [INFO ] [Real]Absence check using 730 positive place invariants in 5359 ms returned sat
[2026-05-25 11:17:31] [INFO ] [Real]Absence check using state equation in 2702 ms returned unknown
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 42734 ms.
Stuttering acceptance computed with spot in 231 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 219 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (OR (NOT p2) (NOT p0)), (OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p1))), (NOT p0), (NOT p0), (NOT p0)]
Product exploration timeout after 56610 steps with 2 reset in 10002 ms.
Product exploration timeout after 51320 steps with 4 reset in 10001 ms.
Spot run failed in 57 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/ltsmin11823891487182280645
[2026-05-25 11:17:52] [INFO ] Built C files in 61ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11823891487182280645
Running compilation step : cd /tmp/ltsmin11823891487182280645;'/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/ltsmin11823891487182280645;'/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/ltsmin11823891487182280645;'/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 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 63 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 11:17:55] [INFO ] Invariant cache hit.
[2026-05-25 11:17:57] [INFO ] Implicit Places using invariants in 2329 ms returned []
[2026-05-25 11:17:57] [INFO ] Invariant cache hit.
[2026-05-25 11:18:05] [INFO ] Implicit Places using invariants and state equation in 7994 ms returned []
Implicit Place search using SMT with State Equation took 10336 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10402 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin15688019057400800890
[2026-05-25 11:18:05] [INFO ] Built C files in 60ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15688019057400800890
Running compilation step : cd /tmp/ltsmin15688019057400800890;'/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/ltsmin15688019057400800890;'/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/ltsmin15688019057400800890;'/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 11:18:09] [INFO ] Flatten gal took : 129 ms
[2026-05-25 11:18:09] [INFO ] Flatten gal took : 122 ms
[2026-05-25 11:18:09] [INFO ] Time to serialize gal into /tmp/LTL16243674871014393693.gal : 23 ms
[2026-05-25 11:18:09] [INFO ] Time to serialize properties into /tmp/LTL17759153839946697389.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/LTL16243674871014393693.gal' '-t' 'CGAL' '-hoa' '/tmp/aut12341375150308133786.hoa' '-atoms' '/tmp/LTL17759153839946697389.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/LTL17759153839946697389.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut12341375150308133786.hoa
Detected timeout of ITS tools.
[2026-05-25 11:18:24] [INFO ] Flatten gal took : 186 ms
[2026-05-25 11:18:24] [INFO ] Flatten gal took : 193 ms
[2026-05-25 11:18:24] [INFO ] Time to serialize gal into /tmp/LTL15641033578005775722.gal : 32 ms
[2026-05-25 11:18:24] [INFO ] Time to serialize properties into /tmp/LTL580697231021435207.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/LTL15641033578005775722.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL580697231021435207.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 : !((G(((G("((pbl_1_1_2_3>=1)&&(pi_d3_n1_1_1_2_3>=1))"))U("((pbl_1_2_2_3>=1)&&(pi_d4_n1_1_2_2_3>=1))"))||(F(("((pbl_1_2_3_2>=1)&&(pi_d2_...279
Formula 0 simplified : F((F!"((pbl_1_1_2_3>=1)&&(pi_d3_n1_1_1_2_3>=1))" R !"((pbl_1_2_2_3>=1)&&(pi_d4_n1_1_2_2_3>=1))") & G(!"((pbl_1_2_3_2>=1)&&(pi_d2_n1_...268
Detected timeout of ITS tools.
[2026-05-25 11:18:39] [INFO ] Flatten gal took : 146 ms
[2026-05-25 11:18:39] [INFO ] Applying decomposition
[2026-05-25 11:18:40] [INFO ] Flatten gal took : 127 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/graph10085600989485175001.txt' '-o' '/tmp/graph10085600989485175001.bin' '-w' '/tmp/graph10085600989485175001.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10085600989485175001.bin' '-l' '-1' '-v' '-w' '/tmp/graph10085600989485175001.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:18:40] [INFO ] Decomposing Gal with order
[2026-05-25 11:18:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:18:41] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:18:41] [INFO ] Flatten gal took : 231 ms
[2026-05-25 11:18:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 12 ms.
[2026-05-25 11:18:41] [INFO ] Time to serialize gal into /tmp/LTL343570922868609448.gal : 27 ms
[2026-05-25 11:18:41] [INFO ] Time to serialize properties into /tmp/LTL2112549137396090852.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/LTL343570922868609448.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2112549137396090852.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...253
Read 1 LTL properties
Checking formula 0 : !((G(((G("((i11.u15.pbl_1_1_2_3>=1)&&(i11.u320.pi_d3_n1_1_1_2_3>=1))"))U("((i18.u23.pbl_1_2_2_3>=1)&&(i18.u205.pi_d4_n1_1_2_2_3>=1))")...364
Formula 0 simplified : F((F!"((i11.u15.pbl_1_1_2_3>=1)&&(i11.u320.pi_d3_n1_1_1_2_3>=1))" R !"((i18.u23.pbl_1_2_2_3>=1)&&(i18.u205.pi_d4_n1_1_2_2_3>=1))") &...353
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLFireability-14 finished in 208479 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)))'
Spot run failed in 51 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((F(p0)&&X(F(((p2||G(p3))&&p1))))))'
Spot run failed in 60 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(p0)))'
Spot run failed in 57 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(p0) U X((G(!p1) U !p2)))||G(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.
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(p0))'
Spot run failed in 73 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(F(((!p0&&X(!p1))||G(!p1))))))'
Spot run failed in 73 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' '!(G(F((p0||(G(p2)&&p1)))))'
Spot run failed in 75 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' '!(G(((G(p0) U p1)||F((G((p0||X(p0)))&&p2)))))'
Spot run failed in 75 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 11:18:57] [INFO ] Flatten gal took : 208 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin12441918402082721746
[2026-05-25 11:18:57] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 11:18:57] [INFO ] Built C files in 75ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12441918402082721746
Running compilation step : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '90' '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 11:18:57] [INFO ] Applying decomposition
[2026-05-25 11:18:57] [INFO ] Flatten gal took : 197 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/graph7309254330775950861.txt' '-o' '/tmp/graph7309254330775950861.bin' '-w' '/tmp/graph7309254330775950861.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7309254330775950861.bin' '-l' '-1' '-v' '-w' '/tmp/graph7309254330775950861.weights' '-q' '0' '-e' '0.001'
[2026-05-25 11:18:57] [INFO ] Decomposing Gal with order
[2026-05-25 11:18:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 11:18:58] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 11:18:58] [INFO ] Flatten gal took : 244 ms
[2026-05-25 11:18:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 15 ms.
[2026-05-25 11:18:58] [INFO ] Time to serialize gal into /tmp/LTLFireability13740611893142738159.gal : 51 ms
[2026-05-25 11:18:58] [INFO ] Time to serialize properties into /tmp/LTLFireability4061012913659972778.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/LTLFireability13740611893142738159.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability4061012913659972778.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...277
Read 8 LTL properties
Checking formula 0 : !((G(F("(((i74.u80.pbl_3_3_3_2<1)||(i74.u234.pi_d4_n1_3_3_3_2<1))||(((i54.u57.pbl_2_3_3_3<1)||(i54.u665.po_d3_n1_2_3_1_3<1))&&((i72.u7...210
Formula 0 simplified : FG!"(((i74.u80.pbl_3_3_3_2<1)||(i74.u234.pi_d4_n1_3_3_3_2<1))||(((i54.u57.pbl_2_3_3_3<1)||(i54.u665.po_d3_n1_2_3_1_3<1))&&((i72.u78....204
Compilation finished in 29332 ms.
Running link step : cd /tmp/ltsmin12441918402082721746;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 98 ms.
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp0==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp0==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/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((<>((LTLAPp1==true))&&X(<>((((LTLAPp3==true)||[]((LTLAPp4==true)))&&(LTLAPp2==true))))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/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((<>((LTLAPp1==true))&&X(<>((((LTLAPp3==true)||[]((LTLAPp4==true)))&&(LTLAPp2==true))))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([]((LTLAPp5==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([]((LTLAPp5==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '((<>((LTLAPp6==true)) U X(([](!(LTLAPp7==true)) U !(LTLAPp8==true))))||[]((LTLAPp9==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '((<>((LTLAPp6==true)) U X(([](!(LTLAPp7==true)) U !(LTLAPp8==true))))||[]((LTLAPp9==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp10==true))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp10==true))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/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(<>(((!(LTLAPp11==true)&&X(!(LTLAPp12==true)))||[](!(LTLAPp12==true))))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/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(<>(((!(LTLAPp11==true)&&X(!(LTLAPp12==true)))||[](!(LTLAPp12==true))))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>(((LTLAPp13==true)||([]((LTLAPp15==true))&&(LTLAPp14==true)))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>(((LTLAPp13==true)||([]((LTLAPp15==true))&&(LTLAPp14==true)))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '[]((([]((LTLAPp16==true)) U (LTLAPp17==true))||<>(([](((LTLAPp16==true)||X((LTLAPp16==true))))&&(LTLAPp18==true)))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>56 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '[]((([]((LTLAPp16==true)) U (LTLAPp17==true))||<>(([](((LTLAPp16==true)||X((LTLAPp16==true))))&&(LTLAPp18==true)))))' '--buchi-type=spotba'
Retrying LTSmin with larger timeout 3600 s
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp0==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>450 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp0==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/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((<>((LTLAPp1==true))&&X(<>((((LTLAPp3==true)||[]((LTLAPp4==true)))&&(LTLAPp2==true))))))' '--buchi-type=spotba'
LTSmin run took 338251 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-05 FALSE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([]((LTLAPp5==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>450 s) on command cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([]((LTLAPp5==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' '((<>((LTLAPp6==true)) U X(([](!(LTLAPp7==true)) U !(LTLAPp8==true))))||[]((LTLAPp9==true)))' '--buchi-type=spotba'
Detected timeout of ITS tools.
[2026-05-25 11:47:47] [INFO ] Flatten gal took : 2330 ms
[2026-05-25 11:47:47] [INFO ] Time to serialize gal into /tmp/LTLFireability9599602843593969613.gal : 179 ms
[2026-05-25 11:47:47] [INFO ] Time to serialize properties into /tmp/LTLFireability15408021755659450791.ltl : 21 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/LTLFireability9599602843593969613.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability15408021755659450791.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...298
Read 7 LTL properties
Checking formula 0 : !((G(F("(((pbl_3_3_3_2<1)||(pi_d4_n1_3_3_3_2<1))||(((pbl_2_3_3_3<1)||(po_d3_n1_2_3_1_3<1))&&((pbl_3_3_2_3<1)||(po_d1_n1_1_3_2_3<1))))"...159
Formula 0 simplified : FG!"(((pbl_3_3_3_2<1)||(pi_d4_n1_3_3_3_2<1))||(((pbl_2_3_3_3<1)||(po_d3_n1_2_3_1_3<1))&&((pbl_3_3_2_3<1)||(po_d1_n1_1_3_2_3<1))))"
LTSmin run took 201446 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLFireability-07 FALSE TECHNIQUES EXPLICIT LTSMIN SAT_SMT
Running LTSmin : cd /tmp/ltsmin12441918402082721746;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp10==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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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="HypertorusGrid-PT-d4k3p2b08"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 HypertorusGrid-PT-d4k3p2b08, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r162-smll-177961107600060"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d4k3p2b08.tgz
mv HypertorusGrid-PT-d4k3p2b08 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;