About the Execution of ITS-Tools for HypertorusGrid-PT-d4k3p2b08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16210.136 | 3600000.00 | 5738542.00 | 203259.20 | ?F??FF?F?TFTFFF? | 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-177961107600059.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is HypertorusGrid-PT-d4k3p2b08, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107600059
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 11K Mar 7 17:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Mar 7 17:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 7 17:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 7 17:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Mar 15 10:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 15 10:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 15 10:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 15 10:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Mar 7 17:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Mar 7 17:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Mar 7 17:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Mar 7 17:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 10:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rwxr-xr-x 1 mcc users 2.8M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-00
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-01
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-02
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-03
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-04
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-05
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-06
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-07
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-08
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-09
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-10
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-11
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-12
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-13
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-14
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1779704217111
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypertorusGrid-PT-d4k3p2b08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Running Version 202604301425
[2026-05-25 10:16:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 10:16:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 10:17:00] [INFO ] Load time of PNML (sax parser for PT used): 669 ms
[2026-05-25 10:17:00] [INFO ] Transformed 2025 places.
[2026-05-25 10:17:00] [INFO ] Transformed 5184 transitions.
[2026-05-25 10:17:00] [INFO ] Parsed PT model containing 2025 places and 5184 transitions and 20736 arcs in 986 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 17 ms.
Working with output stream class java.io.PrintStream
Support contains 56 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 424 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4959410957499025748.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14251559637181121197.kers'
[2026-05-25 10:17:01] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4959410957499025748.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14251559637181121197.kers]
Culling duplicate invariants (modulo rational): removing 648 columns.
Culled 648 columns in 7 ms.
// Phase 1: matrix 5184 rows 1377 cols 15552 entries
Finished phase 1 with 1295 SingleSign rule and 0 generalized
[2026-05-25 10:17:01] [INFO ] Computed 730 invariants in 84 ms
Computed 730 P flows in 86 ms.
Exported basis to /tmp/petrispot-output-14251559637181121197.kers
Total runtime 92 ms.
[2026-05-25 10:17:05] [INFO ] Implicit Places using invariants in 4461 ms returned []
[2026-05-25 10:17:05] [INFO ] Invariant cache hit.
[2026-05-25 10:17:12] [INFO ] Implicit Places using invariants and state equation in 7159 ms returned []
Implicit Place search using SMT with State Equation took 11673 ms to find 0 implicit places.
Running 4536 sub problems to find dead transitions.
[2026-05-25 10:17:13] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 729/7209 variables, and 0 constraints, problems are : Problem set: 0 solved, 4536 unsolved in 30268 ms.
Refiners :[Positive P Invariants (semi-flows): 0/730 constraints, State Equation: 0/2025 constraints, PredecessorRefiner: 4536/4536 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4536 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 729/7209 variables, and 0 constraints, problems are : Problem set: 0 solved, 4536 unsolved in 30141 ms.
Refiners :[Positive P Invariants (semi-flows): 0/730 constraints, State Equation: 0/2025 constraints, PredecessorRefiner: 0/4536 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 65749ms problems are : Problem set: 0 solved, 4536 unsolved
Search for dead transitions found 0 dead transitions in 65836ms
Finished structural reductions in LTL mode , in 1 iterations and 78029 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 316 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:18:19] [INFO ] Invariant cache hit.
[2026-05-25 10:18:22] [INFO ] Implicit Places using invariants in 3293 ms returned []
[2026-05-25 10:18:22] [INFO ] Invariant cache hit.
[2026-05-25 10:18:29] [INFO ] Implicit Places using invariants and state equation in 6610 ms returned []
Implicit Place search using SMT with State Equation took 9908 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10229 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Support contains 56 out of 2025 places after structural reductions.
[2026-05-25 10:18:30] [INFO ] Flatten gal took : 689 ms
[2026-05-25 10:18:30] [INFO ] Flatten gal took : 256 ms
[2026-05-25 10:18:31] [INFO ] Input system was already deterministic with 5184 transitions.
RANDOM walk for 40000 steps (8 resets) in 9255 ms. (4 steps per ms) remains 10/35 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1778 ms. (22 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1301 ms. (30 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1383 ms. (28 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1236 ms. (32 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1296 ms. (30 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1391 ms. (28 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1132 ms. (35 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 972 ms. (41 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1216 ms. (32 steps per ms) remains 10/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1308 ms. (30 steps per ms) remains 10/10 properties
[2026-05-25 10:18:37] [INFO ] Invariant cache hit.
Problem AtomicPropp17 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/14 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 9 unsolved
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp33 is UNSAT
At refinement iteration 1 (OVERLAPS) 1296/1310 variables, 15/15 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1310 variables, 0/15 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 715/2025 variables, 715/730 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 9 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7209/7209 variables, and 2755 constraints, problems are : Problem set: 9 solved, 1 unsolved in 3142 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 10/10 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 9 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 8/9 variables, 1/1 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/9 variables, 0/1 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1288/1297 variables, 1/2 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1297 variables, 0/2 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 728/2025 variables, 728/730 constraints. Problems are: Problem set: 9 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 9 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7209/7209 variables, and 2755 constraints, problems are : Problem set: 9 solved, 1 unsolved in 3555 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 0/10 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 6746ms problems are : Problem set: 9 solved, 1 unsolved
Finished Parikh walk after 1153 steps, including 0 resets, run visited all 1 properties in 166 ms. (steps per millisecond=6 )
Parikh walk visited 1 properties in 184 ms.
Successfully simplified 9 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 0 stabilizing places and 0 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((F(G(p0))||G((p1&&X(!p0))))))'
Support contains 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 158 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:18:44] [INFO ] Invariant cache hit.
[2026-05-25 10:18:47] [INFO ] Implicit Places using invariants in 2636 ms returned []
[2026-05-25 10:18:47] [INFO ] Invariant cache hit.
[2026-05-25 10:18:54] [INFO ] Implicit Places using invariants and state equation in 6839 ms returned []
Implicit Place search using SMT with State Equation took 9477 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9638 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X((F(G(p0))||G((p1&&X(!p0))))))'
Stuttering acceptance computed with spot in 337 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-00
Product exploration timeout after 55140 steps with 0 reset in 10001 ms.
Product exploration timeout after 58740 steps with 0 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 175 ms. Reduced automaton from 4 states, 7 edges and 2 AP (stutter sensitive) to 4 states, 7 edges and 2 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 4 to 3
RANDOM walk for 24683 steps (5 resets) in 6251 ms. (3 steps per ms) remains 0/3 properties
Knowledge based reduction with 2 factoid took 175 ms. Reduced automaton from 4 states, 7 edges and 2 AP (stutter sensitive) to 4 states, 7 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 142 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 13187 ms.
Stuttering acceptance computed with spot in 142 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0))]
Support contains 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 159 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:19:28] [INFO ] Invariant cache hit.
[2026-05-25 10:19:30] [INFO ] Implicit Places using invariants in 2797 ms returned []
[2026-05-25 10:19:30] [INFO ] Invariant cache hit.
[2026-05-25 10:19:38] [INFO ] Implicit Places using invariants and state equation in 7583 ms returned []
Implicit Place search using SMT with State Equation took 10392 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10557 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 164 ms. Reduced automaton from 4 states, 7 edges and 2 AP (stutter sensitive) to 4 states, 7 edges and 2 AP (stutter sensitive).
Reduction of identical properties reduced properties to check from 4 to 3
RANDOM walk for 25806 steps (5 resets) in 5719 ms. (4 steps per ms) remains 0/3 properties
Knowledge based reduction with 2 factoid took 178 ms. Reduced automaton from 4 states, 7 edges and 2 AP (stutter sensitive) to 4 states, 7 edges and 2 AP (stutter sensitive).
Stuttering acceptance computed with spot in 183 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0))]
Knowledge-based reduction took 13052 ms.
Stuttering acceptance computed with spot in 208 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0))]
Stuttering acceptance computed with spot in 201 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0))]
Product exploration timeout after 59260 steps with 0 reset in 10002 ms.
Product exploration timeout after 58220 steps with 0 reset in 10001 ms.
Spot run failed in 119 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/ltsmin17271111156968165007
[2026-05-25 10:20:12] [INFO ] Built C files in 122ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17271111156968165007
Running compilation step : cd /tmp/ltsmin17271111156968165007;'/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/ltsmin17271111156968165007;'/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/ltsmin17271111156968165007;'/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 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 73 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:20:15] [INFO ] Invariant cache hit.
[2026-05-25 10:20:18] [INFO ] Implicit Places using invariants in 3075 ms returned []
[2026-05-25 10:20:18] [INFO ] Invariant cache hit.
[2026-05-25 10:20:25] [INFO ] Implicit Places using invariants and state equation in 7044 ms returned []
Implicit Place search using SMT with State Equation took 10121 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10198 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin5024612799423206876
[2026-05-25 10:20:25] [INFO ] Built C files in 108ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5024612799423206876
Running compilation step : cd /tmp/ltsmin5024612799423206876;'/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/ltsmin5024612799423206876;'/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/ltsmin5024612799423206876;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 10:20:29] [INFO ] Flatten gal took : 214 ms
[2026-05-25 10:20:29] [INFO ] Flatten gal took : 165 ms
[2026-05-25 10:20:29] [INFO ] Time to serialize gal into /tmp/LTL17708990750841299228.gal : 78 ms
[2026-05-25 10:20:29] [INFO ] Time to serialize properties into /tmp/LTL11466727320496296829.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/LTL17708990750841299228.gal' '-t' 'CGAL' '-hoa' '/tmp/aut14202951459035882.hoa' '-atoms' '/tmp/LTL11466727320496296829.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...317
Loading property file /tmp/LTL11466727320496296829.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut14202951459035882.hoa
Detected timeout of ITS tools.
[2026-05-25 10:20:44] [INFO ] Flatten gal took : 157 ms
[2026-05-25 10:20:45] [INFO ] Flatten gal took : 164 ms
[2026-05-25 10:20:45] [INFO ] Time to serialize gal into /tmp/LTL9085399513246917399.gal : 44 ms
[2026-05-25 10:20:45] [INFO ] Time to serialize properties into /tmp/LTL4582592380996221826.ltl : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64' '--gc-threshold' '2000000' '-i' '/tmp/LTL9085399513246917399.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4582592380996221826.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((F(G("(pbl_1_2_1_2<3)")))||(G(("(pb_d4_n2_2_2_1_3<=pb_d4_n1_1_1_3_3)")&&(X("(pbl_1_2_1_2>=3)")))))))
Formula 0 simplified : X(GF!"(pbl_1_2_1_2<3)" & F(!"(pb_d4_n2_2_2_1_3<=pb_d4_n1_1_1_3_3)" | X!"(pbl_1_2_1_2>=3)"))
Detected timeout of ITS tools.
[2026-05-25 10:21:00] [INFO ] Flatten gal took : 146 ms
[2026-05-25 10:21:00] [INFO ] Applying decomposition
[2026-05-25 10:21:00] [INFO ] Flatten gal took : 151 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/graph3987798021863368458.txt' '-o' '/tmp/graph3987798021863368458.bin' '-w' '/tmp/graph3987798021863368458.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3987798021863368458.bin' '-l' '-1' '-v' '-w' '/tmp/graph3987798021863368458.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:21:01] [INFO ] Decomposing Gal with order
[2026-05-25 10:21:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:21:02] [INFO ] Removed a total of 7788 redundant transitions.
[2026-05-25 10:21:02] [INFO ] Flatten gal took : 651 ms
[2026-05-25 10:21:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 102 ms.
[2026-05-25 10:21:03] [INFO ] Time to serialize gal into /tmp/LTL4657075568486204784.gal : 57 ms
[2026-05-25 10:21:03] [INFO ] Time to serialize properties into /tmp/LTL14094728237268950939.ltl : 3 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/LTL4657075568486204784.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL14094728237268950939.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((F(G("(gi5.gi1.gi0.gi0.gu20.pbl_1_2_1_2<3)")))||(G(("(gu9.pb_d4_n2_2_2_1_3<=gu9.pb_d4_n1_1_1_3_3)")&&(X("(gi5.gi1.gi0.gi0.gu20.pb...176
Formula 0 simplified : X(GF!"(gi5.gi1.gi0.gi0.gu20.pbl_1_2_1_2<3)" & F(!"(gu9.pb_d4_n2_2_2_1_3<=gu9.pb_d4_n1_1_1_3_3)" | X!"(gi5.gi1.gi0.gi0.gu20.pbl_1_2_1...164
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-00 finished in 153967 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))))'
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 74 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:21:18] [INFO ] Invariant cache hit.
[2026-05-25 10:21:21] [INFO ] Implicit Places using invariants in 3227 ms returned []
[2026-05-25 10:21:21] [INFO ] Invariant cache hit.
[2026-05-25 10:21:28] [INFO ] Implicit Places using invariants and state equation in 6994 ms returned []
Implicit Place search using SMT with State Equation took 10223 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10302 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(G(p0))))'
Stuttering acceptance computed with spot in 162 ms :[true, (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-01
Entered a terminal (fully accepting) state of product in 2 steps with 0 reset in 2 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-01 finished in 10524 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 240 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:21:29] [INFO ] Invariant cache hit.
[2026-05-25 10:21:32] [INFO ] Implicit Places using invariants in 3160 ms returned []
[2026-05-25 10:21:32] [INFO ] Invariant cache hit.
[2026-05-25 10:21:39] [INFO ] Implicit Places using invariants and state equation in 7259 ms returned []
Implicit Place search using SMT with State Equation took 10425 ms to find 0 implicit places.
[2026-05-25 10:21:40] [INFO ] Redundant transitions in 906 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11580 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Stuttering acceptance computed with spot in 70 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-02
Product exploration timeout after 54880 steps with 4 reset in 10002 ms.
Product exploration timeout after 52220 steps with 3 reset in 10001 ms.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 72 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 32026 steps (6 resets) in 7218 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 3 factoid took 57 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 70 ms :[(NOT p0), (NOT p0)]
Knowledge-based reduction took 12434 ms.
Stuttering acceptance computed with spot in 68 ms :[(NOT p0), (NOT p0)]
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 119 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:22:13] [INFO ] Invariant cache hit.
[2026-05-25 10:22:16] [INFO ] Implicit Places using invariants in 2944 ms returned []
[2026-05-25 10:22:16] [INFO ] Invariant cache hit.
[2026-05-25 10:22:22] [INFO ] Implicit Places using invariants and state equation in 6139 ms returned []
Implicit Place search using SMT with State Equation took 9085 ms to find 0 implicit places.
[2026-05-25 10:22:23] [INFO ] Redundant transitions in 802 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10015 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 3 factoid took 56 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 40000 steps (8 resets) in 8383 ms. (4 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1041 ms. (38 steps per ms) remains 1/1 properties
Probabilistic random walk after 156959 steps, saw 156713 distinct states, run finished after 6005 ms. (steps per millisecond=26 ) properties seen :0
[2026-05-25 10:22:42] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 8/9 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/9 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1288/1297 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1297 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 728/2025 variables, 728/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7209/7209 variables, and 2755 constraints, problems are : Problem set: 0 solved, 1 unsolved in 3282 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 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/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 8/9 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/9 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (OVERLAPS) 1288/1297 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1297 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 728/2025 variables, 728/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7209/7209 variables, and 2755 constraints, problems are : Problem set: 0 solved, 1 unsolved in 3053 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 0/1 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 6363ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 2042 steps, including 0 resets, run visited all 1 properties in 133 ms. (steps per millisecond=15 )
Parikh walk visited 1 properties in 134 ms.
Knowledge based reduction with 3 factoid took 57 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 80 ms :[(NOT p0), (NOT p0)]
Knowledge-based reduction took 25618 ms.
Stuttering acceptance computed with spot in 68 ms :[(NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 70 ms :[(NOT p0), (NOT p0)]
Product exploration timeout after 56250 steps with 3 reset in 10002 ms.
Product exploration timeout after 54100 steps with 2 reset in 10001 ms.
Built C files in :
/tmp/ltsmin8502707483739967026
[2026-05-25 10:23:09] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:23:09] [INFO ] Built C files in 60ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8502707483739967026
Running compilation step : cd /tmp/ltsmin8502707483739967026;'/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/ltsmin8502707483739967026;'/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/ltsmin8502707483739967026;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 106 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:23:12] [INFO ] Invariant cache hit.
[2026-05-25 10:23:14] [INFO ] Implicit Places using invariants in 2577 ms returned []
[2026-05-25 10:23:14] [INFO ] Invariant cache hit.
[2026-05-25 10:23:21] [INFO ] Implicit Places using invariants and state equation in 6825 ms returned []
Implicit Place search using SMT with State Equation took 9404 ms to find 0 implicit places.
[2026-05-25 10:23:21] [INFO ] Redundant transitions in 384 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 9901 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin6186838422406013015
[2026-05-25 10:23:22] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:23:22] [INFO ] Built C files in 60ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6186838422406013015
Running compilation step : cd /tmp/ltsmin6186838422406013015;'/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/ltsmin6186838422406013015;'/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/ltsmin6186838422406013015;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 10:23:25] [INFO ] Flatten gal took : 509 ms
[2026-05-25 10:23:25] [INFO ] Flatten gal took : 240 ms
[2026-05-25 10:23:26] [INFO ] Time to serialize gal into /tmp/LTL12306752247066573502.gal : 29 ms
[2026-05-25 10:23:26] [INFO ] Time to serialize properties into /tmp/LTL14340168260401901590.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/LTL12306752247066573502.gal' '-t' 'CGAL' '-hoa' '/tmp/aut14802201009503633500.hoa' '-atoms' '/tmp/LTL14340168260401901590.prop' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...320
Loading property file /tmp/LTL14340168260401901590.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut14802201009503633500.hoa
Detected timeout of ITS tools.
[2026-05-25 10:23:41] [INFO ] Flatten gal took : 154 ms
[2026-05-25 10:23:41] [INFO ] Flatten gal took : 165 ms
[2026-05-25 10:23:41] [INFO ] Time to serialize gal into /tmp/LTL13744290339274462046.gal : 32 ms
[2026-05-25 10:23:41] [INFO ] Time to serialize properties into /tmp/LTL4626466202492416459.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/LTL13744290339274462046.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4626466202492416459.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...276
Read 1 LTL properties
Checking formula 0 : !((G(F("(pbl_1_3_1_3>=2)"))))
Formula 0 simplified : FG!"(pbl_1_3_1_3>=2)"
Detected timeout of ITS tools.
[2026-05-25 10:23:56] [INFO ] Flatten gal took : 138 ms
[2026-05-25 10:23:56] [INFO ] Applying decomposition
[2026-05-25 10:23:56] [INFO ] Flatten gal took : 151 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/graph11871655089175114347.txt' '-o' '/tmp/graph11871655089175114347.bin' '-w' '/tmp/graph11871655089175114347.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11871655089175114347.bin' '-l' '-1' '-v' '-w' '/tmp/graph11871655089175114347.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:23:57] [INFO ] Decomposing Gal with order
[2026-05-25 10:23:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:23:58] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 10:23:58] [INFO ] Flatten gal took : 305 ms
[2026-05-25 10:23:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 57 ms.
[2026-05-25 10:23:58] [INFO ] Time to serialize gal into /tmp/LTL14162167533644578665.gal : 38 ms
[2026-05-25 10:23:58] [INFO ] Time to serialize properties into /tmp/LTL4733854865657853374.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/LTL14162167533644578665.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL4733854865657853374.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("(i23.u27.pbl_1_3_1_3>=2)"))))
Formula 0 simplified : FG!"(i23.u27.pbl_1_3_1_3>=2)"
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-02 finished in 164776 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 U p1))))'
Support contains 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 114 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:24:13] [INFO ] Invariant cache hit.
[2026-05-25 10:24:16] [INFO ] Implicit Places using invariants in 2909 ms returned []
[2026-05-25 10:24:16] [INFO ] Invariant cache hit.
[2026-05-25 10:24:24] [INFO ] Implicit Places using invariants and state equation in 7192 ms returned []
Implicit Place search using SMT with State Equation took 10103 ms to find 0 implicit places.
[2026-05-25 10:24:24] [INFO ] Redundant transitions in 506 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10732 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G((p0 U p1))))'
Stuttering acceptance computed with spot in 98 ms :[(NOT p1), (NOT p1)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-03
Product exploration timeout after 51400 steps with 122 reset in 10002 ms.
Product exploration timeout after 49440 steps with 89 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 7 factoid took 142 ms. Reduced automaton from 2 states, 5 edges and 2 AP (stutter insensitive) to 2 states, 5 edges and 2 AP (stutter insensitive).
Reduction of identical properties reduced properties to check from 5 to 4
RANDOM walk for 36364 steps (7 resets) in 8286 ms. (4 steps per ms) remains 0/4 properties
Knowledge based reduction with 7 factoid took 184 ms. Reduced automaton from 2 states, 5 edges and 2 AP (stutter insensitive) to 2 states, 5 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 75 ms :[(NOT p1), (NOT p1)]
[2026-05-25 10:24:59] [INFO ] Invariant cache hit.
[2026-05-25 10:25:11] [INFO ] [Real]Absence check using 730 positive place invariants in 5048 ms returned sat
[2026-05-25 10:25:14] [INFO ] [Real]Absence check using state equation in 3322 ms returned unknown
Could not prove EG (NOT p1)
Knowledge-based reduction took 29664 ms.
Stuttering acceptance computed with spot in 107 ms :[(NOT p1), (NOT p1)]
Support contains 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 160 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:25:14] [INFO ] Invariant cache hit.
[2026-05-25 10:25:17] [INFO ] Implicit Places using invariants in 2959 ms returned []
[2026-05-25 10:25:17] [INFO ] Invariant cache hit.
[2026-05-25 10:25:24] [INFO ] Implicit Places using invariants and state equation in 6951 ms returned []
Implicit Place search using SMT with State Equation took 9911 ms to find 0 implicit places.
[2026-05-25 10:25:24] [INFO ] Redundant transitions in 367 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10446 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 7 factoid took 138 ms. Reduced automaton from 2 states, 5 edges and 2 AP (stutter insensitive) to 2 states, 5 edges and 2 AP (stutter insensitive).
Reduction of identical properties reduced properties to check from 5 to 4
RANDOM walk for 34818 steps (7 resets) in 7864 ms. (4 steps per ms) remains 0/4 properties
Knowledge based reduction with 7 factoid took 198 ms. Reduced automaton from 2 states, 5 edges and 2 AP (stutter insensitive) to 2 states, 5 edges and 2 AP (stutter insensitive).
Stuttering acceptance computed with spot in 91 ms :[(NOT p1), (NOT p1)]
[2026-05-25 10:25:39] [INFO ] Invariant cache hit.
[2026-05-25 10:25:51] [INFO ] [Real]Absence check using 730 positive place invariants in 5257 ms returned sat
[2026-05-25 10:25:54] [INFO ] [Real]Absence check using state equation in 2985 ms returned unknown
Could not prove EG (NOT p1)
Knowledge-based reduction took 29270 ms.
Stuttering acceptance computed with spot in 78 ms :[(NOT p1), (NOT p1)]
Stuttering acceptance computed with spot in 71 ms :[(NOT p1), (NOT p1)]
Product exploration timeout after 53630 steps with 107 reset in 10001 ms.
Product exploration timeout after 48320 steps with 95 reset in 10001 ms.
Built C files in :
/tmp/ltsmin12432378980056618195
[2026-05-25 10:26:14] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:26:14] [INFO ] Built C files in 56ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12432378980056618195
Running compilation step : cd /tmp/ltsmin12432378980056618195;'/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/ltsmin12432378980056618195;'/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/ltsmin12432378980056618195;'/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 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 99 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:26:17] [INFO ] Invariant cache hit.
[2026-05-25 10:26:20] [INFO ] Implicit Places using invariants in 3152 ms returned []
[2026-05-25 10:26:20] [INFO ] Invariant cache hit.
[2026-05-25 10:26:27] [INFO ] Implicit Places using invariants and state equation in 6556 ms returned []
Implicit Place search using SMT with State Equation took 9710 ms to find 0 implicit places.
[2026-05-25 10:26:27] [INFO ] Redundant transitions in 365 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10181 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin1769956562938797287
[2026-05-25 10:26:27] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:26:27] [INFO ] Built C files in 50ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1769956562938797287
Running compilation step : cd /tmp/ltsmin1769956562938797287;'/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/ltsmin1769956562938797287;'/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/ltsmin1769956562938797287;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 10:26:30] [INFO ] Flatten gal took : 142 ms
[2026-05-25 10:26:31] [INFO ] Flatten gal took : 142 ms
[2026-05-25 10:26:31] [INFO ] Time to serialize gal into /tmp/LTL4587905158805375966.gal : 30 ms
[2026-05-25 10:26:31] [INFO ] Time to serialize properties into /tmp/LTL17706760497147946106.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/LTL4587905158805375966.gal' '-t' 'CGAL' '-hoa' '/tmp/aut1126518176464979870.hoa' '-atoms' '/tmp/LTL17706760497147946106.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/LTL17706760497147946106.prop.
Loaded 2 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut1126518176464979870.hoa
Detected timeout of ITS tools.
[2026-05-25 10:26:46] [INFO ] Flatten gal took : 139 ms
[2026-05-25 10:26:46] [INFO ] Flatten gal took : 145 ms
[2026-05-25 10:26:46] [INFO ] Time to serialize gal into /tmp/LTL5693142915747824133.gal : 41 ms
[2026-05-25 10:26:46] [INFO ] Time to serialize properties into /tmp/LTL3571088574022099992.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/LTL5693142915747824133.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL3571088574022099992.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((F(G(("(pbl_2_2_2_3>=2)")U("(pol_d1_n1_3_1_2_1<=pi_d2_n1_2_1_3_1)")))))
Formula 0 simplified : GF(!"(pbl_2_2_2_3>=2)" R !"(pol_d1_n1_3_1_2_1<=pi_d2_n1_2_1_3_1)")
Detected timeout of ITS tools.
[2026-05-25 10:27:01] [INFO ] Flatten gal took : 125 ms
[2026-05-25 10:27:01] [INFO ] Applying decomposition
[2026-05-25 10:27:01] [INFO ] Flatten gal took : 140 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/graph15102603418382670046.txt' '-o' '/tmp/graph15102603418382670046.bin' '-w' '/tmp/graph15102603418382670046.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15102603418382670046.bin' '-l' '-1' '-v' '-w' '/tmp/graph15102603418382670046.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:27:02] [INFO ] Decomposing Gal with order
[2026-05-25 10:27:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:27:03] [INFO ] Removed a total of 7762 redundant transitions.
[2026-05-25 10:27:03] [INFO ] Flatten gal took : 277 ms
[2026-05-25 10:27:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 46 ms.
[2026-05-25 10:27:03] [INFO ] Time to serialize gal into /tmp/LTL16661764162059843057.gal : 29 ms
[2026-05-25 10:27:03] [INFO ] Time to serialize properties into /tmp/LTL10227490443090498178.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/LTL16661764162059843057.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL10227490443090498178.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 : !((F(G(("(gi6.gu47.pbl_2_2_2_3>=2)")U("(gu593.pol_d1_n1_3_1_2_1<=gu593.pi_d2_n1_2_1_3_1)")))))
Formula 0 simplified : GF(!"(gi6.gu47.pbl_2_2_2_3>=2)" R !"(gu593.pol_d1_n1_3_1_2_1<=gu593.pi_d2_n1_2_1_3_1)")
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-03 finished in 184742 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(G(p0)))'
Support contains 2 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 71 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:27:18] [INFO ] Invariant cache hit.
[2026-05-25 10:27:21] [INFO ] Implicit Places using invariants in 3106 ms returned []
[2026-05-25 10:27:21] [INFO ] Invariant cache hit.
[2026-05-25 10:27:28] [INFO ] Implicit Places using invariants and state equation in 6825 ms returned []
Implicit Place search using SMT with State Equation took 9937 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10010 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(p0)))'
Stuttering acceptance computed with spot in 123 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-04
Entered a terminal (fully accepting) state of product in 305 steps with 0 reset in 88 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-04 finished in 10277 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&&G(p1)))))'
Support contains 4 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 114 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:27:28] [INFO ] Invariant cache hit.
[2026-05-25 10:27:32] [INFO ] Implicit Places using invariants in 3155 ms returned []
[2026-05-25 10:27:32] [INFO ] Invariant cache hit.
[2026-05-25 10:27:39] [INFO ] Implicit Places using invariants and state equation in 7593 ms returned []
Implicit Place search using SMT with State Equation took 10761 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10876 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X((p0&&G(p1)))))'
Stuttering acceptance computed with spot in 151 ms :[true, (NOT p1), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-05
Entered a terminal (fully accepting) state of product in 21363 steps with 0 reset in 4109 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-05 finished in 15175 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 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 94 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:27:44] [INFO ] Invariant cache hit.
[2026-05-25 10:27:47] [INFO ] Implicit Places using invariants in 3163 ms returned []
[2026-05-25 10:27:47] [INFO ] Invariant cache hit.
[2026-05-25 10:27:53] [INFO ] Implicit Places using invariants and state equation in 6657 ms returned []
Implicit Place search using SMT with State Equation took 9822 ms to find 0 implicit places.
[2026-05-25 10:27:54] [INFO ] Redundant transitions in 590 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10514 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(p0))'
Stuttering acceptance computed with spot in 33 ms :[(NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-06
Product exploration timeout after 51890 steps with 52 reset in 10001 ms.
Product exploration timeout after 48350 steps with 46 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 86 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 2456 steps (0 resets) in 499 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 89 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 34 ms :[(NOT p0)]
[2026-05-25 10:28:26] [INFO ] Invariant cache hit.
[2026-05-25 10:28:41] [INFO ] [Real]Absence check using 730 positive place invariants in 8508 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 26659 ms.
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 93 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:28:41] [INFO ] Invariant cache hit.
[2026-05-25 10:28:43] [INFO ] Implicit Places using invariants in 2533 ms returned []
[2026-05-25 10:28:43] [INFO ] Invariant cache hit.
[2026-05-25 10:28:49] [INFO ] Implicit Places using invariants and state equation in 6064 ms returned []
Implicit Place search using SMT with State Equation took 8602 ms to find 0 implicit places.
[2026-05-25 10:28:50] [INFO ] Redundant transitions in 358 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 9062 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 133 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 2765 steps (0 resets) in 929 ms. (2 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 99 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 10:29:03] [INFO ] Invariant cache hit.
[2026-05-25 10:29:18] [INFO ] [Real]Absence check using 730 positive place invariants in 8392 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 27776 ms.
Stuttering acceptance computed with spot in 34 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 32 ms :[(NOT p0)]
Product exploration timeout after 51020 steps with 41 reset in 10002 ms.
Product exploration timeout after 51870 steps with 47 reset in 10001 ms.
Built C files in :
/tmp/ltsmin5694536362398122685
[2026-05-25 10:29:38] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:29:38] [INFO ] Built C files in 44ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5694536362398122685
Running compilation step : cd /tmp/ltsmin5694536362398122685;'/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/ltsmin5694536362398122685;'/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/ltsmin5694536362398122685;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 92 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:29:41] [INFO ] Invariant cache hit.
[2026-05-25 10:29:44] [INFO ] Implicit Places using invariants in 3326 ms returned []
[2026-05-25 10:29:44] [INFO ] Invariant cache hit.
[2026-05-25 10:29:52] [INFO ] Implicit Places using invariants and state equation in 7396 ms returned []
Implicit Place search using SMT with State Equation took 10725 ms to find 0 implicit places.
[2026-05-25 10:29:52] [INFO ] Redundant transitions in 366 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 11189 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin15998549607707414193
[2026-05-25 10:29:52] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:29:52] [INFO ] Built C files in 47ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15998549607707414193
Running compilation step : cd /tmp/ltsmin15998549607707414193;'/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/ltsmin15998549607707414193;'/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/ltsmin15998549607707414193;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 10:29:55] [INFO ] Flatten gal took : 127 ms
[2026-05-25 10:29:55] [INFO ] Flatten gal took : 134 ms
[2026-05-25 10:29:55] [INFO ] Time to serialize gal into /tmp/LTL5763288112284831885.gal : 38 ms
[2026-05-25 10:29:55] [INFO ] Time to serialize properties into /tmp/LTL158013586504840182.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/LTL5763288112284831885.gal' '-t' 'CGAL' '-hoa' '/tmp/aut3945393675118958872.hoa' '-atoms' '/tmp/LTL158013586504840182.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/LTL158013586504840182.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut3945393675118958872.hoa
Detected timeout of ITS tools.
[2026-05-25 10:30:11] [INFO ] Flatten gal took : 128 ms
[2026-05-25 10:30:11] [INFO ] Flatten gal took : 145 ms
[2026-05-25 10:30:11] [INFO ] Time to serialize gal into /tmp/LTL1615142621324951282.gal : 22 ms
[2026-05-25 10:30:11] [INFO ] Time to serialize properties into /tmp/LTL8511387016197783738.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/LTL1615142621324951282.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL8511387016197783738.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((F("(pi_d3_n1_2_2_1_3>=1)")))
Formula 0 simplified : G!"(pi_d3_n1_2_2_1_3>=1)"
Detected timeout of ITS tools.
[2026-05-25 10:30:26] [INFO ] Flatten gal took : 126 ms
[2026-05-25 10:30:26] [INFO ] Applying decomposition
[2026-05-25 10:30:26] [INFO ] Flatten gal took : 215 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/graph4676846623922499987.txt' '-o' '/tmp/graph4676846623922499987.bin' '-w' '/tmp/graph4676846623922499987.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4676846623922499987.bin' '-l' '-1' '-v' '-w' '/tmp/graph4676846623922499987.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:30:27] [INFO ] Decomposing Gal with order
[2026-05-25 10:30:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:30:28] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 10:30:28] [INFO ] Flatten gal took : 259 ms
[2026-05-25 10:30:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 10 ms.
[2026-05-25 10:30:28] [INFO ] Time to serialize gal into /tmp/LTL4694785619023650293.gal : 31 ms
[2026-05-25 10:30:28] [INFO ] Time to serialize properties into /tmp/LTL1269499361764263915.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/LTL4694785619023650293.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL1269499361764263915.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Checking formula 0 : !((F("(i40.u180.pi_d3_n1_2_2_1_3>=1)")))
Formula 0 simplified : G!"(i40.u180.pi_d3_n1_2_2_1_3>=1)"
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-06 finished in 179338 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)&&F(((p0 U p1)&&X((F(G(p1)) U p0))))))'
Support contains 3 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 66 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:30:43] [INFO ] Invariant cache hit.
[2026-05-25 10:30:46] [INFO ] Implicit Places using invariants in 3054 ms returned []
[2026-05-25 10:30:46] [INFO ] Invariant cache hit.
[2026-05-25 10:30:54] [INFO ] Implicit Places using invariants and state equation in 7585 ms returned []
Implicit Place search using SMT with State Equation took 10642 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10709 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!((X(p0)&&F(((p0 U p1)&&X((F(G(p1)) U p0))))))'
Stuttering acceptance computed with spot in 285 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (OR (NOT p1) (NOT p0)), (NOT p1), (NOT p0), true, (NOT p1), (NOT p1), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-07
Entered a terminal (fully accepting) state of product in 5641 steps with 2 reset in 1304 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-07 finished in 12348 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 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 87 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:30:55] [INFO ] Invariant cache hit.
[2026-05-25 10:30:58] [INFO ] Implicit Places using invariants in 2824 ms returned []
[2026-05-25 10:30:58] [INFO ] Invariant cache hit.
[2026-05-25 10:31:05] [INFO ] Implicit Places using invariants and state equation in 6591 ms returned []
Implicit Place search using SMT with State Equation took 9420 ms to find 0 implicit places.
[2026-05-25 10:31:05] [INFO ] Redundant transitions in 420 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 9934 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F(G(p0)))'
Stuttering acceptance computed with spot in 48 ms :[(NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-08
Product exploration timeout after 54970 steps with 0 reset in 10001 ms.
Product exploration timeout after 58050 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 2 factoid took 68 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 12979 steps (3 resets) in 2756 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 80 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 50 ms :[(NOT p0)]
Knowledge-based reduction took 12359 ms.
Stuttering acceptance computed with spot in 48 ms :[(NOT p0)]
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 142 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:31:38] [INFO ] Invariant cache hit.
[2026-05-25 10:31:41] [INFO ] Implicit Places using invariants in 2987 ms returned []
[2026-05-25 10:31:41] [INFO ] Invariant cache hit.
[2026-05-25 10:31:48] [INFO ] Implicit Places using invariants and state equation in 6840 ms returned []
Implicit Place search using SMT with State Equation took 9832 ms to find 0 implicit places.
[2026-05-25 10:31:48] [INFO ] Redundant transitions in 545 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10528 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 2 factoid took 68 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 25297 steps (6 resets) in 5649 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 2 factoid took 88 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 41 ms :[(NOT p0)]
Knowledge-based reduction took 12910 ms.
Stuttering acceptance computed with spot in 49 ms :[(NOT p0)]
Stuttering acceptance computed with spot in 40 ms :[(NOT p0)]
Product exploration timeout after 58830 steps with 0 reset in 10001 ms.
Product exploration timeout after 55230 steps with 0 reset in 10001 ms.
Built C files in :
/tmp/ltsmin6047137458714674491
[2026-05-25 10:32:21] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:32:21] [INFO ] Built C files in 41ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6047137458714674491
Running compilation step : cd /tmp/ltsmin6047137458714674491;'/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/ltsmin6047137458714674491;'/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/ltsmin6047137458714674491;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 86 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:32:24] [INFO ] Invariant cache hit.
[2026-05-25 10:32:28] [INFO ] Implicit Places using invariants in 3249 ms returned []
[2026-05-25 10:32:28] [INFO ] Invariant cache hit.
[2026-05-25 10:32:35] [INFO ] Implicit Places using invariants and state equation in 7055 ms returned []
Implicit Place search using SMT with State Equation took 10306 ms to find 0 implicit places.
[2026-05-25 10:32:35] [INFO ] Redundant transitions in 371 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_LTL mode , in 1 iterations and 10768 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin5231490614736386946
[2026-05-25 10:32:35] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:32:35] [INFO ] Built C files in 65ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin5231490614736386946
Running compilation step : cd /tmp/ltsmin5231490614736386946;'/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/ltsmin5231490614736386946;'/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/ltsmin5231490614736386946;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 10:32:38] [INFO ] Flatten gal took : 136 ms
[2026-05-25 10:32:38] [INFO ] Flatten gal took : 145 ms
[2026-05-25 10:32:39] [INFO ] Time to serialize gal into /tmp/LTL10273470090954767785.gal : 29 ms
[2026-05-25 10:32:39] [INFO ] Time to serialize properties into /tmp/LTL3017785344454139841.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/LTL10273470090954767785.gal' '-t' 'CGAL' '-hoa' '/tmp/aut6226220916739112242.hoa' '-atoms' '/tmp/LTL3017785344454139841.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/LTL3017785344454139841.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut6226220916739112242.hoa
Detected timeout of ITS tools.
[2026-05-25 10:32:54] [INFO ] Flatten gal took : 132 ms
[2026-05-25 10:32:54] [INFO ] Flatten gal took : 142 ms
[2026-05-25 10:32:54] [INFO ] Time to serialize gal into /tmp/LTL8438185065048428247.gal : 27 ms
[2026-05-25 10:32:54] [INFO ] Time to serialize properties into /tmp/LTL3804550375653438332.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/LTL8438185065048428247.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL3804550375653438332.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...275
Read 1 LTL properties
Checking formula 0 : !((F(G("(pb_d3_n1_3_1_1_1<3)"))))
Formula 0 simplified : GF!"(pb_d3_n1_3_1_1_1<3)"
Detected timeout of ITS tools.
[2026-05-25 10:33:09] [INFO ] Flatten gal took : 129 ms
[2026-05-25 10:33:09] [INFO ] Applying decomposition
[2026-05-25 10:33:09] [INFO ] Flatten gal took : 139 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/graph6292389991717697196.txt' '-o' '/tmp/graph6292389991717697196.bin' '-w' '/tmp/graph6292389991717697196.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6292389991717697196.bin' '-l' '-1' '-v' '-w' '/tmp/graph6292389991717697196.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:33:10] [INFO ] Decomposing Gal with order
[2026-05-25 10:33:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:33:11] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 10:33:11] [INFO ] Flatten gal took : 292 ms
[2026-05-25 10:33:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 34 ms.
[2026-05-25 10:33:11] [INFO ] Time to serialize gal into /tmp/LTL1264710935589066294.gal : 23 ms
[2026-05-25 10:33:11] [INFO ] Time to serialize properties into /tmp/LTL6432744231322725386.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/LTL1264710935589066294.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL6432744231322725386.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...254
Read 1 LTL properties
Checking formula 0 : !((F(G("(i44.u54.pb_d3_n1_3_1_1_1<3)"))))
Formula 0 simplified : GF!"(i44.u54.pb_d3_n1_3_1_1_1<3)"
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-08 finished in 150652 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(G(((X(X((p0||X(p0))))&&F(p1)) U p2))))'
Support contains 6 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 68 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:33:26] [INFO ] Invariant cache hit.
[2026-05-25 10:33:29] [INFO ] Implicit Places using invariants in 3008 ms returned []
[2026-05-25 10:33:29] [INFO ] Invariant cache hit.
[2026-05-25 10:33:36] [INFO ] Implicit Places using invariants and state equation in 6595 ms returned []
Implicit Place search using SMT with State Equation took 9612 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9681 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(((X(X((p0||X(p0))))&&F(p1)) U p2))))'
Stuttering acceptance computed with spot in 225 ms :[(NOT p2), (NOT p2), (OR (NOT p2) (NOT p0)), (NOT p1), (NOT p0), (NOT p0), true]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-10
Entered a terminal (fully accepting) state of product in 12001 steps with 4 reset in 2690 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-10 finished in 12654 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X(X(G((p0||X(G(p1))))))))))'
Support contains 4 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 75 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:33:39] [INFO ] Invariant cache hit.
[2026-05-25 10:33:41] [INFO ] Implicit Places using invariants in 2761 ms returned []
[2026-05-25 10:33:41] [INFO ] Invariant cache hit.
[2026-05-25 10:33:48] [INFO ] Implicit Places using invariants and state equation in 6427 ms returned []
Implicit Place search using SMT with State Equation took 9190 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9267 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(X(X(G((p0||X(G(p1))))))))))'
Stuttering acceptance computed with spot in 254 ms :[true, (NOT p1), (AND (NOT p0) (NOT p1)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-13
Entered a terminal (fully accepting) state of product in 8268 steps with 0 reset in 1850 ms.
FORMULA HypertorusGrid-PT-d4k3p2b08-LTLCardinality-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-13 finished in 11407 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(p0)))))'
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 67 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:33:50] [INFO ] Invariant cache hit.
[2026-05-25 10:33:53] [INFO ] Implicit Places using invariants in 3347 ms returned []
[2026-05-25 10:33:53] [INFO ] Invariant cache hit.
[2026-05-25 10:34:00] [INFO ] Implicit Places using invariants and state equation in 6842 ms returned []
Implicit Place search using SMT with State Equation took 10196 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10263 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202604301425/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(X(X(F(p0)))))'
Stuttering acceptance computed with spot in 137 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : HypertorusGrid-PT-d4k3p2b08-LTLCardinality-15
Product exploration timeout after 48430 steps with 51 reset in 10002 ms.
Product exploration timeout after 48550 steps with 48 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 47 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
RANDOM walk for 1125 steps (0 resets) in 219 ms. (5 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 64 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
Stuttering acceptance computed with spot in 147 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
[2026-05-25 10:34:21] [INFO ] Invariant cache hit.
[2026-05-25 10:34:33] [INFO ] [Real]Absence check using 730 positive place invariants in 4507 ms returned sat
[2026-05-25 10:34:36] [INFO ] [Real]Absence check using state equation in 3153 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 15409 ms.
Stuttering acceptance computed with spot in 134 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 69 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:34:36] [INFO ] Invariant cache hit.
[2026-05-25 10:34:39] [INFO ] Implicit Places using invariants in 2932 ms returned []
[2026-05-25 10:34:39] [INFO ] Invariant cache hit.
[2026-05-25 10:34:46] [INFO ] Implicit Places using invariants and state equation in 7276 ms returned []
Implicit Place search using SMT with State Equation took 10210 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10279 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Knowledge based reduction with 1 factoid took 48 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
RANDOM walk for 4922 steps (0 resets) in 1068 ms. (4 steps per ms) remains 0/1 properties
Knowledge based reduction with 1 factoid took 58 ms. Reduced automaton from 4 states, 4 edges and 1 AP (stutter sensitive) to 4 states, 4 edges and 1 AP (stutter sensitive).
Stuttering acceptance computed with spot in 151 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
[2026-05-25 10:34:47] [INFO ] Invariant cache hit.
[2026-05-25 10:35:01] [INFO ] [Real]Absence check using 730 positive place invariants in 7304 ms returned unknown
Could not prove EG (NOT p0)
Knowledge-based reduction took 14454 ms.
Stuttering acceptance computed with spot in 140 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Stuttering acceptance computed with spot in 138 ms :[(NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Product exploration timeout after 52220 steps with 59 reset in 10002 ms.
Product exploration timeout after 47740 steps with 52 reset in 10002 ms.
Spot run failed in 55 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/ltsmin4282797003570936959
[2026-05-25 10:35:21] [INFO ] Built C files in 66ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4282797003570936959
Running compilation step : cd /tmp/ltsmin4282797003570936959;'/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/ltsmin4282797003570936959;'/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/ltsmin4282797003570936959;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
Support contains 1 out of 2025 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 69 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 10:35:24] [INFO ] Invariant cache hit.
[2026-05-25 10:35:27] [INFO ] Implicit Places using invariants in 2764 ms returned []
[2026-05-25 10:35:27] [INFO ] Invariant cache hit.
[2026-05-25 10:35:34] [INFO ] Implicit Places using invariants and state equation in 7241 ms returned []
Implicit Place search using SMT with State Equation took 10008 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 10077 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Built C files in :
/tmp/ltsmin3621772617757932657
[2026-05-25 10:35:34] [INFO ] Built C files in 41ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3621772617757932657
Running compilation step : cd /tmp/ltsmin3621772617757932657;'/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/ltsmin3621772617757932657;'/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/ltsmin3621772617757932657;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:94)
at java.base/java.lang.Thread.run(Thread.java:1583)
[2026-05-25 10:35:37] [INFO ] Flatten gal took : 130 ms
[2026-05-25 10:35:38] [INFO ] Flatten gal took : 135 ms
[2026-05-25 10:35:38] [INFO ] Time to serialize gal into /tmp/LTL4929071656926019025.gal : 25 ms
[2026-05-25 10:35:38] [INFO ] Time to serialize properties into /tmp/LTL12260380592634600558.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/LTL4929071656926019025.gal' '-t' 'CGAL' '-hoa' '/tmp/aut10557737349630045275.hoa' '-atoms' '/tmp/LTL12260380592634600558.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/LTL12260380592634600558.prop.
Loaded 1 atomic propositions.
Checking formula 0 provided in automaton : /tmp/aut10557737349630045275.hoa
Detected timeout of ITS tools.
[2026-05-25 10:35:53] [INFO ] Flatten gal took : 129 ms
[2026-05-25 10:35:53] [INFO ] Flatten gal took : 139 ms
[2026-05-25 10:35:53] [INFO ] Time to serialize gal into /tmp/LTL40145925668137093.gal : 34 ms
[2026-05-25 10:35:53] [INFO ] Time to serialize properties into /tmp/LTL3576476808078691286.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/LTL40145925668137093.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL3576476808078691286.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("(pil_d4_n1_1_2_1_3<1)"))))))
Formula 0 simplified : XXXG!"(pil_d4_n1_1_2_1_3<1)"
Detected timeout of ITS tools.
[2026-05-25 10:36:08] [INFO ] Flatten gal took : 131 ms
[2026-05-25 10:36:08] [INFO ] Applying decomposition
[2026-05-25 10:36:08] [INFO ] Flatten gal took : 144 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/graph16867738807542967346.txt' '-o' '/tmp/graph16867738807542967346.bin' '-w' '/tmp/graph16867738807542967346.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16867738807542967346.bin' '-l' '-1' '-v' '-w' '/tmp/graph16867738807542967346.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:36:09] [INFO ] Decomposing Gal with order
[2026-05-25 10:36:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:36:10] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 10:36:10] [INFO ] Flatten gal took : 258 ms
[2026-05-25 10:36:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 10 ms.
[2026-05-25 10:36:10] [INFO ] Time to serialize gal into /tmp/LTL10521922521591425140.gal : 23 ms
[2026-05-25 10:36:10] [INFO ] Time to serialize properties into /tmp/LTL10853090147723847750.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/LTL10521922521591425140.gal' '-t' 'CGAL' '-LTL' '/tmp/LTL10853090147723847750.ltl' '-c' '-stutter-deadlock'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...256
Read 1 LTL properties
Checking formula 0 : !((X(X(X(F("(i17.u369.pil_d4_n1_1_2_1_3<1)"))))))
Formula 0 simplified : XXXG!"(i17.u369.pil_d4_n1_1_2_1_3<1)"
Detected timeout of ITS tools.
Treatment of property HypertorusGrid-PT-d4k3p2b08-LTLCardinality-15 finished in 154968 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(G(p0))||G((p1&&X(!p0))))))'
Spot run failed in 55 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)))'
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 U p1))))'
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 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(G(p0)))'
Spot run failed in 54 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(p0)))))'
Spot run failed in 55 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 10:36:25] [INFO ] Flatten gal took : 147 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin14853447552164594172
[2026-05-25 10:36:26] [INFO ] Too many transitions (5184) to apply POR reductions. Disabling POR matrices.
[2026-05-25 10:36:26] [INFO ] Built C files in 61ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14853447552164594172
Running compilation step : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/limit_time.pl' '120' '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 10:36:26] [INFO ] Applying decomposition
[2026-05-25 10:36:26] [INFO ] Flatten gal took : 170 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/graph11505912468857846422.txt' '-o' '/tmp/graph11505912468857846422.bin' '-w' '/tmp/graph11505912468857846422.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11505912468857846422.bin' '-l' '-1' '-v' '-w' '/tmp/graph11505912468857846422.weights' '-q' '0' '-e' '0.001'
[2026-05-25 10:36:26] [INFO ] Decomposing Gal with order
[2026-05-25 10:36:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 10:36:27] [INFO ] Removed a total of 7774 redundant transitions.
[2026-05-25 10:36:27] [INFO ] Flatten gal took : 263 ms
[2026-05-25 10:36:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 101 ms.
[2026-05-25 10:36:27] [INFO ] Time to serialize gal into /tmp/LTLCardinality2762302405406611711.gal : 24 ms
[2026-05-25 10:36:27] [INFO ] Time to serialize properties into /tmp/LTLCardinality11535176167642122235.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/LTLCardinality2762302405406611711.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality11535176167642122235.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...298
Read 6 LTL properties
Checking formula 0 : !((X((F(G("(gi4.gu2.pbl_1_2_1_2<3)")))||(G(("(gu9.pb_d4_n2_2_2_1_3<=gu9.pb_d4_n1_1_1_3_3)")&&(X("(gi4.gu2.pbl_1_2_1_2>=3)")))))))
Formula 0 simplified : X(GF!"(gi4.gu2.pbl_1_2_1_2<3)" & F(!"(gu9.pb_d4_n2_2_2_1_3<=gu9.pb_d4_n1_1_1_3_3)" | X!"(gi4.gu2.pbl_1_2_1_2>=3)"))
Compilation finished in 29557 ms.
Running link step : cd /tmp/ltsmin14853447552164594172;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 97 ms.
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X((<>([]((LTLAPp0==true)))||[](((LTLAPp1==true)&&X(!(LTLAPp0==true))))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>100 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X((<>([]((LTLAPp0==true)))||[](((LTLAPp1==true)&&X(!(LTLAPp0==true))))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp2==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>100 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp2==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([](((LTLAPp3==true) U (LTLAPp4==true))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>100 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([](((LTLAPp3==true) U (LTLAPp4==true))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp5==true))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>100 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>((LTLAPp5==true))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([]((LTLAPp6==true)))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>100 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([]((LTLAPp6==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X(X(X(<>((LTLAPp7==true)))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>100 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X(X(X(<>((LTLAPp7==true)))))' '--buchi-type=spotba'
Retrying LTSmin with larger timeout 4800 s
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X((<>([]((LTLAPp0==true)))||[](((LTLAPp1==true)&&X(!(LTLAPp0==true))))))' '--buchi-type=spotba'
WARNING : LTSmin timed out (>800 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '--when' '--ltl' 'X((<>([]((LTLAPp0==true)))||[](((LTLAPp1==true)&&X(!(LTLAPp0==true))))))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp2==true)))' '--buchi-type=spotba'
Detected timeout of ITS tools.
[2026-05-25 11:03:03] [INFO ] Flatten gal took : 283 ms
[2026-05-25 11:03:04] [INFO ] Time to serialize gal into /tmp/LTLCardinality9357548250449179566.gal : 81 ms
[2026-05-25 11:03:04] [INFO ] Time to serialize properties into /tmp/LTLCardinality12277888593339955208.ltl : 46 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/LTLCardinality9357548250449179566.gal' '-t' 'CGAL' '-LTL' '/tmp/LTLCardinality12277888593339955208.ltl' '-c' '-stutter-deadlock' '--gen-order' 'FOLLOW'
its-ltl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/L...298
Read 6 LTL properties
Checking formula 0 : !((X((F(G("(pbl_1_2_1_2<3)")))||(G(("(pb_d4_n2_2_2_1_3<=pb_d4_n1_1_1_3_3)")&&(X("(pbl_1_2_1_2>=3)")))))))
Formula 0 simplified : X(GF!"(pbl_1_2_1_2<3)" & F(!"(pb_d4_n2_2_2_1_3<=pb_d4_n1_1_1_3_3)" | X!"(pbl_1_2_1_2>=3)"))
WARNING : LTSmin timed out (>800 s) on command cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '[](<>((LTLAPp2==true)))' '--buchi-type=spotba'
Running LTSmin : cd /tmp/ltsmin14853447552164594172;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202604301425/bin/pins2lts-seq-linux64' './gal.so' '-p' '--pins-guards' '--when' '--ltl' '<>([](((LTLAPp3==true) U (LTLAPp4==true))))' '--buchi-type=spotba'
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d4k3p2b08"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is HypertorusGrid-PT-d4k3p2b08, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r162-smll-177961107600059"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d4k3p2b08.tgz
mv HypertorusGrid-PT-d4k3p2b08 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;