About the Execution of ITS-Tools for HypertorusGrid-PT-d4k3p2b08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16201.052 | 3600000.00 | 3470454.00 | 116157.20 | ???????????T???? | 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-177961107600057.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107600057
=====================================================================
--------------------
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-CTLCardinality-2024-00
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-01
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-02
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-03
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-04
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-05
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-06
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-07
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-08
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-09
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-10
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-11
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-12
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-13
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-14
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779700597162
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
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
CTLCardinality PT
Running Version 202604301425
[2026-05-25 09:16:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 09:16:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 09:16:40] [INFO ] Load time of PNML (sax parser for PT used): 675 ms
[2026-05-25 09:16:40] [INFO ] Transformed 2025 places.
[2026-05-25 09:16:40] [INFO ] Transformed 5184 transitions.
[2026-05-25 09:16:40] [INFO ] Parsed PT model containing 2025 places and 5184 transitions and 20736 arcs in 1071 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 41 ms.
Support contains 185 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 471 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-7051495595119540094.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8562954582802263344.kers'
[2026-05-25 09:16:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7051495595119540094.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8562954582802263344.kers]
Culling duplicate invariants (modulo rational): removing 648 columns.
Culled 648 columns in 4 ms.
// Phase 1: matrix 5184 rows 1377 cols 15552 entries
Finished phase 1 with 1295 SingleSign rule and 0 generalized
[2026-05-25 09:16:41] [INFO ] Computed 730 invariants in 55 ms
Computed 730 P flows in 56 ms.
Exported basis to /tmp/petrispot-output-8562954582802263344.kers
Total runtime 62 ms.
[2026-05-25 09:16:44] [INFO ] Implicit Places using invariants in 3103 ms returned []
[2026-05-25 09:16:44] [INFO ] Invariant cache hit.
[2026-05-25 09:16:50] [INFO ] Implicit Places using invariants and state equation in 6630 ms returned []
Implicit Place search using SMT with State Equation took 9802 ms to find 0 implicit places.
Running 4536 sub problems to find dead transitions.
[2026-05-25 09:16:50] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
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 30207 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 30110 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 65267ms problems are : Problem set: 0 solved, 4536 unsolved
Search for dead transitions found 0 dead transitions in 65338ms
Finished structural reductions in LTL mode , in 1 iterations and 75730 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 232 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:17:56] [INFO ] Invariant cache hit.
[2026-05-25 09:17:58] [INFO ] Implicit Places using invariants in 2345 ms returned []
[2026-05-25 09:17:58] [INFO ] Invariant cache hit.
[2026-05-25 09:18:04] [INFO ] Implicit Places using invariants and state equation in 6019 ms returned []
Implicit Place search using SMT with State Equation took 8386 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8623 ms. Remains : 2025/2025 places, 5184/5184 transitions.
Support contains 185 out of 2025 places after structural reductions.
[2026-05-25 09:18:05] [INFO ] Flatten gal took : 546 ms
[2026-05-25 09:18:06] [INFO ] Flatten gal took : 336 ms
[2026-05-25 09:18:06] [INFO ] Input system was already deterministic with 5184 transitions.
Support contains 181 out of 2025 places (down from 185) after GAL structural reductions.
RANDOM walk for 40000 steps (8 resets) in 14433 ms. (2 steps per ms) remains 47/112 properties
BEST_FIRST walk for 4004 steps (4 resets) in 201 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 237 ms. (16 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 253 ms. (15 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 220 ms. (18 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 222 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 225 ms. (17 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 201 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 213 ms. (18 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 174 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 171 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 175 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 174 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 194 ms. (20 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 158 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 179 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 207 ms. (19 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 181 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 145 ms. (27 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 184 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 186 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 212 ms. (18 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 168 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 188 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 171 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 177 ms. (22 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 173 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 168 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 459 ms. (8 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 169 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 158 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 188 ms. (21 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 170 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 170 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 158 ms. (25 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 167 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 173 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 173 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 173 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 172 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 173 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 170 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 173 ms. (23 steps per ms) remains 47/47 properties
BEST_FIRST walk for 4004 steps (4 resets) in 174 ms. (22 steps per ms) remains 47/47 properties
[2026-05-25 09:18:14] [INFO ] Invariant cache hit.
Problem AtomicPropp58 is UNSAT
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 46 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp28 is UNSAT
Problem AtomicPropp30 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp33 is UNSAT
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp43 is UNSAT
Problem AtomicPropp44 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp71 is UNSAT
Problem AtomicPropp74 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp80 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp83 is UNSAT
Problem AtomicPropp92 is UNSAT
Problem AtomicPropp94 is UNSAT
Problem AtomicPropp102 is UNSAT
Problem AtomicPropp104 is UNSAT
Problem AtomicPropp110 is UNSAT
At refinement iteration 1 (OVERLAPS) 1296/1366 variables, 71/71 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1366 variables, 0/71 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 659/2025 variables, 659/730 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 5184/7209 variables, 2025/2755 constraints. Problems are: Problem set: 37 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 7209/7209 variables, and 2755 constraints, problems are : Problem set: 37 solved, 10 unsolved in 5024 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 47/47 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 37 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/15 variables, 0/0 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 1 (OVERLAPS) 1296/1311 variables, 16/16 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1311 variables, 0/16 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 3 (OVERLAPS) 714/2025 variables, 714/730 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 5 (OVERLAPS) 5184/7209 variables, 2025/2755 constraints. Problems are: Problem set: 37 solved, 10 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/7209 variables, 10/2765 constraints. Problems are: Problem set: 37 solved, 10 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 7209/7209 variables, and 2765 constraints, problems are : Problem set: 37 solved, 10 unsolved in 5013 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 10/47 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10118ms problems are : Problem set: 37 solved, 10 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 15 out of 2025 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 289 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 292 ms. Remains : 2025/2025 places, 5184/5184 transitions.
RANDOM walk for 40000 steps (8 resets) in 9497 ms. (4 steps per ms) remains 9/10 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1110 ms. (36 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1106 ms. (36 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 973 ms. (41 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 926 ms. (43 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1099 ms. (36 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1054 ms. (37 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 939 ms. (42 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1039 ms. (38 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 936 ms. (42 steps per ms) remains 9/9 properties
[2026-05-25 09:18:29] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/13 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 1296/1309 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1309 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 716/2025 variables, 716/730 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 5184/7209 variables, 2025/2755 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/7209 variables, 0/2755 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (OVERLAPS) 0/7209 variables, 0/2755 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 7209/7209 variables, and 2755 constraints, problems are : Problem set: 0 solved, 9 unsolved in 4818 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/13 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 1296/1309 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1309 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (OVERLAPS) 716/2025 variables, 716/730 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2025 variables, 0/730 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (OVERLAPS) 5184/7209 variables, 2025/2755 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/7209 variables, 9/2764 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/7209 variables, 0/2764 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 0/7209 variables, 0/2764 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Int declared 7209/7209 variables, and 2764 constraints, problems are : Problem set: 0 solved, 9 unsolved in 13035 ms.
Refiners :[Positive P Invariants (semi-flows): 730/730 constraints, State Equation: 2025/2025 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 17890ms problems are : Problem set: 0 solved, 9 unsolved
Fused 9 Parikh solutions to 7 different solutions.
Finished Parikh walk after 7122 steps, including 1 resets, run visited all 9 properties in 548 ms. (steps per millisecond=12 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 9 properties in 572 ms.
Successfully simplified 37 atomic propositions for a total of 16 simplifications.
FORMULA HypertorusGrid-PT-d4k3p2b08-CTLCardinality-2024-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-25 09:18:48] [INFO ] Flatten gal took : 170 ms
[2026-05-25 09:18:48] [INFO ] Flatten gal took : 205 ms
[2026-05-25 09:18:48] [INFO ] Input system was already deterministic with 5184 transitions.
Support contains 86 out of 2025 places (down from 96) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 77 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:18:49] [INFO ] Invariant cache hit.
[2026-05-25 09:18:52] [INFO ] Implicit Places using invariants in 2983 ms returned []
[2026-05-25 09:18:52] [INFO ] Invariant cache hit.
[2026-05-25 09:18:58] [INFO ] Implicit Places using invariants and state equation in 6506 ms returned []
Implicit Place search using SMT with State Equation took 9497 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9580 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:18:58] [INFO ] Flatten gal took : 226 ms
[2026-05-25 09:18:59] [INFO ] Flatten gal took : 239 ms
[2026-05-25 09:18:59] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:18:59] [INFO ] Flatten gal took : 138 ms
[2026-05-25 09:18:59] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:18:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality1704727439512215692.gal : 134 ms
[2026-05-25 09:18:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality9142143686785866391.ctl : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1704727439512215692.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9142143686785866391.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:19:30] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:19:30] [INFO ] Applying decomposition
[2026-05-25 09:19:30] [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/graph7119336434972940872.txt' '-o' '/tmp/graph7119336434972940872.bin' '-w' '/tmp/graph7119336434972940872.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7119336434972940872.bin' '-l' '-1' '-v' '-w' '/tmp/graph7119336434972940872.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:19:31] [INFO ] Decomposing Gal with order
[2026-05-25 09:19:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:19:32] [INFO ] Removed a total of 7748 redundant transitions.
[2026-05-25 09:19:32] [INFO ] Flatten gal took : 696 ms
[2026-05-25 09:19:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 268 ms.
[2026-05-25 09:19:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality4530142930987670097.gal : 74 ms
[2026-05-25 09:19:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality17899841813698010549.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4530142930987670097.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17899841813698010549.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 146 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:20:04] [INFO ] Invariant cache hit.
[2026-05-25 09:20:07] [INFO ] Implicit Places using invariants in 2813 ms returned []
[2026-05-25 09:20:07] [INFO ] Invariant cache hit.
[2026-05-25 09:20:12] [INFO ] Implicit Places using invariants and state equation in 5868 ms returned []
Implicit Place search using SMT with State Equation took 8685 ms to find 0 implicit places.
[2026-05-25 09:20:13] [INFO ] Redundant transitions in 613 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 9453 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:20:13] [INFO ] Flatten gal took : 253 ms
[2026-05-25 09:20:14] [INFO ] Flatten gal took : 279 ms
[2026-05-25 09:20:14] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:20:14] [INFO ] Flatten gal took : 164 ms
[2026-05-25 09:20:14] [INFO ] Flatten gal took : 157 ms
[2026-05-25 09:20:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality17860762509138355445.gal : 35 ms
[2026-05-25 09:20:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality5540103356055965026.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17860762509138355445.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5540103356055965026.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:20:45] [INFO ] Flatten gal took : 143 ms
[2026-05-25 09:20:45] [INFO ] Applying decomposition
[2026-05-25 09:20:45] [INFO ] Flatten gal took : 149 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/graph1236064590816662264.txt' '-o' '/tmp/graph1236064590816662264.bin' '-w' '/tmp/graph1236064590816662264.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1236064590816662264.bin' '-l' '-1' '-v' '-w' '/tmp/graph1236064590816662264.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:20:45] [INFO ] Decomposing Gal with order
[2026-05-25 09:20:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:20:46] [INFO ] Removed a total of 7780 redundant transitions.
[2026-05-25 09:20:46] [INFO ] Flatten gal took : 313 ms
[2026-05-25 09:20:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 95 labels/synchronizations in 127 ms.
[2026-05-25 09:20:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality16490073690162202423.gal : 26 ms
[2026-05-25 09:20:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality11998116664368947857.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16490073690162202423.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11998116664368947857.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 127 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:21:17] [INFO ] Invariant cache hit.
[2026-05-25 09:21:20] [INFO ] Implicit Places using invariants in 3213 ms returned []
[2026-05-25 09:21:20] [INFO ] Invariant cache hit.
[2026-05-25 09:21:27] [INFO ] Implicit Places using invariants and state equation in 7184 ms returned []
Implicit Place search using SMT with State Equation took 10400 ms to find 0 implicit places.
[2026-05-25 09:21:28] [INFO ] Redundant transitions in 613 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 11154 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:21:28] [INFO ] Flatten gal took : 122 ms
[2026-05-25 09:21:28] [INFO ] Flatten gal took : 153 ms
[2026-05-25 09:21:29] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:21:29] [INFO ] Flatten gal took : 185 ms
[2026-05-25 09:21:29] [INFO ] Flatten gal took : 141 ms
[2026-05-25 09:21:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality5522280256186228914.gal : 32 ms
[2026-05-25 09:21:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality16967352668551221578.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5522280256186228914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16967352668551221578.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:21:59] [INFO ] Flatten gal took : 134 ms
[2026-05-25 09:21:59] [INFO ] Applying decomposition
[2026-05-25 09:21:59] [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/graph12732514251305420288.txt' '-o' '/tmp/graph12732514251305420288.bin' '-w' '/tmp/graph12732514251305420288.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12732514251305420288.bin' '-l' '-1' '-v' '-w' '/tmp/graph12732514251305420288.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:22:00] [INFO ] Decomposing Gal with order
[2026-05-25 09:22:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:22:00] [INFO ] Removed a total of 7762 redundant transitions.
[2026-05-25 09:22:00] [INFO ] Flatten gal took : 265 ms
[2026-05-25 09:22:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 28 labels/synchronizations in 42 ms.
[2026-05-25 09:22:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality13020379946106345690.gal : 25 ms
[2026-05-25 09:22:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality3136243954312281728.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13020379946106345690.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3136243954312281728.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:22:31] [INFO ] Invariant cache hit.
[2026-05-25 09:22:34] [INFO ] Implicit Places using invariants in 2846 ms returned []
[2026-05-25 09:22:34] [INFO ] Invariant cache hit.
[2026-05-25 09:22:40] [INFO ] Implicit Places using invariants and state equation in 6525 ms returned []
Implicit Place search using SMT with State Equation took 9374 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9452 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:22:40] [INFO ] Flatten gal took : 110 ms
[2026-05-25 09:22:40] [INFO ] Flatten gal took : 135 ms
[2026-05-25 09:22:41] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:22:41] [INFO ] Flatten gal took : 128 ms
[2026-05-25 09:22:41] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:22:41] [INFO ] Time to serialize gal into /tmp/CTLCardinality6217015192961816694.gal : 30 ms
[2026-05-25 09:22:41] [INFO ] Time to serialize properties into /tmp/CTLCardinality7862927020116868469.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6217015192961816694.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7862927020116868469.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:23:11] [INFO ] Flatten gal took : 131 ms
[2026-05-25 09:23:11] [INFO ] Applying decomposition
[2026-05-25 09:23:11] [INFO ] Flatten gal took : 138 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/graph4749500684875897619.txt' '-o' '/tmp/graph4749500684875897619.bin' '-w' '/tmp/graph4749500684875897619.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4749500684875897619.bin' '-l' '-1' '-v' '-w' '/tmp/graph4749500684875897619.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:23:12] [INFO ] Decomposing Gal with order
[2026-05-25 09:23:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:23:12] [INFO ] Removed a total of 7775 redundant transitions.
[2026-05-25 09:23:12] [INFO ] Flatten gal took : 243 ms
[2026-05-25 09:23:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 49 labels/synchronizations in 80 ms.
[2026-05-25 09:23:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality18287766191165998857.gal : 26 ms
[2026-05-25 09:23:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality13833476601753495501.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18287766191165998857.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13833476601753495501.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:23:43] [INFO ] Invariant cache hit.
[2026-05-25 09:23:46] [INFO ] Implicit Places using invariants in 2756 ms returned []
[2026-05-25 09:23:46] [INFO ] Invariant cache hit.
[2026-05-25 09:23:52] [INFO ] Implicit Places using invariants and state equation in 6560 ms returned []
Implicit Place search using SMT with State Equation took 9319 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9390 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:23:52] [INFO ] Flatten gal took : 110 ms
[2026-05-25 09:23:52] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:23:53] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:23:53] [INFO ] Flatten gal took : 130 ms
[2026-05-25 09:23:53] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:23:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality6050924441254235998.gal : 28 ms
[2026-05-25 09:23:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality10224974411408878811.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6050924441254235998.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10224974411408878811.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:24:23] [INFO ] Flatten gal took : 131 ms
[2026-05-25 09:24:23] [INFO ] Applying decomposition
[2026-05-25 09:24:23] [INFO ] Flatten gal took : 138 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/graph7090522869829845229.txt' '-o' '/tmp/graph7090522869829845229.bin' '-w' '/tmp/graph7090522869829845229.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7090522869829845229.bin' '-l' '-1' '-v' '-w' '/tmp/graph7090522869829845229.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:24:24] [INFO ] Decomposing Gal with order
[2026-05-25 09:24:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:24:24] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 09:24:24] [INFO ] Flatten gal took : 243 ms
[2026-05-25 09:24:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 10 ms.
[2026-05-25 09:24:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality4415650883388976290.gal : 45 ms
[2026-05-25 09:24:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality6773244770026580008.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4415650883388976290.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6773244770026580008.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 70 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:24:55] [INFO ] Invariant cache hit.
[2026-05-25 09:24:57] [INFO ] Implicit Places using invariants in 2146 ms returned []
[2026-05-25 09:24:57] [INFO ] Invariant cache hit.
[2026-05-25 09:25:04] [INFO ] Implicit Places using invariants and state equation in 7103 ms returned []
Implicit Place search using SMT with State Equation took 9252 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9323 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:25:04] [INFO ] Flatten gal took : 109 ms
[2026-05-25 09:25:04] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:25:04] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:25:05] [INFO ] Flatten gal took : 221 ms
[2026-05-25 09:25:05] [INFO ] Flatten gal took : 228 ms
[2026-05-25 09:25:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality10277311460276125776.gal : 46 ms
[2026-05-25 09:25:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality9427679265017969456.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10277311460276125776.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9427679265017969456.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:25:35] [INFO ] Flatten gal took : 129 ms
[2026-05-25 09:25:35] [INFO ] Applying decomposition
[2026-05-25 09:25:35] [INFO ] Flatten gal took : 134 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/graph7383132677878146772.txt' '-o' '/tmp/graph7383132677878146772.bin' '-w' '/tmp/graph7383132677878146772.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7383132677878146772.bin' '-l' '-1' '-v' '-w' '/tmp/graph7383132677878146772.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:25:36] [INFO ] Decomposing Gal with order
[2026-05-25 09:25:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:25:36] [INFO ] Removed a total of 7776 redundant transitions.
[2026-05-25 09:25:36] [INFO ] Flatten gal took : 238 ms
[2026-05-25 09:25:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 10 ms.
[2026-05-25 09:25:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality2049746966882978876.gal : 29 ms
[2026-05-25 09:25:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality871174669087335704.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2049746966882978876.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality871174669087335704.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 113 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:26:07] [INFO ] Invariant cache hit.
[2026-05-25 09:26:09] [INFO ] Implicit Places using invariants in 2813 ms returned []
[2026-05-25 09:26:09] [INFO ] Invariant cache hit.
[2026-05-25 09:26:16] [INFO ] Implicit Places using invariants and state equation in 6629 ms returned []
Implicit Place search using SMT with State Equation took 9444 ms to find 0 implicit places.
[2026-05-25 09:26:17] [INFO ] Redundant transitions in 630 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10203 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:26:17] [INFO ] Flatten gal took : 111 ms
[2026-05-25 09:26:17] [INFO ] Flatten gal took : 137 ms
[2026-05-25 09:26:17] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:26:17] [INFO ] Flatten gal took : 131 ms
[2026-05-25 09:26:17] [INFO ] Flatten gal took : 138 ms
[2026-05-25 09:26:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality15993754209925328440.gal : 29 ms
[2026-05-25 09:26:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality8744422015118431597.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15993754209925328440.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8744422015118431597.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:26:48] [INFO ] Flatten gal took : 150 ms
[2026-05-25 09:26:48] [INFO ] Applying decomposition
[2026-05-25 09:26:48] [INFO ] Flatten gal took : 131 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/graph13750165752430859982.txt' '-o' '/tmp/graph13750165752430859982.bin' '-w' '/tmp/graph13750165752430859982.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13750165752430859982.bin' '-l' '-1' '-v' '-w' '/tmp/graph13750165752430859982.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:26:48] [INFO ] Decomposing Gal with order
[2026-05-25 09:26:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:26:49] [INFO ] Removed a total of 7733 redundant transitions.
[2026-05-25 09:26:49] [INFO ] Flatten gal took : 248 ms
[2026-05-25 09:26:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 191 labels/synchronizations in 85 ms.
[2026-05-25 09:26:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality13821531224908493960.gal : 22 ms
[2026-05-25 09:26:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality2097273082652771545.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13821531224908493960.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2097273082652771545.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 101 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:27:19] [INFO ] Invariant cache hit.
[2026-05-25 09:27:22] [INFO ] Implicit Places using invariants in 2787 ms returned []
[2026-05-25 09:27:22] [INFO ] Invariant cache hit.
[2026-05-25 09:27:29] [INFO ] Implicit Places using invariants and state equation in 6557 ms returned []
Implicit Place search using SMT with State Equation took 9350 ms to find 0 implicit places.
[2026-05-25 09:27:29] [INFO ] Redundant transitions in 614 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10083 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:27:29] [INFO ] Flatten gal took : 168 ms
[2026-05-25 09:27:30] [INFO ] Flatten gal took : 144 ms
[2026-05-25 09:27:30] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:27:30] [INFO ] Flatten gal took : 132 ms
[2026-05-25 09:27:30] [INFO ] Flatten gal took : 139 ms
[2026-05-25 09:27:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality1426213909383602829.gal : 27 ms
[2026-05-25 09:27:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality8979017796089328275.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1426213909383602829.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8979017796089328275.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:28:00] [INFO ] Flatten gal took : 131 ms
[2026-05-25 09:28:00] [INFO ] Applying decomposition
[2026-05-25 09:28:01] [INFO ] Flatten gal took : 137 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/graph15605593754802774646.txt' '-o' '/tmp/graph15605593754802774646.bin' '-w' '/tmp/graph15605593754802774646.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15605593754802774646.bin' '-l' '-1' '-v' '-w' '/tmp/graph15605593754802774646.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:28:01] [INFO ] Decomposing Gal with order
[2026-05-25 09:28:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:28:01] [INFO ] Removed a total of 7775 redundant transitions.
[2026-05-25 09:28:02] [INFO ] Flatten gal took : 256 ms
[2026-05-25 09:28:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 42 labels/synchronizations in 58 ms.
[2026-05-25 09:28:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality14960631322639896773.gal : 23 ms
[2026-05-25 09:28:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality11695035374064223107.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14960631322639896773.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11695035374064223107.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:28:32] [INFO ] Invariant cache hit.
[2026-05-25 09:28:35] [INFO ] Implicit Places using invariants in 3100 ms returned []
[2026-05-25 09:28:35] [INFO ] Invariant cache hit.
[2026-05-25 09:28:41] [INFO ] Implicit Places using invariants and state equation in 6451 ms returned []
Implicit Place search using SMT with State Equation took 9553 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9627 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:28:42] [INFO ] Flatten gal took : 108 ms
[2026-05-25 09:28:42] [INFO ] Flatten gal took : 143 ms
[2026-05-25 09:28:42] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:28:42] [INFO ] Flatten gal took : 130 ms
[2026-05-25 09:28:42] [INFO ] Flatten gal took : 134 ms
[2026-05-25 09:28:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality12303652961763211359.gal : 28 ms
[2026-05-25 09:28:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality2130028598104602707.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12303652961763211359.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2130028598104602707.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:29:12] [INFO ] Flatten gal took : 129 ms
[2026-05-25 09:29:12] [INFO ] Applying decomposition
[2026-05-25 09:29:13] [INFO ] Flatten gal took : 134 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/graph15705443987896361562.txt' '-o' '/tmp/graph15705443987896361562.bin' '-w' '/tmp/graph15705443987896361562.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15705443987896361562.bin' '-l' '-1' '-v' '-w' '/tmp/graph15705443987896361562.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:29:13] [INFO ] Decomposing Gal with order
[2026-05-25 09:29:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:29:14] [INFO ] Removed a total of 7748 redundant transitions.
[2026-05-25 09:29:14] [INFO ] Flatten gal took : 244 ms
[2026-05-25 09:29:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 35 ms.
[2026-05-25 09:29:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality14579828682218262629.gal : 21 ms
[2026-05-25 09:29:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality5452081747682398028.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14579828682218262629.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5452081747682398028.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:29:44] [INFO ] Invariant cache hit.
[2026-05-25 09:29:47] [INFO ] Implicit Places using invariants in 2794 ms returned []
[2026-05-25 09:29:47] [INFO ] Invariant cache hit.
[2026-05-25 09:29:53] [INFO ] Implicit Places using invariants and state equation in 6668 ms returned []
Implicit Place search using SMT with State Equation took 9463 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9538 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:29:54] [INFO ] Flatten gal took : 109 ms
[2026-05-25 09:29:54] [INFO ] Flatten gal took : 140 ms
[2026-05-25 09:29:54] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:29:54] [INFO ] Flatten gal took : 132 ms
[2026-05-25 09:29:54] [INFO ] Flatten gal took : 138 ms
[2026-05-25 09:29:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality7048132074907115589.gal : 29 ms
[2026-05-25 09:29:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality3539053599115810086.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7048132074907115589.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3539053599115810086.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:30:24] [INFO ] Flatten gal took : 149 ms
[2026-05-25 09:30:24] [INFO ] Applying decomposition
[2026-05-25 09:30:25] [INFO ] Flatten gal took : 172 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/graph3901783695099265130.txt' '-o' '/tmp/graph3901783695099265130.bin' '-w' '/tmp/graph3901783695099265130.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3901783695099265130.bin' '-l' '-1' '-v' '-w' '/tmp/graph3901783695099265130.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:30:25] [INFO ] Decomposing Gal with order
[2026-05-25 09:30:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:30:26] [INFO ] Removed a total of 7788 redundant transitions.
[2026-05-25 09:30:26] [INFO ] Flatten gal took : 252 ms
[2026-05-25 09:30:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 22 ms.
[2026-05-25 09:30:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality18337158407083935284.gal : 22 ms
[2026-05-25 09:30:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality4322128087040738557.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18337158407083935284.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4322128087040738557.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:30:56] [INFO ] Invariant cache hit.
[2026-05-25 09:30:59] [INFO ] Implicit Places using invariants in 3140 ms returned []
[2026-05-25 09:30:59] [INFO ] Invariant cache hit.
[2026-05-25 09:31:07] [INFO ] Implicit Places using invariants and state equation in 7836 ms returned []
Implicit Place search using SMT with State Equation took 10982 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 11054 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:31:07] [INFO ] Flatten gal took : 185 ms
[2026-05-25 09:31:08] [INFO ] Flatten gal took : 231 ms
[2026-05-25 09:31:08] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:31:08] [INFO ] Flatten gal took : 145 ms
[2026-05-25 09:31:08] [INFO ] Flatten gal took : 149 ms
[2026-05-25 09:31:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality430569257871847239.gal : 30 ms
[2026-05-25 09:31:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality14639272834366916484.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality430569257871847239.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14639272834366916484.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:31:38] [INFO ] Flatten gal took : 130 ms
[2026-05-25 09:31:38] [INFO ] Applying decomposition
[2026-05-25 09:31:39] [INFO ] Flatten gal took : 214 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/graph16041809087064612538.txt' '-o' '/tmp/graph16041809087064612538.bin' '-w' '/tmp/graph16041809087064612538.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16041809087064612538.bin' '-l' '-1' '-v' '-w' '/tmp/graph16041809087064612538.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:31:39] [INFO ] Decomposing Gal with order
[2026-05-25 09:31:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:31:40] [INFO ] Removed a total of 7762 redundant transitions.
[2026-05-25 09:31:40] [INFO ] Flatten gal took : 384 ms
[2026-05-25 09:31:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 66 ms.
[2026-05-25 09:31:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality6837228463192200509.gal : 25 ms
[2026-05-25 09:31:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality1407046174431313555.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6837228463192200509.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1407046174431313555.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:32:10] [INFO ] Invariant cache hit.
[2026-05-25 09:32:14] [INFO ] Implicit Places using invariants in 3480 ms returned []
[2026-05-25 09:32:14] [INFO ] Invariant cache hit.
[2026-05-25 09:32:22] [INFO ] Implicit Places using invariants and state equation in 8481 ms returned []
Implicit Place search using SMT with State Equation took 11963 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 12032 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:32:23] [INFO ] Flatten gal took : 164 ms
[2026-05-25 09:32:23] [INFO ] Flatten gal took : 216 ms
[2026-05-25 09:32:23] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:32:23] [INFO ] Flatten gal took : 183 ms
[2026-05-25 09:32:23] [INFO ] Flatten gal took : 170 ms
[2026-05-25 09:32:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality14618152877421174396.gal : 28 ms
[2026-05-25 09:32:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality1902056310188472759.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14618152877421174396.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1902056310188472759.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:32:54] [INFO ] Flatten gal took : 126 ms
[2026-05-25 09:32:54] [INFO ] Applying decomposition
[2026-05-25 09:32:54] [INFO ] Flatten gal took : 137 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/graph12569383929126755757.txt' '-o' '/tmp/graph12569383929126755757.bin' '-w' '/tmp/graph12569383929126755757.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12569383929126755757.bin' '-l' '-1' '-v' '-w' '/tmp/graph12569383929126755757.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:32:54] [INFO ] Decomposing Gal with order
[2026-05-25 09:32:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:32:55] [INFO ] Removed a total of 7745 redundant transitions.
[2026-05-25 09:32:55] [INFO ] Flatten gal took : 250 ms
[2026-05-25 09:32:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 394 labels/synchronizations in 98 ms.
[2026-05-25 09:32:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality1712290593273412284.gal : 26 ms
[2026-05-25 09:32:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality16805523083742893713.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1712290593273412284.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16805523083742893713.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
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 09:33:26] [INFO ] Invariant cache hit.
[2026-05-25 09:33:30] [INFO ] Implicit Places using invariants in 3487 ms returned []
[2026-05-25 09:33:30] [INFO ] Invariant cache hit.
[2026-05-25 09:33:38] [INFO ] Implicit Places using invariants and state equation in 8196 ms returned []
Implicit Place search using SMT with State Equation took 11684 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 11753 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:33:38] [INFO ] Flatten gal took : 156 ms
[2026-05-25 09:33:38] [INFO ] Flatten gal took : 198 ms
[2026-05-25 09:33:39] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:33:39] [INFO ] Flatten gal took : 209 ms
[2026-05-25 09:33:39] [INFO ] Flatten gal took : 189 ms
[2026-05-25 09:33:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality8099455893042198452.gal : 27 ms
[2026-05-25 09:33:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality4892928915142003356.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8099455893042198452.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4892928915142003356.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:34:09] [INFO ] Flatten gal took : 130 ms
[2026-05-25 09:34:09] [INFO ] Applying decomposition
[2026-05-25 09:34:09] [INFO ] Flatten gal took : 137 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/graph5485216132557423688.txt' '-o' '/tmp/graph5485216132557423688.bin' '-w' '/tmp/graph5485216132557423688.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5485216132557423688.bin' '-l' '-1' '-v' '-w' '/tmp/graph5485216132557423688.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:34:10] [INFO ] Decomposing Gal with order
[2026-05-25 09:34:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:34:10] [INFO ] Removed a total of 7832 redundant transitions.
[2026-05-25 09:34:10] [INFO ] Flatten gal took : 233 ms
[2026-05-25 09:34:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 31 labels/synchronizations in 55 ms.
[2026-05-25 09:34:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality1125179303816891233.gal : 22 ms
[2026-05-25 09:34:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality7208154671818958243.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1125179303816891233.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7208154671818958243.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 70 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:34:41] [INFO ] Invariant cache hit.
[2026-05-25 09:34:43] [INFO ] Implicit Places using invariants in 2749 ms returned []
[2026-05-25 09:34:43] [INFO ] Invariant cache hit.
[2026-05-25 09:34:50] [INFO ] Implicit Places using invariants and state equation in 6293 ms returned []
Implicit Place search using SMT with State Equation took 9044 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9114 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:34:50] [INFO ] Flatten gal took : 114 ms
[2026-05-25 09:34:50] [INFO ] Flatten gal took : 137 ms
[2026-05-25 09:34:50] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:34:50] [INFO ] Flatten gal took : 135 ms
[2026-05-25 09:34:51] [INFO ] Flatten gal took : 136 ms
[2026-05-25 09:34:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality5698265817755939896.gal : 29 ms
[2026-05-25 09:34:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality452338336142896367.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5698265817755939896.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality452338336142896367.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:35:21] [INFO ] Flatten gal took : 129 ms
[2026-05-25 09:35:21] [INFO ] Applying decomposition
[2026-05-25 09:35:21] [INFO ] Flatten gal took : 134 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/graph1149427087663557796.txt' '-o' '/tmp/graph1149427087663557796.bin' '-w' '/tmp/graph1149427087663557796.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1149427087663557796.bin' '-l' '-1' '-v' '-w' '/tmp/graph1149427087663557796.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:35:21] [INFO ] Decomposing Gal with order
[2026-05-25 09:35:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:35:22] [INFO ] Removed a total of 7761 redundant transitions.
[2026-05-25 09:35:22] [INFO ] Flatten gal took : 235 ms
[2026-05-25 09:35:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 129 labels/synchronizations in 79 ms.
[2026-05-25 09:35:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality4819858118026276052.gal : 25 ms
[2026-05-25 09:35:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality13905697101978538808.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4819858118026276052.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13905697101978538808.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 2025/2025 places, 5184/5184 transitions.
Applied a total of 0 rules in 100 ms. Remains 2025 /2025 variables (removed 0) and now considering 5184/5184 (removed 0) transitions.
[2026-05-25 09:35:52] [INFO ] Invariant cache hit.
[2026-05-25 09:35:55] [INFO ] Implicit Places using invariants in 2805 ms returned []
[2026-05-25 09:35:55] [INFO ] Invariant cache hit.
[2026-05-25 09:36:01] [INFO ] Implicit Places using invariants and state equation in 6127 ms returned []
Implicit Place search using SMT with State Equation took 8934 ms to find 0 implicit places.
[2026-05-25 09:36:02] [INFO ] Redundant transitions in 360 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 9399 ms. Remains : 2025/2025 places, 5184/5184 transitions.
[2026-05-25 09:36:02] [INFO ] Flatten gal took : 108 ms
[2026-05-25 09:36:02] [INFO ] Flatten gal took : 137 ms
[2026-05-25 09:36:02] [INFO ] Input system was already deterministic with 5184 transitions.
[2026-05-25 09:36:02] [INFO ] Flatten gal took : 129 ms
[2026-05-25 09:36:03] [INFO ] Flatten gal took : 137 ms
[2026-05-25 09:36:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality2526340415742151694.gal : 27 ms
[2026-05-25 09:36:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality17081085836756934264.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2526340415742151694.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17081085836756934264.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:36:33] [INFO ] Flatten gal took : 130 ms
[2026-05-25 09:36:33] [INFO ] Applying decomposition
[2026-05-25 09:36:33] [INFO ] Flatten gal took : 146 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/graph7344703857151043510.txt' '-o' '/tmp/graph7344703857151043510.bin' '-w' '/tmp/graph7344703857151043510.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7344703857151043510.bin' '-l' '-1' '-v' '-w' '/tmp/graph7344703857151043510.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:36:33] [INFO ] Decomposing Gal with order
[2026-05-25 09:36:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:36:34] [INFO ] Removed a total of 7762 redundant transitions.
[2026-05-25 09:36:34] [INFO ] Flatten gal took : 241 ms
[2026-05-25 09:36:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 67 ms.
[2026-05-25 09:36:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality12581938081055373016.gal : 25 ms
[2026-05-25 09:36:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality10071961389173391721.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12581938081055373016.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10071961389173391721.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 09:37:04] [INFO ] Flatten gal took : 130 ms
[2026-05-25 09:37:05] [INFO ] Flatten gal took : 138 ms
[2026-05-25 09:37:05] [INFO ] Applying decomposition
[2026-05-25 09:37:05] [INFO ] Flatten gal took : 134 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/graph2578351343584540485.txt' '-o' '/tmp/graph2578351343584540485.bin' '-w' '/tmp/graph2578351343584540485.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2578351343584540485.bin' '-l' '-1' '-v' '-w' '/tmp/graph2578351343584540485.weights' '-q' '0' '-e' '0.001'
[2026-05-25 09:37:05] [INFO ] Decomposing Gal with order
[2026-05-25 09:37:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 09:37:06] [INFO ] Removed a total of 7854 redundant transitions.
[2026-05-25 09:37:06] [INFO ] Flatten gal took : 234 ms
[2026-05-25 09:37:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 638 labels/synchronizations in 76 ms.
[2026-05-25 09:37:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality12264623217937967728.gal : 26 ms
[2026-05-25 09:37:06] [INFO ] Time to serialize properties into /tmp/CTLCardinality1232801481008570944.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12264623217937967728.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1232801481008570944.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 10:04:10] [INFO ] Flatten gal took : 6141 ms
[2026-05-25 10:04:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality16066012485979152814.gal : 75 ms
[2026-05-25 10:04:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality12431796885857167893.ctl : 6 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-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16066012485979152814.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12431796885857167893.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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="CTLCardinality"
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 CTLCardinality"
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-177961107600057"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;