About the Execution of ITS-Tools for HypercubeGrid-PT-C5K3P3B15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15089.327 | 3600000.00 | 4583884.00 | 8522.80 | ?????F?FFFF????? | 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-177961107600020.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 HypercubeGrid-PT-C5K3P3B15, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107600020
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 8.4K Mar 7 15:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Mar 7 15:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 7 15:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Mar 7 15:33 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 5.0K Mar 15 10:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 10:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 15 10:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 10:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 7 15:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Mar 7 15:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Mar 7 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Mar 7 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 10:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:57 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 14M 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 HypercubeGrid-PT-C5K3P3B15-LTLFireability-00
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-01
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-02
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-03
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-04
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-05
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-06
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-07
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-08
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-09
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-10
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-11
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-12
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-13
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-14
FORMULA_NAME HypercubeGrid-PT-C5K3P3B15-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1779677068278
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypercubeGrid-PT-C5K3P3B15
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLFireability PT
Running Version 202604301425
[2026-05-25 02:44:30] [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 02:44:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 02:44:32] [INFO ] Load time of PNML (sax parser for PT used): 1271 ms
[2026-05-25 02:44:32] [INFO ] Transformed 9153 places.
[2026-05-25 02:44:32] [INFO ] Transformed 25110 transitions.
[2026-05-25 02:44:32] [INFO ] Parsed PT model containing 9153 places and 25110 transitions and 100440 arcs in 1647 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 31 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 3 formulas.
FORMULA HypercubeGrid-PT-C5K3P3B15-LTLFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-LTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypercubeGrid-PT-C5K3P3B15-LTLFireability-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 62 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2651 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (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-12355364257794016743.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9568926580594012090.kers'
[2026-05-25 02:44:35] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12355364257794016743.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9568926580594012090.kers]
Culling duplicate invariants (modulo rational): removing 3240 columns.
Culled 3240 columns in 49 ms.
// Phase 1: matrix 25110 rows 5913 cols 74520 entries
Finished phase 1 with 5669 SingleSign rule and 0 generalized
[2026-05-25 02:44:36] [INFO ] Computed 3484 invariants in 998 ms
Computed 3484 P flows in 1000 ms.
Exported basis to /tmp/petrispot-output-9568926580594012090.kers
Total runtime 1023 ms.
[2026-05-25 02:44:57] [INFO ] Implicit Places using invariants in 22003 ms returned []
Implicit Place search using SMT only with invariants took 22069 ms to find 0 implicit places.
Running 22680 sub problems to find dead transitions.
[2026-05-25 02:44:58] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30813 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 22680/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22680 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4293 variables, 810/810 constraints. Problems are: Problem set: 0 solved, 22680 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4293/34263 variables, and 810 constraints, problems are : Problem set: 0 solved, 22680 unsolved in 30711 ms.
Refiners :[Positive P Invariants (semi-flows): 810/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/22680 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 134276ms problems are : Problem set: 0 solved, 22680 unsolved
Search for dead transitions found 0 dead transitions in 134525ms
Finished structural reductions in LTL mode , in 1 iterations and 159453 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2548 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:47:15] [INFO ] Invariant cache hit.
[2026-05-25 02:47:34] [INFO ] Implicit Places using invariants in 19909 ms returned []
Implicit Place search using SMT only with invariants took 19912 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22466 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Support contains 62 out of 9153 places after structural reductions.
[2026-05-25 02:47:37] [INFO ] Flatten gal took : 1409 ms
[2026-05-25 02:47:38] [INFO ] Flatten gal took : 1014 ms
[2026-05-25 02:47:40] [INFO ] Input system was already deterministic with 25110 transitions.
Reduction of identical properties reduced properties to check from 31 to 30
RANDOM walk for 40000 steps (8 resets) in 40054 ms. (0 steps per ms) remains 0/30 properties
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' '!(G(F(p0)))'
Support contains 2 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2992 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:47:54] [INFO ] Invariant cache hit.
[2026-05-25 02:48:13] [INFO ] Implicit Places using invariants in 19414 ms returned []
Implicit Place search using SMT only with invariants took 19416 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22413 ms. Remains : 9153/9153 places, 25110/25110 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 250 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-00
Product exploration timeout after 11000 steps with 1 reset in 10002 ms.
Product exploration timeout after 10960 steps with 2 reset in 10007 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 76 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 3358 steps (0 resets) in 3580 ms. (0 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 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).
Stuttering acceptance computed with spot in 73 ms :[(NOT p0), (NOT p0)]
[2026-05-25 02:48:37] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Knowledge-based reduction took 18420 ms.
Stuttering acceptance computed with spot in 96 ms :[(NOT p0), (NOT p0)]
Support contains 2 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2911 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:48:55] [INFO ] Invariant cache hit.
[2026-05-25 02:49:16] [INFO ] Implicit Places using invariants in 20857 ms returned []
Implicit Place search using SMT only with invariants took 20858 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 23772 ms. Remains : 9153/9153 places, 25110/25110 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 94 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 8626 steps (1 resets) in 7317 ms. (1 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 76 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 67 ms :[(NOT p0), (NOT p0)]
[2026-05-25 02:49:20] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Knowledge-based reduction took 19396 ms.
Stuttering acceptance computed with spot in 76 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 66 ms :[(NOT p0), (NOT p0)]
Product exploration timeout after 11690 steps with 3 reset in 10001 ms.
Product exploration timeout after 11200 steps with 4 reset in 10005 ms.
Built C files in :
/tmp/ltsmin219774426379557587
[2026-05-25 02:49:55] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 02:49:56] [INFO ] Built C files in 363ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin219774426379557587
Running compilation step : cd /tmp/ltsmin219774426379557587;'/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/ltsmin219774426379557587;'/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/ltsmin219774426379557587;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2471 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:50:01] [INFO ] Invariant cache hit.
[2026-05-25 02:50:18] [INFO ] Implicit Places using invariants in 17120 ms returned []
Implicit Place search using SMT only with invariants took 17133 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 19606 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin2335928885041704246
[2026-05-25 02:50:18] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 02:50:19] [INFO ] Built C files in 244ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2335928885041704246
Running compilation step : cd /tmp/ltsmin2335928885041704246;'/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/ltsmin2335928885041704246;'/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/ltsmin2335928885041704246;'/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 02:50:24] [INFO ] Flatten gal took : 758 ms
[2026-05-25 02:50:24] [INFO ] Flatten gal took : 793 ms
[2026-05-25 02:50:25] [INFO ] Time to serialize gal into /tmp/LTL2764543139960234237.gal : 248 ms
[2026-05-25 02:50:25] [INFO ] Time to serialize properties into /tmp/LTL17144393763071357218.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/LTL2764543139960234237.gal' '-t' 'CGAL' '-hoa' '/tmp/aut18153326269145729566.hoa' '-atoms' '/tmp/LTL17144393763071357218.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/LTL17144393763071357218.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut18153326269145729566.hoa
Detected timeout of ITS tools.
[2026-05-25 02:50:41] [INFO ] Flatten gal took : 760 ms
[2026-05-25 02:50:42] [INFO ] Flatten gal took : 701 ms
[2026-05-25 02:50:42] [INFO ] Time to serialize gal into /tmp/LTL15909052877627689963.gal : 143 ms
[2026-05-25 02:50:42] [INFO ] Time to serialize properties into /tmp/LTL15257034562377814316.ltl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL15909052877627689963.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL15257034562377814316.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 : !((G(F("((pbl_1_3_3_3_2>=1)&&(pi_d5_n1_1_3_3_3_2>=1))"))))
Formula 0 simplified : FG!"((pbl_1_3_3_3_2>=1)&&(pi_d5_n1_1_3_3_3_2>=1))"
Detected timeout of ITS tools.
[2026-05-25 02:50:58] [INFO ] Flatten gal took : 673 ms
[2026-05-25 02:50:58] [INFO ] Applying decomposition
[2026-05-25 02:50:58] [INFO ] Flatten gal took : 708 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/graph18386858304170311670.txt' '-o' '/tmp/graph18386858304170311670.bin' '-w' '/tmp/graph18386858304170311670.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18386858304170311670.bin' '-l' '-1' '-v' '-w' '/tmp/graph18386858304170311670.weights' '-q' '0' '-e' '0.001'
[2026-05-25 02:51:00] [INFO ] Decomposing Gal with order
[2026-05-25 02:51:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 02:51:23] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 02:51:23] [INFO ] Flatten gal took : 2147 ms
[2026-05-25 02:51:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 146 ms.
[2026-05-25 02:51:24] [INFO ] Time to serialize gal into /tmp/LTL7471986090692718148.gal : 237 ms
[2026-05-25 02:51:24] [INFO ] Time to serialize properties into /tmp/LTL3342522229006383253.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/LTL7471986090692718148.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL3342522229006383253.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("((i4.i0.u94.pbl_1_3_3_3_2>=1)&&(i4.i0.u951.pi_d5_n1_1_3_3_3_2>=1))"))))
Formula 0 simplified : FG!"((i4.i0.u94.pbl_1_3_3_3_2>=1)&&(i4.i0.u951.pi_d5_n1_1_3_3_3_2>=1))"
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-00 finished in 228587 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||F(G(p1))))))'
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 2732 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:51:42] [INFO ] Invariant cache hit.
[2026-05-25 02:52:02] [INFO ] Implicit Places using invariants in 19590 ms returned []
Implicit Place search using SMT only with invariants took 19597 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22331 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((F(G(p0))||p1))))'
Stuttering acceptance computed with spot in 153 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-01
Product exploration timeout after 10370 steps with 0 reset in 10010 ms.
Product exploration timeout after 10110 steps with 0 reset in 10010 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 60 ms. Reduced automaton from 4 states, 5 edges and 2 AP (stutter sensitive) to 4 states, 5 edges and 2 AP (stutter sensitive).
RANDOM walk for 28897 steps (6 resets) in 24428 ms. (1 steps per ms) remains 0/2 properties
Knowledge based reduction with 1 factoid took 99 ms. Reduced automaton from 4 states, 5 edges and 2 AP (stutter sensitive) to 4 states, 5 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 205 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 9511 ms.
Stuttering acceptance computed with spot in 191 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1625 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:52:33] [INFO ] Invariant cache hit.
[2026-05-25 02:52:52] [INFO ] Implicit Places using invariants in 18442 ms returned []
Implicit Place search using SMT only with invariants took 18444 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20071 ms. Remains : 9153/9153 places, 25110/25110 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 47 ms. Reduced automaton from 4 states, 5 edges and 2 AP (stutter sensitive) to 4 states, 5 edges and 2 AP (stutter sensitive).
RANDOM walk for 7981 steps (0 resets) in 6708 ms. (1 steps per ms) remains 0/2 properties
Knowledge based reduction with 1 factoid took 71 ms. Reduced automaton from 4 states, 5 edges and 2 AP (stutter sensitive) to 4 states, 5 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 137 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 3249 ms.
Stuttering acceptance computed with spot in 173 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Stuttering acceptance computed with spot in 207 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration timeout after 10230 steps with 0 reset in 10006 ms.
Product exploration timeout after 10220 steps with 0 reset in 10007 ms.
Spot run failed in 120 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/ltsmin13589323975129327826
[2026-05-25 02:53:16] [INFO ] Built C files in 373ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin13589323975129327826
Running compilation step : cd /tmp/ltsmin13589323975129327826;'/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/ltsmin13589323975129327826;'/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/ltsmin13589323975129327826;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1376 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:53:20] [INFO ] Invariant cache hit.
[2026-05-25 02:53:41] [INFO ] Implicit Places using invariants in 21089 ms returned []
Implicit Place search using SMT only with invariants took 21092 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22469 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin1452701576362326817
[2026-05-25 02:53:42] [INFO ] Built C files in 194ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1452701576362326817
Running compilation step : cd /tmp/ltsmin1452701576362326817;'/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/ltsmin1452701576362326817;'/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/ltsmin1452701576362326817;'/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 02:53:46] [INFO ] Flatten gal took : 1099 ms
[2026-05-25 02:53:47] [INFO ] Flatten gal took : 708 ms
[2026-05-25 02:53:47] [INFO ] Time to serialize gal into /tmp/LTL341316467101197519.gal : 176 ms
[2026-05-25 02:53:47] [INFO ] Time to serialize properties into /tmp/LTL4328348155071080867.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/LTL341316467101197519.gal' '-t' 'CGAL' '-hoa' '/tmp/aut8331795117987967153.hoa' '-atoms' '/tmp/LTL4328348155071080867.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...316
Loading property file /tmp/LTL4328348155071080867.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut8331795117987967153.hoa
Detected timeout of ITS tools.
[2026-05-25 02:54:03] [INFO ] Flatten gal took : 756 ms
[2026-05-25 02:54:04] [INFO ] Flatten gal took : 682 ms
[2026-05-25 02:54:04] [INFO ] Time to serialize gal into /tmp/LTL3060400245837947585.gal : 129 ms
[2026-05-25 02:54:04] [INFO ] Time to serialize properties into /tmp/LTL2364527034740296845.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/LTL3060400245837947585.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2364527034740296845.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((X(X((F(G("((pbl_1_1_2_1_3<1)||(pi_d5_n1_1_1_2_1_3<1))")))||("((pbl_1_2_1_3_2>=1)&&(pi_d2_n1_1_2_1_3_2>=1))")))))
Formula 0 simplified : XX(!"((pbl_1_2_1_3_2>=1)&&(pi_d2_n1_1_2_1_3_2>=1))" & GF!"((pbl_1_1_2_1_3<1)||(pi_d5_n1_1_1_2_1_3<1))")
Detected timeout of ITS tools.
[2026-05-25 02:54:20] [INFO ] Flatten gal took : 908 ms
[2026-05-25 02:54:20] [INFO ] Applying decomposition
[2026-05-25 02:54:21] [INFO ] Flatten gal took : 896 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/graph4513481166423977291.txt' '-o' '/tmp/graph4513481166423977291.bin' '-w' '/tmp/graph4513481166423977291.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4513481166423977291.bin' '-l' '-1' '-v' '-w' '/tmp/graph4513481166423977291.weights' '-q' '0' '-e' '0.001'
[2026-05-25 02:54:23] [INFO ] Decomposing Gal with order
[2026-05-25 02:54:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 02:54:45] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 02:54:45] [INFO ] Flatten gal took : 1285 ms
[2026-05-25 02:54:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 54 ms.
[2026-05-25 02:54:46] [INFO ] Time to serialize gal into /tmp/LTL15173689118875796870.gal : 128 ms
[2026-05-25 02:54:46] [INFO ] Time to serialize properties into /tmp/LTL8856471500290627971.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/LTL15173689118875796870.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8856471500290627971.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((X(X((F(G("((i11.u23.pbl_1_1_2_1_3<1)||(i11.u896.pi_d5_n1_1_1_2_1_3<1))")))||("((i58.u46.pbl_1_2_1_3_2>=1)&&(i58.u1202.pi_d2_n1_1_2_...171
Formula 0 simplified : XX(!"((i58.u46.pbl_1_2_1_3_2>=1)&&(i58.u1202.pi_d2_n1_1_2_1_3_2>=1))" & GF!"((i11.u23.pbl_1_1_2_1_3<1)||(i11.u896.pi_d5_n1_1_1_2_1_3...161
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-01 finished in 201560 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)||G((G(p2)||p1)))))'
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1380 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:55:02] [INFO ] Invariant cache hit.
[2026-05-25 02:55:23] [INFO ] Implicit Places using invariants in 20355 ms returned []
Implicit Place search using SMT only with invariants took 20361 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 21742 ms. Remains : 9153/9153 places, 25110/25110 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)||G((G(p2)||p1)))))'
Stuttering acceptance computed with spot in 149 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p2)), (NOT p0)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-02
Product exploration timeout after 11540 steps with 3 reset in 10005 ms.
Product exploration timeout after 10380 steps with 2 reset in 10007 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 3 factoid took 147 ms. Reduced automaton from 4 states, 7 edges and 3 AP (stutter sensitive) to 8 states, 29 edges and 3 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 36723 ms. (1 steps per ms) remains 2/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 9152 ms. (4 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5931 ms. (6 steps per ms) remains 2/2 properties
[2026-05-25 02:55:57] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 3477/9153 variables, 3477/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5183 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 3477/9153 variables, 3477/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5018 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10349ms problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1672 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1679 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 36542 ms. (1 steps per ms) remains 1/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 6733 ms. (5 steps per ms) remains 1/1 properties
[2026-05-25 02:56:20] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3477/9153 variables, 3477/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 23021 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3477/9153 variables, 3477/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 22660 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 45796ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 2319 steps, including 0 resets, run visited all 1 properties in 1042 ms. (steps per millisecond=2 )
Parikh walk visited 1 properties in 1077 ms.
Knowledge based reduction with 3 factoid took 281 ms. Reduced automaton from 8 states, 29 edges and 3 AP (stutter insensitive) to 8 states, 29 edges and 3 AP (stutter insensitive).
Stuttering acceptance computed with spot in 384 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (AND (NOT p0) (NOT p2))]
Knowledge-based reduction took 84509 ms.
Stuttering acceptance computed with spot in 417 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (AND (NOT p0) (NOT p2))]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1544 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:57:09] [INFO ] Invariant cache hit.
[2026-05-25 02:57:29] [INFO ] Implicit Places using invariants in 19468 ms returned []
Implicit Place search using SMT only with invariants took 19470 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21016 ms. Remains : 9153/9153 places, 25110/25110 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 7 factoid took 288 ms. Reduced automaton from 8 states, 29 edges and 3 AP (stutter insensitive) to 8 states, 29 edges and 3 AP (stutter insensitive).
RANDOM walk for 40000 steps (8 resets) in 36454 ms. (1 steps per ms) remains 1/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 7069 ms. (5 steps per ms) remains 1/1 properties
[2026-05-25 02:57:41] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 1 unsolved in 3850 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4108 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 8085ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 0 ms.
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1629 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1629 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 36142 ms. (1 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 7692 ms. (5 steps per ms) remains 1/1 properties
Probabilistic random walk after 209339 steps, saw 209231 distinct states, run finished after 33096 ms. (steps per millisecond=6 ) properties seen :0
[2026-05-25 02:58:35] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3477/9153 variables, 3477/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 22316 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/6 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5676 variables, 7/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5676 variables, 0/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3477/9153 variables, 3477/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 21618 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 44038ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 619 steps, including 0 resets, run visited all 1 properties in 240 ms. (steps per millisecond=2 )
Parikh walk visited 1 properties in 248 ms.
Knowledge based reduction with 7 factoid took 448 ms. Reduced automaton from 8 states, 29 edges and 3 AP (stutter insensitive) to 8 states, 29 edges and 3 AP (stutter insensitive).
Stuttering acceptance computed with spot in 371 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (AND (NOT p0) (NOT p2))]
Knowledge-based reduction took 111094 ms.
Stuttering acceptance computed with spot in 366 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (AND (NOT p0) (NOT p2))]
Stuttering acceptance computed with spot in 388 ms :[(AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (AND (NOT p0) (NOT p1) (NOT p2)), (NOT p0), (AND (NOT p0) (NOT p2))]
Product exploration timeout after 11790 steps with 3 reset in 10006 ms.
Product exploration timeout after 10260 steps with 1 reset in 10005 ms.
Built C files in :
/tmp/ltsmin12344046965013208888
[2026-05-25 02:59:41] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 02:59:41] [INFO ] Built C files in 222ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12344046965013208888
Running compilation step : cd /tmp/ltsmin12344046965013208888;'/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/ltsmin12344046965013208888;'/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/ltsmin12344046965013208888;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1269 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 02:59:45] [INFO ] Invariant cache hit.
[2026-05-25 03:00:06] [INFO ] Implicit Places using invariants in 21019 ms returned []
Implicit Place search using SMT only with invariants took 21024 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22294 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin2143714686141227688
[2026-05-25 03:00:06] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:00:07] [INFO ] Built C files in 305ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2143714686141227688
Running compilation step : cd /tmp/ltsmin2143714686141227688;'/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/ltsmin2143714686141227688;'/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/ltsmin2143714686141227688;'/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 03:00:11] [INFO ] Flatten gal took : 716 ms
[2026-05-25 03:00:12] [INFO ] Flatten gal took : 756 ms
[2026-05-25 03:00:12] [INFO ] Time to serialize gal into /tmp/LTL7696378426346788565.gal : 156 ms
[2026-05-25 03:00:12] [INFO ] Time to serialize properties into /tmp/LTL13426157415752190969.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/LTL7696378426346788565.gal' '-t' 'CGAL' '-hoa' '/tmp/aut10286562563445776841.hoa' '-atoms' '/tmp/LTL13426157415752190969.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/LTL13426157415752190969.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut10286562563445776841.hoa
Detected timeout of ITS tools.
[2026-05-25 03:00:28] [INFO ] Flatten gal took : 779 ms
[2026-05-25 03:00:29] [INFO ] Flatten gal took : 925 ms
[2026-05-25 03:00:29] [INFO ] Time to serialize gal into /tmp/LTL16891263390509234201.gal : 126 ms
[2026-05-25 03:00:29] [INFO ] Time to serialize properties into /tmp/LTL17248211861339930654.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/LTL16891263390509234201.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL17248211861339930654.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_3_3_3_2>=1)&&(po_d4_n1_1_3_3_4_2>=1))"))||(G(("((pbl_2_1_2_2_1<1)||(po_d4_n1_2_1_2_3_1<1))")||(G("((pbl_3_2_3_3_2<1)|...187
Formula 0 simplified : X(G!"((pbl_1_3_3_3_2>=1)&&(po_d4_n1_1_3_3_4_2>=1))" & F(!"((pbl_2_1_2_2_1<1)||(po_d4_n1_2_1_2_3_1<1))" & F!"((pbl_3_2_3_3_2<1)||(pi_...177
Detected timeout of ITS tools.
[2026-05-25 03:00:45] [INFO ] Flatten gal took : 1070 ms
[2026-05-25 03:00:45] [INFO ] Applying decomposition
[2026-05-25 03:00:46] [INFO ] Flatten gal took : 1038 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/graph5139651984426093209.txt' '-o' '/tmp/graph5139651984426093209.bin' '-w' '/tmp/graph5139651984426093209.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5139651984426093209.bin' '-l' '-1' '-v' '-w' '/tmp/graph5139651984426093209.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:00:48] [INFO ] Decomposing Gal with order
[2026-05-25 03:00:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:01:09] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:01:09] [INFO ] Flatten gal took : 1087 ms
[2026-05-25 03:01:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 59 ms.
[2026-05-25 03:01:10] [INFO ] Time to serialize gal into /tmp/LTL2693874514070061042.gal : 121 ms
[2026-05-25 03:01:10] [INFO ] Time to serialize properties into /tmp/LTL4722191637392275973.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/LTL2693874514070061042.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4722191637392275973.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("((i44.u90.pbl_1_3_3_3_2>=1)&&(i44.u3220.po_d4_n1_1_3_3_4_2>=1))"))||(G(("((i69.u10.pbl_2_1_2_2_1<1)||(i69.u3229.po_d4_n1_2_1_...244
Formula 0 simplified : X(G!"((i44.u90.pbl_1_3_3_3_2>=1)&&(i44.u3220.po_d4_n1_1_3_3_4_2>=1))" & F(!"((i69.u10.pbl_2_1_2_2_1<1)||(i69.u3229.po_d4_n1_2_1_2_3_...234
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-02 finished in 383716 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(X(p1))) U (G((p0||X(X(p1))))||(!p2&&(p0||X(X(p1))))))))))'
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1252 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:01:26] [INFO ] Invariant cache hit.
[2026-05-25 03:01:45] [INFO ] Implicit Places using invariants in 19579 ms returned []
Implicit Place search using SMT only with invariants took 19581 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20835 ms. Remains : 9153/9153 places, 25110/25110 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(((X(X(p0))||p1) U (G((p1||X(X(p0))))||(!p2&&(X(X(p0))||p1))))))))'
Stuttering acceptance computed with spot in 324 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-03
Product exploration timeout after 10990 steps with 1 reset in 10005 ms.
Product exploration timeout after 11460 steps with 2 reset in 10005 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 55 ms. Reduced automaton from 6 states, 10 edges and 3 AP (stutter sensitive) to 6 states, 10 edges and 3 AP (stutter sensitive).
RANDOM walk for 31604 steps (6 resets) in 29109 ms. (1 steps per ms) remains 0/5 properties
Knowledge based reduction with 1 factoid took 125 ms. Reduced automaton from 6 states, 10 edges and 3 AP (stutter sensitive) to 6 states, 10 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 230 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-25 03:02:16] [INFO ] Invariant cache hit.
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 24984 ms.
Stuttering acceptance computed with spot in 232 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1564 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:02:33] [INFO ] Invariant cache hit.
[2026-05-25 03:02:51] [INFO ] Implicit Places using invariants in 18656 ms returned []
Implicit Place search using SMT only with invariants took 18661 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20228 ms. Remains : 9153/9153 places, 25110/25110 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 86 ms. Reduced automaton from 6 states, 10 edges and 3 AP (stutter sensitive) to 6 states, 10 edges and 3 AP (stutter sensitive).
RANDOM walk for 31244 steps (6 resets) in 28182 ms. (1 steps per ms) remains 0/5 properties
Knowledge based reduction with 1 factoid took 110 ms. Reduced automaton from 6 states, 10 edges and 3 AP (stutter sensitive) to 6 states, 10 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 286 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
[2026-05-25 03:03:01] [INFO ] Invariant cache hit.
Could not prove EG (AND (NOT p0) (NOT p1))
Knowledge-based reduction took 25045 ms.
Stuttering acceptance computed with spot in 291 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 320 ms :[(AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Product exploration timeout after 11190 steps with 4 reset in 10005 ms.
Product exploration timeout after 10070 steps with 2 reset in 10014 ms.
Spot run failed in 108 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/ltsmin4279614049128309410
[2026-05-25 03:03:37] [INFO ] Built C files in 307ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4279614049128309410
Running compilation step : cd /tmp/ltsmin4279614049128309410;'/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/ltsmin4279614049128309410;'/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/ltsmin4279614049128309410;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1197 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:03:42] [INFO ] Invariant cache hit.
[2026-05-25 03:04:02] [INFO ] Implicit Places using invariants in 20228 ms returned []
Implicit Place search using SMT only with invariants took 20233 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 21432 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin6642813867078319834
[2026-05-25 03:04:02] [INFO ] Built C files in 295ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6642813867078319834
Running compilation step : cd /tmp/ltsmin6642813867078319834;'/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/ltsmin6642813867078319834;'/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/ltsmin6642813867078319834;'/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 03:04:07] [INFO ] Flatten gal took : 881 ms
[2026-05-25 03:04:07] [INFO ] Flatten gal took : 668 ms
[2026-05-25 03:04:07] [INFO ] Time to serialize gal into /tmp/LTL8390114840343412803.gal : 112 ms
[2026-05-25 03:04:07] [INFO ] Time to serialize properties into /tmp/LTL16170474067345468619.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/LTL8390114840343412803.gal' '-t' 'CGAL' '-hoa' '/tmp/aut2959419838929474101.hoa' '-atoms' '/tmp/LTL16170474067345468619.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/LTL16170474067345468619.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut2959419838929474101.hoa
Detected timeout of ITS tools.
[2026-05-25 03:04:24] [INFO ] Flatten gal took : 864 ms
[2026-05-25 03:04:25] [INFO ] Flatten gal took : 720 ms
[2026-05-25 03:04:25] [INFO ] Time to serialize gal into /tmp/LTL16527033762030704017.gal : 109 ms
[2026-05-25 03:04:25] [INFO ] Time to serialize properties into /tmp/LTL1414334733066565795.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/LTL16527033762030704017.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL1414334733066565795.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((X(X(F(((X(X("((pbl_1_3_3_3_2>=1)&&(po_d5_n1_1_3_3_3_3>=1))")))||("((pbl_3_1_1_2_1>=1)&&(pi_d2_n1_3_1_1_2_1>=1))"))U((G(("((pbl_3_1_...472
Formula 0 simplified : XXG("(((pbl_2_1_2_2_2>=1)&&(pi_d4_n1_2_1_2_2_2>=1))||((pbl_1_3_3_3_2>=1)&&(po_d5_n1_1_3_3_3_3>=1)))" U (!"((pbl_3_1_1_2_1>=1)&&(pi_d...230
Detected timeout of ITS tools.
[2026-05-25 03:04:41] [INFO ] Flatten gal took : 717 ms
[2026-05-25 03:04:41] [INFO ] Applying decomposition
[2026-05-25 03:04:42] [INFO ] Flatten gal took : 720 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/graph9464696011873984960.txt' '-o' '/tmp/graph9464696011873984960.bin' '-w' '/tmp/graph9464696011873984960.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9464696011873984960.bin' '-l' '-1' '-v' '-w' '/tmp/graph9464696011873984960.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:04:43] [INFO ] Decomposing Gal with order
[2026-05-25 03:04:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:05:06] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:05:06] [INFO ] Flatten gal took : 1133 ms
[2026-05-25 03:05:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 83 ms.
[2026-05-25 03:05:07] [INFO ] Time to serialize gal into /tmp/LTL6654613954602606142.gal : 111 ms
[2026-05-25 03:05:07] [INFO ] Time to serialize properties into /tmp/LTL15726535663819232744.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/LTL6654613954602606142.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL15726535663819232744.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((X(X(F(((X(X("((i45.u87.pbl_1_3_3_3_2>=1)&&(i45.u3379.po_d5_n1_1_3_3_3_3>=1))")))||("((i96.u169.pbl_3_1_1_2_1>=1)&&(i96.u507.pi_d2_n...616
Formula 0 simplified : XXG("(((i52.u102.pbl_2_1_2_2_2>=1)&&(i52.u780.pi_d4_n1_2_1_2_2_2>=1))||((i45.u87.pbl_1_3_3_3_2>=1)&&(i45.u3379.po_d5_n1_1_3_3_3_3>=1...302
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-03 finished in 237065 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) U p1)||X(X(X((X(G(p2)) U G(p3))))))))'
Support contains 8 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1177 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:05:23] [INFO ] Invariant cache hit.
[2026-05-25 03:05:43] [INFO ] Implicit Places using invariants in 20450 ms returned []
Implicit Place search using SMT only with invariants took 20451 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 21629 ms. Remains : 9153/9153 places, 25110/25110 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) U p1)||X(X(X((X(G(p2)) U G(p3))))))))'
Stuttering acceptance computed with spot in 860 ms :[(AND (NOT p1) (NOT p3)), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p3) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p0), (AND (NOT p0) (NOT p3) p2), (NOT p1), (AND (NOT p1) p2 (NOT p3))]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-04
Product exploration timeout after 11410 steps with 4 reset in 10008 ms.
Product exploration timeout after 10690 steps with 8 reset in 10009 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 273 ms. Reduced automaton from 15 states, 41 edges and 4 AP (stutter sensitive) to 15 states, 41 edges and 4 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 36794 ms. (1 steps per ms) remains 3/27 properties
BEST_FIRST walk for 40004 steps (8 resets) in 7207 ms. (5 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5677 ms. (7 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4559 ms. (8 steps per ms) remains 3/3 properties
[2026-05-25 03:06:19] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5678 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5678 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 3 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 3475/9153 variables, 3475/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
SMT process timed out in 5110ms, After SMT, problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1447 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1448 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 36474 ms. (1 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5760 ms. (6 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 5595 ms. (7 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4756 ms. (8 steps per ms) remains 3/3 properties
Probabilistic random walk after 224990 steps, saw 224870 distinct states, run finished after 39134 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-25 03:07:18] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5678 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5678 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 3 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 3475/9153 variables, 3475/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 25110/34263 variables, 9153/12637 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/34263 variables, 0/12637 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (OVERLAPS) 0/34263 variables, 0/12637 constraints. Problems are: Problem set: 0 solved, 3 unsolved
No progress, stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 3 unsolved in 28324 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 3/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5678 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5678 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (OVERLAPS) 3475/9153 variables, 3475/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 5 (OVERLAPS) 25110/34263 variables, 9153/12637 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/34263 variables, 2/12639 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/34263 variables, 0/12639 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12639 constraints, problems are : Problem set: 0 solved, 3 unsolved in 45058 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 3/2 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 73527ms problems are : Problem set: 0 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1592 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1592 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1648 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:08:35] [INFO ] Invariant cache hit.
[2026-05-25 03:08:53] [INFO ] Implicit Places using invariants in 18377 ms returned []
Implicit Place search using SMT only with invariants took 18378 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 20030 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Knowledge based reduction with 2 factoid took 1098 ms. Reduced automaton from 15 states, 41 edges and 4 AP (stutter sensitive) to 15 states, 41 edges and 4 AP (stutter sensitive).
Stuttering acceptance computed with spot in 873 ms :[(AND (NOT p1) (NOT p3)), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p3) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p0), (AND (NOT p0) (NOT p3) p2), (NOT p1), (AND (NOT p1) p2 (NOT p3))]
[2026-05-25 03:08:55] [INFO ] Invariant cache hit.
Could not prove EG (AND (NOT p1) (NOT p3))
Knowledge-based reduction took 185991 ms.
Stuttering acceptance computed with spot in 854 ms :[(AND (NOT p1) (NOT p3)), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p3) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p0), (AND (NOT p0) (NOT p3) p2), (NOT p1), (AND (NOT p1) p2 (NOT p3))]
Support contains 8 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1482 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:09:13] [INFO ] Invariant cache hit.
[2026-05-25 03:09:32] [INFO ] Implicit Places using invariants in 19676 ms returned []
Implicit Place search using SMT only with invariants took 19681 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 21165 ms. Remains : 9153/9153 places, 25110/25110 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 425 ms. Reduced automaton from 15 states, 41 edges and 4 AP (stutter sensitive) to 15 states, 41 edges and 4 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 34704 ms. (1 steps per ms) remains 2/27 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4250 ms. (9 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4225 ms. (9 steps per ms) remains 2/2 properties
[2026-05-25 03:09:44] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5678 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5678 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 3475/9153 variables, 3475/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SMT process timed out in 5078ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 8 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1574 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1574 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 34435 ms. (1 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4025 ms. (9 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4446 ms. (8 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 176566 steps, run timeout after 30013 ms. (steps per millisecond=5 ) properties seen :0 out of 2
Probabilistic random walk after 176566 steps, saw 176475 distinct states, run finished after 30018 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-25 03:10:32] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5678 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5678 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 3475/9153 variables, 3475/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 25110/34263 variables, 9153/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/34263 variables, 0/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 0/34263 variables, 0/12637 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 2 unsolved in 35090 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 2/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5678 variables, 9/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5678 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 3475/9153 variables, 3475/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 2 unsolved in 38377 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 73553ms problems are : Problem set: 0 solved, 2 unsolved
Finished Parikh walk after 485 steps, including 0 resets, run visited all 2 properties in 209 ms. (steps per millisecond=2 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Parikh walk visited 2 properties in 226 ms.
Knowledge based reduction with 2 factoid took 1513 ms. Reduced automaton from 15 states, 41 edges and 4 AP (stutter sensitive) to 15 states, 41 edges and 4 AP (stutter sensitive).
Stuttering acceptance computed with spot in 860 ms :[(AND (NOT p1) (NOT p3)), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p3) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p0), (AND (NOT p0) (NOT p3) p2), (NOT p1), (AND (NOT p1) p2 (NOT p3))]
[2026-05-25 03:11:48] [INFO ] Invariant cache hit.
Could not prove EG (AND (NOT p1) (NOT p3))
Knowledge-based reduction took 150521 ms.
Stuttering acceptance computed with spot in 833 ms :[(AND (NOT p1) (NOT p3)), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p3) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p0), (AND (NOT p0) (NOT p3) p2), (NOT p1), (AND (NOT p1) p2 (NOT p3))]
Stuttering acceptance computed with spot in 863 ms :[(AND (NOT p1) (NOT p3)), (AND (NOT p0) p1 (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p3)), (AND (NOT p1) (NOT p3)), (AND (NOT p0) (NOT p2)), (AND (NOT p0) (NOT p3) (NOT p2)), (AND (NOT p1) (NOT p2)), (AND (NOT p1) (NOT p2) (NOT p3)), (NOT p0), (AND (NOT p0) (NOT p3) p2), (NOT p1), (AND (NOT p1) p2 (NOT p3))]
Product exploration timeout after 10220 steps with 0 reset in 10004 ms.
Product exploration timeout after 10530 steps with 2 reset in 10009 ms.
Spot run failed in 56 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/ltsmin4037940746917617616
[2026-05-25 03:12:25] [INFO ] Built C files in 184ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4037940746917617616
Running compilation step : cd /tmp/ltsmin4037940746917617616;'/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/ltsmin4037940746917617616;'/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/ltsmin4037940746917617616;'/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 8 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1200 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:12:29] [INFO ] Invariant cache hit.
[2026-05-25 03:12:50] [INFO ] Implicit Places using invariants in 20869 ms returned []
Implicit Place search using SMT only with invariants took 20873 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22076 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin3091384045597568360
[2026-05-25 03:12:50] [INFO ] Built C files in 172ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3091384045597568360
Running compilation step : cd /tmp/ltsmin3091384045597568360;'/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/ltsmin3091384045597568360;'/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/ltsmin3091384045597568360;'/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 03:12:54] [INFO ] Flatten gal took : 687 ms
[2026-05-25 03:12:55] [INFO ] Flatten gal took : 784 ms
[2026-05-25 03:12:55] [INFO ] Time to serialize gal into /tmp/LTL14795354339284914455.gal : 121 ms
[2026-05-25 03:12:55] [INFO ] Time to serialize properties into /tmp/LTL10125801603272395044.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/LTL14795354339284914455.gal' '-t' 'CGAL' '-hoa' '/tmp/aut4624740462947438040.hoa' '-atoms' '/tmp/LTL10125801603272395044.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/LTL10125801603272395044.prop.
Loaded 4 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut4624740462947438040.hoa
Detected timeout of ITS tools.
[2026-05-25 03:13:11] [INFO ] Flatten gal took : 680 ms
[2026-05-25 03:13:12] [INFO ] Flatten gal took : 836 ms
[2026-05-25 03:13:12] [INFO ] Time to serialize gal into /tmp/LTL11767864374478259238.gal : 114 ms
[2026-05-25 03:13:12] [INFO ] Time to serialize properties into /tmp/LTL17410626134945999724.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/LTL11767864374478259238.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL17410626134945999724.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 : !((G(((F("((pbl_1_1_2_3_1>=1)&&(pi_d1_n1_1_1_2_3_1>=1))"))U("((pbl_1_3_2_1_1>=1)&&(po_d3_n1_1_3_3_1_1>=1))"))||(X(X(X((X(G("((pbl_1_1_...254
Formula 0 simplified : F((G!"((pbl_1_1_2_3_1>=1)&&(pi_d1_n1_1_1_2_3_1>=1))" R !"((pbl_1_3_2_1_1>=1)&&(po_d3_n1_1_3_3_1_1>=1))") & XXX(XF!"((pbl_1_1_3_3_1>=...238
Detected timeout of ITS tools.
[2026-05-25 03:13:28] [INFO ] Flatten gal took : 849 ms
[2026-05-25 03:13:28] [INFO ] Applying decomposition
[2026-05-25 03:13:29] [INFO ] Flatten gal took : 778 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/graph6253055452921764418.txt' '-o' '/tmp/graph6253055452921764418.bin' '-w' '/tmp/graph6253055452921764418.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6253055452921764418.bin' '-l' '-1' '-v' '-w' '/tmp/graph6253055452921764418.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:13:31] [INFO ] Decomposing Gal with order
[2026-05-25 03:13:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:13:53] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:13:53] [INFO ] Flatten gal took : 1145 ms
[2026-05-25 03:13:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 96 ms.
[2026-05-25 03:13:54] [INFO ] Time to serialize gal into /tmp/LTL12910240036112531564.gal : 125 ms
[2026-05-25 03:13:54] [INFO ] Time to serialize properties into /tmp/LTL3801077939394693606.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/LTL12910240036112531564.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL3801077939394693606.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("((i20.i0.u38.pbl_1_1_2_3_1>=1)&&(i20.i0.u1041.pi_d1_n1_1_1_2_3_1>=1))"))U("((i46.u82.pbl_1_3_2_1_1>=1)&&(i46.u2244.po_d3_n1_...345
Formula 0 simplified : F((G!"((i20.i0.u38.pbl_1_1_2_3_1>=1)&&(i20.i0.u1041.pi_d1_n1_1_1_2_3_1>=1))" R !"((i46.u82.pbl_1_3_2_1_1>=1)&&(i46.u2244.po_d3_n1_1_...329
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-04 finished in 527460 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(G(p0))&&(p1||X(G(p2))))))'
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1175 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:14:10] [INFO ] Invariant cache hit.
[2026-05-25 03:14:30] [INFO ] Implicit Places using invariants in 19312 ms returned []
Implicit Place search using SMT only with invariants took 19314 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20491 ms. Remains : 9153/9153 places, 25110/25110 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(G(p0))&&(X(G(p1))||p2))))'
Stuttering acceptance computed with spot in 153 ms :[true, (OR (NOT p1) (NOT p0)), (NOT p0), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2)))]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-05
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 5 ms.
FORMULA HypercubeGrid-PT-C5K3P3B15-LTLFireability-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-05 finished in 20712 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 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1232 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:14:31] [INFO ] Invariant cache hit.
[2026-05-25 03:14:52] [INFO ] Implicit Places using invariants in 21300 ms returned []
Implicit Place search using SMT only with invariants took 21302 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22535 ms. Remains : 9153/9153 places, 25110/25110 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 50 ms :[(NOT p0)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-06
Product exploration timeout after 10380 steps with 0 reset in 10001 ms.
Product exploration timeout after 9600 steps with 0 reset in 10005 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 50 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 40000 steps (8 resets) in 36441 ms. (1 steps per ms) remains 1/1 properties
BEST_FIRST walk for 19480 steps (0 resets) in 3607 ms. (5 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 60 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 35 ms :[(NOT p0)]
[2026-05-25 03:15:23] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Knowledge-based reduction took 25799 ms.
Stuttering acceptance computed with spot in 35 ms :[(NOT p0)]
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1405 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:15:40] [INFO ] Invariant cache hit.
[2026-05-25 03:16:01] [INFO ] Implicit Places using invariants in 21018 ms returned []
Implicit Place search using SMT only with invariants took 21019 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22430 ms. Remains : 9153/9153 places, 25110/25110 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 70 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 27580 steps (5 resets) in 24820 ms. (1 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 60 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 33 ms :[(NOT p0)]
[2026-05-25 03:16:11] [INFO ] Invariant cache hit.
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:834)
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 03:16:26] [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 24945 ms.
Stuttering acceptance computed with spot in 56 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 53 ms :[(NOT p0)]
Product exploration timeout after 9810 steps with 0 reset in 10001 ms.
Product exploration timeout after 9950 steps with 0 reset in 10004 ms.
Built C files in :
/tmp/ltsmin713984287885918343
[2026-05-25 03:16:46] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:16:46] [INFO ] Built C files in 247ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin713984287885918343
Running compilation step : cd /tmp/ltsmin713984287885918343;'/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/ltsmin713984287885918343;'/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/ltsmin713984287885918343;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1615 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:16:51] [INFO ] Invariant cache hit.
[2026-05-25 03:17:10] [INFO ] Implicit Places using invariants in 19118 ms returned []
Implicit Place search using SMT only with invariants took 19121 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 20740 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin15488134236607326454
[2026-05-25 03:17:10] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:17:10] [INFO ] Built C files in 294ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15488134236607326454
Running compilation step : cd /tmp/ltsmin15488134236607326454;'/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/ltsmin15488134236607326454;'/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/ltsmin15488134236607326454;'/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 03:17:15] [INFO ] Flatten gal took : 848 ms
[2026-05-25 03:17:15] [INFO ] Flatten gal took : 803 ms
[2026-05-25 03:17:16] [INFO ] Time to serialize gal into /tmp/LTL1630355484299400584.gal : 109 ms
[2026-05-25 03:17:16] [INFO ] Time to serialize properties into /tmp/LTL2123973515571505173.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/LTL1630355484299400584.gal' '-t' 'CGAL' '-hoa' '/tmp/aut12379537779766618361.hoa' '-atoms' '/tmp/LTL2123973515571505173.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/LTL2123973515571505173.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut12379537779766618361.hoa
Detected timeout of ITS tools.
[2026-05-25 03:17:32] [INFO ] Flatten gal took : 753 ms
[2026-05-25 03:17:33] [INFO ] Flatten gal took : 884 ms
[2026-05-25 03:17:33] [INFO ] Time to serialize gal into /tmp/LTL4197402799847495420.gal : 129 ms
[2026-05-25 03:17:33] [INFO ] Time to serialize properties into /tmp/LTL12900926691296252031.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/LTL4197402799847495420.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL12900926691296252031.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_1_3_2_2_1>=1)&&(po_d5_n1_1_3_2_2_2>=1))&&((pbl_2_3_2_1_2>=1)&&(pi_d2_n1_2_3_2_1_2>=1)))")))
Formula 0 simplified : G!"(((pbl_1_3_2_2_1>=1)&&(po_d5_n1_1_3_2_2_2>=1))&&((pbl_2_3_2_1_2>=1)&&(pi_d2_n1_2_3_2_1_2>=1)))"
Detected timeout of ITS tools.
[2026-05-25 03:17:49] [INFO ] Flatten gal took : 896 ms
[2026-05-25 03:17:49] [INFO ] Applying decomposition
[2026-05-25 03:17:50] [INFO ] Flatten gal took : 857 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/graph16356237991292324302.txt' '-o' '/tmp/graph16356237991292324302.bin' '-w' '/tmp/graph16356237991292324302.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16356237991292324302.bin' '-l' '-1' '-v' '-w' '/tmp/graph16356237991292324302.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:17:52] [INFO ] Decomposing Gal with order
[2026-05-25 03:17:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:18:15] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:18:15] [INFO ] Flatten gal took : 1211 ms
[2026-05-25 03:18:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 113 ms.
[2026-05-25 03:18:15] [INFO ] Time to serialize gal into /tmp/LTL9605189086362582116.gal : 102 ms
[2026-05-25 03:18:15] [INFO ] Time to serialize properties into /tmp/LTL424022737199161945.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/LTL9605189086362582116.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL424022737199161945.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 : !((F("(((i31.i1.u84.pbl_1_3_2_2_1>=1)&&(i31.i1.u3362.po_d5_n1_1_3_2_2_2>=1))&&((i115.i0.u152.pbl_2_3_2_1_2>=1)&&(i115.i0.u1317.pi_d2_n...176
Formula 0 simplified : G!"(((i31.i1.u84.pbl_1_3_2_2_1>=1)&&(i31.i1.u3362.po_d5_n1_1_3_2_2_2>=1))&&((i115.i0.u152.pbl_2_3_2_1_2>=1)&&(i115.i0.u1317.pi_d2_n1...172
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-06 finished in 240508 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)) U ((X(X(!p0))&&G(!p1))||X(X(G(!p0))))))'
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1382 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:18:32] [INFO ] Invariant cache hit.
[2026-05-25 03:18:50] [INFO ] Implicit Places using invariants in 18529 ms returned []
Implicit Place search using SMT only with invariants took 18530 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 19918 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(X(!p0)) U (X(X(G(!p0)))||(X(X(!p0))&&G(!p1)))))'
Stuttering acceptance computed with spot in 293 ms :[p0, p0, (AND p0 p1), (AND p0 p1), p0, true, (AND p0 p1), (AND (NOT p0) p1)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-10
Product exploration timeout after 23290 steps with 5835 reset in 10011 ms.
Product exploration timeout after 22120 steps with 5504 reset in 10003 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 4 factoid took 174 ms. Reduced automaton from 8 states, 20 edges and 2 AP (stutter sensitive) to 8 states, 20 edges and 2 AP (stutter sensitive).
RANDOM walk for 40000 steps (8 resets) in 37457 ms. (1 steps per ms) remains 1/6 properties
BEST_FIRST walk for 40004 steps (8 resets) in 7787 ms. (5 steps per ms) remains 1/1 properties
[2026-05-25 03:19:23] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5674 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5674 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 1 unsolved in 4111 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5674 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5674 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 9153/34263 variables, and 3484 constraints, problems are : Problem set: 0 solved, 1 unsolved in 3884 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 0/9153 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 8076ms problems are : Problem set: 0 solved, 1 unsolved
Parikh walk visited 0 properties in 0 ms.
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1523 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1524 ms. Remains : 9153/9153 places, 25110/25110 transitions.
RANDOM walk for 40000 steps (8 resets) in 34507 ms. (1 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 4195 ms. (9 steps per ms) remains 1/1 properties
Probabilistic random walk after 159930 steps, saw 159851 distinct states, run finished after 27066 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-25 03:20:09] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5674 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5674 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3479/9153 variables, 3479/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 26338 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/4 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 5670/5674 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5674 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 3479/9153 variables, 3479/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9153 variables, 0/3484 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 34263/34263 variables, and 12637 constraints, problems are : Problem set: 0 solved, 1 unsolved in 21739 ms.
Refiners :[Positive P Invariants (semi-flows): 3484/3484 constraints, State Equation: 9153/9153 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 48169ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 2108 steps, including 0 resets, run visited all 1 properties in 1016 ms. (steps per millisecond=2 )
Parikh walk visited 1 properties in 1022 ms.
Negative knowledge disproves property using: (G (OR (NOT p0) (NOT p1)))
Knowledge based reduction with 4 factoid took 149 ms. Proved property starting from automaton with 8 states, 20 edges and 2 AP (stutter sensitive
Knowledge-based reduction took 108176 ms.
FORMULA HypercubeGrid-PT-C5K3P3B15-LTLFireability-10 FALSE TECHNIQUES NEGATIVE_KNOWLEDGE
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-10 finished in 148483 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 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1365 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:21:00] [INFO ] Invariant cache hit.
[2026-05-25 03:21:20] [INFO ] Implicit Places using invariants in 20176 ms returned []
Implicit Place search using SMT only with invariants took 20181 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21547 ms. Remains : 9153/9153 places, 25110/25110 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 36 ms :[(NOT p0)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-11
Product exploration timeout after 10280 steps with 0 reset in 10008 ms.
Product exploration timeout after 10210 steps with 0 reset in 10004 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 44 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 32531 steps (6 resets) in 27560 ms. (1 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 62 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 34 ms :[(NOT p0)]
[2026-05-25 03:21:49] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Knowledge-based reduction took 24058 ms.
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1505 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:22:06] [INFO ] Invariant cache hit.
[2026-05-25 03:22:26] [INFO ] Implicit Places using invariants in 20134 ms returned []
Implicit Place search using SMT only with invariants took 20135 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21642 ms. Remains : 9153/9153 places, 25110/25110 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 51 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 34672 steps (8 resets) in 29691 ms. (1 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 63 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 37 ms :[(NOT p0)]
[2026-05-25 03:22:35] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
Knowledge-based reduction took 24231 ms.
Stuttering acceptance computed with spot in 55 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 47 ms :[(NOT p0)]
Product exploration timeout after 10040 steps with 0 reset in 10003 ms.
Product exploration timeout after 10040 steps with 0 reset in 10002 ms.
Built C files in :
/tmp/ltsmin6310288721953036907
[2026-05-25 03:23:11] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:23:11] [INFO ] Built C files in 181ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6310288721953036907
Running compilation step : cd /tmp/ltsmin6310288721953036907;'/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/ltsmin6310288721953036907;'/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/ltsmin6310288721953036907;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1461 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:23:15] [INFO ] Invariant cache hit.
[2026-05-25 03:23:37] [INFO ] Implicit Places using invariants in 22108 ms returned []
Implicit Place search using SMT only with invariants took 22111 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 23574 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin10351831386530627229
[2026-05-25 03:23:37] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:23:38] [INFO ] Built C files in 290ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10351831386530627229
Running compilation step : cd /tmp/ltsmin10351831386530627229;'/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/ltsmin10351831386530627229;'/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/ltsmin10351831386530627229;'/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 03:23:42] [INFO ] Flatten gal took : 754 ms
[2026-05-25 03:23:43] [INFO ] Flatten gal took : 940 ms
[2026-05-25 03:23:43] [INFO ] Time to serialize gal into /tmp/LTL3733945991916412847.gal : 123 ms
[2026-05-25 03:23:43] [INFO ] Time to serialize properties into /tmp/LTL14229574199175709584.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/LTL3733945991916412847.gal' '-t' 'CGAL' '-hoa' '/tmp/aut10665928680831801349.hoa' '-atoms' '/tmp/LTL14229574199175709584.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/LTL14229574199175709584.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut10665928680831801349.hoa
Detected timeout of ITS tools.
[2026-05-25 03:24:00] [INFO ] Flatten gal took : 771 ms
[2026-05-25 03:24:00] [INFO ] Flatten gal took : 761 ms
[2026-05-25 03:24:01] [INFO ] Time to serialize gal into /tmp/LTL18173490140512344207.gal : 122 ms
[2026-05-25 03:24:01] [INFO ] Time to serialize properties into /tmp/LTL6596942277379510834.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/LTL18173490140512344207.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6596942277379510834.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((F(G("(((pbl_2_3_1_3_2>=1)&&(pi_d4_n1_2_3_1_3_2>=1))&&((pbl_3_3_3_2_3>=1)&&(pi_d5_n1_3_3_3_2_3>=1)))"))))
Formula 0 simplified : GF!"(((pbl_2_3_1_3_2>=1)&&(pi_d4_n1_2_3_1_3_2>=1))&&((pbl_3_3_3_2_3>=1)&&(pi_d5_n1_3_3_3_2_3>=1)))"
Detected timeout of ITS tools.
[2026-05-25 03:24:17] [INFO ] Flatten gal took : 929 ms
[2026-05-25 03:24:17] [INFO ] Applying decomposition
[2026-05-25 03:24:17] [INFO ] Flatten gal took : 921 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/graph5880729003461422919.txt' '-o' '/tmp/graph5880729003461422919.bin' '-w' '/tmp/graph5880729003461422919.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5880729003461422919.bin' '-l' '-1' '-v' '-w' '/tmp/graph5880729003461422919.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:24:20] [INFO ] Decomposing Gal with order
[2026-05-25 03:24:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:24:43] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:24:43] [INFO ] Flatten gal took : 1096 ms
[2026-05-25 03:24:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 42 ms.
[2026-05-25 03:24:43] [INFO ] Time to serialize gal into /tmp/LTL4822781862015029947.gal : 106 ms
[2026-05-25 03:24:43] [INFO ] Time to serialize properties into /tmp/LTL13022440584530683678.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/LTL4822781862015029947.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL13022440584530683678.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((F(G("(((i77.u154.pbl_2_3_1_3_2>=1)&&(i77.u807.pi_d4_n1_2_3_1_3_2>=1))&&((i113.u239.pbl_3_3_3_2_3>=1)&&(i113.u1043.pi_d5_n1_3_3_3_2_...167
Formula 0 simplified : GF!"(((i77.u154.pbl_2_3_1_3_2>=1)&&(i77.u807.pi_d4_n1_2_3_1_3_2>=1))&&((i113.u239.pbl_3_3_3_2_3>=1)&&(i113.u1043.pi_d5_n1_3_3_3_2_3>...161
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-11 finished in 239634 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(F(((p1 U X((F(p1) U p2)))&&p0))))))'
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1212 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:25:00] [INFO ] Invariant cache hit.
[2026-05-25 03:25:21] [INFO ] Implicit Places using invariants in 21038 ms returned []
Implicit Place search using SMT only with invariants took 21043 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22257 ms. Remains : 9153/9153 places, 25110/25110 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(F(((p1 U X((F(p1) U p2)))&&p0))))))'
Stuttering acceptance computed with spot in 354 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2))]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-12
Product exploration timeout after 9640 steps with 0 reset in 10010 ms.
Product exploration timeout after 11260 steps with 2 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 53 ms. Reduced automaton from 8 states, 15 edges and 3 AP (stutter sensitive) to 8 states, 15 edges and 3 AP (stutter sensitive).
RANDOM walk for 38352 steps (8 resets) in 35290 ms. (1 steps per ms) remains 0/12 properties
Knowledge based reduction with 1 factoid took 183 ms. Reduced automaton from 8 states, 15 edges and 3 AP (stutter sensitive) to 8 states, 15 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 354 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2))]
[2026-05-25 03:25:51] [INFO ] Invariant cache hit.
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:834)
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:231)
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:248)
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 03:26:06] [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)
[2026-05-25 03:26:06] [INFO ] Invariant cache hit.
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:834)
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:231)
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:248)
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 03:26:21] [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 p2)
Could not prove EG (NOT p2)
Knowledge-based reduction took 40120 ms.
Stuttering acceptance computed with spot in 353 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2))]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1530 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:26:23] [INFO ] Invariant cache hit.
[2026-05-25 03:26:44] [INFO ] Implicit Places using invariants in 21147 ms returned []
Implicit Place search using SMT only with invariants took 21148 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22680 ms. Remains : 9153/9153 places, 25110/25110 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 80 ms. Reduced automaton from 8 states, 15 edges and 3 AP (stutter sensitive) to 8 states, 15 edges and 3 AP (stutter sensitive).
RANDOM walk for 39413 steps (8 resets) in 37133 ms. (1 steps per ms) remains 0/12 properties
Knowledge based reduction with 1 factoid took 188 ms. Reduced automaton from 8 states, 15 edges and 3 AP (stutter sensitive) to 8 states, 15 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 365 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2))]
[2026-05-25 03:26:55] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-25 03:27:10] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 40457 ms.
Stuttering acceptance computed with spot in 370 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2))]
Stuttering acceptance computed with spot in 398 ms :[(OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (OR (NOT p0) (NOT p2)), (NOT p2), (NOT p2), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p1) (NOT p2))), (AND (NOT p1) (NOT p2))]
Product exploration timeout after 10910 steps with 2 reset in 10004 ms.
Product exploration timeout after 9750 steps with 1 reset in 10011 ms.
Spot run failed in 62 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/ltsmin6892688346699454961
[2026-05-25 03:27:46] [INFO ] Built C files in 181ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6892688346699454961
Running compilation step : cd /tmp/ltsmin6892688346699454961;'/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/ltsmin6892688346699454961;'/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/ltsmin6892688346699454961;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1200 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:27:50] [INFO ] Invariant cache hit.
[2026-05-25 03:28:10] [INFO ] Implicit Places using invariants in 19751 ms returned []
Implicit Place search using SMT only with invariants took 19753 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20960 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin1216387408818805555
[2026-05-25 03:28:10] [INFO ] Built C files in 187ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1216387408818805555
Running compilation step : cd /tmp/ltsmin1216387408818805555;'/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/ltsmin1216387408818805555;'/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/ltsmin1216387408818805555;'/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 03:28:15] [INFO ] Flatten gal took : 861 ms
[2026-05-25 03:28:15] [INFO ] Flatten gal took : 723 ms
[2026-05-25 03:28:15] [INFO ] Time to serialize gal into /tmp/LTL5111394101433499792.gal : 117 ms
[2026-05-25 03:28:15] [INFO ] Time to serialize properties into /tmp/LTL8979533649650466313.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/LTL5111394101433499792.gal' '-t' 'CGAL' '-hoa' '/tmp/aut13785295732064121532.hoa' '-atoms' '/tmp/LTL8979533649650466313.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/LTL8979533649650466313.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut13785295732064121532.hoa
Detected timeout of ITS tools.
[2026-05-25 03:28:32] [INFO ] Flatten gal took : 761 ms
[2026-05-25 03:28:32] [INFO ] Flatten gal took : 691 ms
[2026-05-25 03:28:33] [INFO ] Time to serialize gal into /tmp/LTL55309662485116823.gal : 112 ms
[2026-05-25 03:28:33] [INFO ] Time to serialize properties into /tmp/LTL4032159029967785487.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/LTL55309662485116823.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4032159029967785487.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...273
Read 1 LTL properties
Checking formula 0 : !((X(X(X(F(("((pi_d4_n1_3_2_2_4_3>=1)&&(pol_d4_n1_3_2_2_4_3>=1))")&&(("((pbl_2_1_1_1_2>=1)&&(po_d4_n1_2_1_1_2_2>=1))")U(X((F("((pbl_2_...254
Formula 0 simplified : XXXG(!"((pi_d4_n1_3_2_2_4_3>=1)&&(pol_d4_n1_3_2_2_4_3>=1))" | (!"((pbl_2_1_1_1_2>=1)&&(po_d4_n1_2_1_1_2_2>=1))" R X(G!"((pbl_2_1_1_1...242
Detected timeout of ITS tools.
[2026-05-25 03:28:49] [INFO ] Flatten gal took : 873 ms
[2026-05-25 03:28:49] [INFO ] Applying decomposition
[2026-05-25 03:28:49] [INFO ] Flatten gal took : 687 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/graph14824519386651176606.txt' '-o' '/tmp/graph14824519386651176606.bin' '-w' '/tmp/graph14824519386651176606.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14824519386651176606.bin' '-l' '-1' '-v' '-w' '/tmp/graph14824519386651176606.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:28:51] [INFO ] Decomposing Gal with order
[2026-05-25 03:28:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:29:14] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:29:14] [INFO ] Flatten gal took : 1094 ms
[2026-05-25 03:29:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 53 ms.
[2026-05-25 03:29:14] [INFO ] Time to serialize gal into /tmp/LTL8285725859141325618.gal : 113 ms
[2026-05-25 03:29:14] [INFO ] Time to serialize properties into /tmp/LTL4344404784358103030.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/LTL8285725859141325618.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4344404784358103030.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Checking formula 0 : !((X(X(X(F(("((i130.u1684.pi_d4_n1_3_2_2_4_3>=1)&&(i130.u3293.pol_d4_n1_3_2_2_4_3>=1))")&&(("((i52.u93.pbl_2_1_1_1_2>=1)&&(i52.u2380.p...330
Formula 0 simplified : XXXG(!"((i130.u1684.pi_d4_n1_3_2_2_4_3>=1)&&(i130.u3293.pol_d4_n1_3_2_2_4_3>=1))" | (!"((i52.u93.pbl_2_1_1_1_2>=1)&&(i52.u2380.po_d4...318
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-12 finished in 270900 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||X(F((F(p2)&&p1))))))'
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1393 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:29:31] [INFO ] Invariant cache hit.
[2026-05-25 03:29:50] [INFO ] Implicit Places using invariants in 19376 ms returned []
Implicit Place search using SMT only with invariants took 19377 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20775 ms. Remains : 9153/9153 places, 25110/25110 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((F(p1)&&p0)))||p2)))'
Stuttering acceptance computed with spot in 196 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-13
Product exploration timeout after 15120 steps with 3579 reset in 10001 ms.
Product exploration timeout after 12310 steps with 1762 reset in 10407 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 104 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 3
RANDOM walk for 25484 steps (5 resets) in 23085 ms. (1 steps per ms) remains 0/3 properties
Knowledge based reduction with 1 factoid took 109 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 157 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (NOT p0) (NOT p1))]
Knowledge-based reduction took 10247 ms.
Stuttering acceptance computed with spot in 158 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (NOT p0) (NOT p1))]
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1447 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:30:23] [INFO ] Invariant cache hit.
[2026-05-25 03:30:43] [INFO ] Implicit Places using invariants in 20685 ms returned []
Implicit Place search using SMT only with invariants took 20690 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22139 ms. Remains : 9153/9153 places, 25110/25110 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 71 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 3
RANDOM walk for 33108 steps (6 resets) in 30389 ms. (1 steps per ms) remains 0/3 properties
Knowledge based reduction with 1 factoid took 172 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 205 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (NOT p0) (NOT p1))]
Knowledge-based reduction took 10599 ms.
Stuttering acceptance computed with spot in 207 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (NOT p0) (NOT p1))]
Stuttering acceptance computed with spot in 207 ms :[(OR (AND (NOT p1) (NOT p2)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p2)) (AND (NOT p1) (NOT p2))), (NOT p1), (OR (NOT p0) (NOT p1))]
Product exploration timeout after 23300 steps with 9991 reset in 10004 ms.
Product exploration timeout after 10510 steps with 240 reset in 10005 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/ltsmin4754055040383913850
[2026-05-25 03:31:15] [INFO ] Built C files in 183ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4754055040383913850
Running compilation step : cd /tmp/ltsmin4754055040383913850;'/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/ltsmin4754055040383913850;'/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/ltsmin4754055040383913850;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1405 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:31:19] [INFO ] Invariant cache hit.
[2026-05-25 03:31:37] [INFO ] Implicit Places using invariants in 18371 ms returned []
Implicit Place search using SMT only with invariants took 18378 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 19786 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin1434896211214157294
[2026-05-25 03:31:38] [INFO ] Built C files in 179ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1434896211214157294
Running compilation step : cd /tmp/ltsmin1434896211214157294;'/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/ltsmin1434896211214157294;'/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/ltsmin1434896211214157294;'/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 03:31:42] [INFO ] Flatten gal took : 800 ms
[2026-05-25 03:31:43] [INFO ] Flatten gal took : 781 ms
[2026-05-25 03:31:43] [INFO ] Time to serialize gal into /tmp/LTL2274322560472424594.gal : 120 ms
[2026-05-25 03:31:43] [INFO ] Time to serialize properties into /tmp/LTL17856148808687964810.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/LTL2274322560472424594.gal' '-t' 'CGAL' '-hoa' '/tmp/aut17027652101812059949.hoa' '-atoms' '/tmp/LTL17856148808687964810.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/LTL17856148808687964810.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut17027652101812059949.hoa
Detected timeout of ITS tools.
[2026-05-25 03:31:59] [INFO ] Flatten gal took : 906 ms
[2026-05-25 03:32:00] [INFO ] Flatten gal took : 807 ms
[2026-05-25 03:32:00] [INFO ] Time to serialize gal into /tmp/LTL12419595058599817720.gal : 118 ms
[2026-05-25 03:32:00] [INFO ] Time to serialize properties into /tmp/LTL6205404033655284024.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/LTL12419595058599817720.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6205404033655284024.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((X((X(F(("((pb_d4_n1_1_2_2_1_2>=1)&&(pol_d4_n1_1_2_2_1_2>=1))")&&(F("((pbl_2_1_3_1_2>=1)&&(po_d3_n1_2_1_4_1_2>=1))")))))||("((pb_d4_...203
Formula 0 simplified : X(!"((pb_d4_n1_1_2_2_1_2>=1)&&(pol_d4_n1_1_2_2_1_2>=1))" & XG(!"((pb_d4_n1_1_2_2_1_2>=1)&&(pol_d4_n1_1_2_2_1_2>=1))" | G!"((pbl_2_1_...193
Detected timeout of ITS tools.
[2026-05-25 03:32:16] [INFO ] Flatten gal took : 949 ms
[2026-05-25 03:32:16] [INFO ] Applying decomposition
[2026-05-25 03:32:17] [INFO ] Flatten gal took : 760 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/graph6866334100595534042.txt' '-o' '/tmp/graph6866334100595534042.bin' '-w' '/tmp/graph6866334100595534042.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6866334100595534042.bin' '-l' '-1' '-v' '-w' '/tmp/graph6866334100595534042.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:32:19] [INFO ] Decomposing Gal with order
[2026-05-25 03:32:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:32:42] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:32:42] [INFO ] Flatten gal took : 1259 ms
[2026-05-25 03:32:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 68 ms.
[2026-05-25 03:32:43] [INFO ] Time to serialize gal into /tmp/LTL13733556878132416530.gal : 114 ms
[2026-05-25 03:32:43] [INFO ] Time to serialize properties into /tmp/LTL2776383357910122764.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/LTL13733556878132416530.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL2776383357910122764.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...255
Read 1 LTL properties
Checking formula 0 : !((X((X(F(("((i2.u5.pb_d4_n1_1_2_2_1_2>=1)&&(i2.u2391.pol_d4_n1_1_2_2_1_2>=1))")&&(F("((i57.u123.pbl_2_1_3_1_2>=1)&&(i57.u3070.po_d3_n...252
Formula 0 simplified : X(!"((i2.u5.pb_d4_n1_1_2_2_1_2>=1)&&(i2.u2391.pol_d4_n1_1_2_2_1_2>=1))" & XG(!"((i2.u5.pb_d4_n1_1_2_2_1_2>=1)&&(i2.u2391.pol_d4_n1_1...242
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-13 finished in 208737 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(G(p0))&&F(p1))))'
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1574 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:33:00] [INFO ] Invariant cache hit.
[2026-05-25 03:33:21] [INFO ] Implicit Places using invariants in 21068 ms returned []
Implicit Place search using SMT only with invariants took 21074 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22651 ms. Remains : 9153/9153 places, 25110/25110 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(G(p0))&&F(p1))))'
Stuttering acceptance computed with spot in 108 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-14
Product exploration timeout after 10530 steps with 0 reset in 10009 ms.
Product exploration timeout after 10380 steps with 1 reset in 10003 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 88 ms. Reduced automaton from 3 states, 6 edges and 2 AP (stutter insensitive) to 3 states, 6 edges and 2 AP (stutter insensitive).
RANDOM walk for 12538 steps (2 resets) in 11400 ms. (1 steps per ms) remains 0/2 properties
Knowledge based reduction with 1 factoid took 114 ms. Reduced automaton from 3 states, 6 edges and 2 AP (stutter insensitive) to 3 states, 6 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 104 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Knowledge-based reduction took 5204 ms.
Stuttering acceptance computed with spot in 100 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Support contains 4 out of 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1475 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:33:48] [INFO ] Invariant cache hit.
[2026-05-25 03:34:08] [INFO ] Implicit Places using invariants in 20046 ms returned []
Implicit Place search using SMT only with invariants took 20058 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21535 ms. Remains : 9153/9153 places, 25110/25110 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 134 ms. Reduced automaton from 3 states, 6 edges and 2 AP (stutter insensitive) to 3 states, 6 edges and 2 AP (stutter insensitive).
RANDOM walk for 22053 steps (4 resets) in 20077 ms. (1 steps per ms) remains 0/2 properties
Knowledge based reduction with 1 factoid took 146 ms. Reduced automaton from 3 states, 6 edges and 2 AP (stutter insensitive) to 3 states, 6 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 152 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Knowledge-based reduction took 9892 ms.
Stuttering acceptance computed with spot in 153 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Stuttering acceptance computed with spot in 150 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Product exploration timeout after 11470 steps with 4 reset in 10006 ms.
Product exploration timeout after 9810 steps with 1 reset in 10003 ms.
Built C files in :
/tmp/ltsmin10623386539748484850
[2026-05-25 03:34:38] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:34:38] [INFO ] Built C files in 171ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10623386539748484850
Running compilation step : cd /tmp/ltsmin10623386539748484850;'/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/ltsmin10623386539748484850;'/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/ltsmin10623386539748484850;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1800 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:34:43] [INFO ] Invariant cache hit.
[2026-05-25 03:35:04] [INFO ] Implicit Places using invariants in 20693 ms returned []
Implicit Place search using SMT only with invariants took 20698 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22500 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin11399420648409619492
[2026-05-25 03:35:04] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:35:04] [INFO ] Built C files in 180ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11399420648409619492
Running compilation step : cd /tmp/ltsmin11399420648409619492;'/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/ltsmin11399420648409619492;'/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/ltsmin11399420648409619492;'/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 03:35:08] [INFO ] Flatten gal took : 861 ms
[2026-05-25 03:35:09] [INFO ] Flatten gal took : 766 ms
[2026-05-25 03:35:09] [INFO ] Time to serialize gal into /tmp/LTL15390487548217824075.gal : 123 ms
[2026-05-25 03:35:09] [INFO ] Time to serialize properties into /tmp/LTL18437112283798173083.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/LTL15390487548217824075.gal' '-t' 'CGAL' '-hoa' '/tmp/aut3515684905849347585.hoa' '-atoms' '/tmp/LTL18437112283798173083.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/LTL18437112283798173083.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut3515684905849347585.hoa
Detected timeout of ITS tools.
[2026-05-25 03:35:26] [INFO ] Flatten gal took : 993 ms
[2026-05-25 03:35:27] [INFO ] Flatten gal took : 984 ms
[2026-05-25 03:35:27] [INFO ] Time to serialize gal into /tmp/LTL2303934506275586086.gal : 117 ms
[2026-05-25 03:35:27] [INFO ] Time to serialize properties into /tmp/LTL4252562684235984670.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/LTL2303934506275586086.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4252562684235984670.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(G("((pbl_2_2_2_2_3<1)||(po_d2_n1_2_3_2_2_3<1))")))&&(F("((pbl_3_3_1_2_1<1)||(pi_d2_n1_3_3_1_2_1<1))")))))
Formula 0 simplified : F(GF!"((pbl_2_2_2_2_3<1)||(po_d2_n1_2_3_2_2_3<1))" | G!"((pbl_3_3_1_2_1<1)||(pi_d2_n1_3_3_1_2_1<1))")
Detected timeout of ITS tools.
[2026-05-25 03:35:43] [INFO ] Flatten gal took : 906 ms
[2026-05-25 03:35:43] [INFO ] Applying decomposition
[2026-05-25 03:35:44] [INFO ] Flatten gal took : 1139 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/graph9782056669314964215.txt' '-o' '/tmp/graph9782056669314964215.bin' '-w' '/tmp/graph9782056669314964215.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9782056669314964215.bin' '-l' '-1' '-v' '-w' '/tmp/graph9782056669314964215.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:35:46] [INFO ] Decomposing Gal with order
[2026-05-25 03:35:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:36:10] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:36:10] [INFO ] Flatten gal took : 1097 ms
[2026-05-25 03:36:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 43 ms.
[2026-05-25 03:36:10] [INFO ] Time to serialize gal into /tmp/LTL3769140404462815495.gal : 109 ms
[2026-05-25 03:36:10] [INFO ] Time to serialize properties into /tmp/LTL14312566562025838831.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/LTL3769140404462815495.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14312566562025838831.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(G("((i71.u129.pbl_2_2_2_2_3<1)||(i71.u2923.po_d2_n1_2_3_2_2_3<1))")))&&(F("((i82.u220.pbl_3_3_1_2_1<1)||(i82.u545.pi_d2_n1_3_3...171
Formula 0 simplified : F(GF!"((i71.u129.pbl_2_2_2_2_3<1)||(i71.u2923.po_d2_n1_2_3_2_2_3<1))" | G!"((i82.u220.pbl_3_3_1_2_1<1)||(i82.u545.pi_d2_n1_3_3_1_2_1...161
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-14 finished in 207231 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))&&((X((F(p1) U X(p0))) U p2)||G(p2))))'
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1339 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:36:27] [INFO ] Invariant cache hit.
[2026-05-25 03:36:46] [INFO ] Implicit Places using invariants in 19198 ms returned []
Implicit Place search using SMT only with invariants took 19202 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20543 ms. Remains : 9153/9153 places, 25110/25110 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))&&((X((F(p1) U X(p0))) U p2)||G(p2))))'
Stuttering acceptance computed with spot in 367 ms :[(OR (NOT p2) (NOT p0)), (NOT p0), (NOT p0), (OR (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
Running random walk in product with property : HypercubeGrid-PT-C5K3P3B15-LTLFireability-15
Product exploration timeout after 10130 steps with 1 reset in 10005 ms.
Product exploration timeout after 10770 steps with 3 reset in 10007 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 113 ms. Reduced automaton from 7 states, 13 edges and 3 AP (stutter sensitive) to 7 states, 12 edges and 3 AP (stutter sensitive).
RANDOM walk for 37453 steps (8 resets) in 34412 ms. (1 steps per ms) remains 0/4 properties
Knowledge based reduction with 2 factoid took 155 ms. Reduced automaton from 7 states, 12 edges and 3 AP (stutter sensitive) to 7 states, 12 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 327 ms :[(OR (NOT p0) (NOT p2)), (NOT p0), (NOT p0), (OR (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
[2026-05-25 03:37:17] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-25 03:37:32] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 40516 ms.
Stuttering acceptance computed with spot in 253 ms :[(OR (NOT p0) (NOT p2)), (NOT p0), (NOT p0), (OR (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
Support contains 6 out of 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1389 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:37:48] [INFO ] Invariant cache hit.
[2026-05-25 03:38:09] [INFO ] Implicit Places using invariants in 20834 ms returned []
Implicit Place search using SMT only with invariants took 20835 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22226 ms. Remains : 9153/9153 places, 25110/25110 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 163 ms. Reduced automaton from 7 states, 12 edges and 3 AP (stutter sensitive) to 7 states, 12 edges and 3 AP (stutter sensitive).
RANDOM walk for 35225 steps (7 resets) in 32201 ms. (1 steps per ms) remains 0/4 properties
Knowledge based reduction with 2 factoid took 183 ms. Reduced automaton from 7 states, 12 edges and 3 AP (stutter sensitive) to 7 states, 12 edges and 3 AP (stutter sensitive).
Stuttering acceptance computed with spot in 323 ms :[(OR (NOT p0) (NOT p2)), (NOT p0), (NOT p0), (OR (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
[2026-05-25 03:38:20] [INFO ] Invariant cache hit.
Could not prove EG (NOT p0)
[2026-05-25 03:38:35] [INFO ] Invariant cache hit.
Could not prove EG (NOT p2)
Knowledge-based reduction took 40565 ms.
Stuttering acceptance computed with spot in 331 ms :[(OR (NOT p0) (NOT p2)), (NOT p0), (NOT p0), (OR (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
Stuttering acceptance computed with spot in 346 ms :[(OR (NOT p0) (NOT p2)), (NOT p0), (NOT p0), (OR (NOT p0) (NOT p2)), (AND (NOT p1) (NOT p0)), (NOT p0), (NOT p1)]
Product exploration timeout after 10730 steps with 2 reset in 10006 ms.
Product exploration timeout after 9380 steps with 1 reset in 10002 ms.
Spot run failed in 59 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/ltsmin6432172176701896587
[2026-05-25 03:39:11] [INFO ] Built C files in 174ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6432172176701896587
Running compilation step : cd /tmp/ltsmin6432172176701896587;'/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/ltsmin6432172176701896587;'/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/ltsmin6432172176701896587;'/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 9153 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 9153/9153 places, 25110/25110 transitions.
Applied a total of 0 rules in 1244 ms. Remains 9153 /9153 variables (removed 0) and now considering 25110/25110 (removed 0) transitions.
[2026-05-25 03:39:15] [INFO ] Invariant cache hit.
[2026-05-25 03:39:34] [INFO ] Implicit Places using invariants in 19347 ms returned []
Implicit Place search using SMT only with invariants took 19349 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 20595 ms. Remains : 9153/9153 places, 25110/25110 transitions.
Built C files in :
/tmp/ltsmin374545443579535244
[2026-05-25 03:39:35] [INFO ] Built C files in 294ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin374545443579535244
Running compilation step : cd /tmp/ltsmin374545443579535244;'/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/ltsmin374545443579535244;'/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/ltsmin374545443579535244;'/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 03:39:39] [INFO ] Flatten gal took : 827 ms
[2026-05-25 03:39:40] [INFO ] Flatten gal took : 647 ms
[2026-05-25 03:39:40] [INFO ] Time to serialize gal into /tmp/LTL10270504261453519454.gal : 115 ms
[2026-05-25 03:39:40] [INFO ] Time to serialize properties into /tmp/LTL6703840312454314313.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/LTL10270504261453519454.gal' '-t' 'CGAL' '-hoa' '/tmp/aut18041851154887225160.hoa' '-atoms' '/tmp/LTL6703840312454314313.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/LTL6703840312454314313.prop.
Loaded 3 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut18041851154887225160.hoa
Detected timeout of ITS tools.
[2026-05-25 03:39:56] [INFO ] Flatten gal took : 944 ms
[2026-05-25 03:39:57] [INFO ] Flatten gal took : 896 ms
[2026-05-25 03:39:57] [INFO ] Time to serialize gal into /tmp/LTL5536477730978398488.gal : 168 ms
[2026-05-25 03:39:57] [INFO ] Time to serialize properties into /tmp/LTL863190696000554129.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/LTL5536477730978398488.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL863190696000554129.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...274
Read 1 LTL properties
Checking formula 0 : !(((G(F("((pbl_3_3_3_3_3>=1)&&(pi_d2_n1_3_3_3_3_3>=1))")))&&(((X((F("((pbl_2_2_3_1_2>=1)&&(po_d3_n1_2_2_4_1_2>=1))"))U(X("((pbl_3_3_3_...301
Formula 0 simplified : FG!"((pbl_3_3_3_3_3>=1)&&(pi_d2_n1_3_3_3_3_3>=1))" | (!"((pbl_1_1_2_3_3>=1)&&(pi_d4_n1_1_1_2_3_3>=1))" & X(!"((pbl_1_1_2_3_3>=1)&&(p...286
Detected timeout of ITS tools.
[2026-05-25 03:40:13] [INFO ] Flatten gal took : 748 ms
[2026-05-25 03:40:13] [INFO ] Applying decomposition
[2026-05-25 03:40:14] [INFO ] Flatten gal took : 736 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/graph9516384713174070090.txt' '-o' '/tmp/graph9516384713174070090.bin' '-w' '/tmp/graph9516384713174070090.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9516384713174070090.bin' '-l' '-1' '-v' '-w' '/tmp/graph9516384713174070090.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:40:16] [INFO ] Decomposing Gal with order
[2026-05-25 03:40:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:40:39] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:40:39] [INFO ] Flatten gal took : 1241 ms
[2026-05-25 03:40:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 42 ms.
[2026-05-25 03:40:39] [INFO ] Time to serialize gal into /tmp/LTL575217212679045032.gal : 109 ms
[2026-05-25 03:40:39] [INFO ] Time to serialize properties into /tmp/LTL13923824856397114841.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/LTL575217212679045032.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL13923824856397114841.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("((i91.u242.pbl_3_3_3_3_3>=1)&&(i91.u553.pi_d2_n1_3_3_3_3_3>=1))")))&&(((X((F("((i67.u8.pbl_2_2_3_1_2>=1)&&(i67.u2260.po_d3_n1...388
Formula 0 simplified : FG!"((i91.u242.pbl_3_3_3_3_3>=1)&&(i91.u553.pi_d2_n1_3_3_3_3_3>=1))" | (!"((i18.u31.pbl_1_1_2_3_3>=1)&&(i18.u730.pi_d4_n1_1_1_2_3_3>...373
Detected timeout of ITS tools.
Treatment of property HypercubeGrid-PT-C5K3P3B15-LTLFireability-15 finished in 269073 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 59 ms. Status :1
Traceback (most recent call last):
File "/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/senseclsl.py", line 2, in
import spot, sys
ModuleNotFoundError: No module named 'spot'
Warning : SL/CL computation failed.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((p0||F(G(p1))))))'
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)||G((G(p2)||p1)))))'
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(X(F(((p0||X(X(p1))) U (G((p0||X(X(p1))))||(!p2&&(p0||X(X(p1))))))))))'
Spot run failed in 50 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) U p1)||X(X(X((X(G(p2)) U 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 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' '!(F(G(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(X(X(F(((p1 U X((F(p1) U p2)))&&p0))))))'
Spot run failed in 68 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((p0||X(F((F(p2)&&p1))))))'
Spot run failed in 78 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(G(p0))&&F(p1))))'
Spot run failed in 78 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))&&((X((F(p1) U X(p0))) U p2)||G(p2))))'
Spot run failed in 78 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 03:40:56] [INFO ] Flatten gal took : 902 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin334062449319937266
[2026-05-25 03:40:57] [INFO ] Too many transitions (25110) to apply POR reductions. Disabling POR matrices.
[2026-05-25 03:40:57] [INFO ] Built C files in 180ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin334062449319937266
Running compilation step : cd /tmp/ltsmin334062449319937266;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '65' '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 03:40:57] [INFO ] Applying decomposition
[2026-05-25 03:40:58] [INFO ] Flatten gal took : 762 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/graph12539254826802588194.txt' '-o' '/tmp/graph12539254826802588194.bin' '-w' '/tmp/graph12539254826802588194.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12539254826802588194.bin' '-l' '-1' '-v' '-w' '/tmp/graph12539254826802588194.weights' '-q' '0' '-e' '0.001'
[2026-05-25 03:41:00] [INFO ] Decomposing Gal with order
[2026-05-25 03:41:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 03:41:23] [INFO ] Removed a total of 38880 redundant transitions.
[2026-05-25 03:41:23] [INFO ] Flatten gal took : 1153 ms
[2026-05-25 03:41:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 45 ms.
[2026-05-25 03:41:24] [INFO ] Time to serialize gal into /tmp/LTLFireability7777234250483527991.gal : 119 ms
[2026-05-25 03:41:24] [INFO ] Time to serialize properties into /tmp/LTLFireability14393695558707304445.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/LTLFireability7777234250483527991.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLFireability14393695558707304445.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 11 LTL properties
Checking formula 0 : !((G(F("((i46.u97.pbl_1_3_3_3_2>=1)&&(i46.u938.pi_d5_n1_1_3_3_3_2>=1))"))))
Formula 0 simplified : FG!"((i46.u97.pbl_1_3_3_3_2>=1)&&(i46.u938.pi_d5_n1_1_3_3_3_2>=1))"
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/ltsmin334062449319937266;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '65' '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 65 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin334062449319937266;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '65' '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 65 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)
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="HypercubeGrid-PT-C5K3P3B15"
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 HypercubeGrid-PT-C5K3P3B15, 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-177961107600020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 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 ;