About the Execution of ITS-Tools for BlocksWorld-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10091.239 | 3600000.00 | 3807849.00 | 9896.40 | [undef] | Time out reached |
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.r018-smll-177946788200441.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 BlocksWorld-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-smll-177946788200441
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 9.6K Mar 5 16:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Mar 5 16:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Mar 5 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 5 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Mar 15 07:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 15 07:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 15 07:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 15 07:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Mar 5 16:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 5 16:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Mar 5 16:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Mar 5 16:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 11M 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 BlocksWorld-PT-20-CTLCardinality-2024-00
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-01
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-02
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-03
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-04
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-05
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-06
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-07
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-08
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-09
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-10
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-11
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-12
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-13
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-14
FORMULA_NAME BlocksWorld-PT-20-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779736258557
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BlocksWorld-PT-20
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-25 19:11:01] [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 19:11:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 19:11:02] [INFO ] Load time of PNML (sax parser for PT used): 1240 ms
[2026-05-25 19:11:02] [INFO ] Transformed 10711 places.
[2026-05-25 19:11:02] [INFO ] Transformed 21013 transitions.
[2026-05-25 19:11:02] [INFO ] Found NUPN structural information;
[2026-05-25 19:11:02] [INFO ] Completing missing partition info from NUPN : creating a component with [pred_on_table_0, pred_arm_empty_0, pred_on_table_1, pred_on_table_2, pred_on_table_3, pred_on_table_4, pred_on_table_5, pred_on_table_6, pred_on_table_7, pred_on_table_8, pred_on_table_9, pred_on_table_10, pred_on_table_11, pred_on_table_12, pred_on_table_13, pred_on_table_14, pred_on_table_15, pred_on_table_16, pred_on_table_17, pred_on_table_18, pred_on_table_19, pred_on_table_20, pred_on_table_21, pred_on_table_22, pred_on_table_23, pred_on_table_24, pred_on_table_25, pred_on_table_26, pred_on_table_27, pred_on_table_28, pred_on_table_29, pred_on_table_30, pred_on_table_31, pred_on_table_32, pred_on_table_33, pred_on_table_34, pred_on_table_35, pred_on_table_36, pred_on_table_37, pred_on_table_38, pred_on_table_39, pred_on_table_40, pred_on_table_41, pred_on_table_42, pred_on_table_43, pred_on_table_44, pred_on_table_45, pred_on_table_46, pred_on_table_47, pred_on_table_48, pred_on_table_49, pred_on_table_50, pred_on_table_51, pred_on_table_52, pred_on_table_53, pred_on_table_54, pred_on_table_55, pred_on_table_56, pred_on_table_57, pred_on_table_58, pred_on_table_59, pred_on_table_60, pred_on_table_61, pred_on_table_62, pred_on_table_63, pred_on_table_64, pred_on_table_65, pred_on_table_66, pred_on_table_67, pred_on_table_68, pred_on_table_69, pred_on_table_70, pred_on_table_71, pred_on_table_72, pred_on_table_73, pred_on_table_74, pred_on_table_75, pred_on_table_76, pred_on_table_77, pred_on_table_78, pred_on_table_79, pred_on_table_80, pred_on_table_81, pred_on_table_82, pred_on_table_83, pred_on_table_84, pred_on_table_85, pred_on_table_86, pred_on_table_87, pred_on_table_88, pred_on_table_89, pred_on_table_90, pred_on_table_91, pred_on_table_92, pred_on_table_93, pred_on_table_94, pred_on_table_95, pred_on_table_96, pred_on_table_97, pred_on_table_98, pred_on_table_99, pred_on_table_100, pred_on_table_101]
[2026-05-25 19:11:02] [INFO ] Parsed PT model containing 10711 places and 21013 transitions and 105048 arcs in 1582 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 29 ms.
Support contains 188 out of 10711 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 10711/10711 places, 21013/21013 transitions.
Applied a total of 0 rules in 390 ms. Remains 10711 /10711 variables (removed 0) and now considering 21013/21013 (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-10020476801406206567.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2338740654491562123.kers'
[2026-05-25 19:11:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10020476801406206567.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2338740654491562123.kers]
Normalized transition count is 21012 out of 21013 initially.
Culled 0 columns in 37 ms.
// Phase 1: matrix 21012 rows 10711 cols 104448 entries
Finished phase 1 with 10506 SingleSign rule and 0 generalized
[2026-05-25 19:11:04] [INFO ] Computed 205 invariants in 280 ms
Computed 205 P flows in 282 ms.
Exported basis to /tmp/petrispot-output-2338740654491562123.kers
Total runtime 318 ms.
[2026-05-25 19:11:38] [INFO ] Performed 1230/10711 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:12:08] [INFO ] Performed 10569/10711 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-25 19:12:09] [INFO ] Implicit Places using invariants in 65495 ms returned []
Implicit Place search using SMT only with invariants took 65581 ms to find 0 implicit places.
Running 21003 sub problems to find dead transitions.
[2026-05-25 19:12:09] [INFO ] Invariant cache hit.
[2026-05-25 19:12:09] [INFO ] State equation strengthened by 185 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD1 is UNSAT
Problem TDEAD103 is UNSAT
Problem TDEAD307 is UNSAT
Problem TDEAD410 is UNSAT
Problem TDEAD719 is UNSAT
Problem TDEAD822 is UNSAT
Problem TDEAD925 is UNSAT
Problem TDEAD1028 is UNSAT
Problem TDEAD1131 is UNSAT
Problem TDEAD1234 is UNSAT
Problem TDEAD1337 is UNSAT
Problem TDEAD1440 is UNSAT
Problem TDEAD1543 is UNSAT
Problem TDEAD1646 is UNSAT
Problem TDEAD1749 is UNSAT
Problem TDEAD1852 is UNSAT
Problem TDEAD1955 is UNSAT
Problem TDEAD2058 is UNSAT
Problem TDEAD2161 is UNSAT
Problem TDEAD2264 is UNSAT
Problem TDEAD2470 is UNSAT
Problem TDEAD2573 is UNSAT
Problem TDEAD2676 is UNSAT
Problem TDEAD2779 is UNSAT
Problem TDEAD2985 is UNSAT
Problem TDEAD3088 is UNSAT
Problem TDEAD3191 is UNSAT
Problem TDEAD3294 is UNSAT
Problem TDEAD3397 is UNSAT
Problem TDEAD3500 is UNSAT
Problem TDEAD3603 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/10701 variables, 185/185 constraints. Problems are: Problem set: 31 solved, 20972 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 10701/31724 variables, and 185 constraints, problems are : Problem set: 31 solved, 20972 unsolved in 31021 ms.
Refiners :[Positive P Invariants (semi-flows): 185/205 constraints, State Equation: 0/10711 constraints, ReadFeed: 0/185 constraints, PredecessorRefiner: 20973/204 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 31 solved, 20972 unsolved
Problem TDEAD3706 is UNSAT
Problem TDEAD3809 is UNSAT
Problem TDEAD3912 is UNSAT
Problem TDEAD4015 is UNSAT
Problem TDEAD4118 is UNSAT
Problem TDEAD4221 is UNSAT
Problem TDEAD4324 is UNSAT
Problem TDEAD4427 is UNSAT
Problem TDEAD4530 is UNSAT
Problem TDEAD4633 is UNSAT
Problem TDEAD4736 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/10671 variables, 129/129 constraints. Problems are: Problem set: 42 solved, 20961 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 10671/31724 variables, and 129 constraints, problems are : Problem set: 42 solved, 20961 unsolved in 30594 ms.
Refiners :[Positive P Invariants (semi-flows): 129/205 constraints, State Equation: 0/10711 constraints, ReadFeed: 0/185 constraints, PredecessorRefiner: 20758/204 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 131490ms problems are : Problem set: 42 solved, 20961 unsolved
Search for dead transitions found 42 dead transitions in 131683ms
Found 42 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 42 transitions
Dead transitions reduction (with SMT) removed 42 transitions
Starting structural reductions in LTL mode, iteration 1 : 10711/10711 places, 20971/21013 transitions.
Reduce places removed 41 places and 0 transitions.
Iterating post reduction 0 with 41 rules applied. Total rules applied 41 place count 10670 transition count 20971
Applied a total of 41 rules in 204 ms. Remains 10670 /10711 variables (removed 41) and now considering 20971/20971 (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-17914540935627164687.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-18207102184985029694.kers'
[2026-05-25 19:14:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17914540935627164687.kers, --Pflows, --basisKERS=/tmp/petrispot-output-18207102184985029694.kers]
Normalized transition count is 20970 out of 20971 initially.
Culled 0 columns in 23 ms.
// Phase 1: matrix 20970 rows 10670 cols 104282 entries
Finished phase 1 with 10465 SingleSign rule and 40 generalized
[2026-05-25 19:14:21] [INFO ] Computed 165 invariants in 185 ms
Computed 165 P flows in 186 ms.
Exported basis to /tmp/petrispot-output-18207102184985029694.kers
Total runtime 208 ms.
[2026-05-25 19:14:54] [INFO ] Performed 4557/10670 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:15:14] [INFO ] Implicit Places using invariants in 53159 ms returned []
Implicit Place search using SMT only with invariants took 53162 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 10670/10711 places, 20971/21013 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 251244 ms. Remains : 10670/10711 places, 20971/21013 transitions.
Starting structural reductions in LTL mode, iteration 0 : 10670/10670 places, 20971/20971 transitions.
Applied a total of 0 rules in 161 ms. Remains 10670 /10670 variables (removed 0) and now considering 20971/20971 (removed 0) transitions.
[2026-05-25 19:15:14] [INFO ] Invariant cache hit.
[2026-05-25 19:15:47] [INFO ] Performed 4893/10670 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:16:04] [INFO ] Implicit Places using invariants in 50404 ms returned []
Implicit Place search using SMT only with invariants took 50407 ms to find 0 implicit places.
Running 20961 sub problems to find dead transitions.
[2026-05-25 19:16:05] [INFO ] Invariant cache hit.
[2026-05-25 19:16:05] [INFO ] State equation strengthened by 147 read => feed constraints.
Problem TDEAD4900 is UNSAT
Problem TDEAD5003 is UNSAT
Problem TDEAD5106 is UNSAT
Problem TDEAD5209 is UNSAT
Problem TDEAD5312 is UNSAT
Problem TDEAD5518 is UNSAT
Problem TDEAD5621 is UNSAT
Problem TDEAD5724 is UNSAT
Problem TDEAD5827 is UNSAT
Problem TDEAD5930 is UNSAT
Problem TDEAD6033 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/10660 variables, 109/109 constraints. Problems are: Problem set: 11 solved, 20950 unsolved
SMT process timed out in 102326ms, After SMT, problems are : Problem set: 11 solved, 20950 unsolved
Search for dead transitions found 11 dead transitions in 102403ms
Found 11 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 11 transitions
Dead transitions reduction (with SMT) removed 11 transitions
Starting structural reductions in LTL mode, iteration 1 : 10670/10670 places, 20960/20971 transitions.
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 10659 transition count 20960
Applied a total of 11 rules in 213 ms. Remains 10659 /10670 variables (removed 11) and now considering 20960/20960 (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-9102887108905298615.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4720102625056287762.kers'
[2026-05-25 19:17:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9102887108905298615.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4720102625056287762.kers]
Normalized transition count is 20959 out of 20960 initially.
Culled 0 columns in 24 ms.
// Phase 1: matrix 20959 rows 10659 cols 104238 entries
Finished phase 1 with 10454 SingleSign rule and 51 generalized
[2026-05-25 19:17:47] [INFO ] Computed 154 invariants in 209 ms
Computed 154 P flows in 209 ms.
Exported basis to /tmp/petrispot-output-4720102625056287762.kers
Total runtime 245 ms.
[2026-05-25 19:18:20] [INFO ] Performed 6904/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:18:30] [INFO ] Implicit Places using invariants in 42634 ms returned []
Implicit Place search using SMT only with invariants took 42636 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 10659/10670 places, 20960/20971 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 195907 ms. Remains : 10659/10670 places, 20960/20971 transitions.
Support contains 188 out of 10659 places after structural reductions.
[2026-05-25 19:18:32] [INFO ] Flatten gal took : 1253 ms
[2026-05-25 19:18:32] [INFO ] Flatten gal took : 904 ms
[2026-05-25 19:18:34] [INFO ] Input system was already deterministic with 20960 transitions.
RANDOM walk for 40000 steps (8 resets) in 13498 ms. (2 steps per ms) remains 50/118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 187 ms. (21 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (8 resets) in 146 ms. (27 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (8 resets) in 138 ms. (28 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (8 resets) in 134 ms. (29 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (8 resets) in 152 ms. (26 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4002 steps (8 resets) in 145 ms. (27 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (8 resets) in 155 ms. (25 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 50/50 properties
BEST_FIRST walk for 4003 steps (8 resets) in 129 ms. (30 steps per ms) remains 49/50 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4003 steps (8 resets) in 153 ms. (25 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4003 steps (8 resets) in 149 ms. (26 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4003 steps (8 resets) in 172 ms. (23 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4003 steps (8 resets) in 186 ms. (21 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 201 ms. (19 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 200 ms. (19 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 210 ms. (18 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 198 ms. (20 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4003 steps (8 resets) in 156 ms. (25 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 188 ms. (21 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4003 steps (8 resets) in 128 ms. (31 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4002 steps (8 resets) in 149 ms. (26 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 172 ms. (23 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 49/49 properties
BEST_FIRST walk for 4004 steps (8 resets) in 183 ms. (21 steps per ms) remains 49/49 properties
[2026-05-25 19:18:41] [INFO ] Invariant cache hit.
[2026-05-25 19:18:41] [INFO ] State equation strengthened by 137 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/72 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 49 unsolved
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp40 is UNSAT
Problem AtomicPropp58 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp81 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp100 is UNSAT
At refinement iteration 1 (OVERLAPS) 4368/4440 variables, 48/48 constraints. Problems are: Problem set: 11 solved, 38 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4440/31619 variables, and 48 constraints, problems are : Problem set: 11 solved, 38 unsolved in 5015 ms.
Refiners :[Positive P Invariants (semi-flows): 48/103 constraints, Generalized P Invariants (flows): 0/51 constraints, State Equation: 0/10659 constraints, ReadFeed: 0/137 constraints, PredecessorRefiner: 49/49 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 11 solved, 38 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/61 variables, 0/0 constraints. Problems are: Problem set: 11 solved, 38 unsolved
At refinement iteration 1 (OVERLAPS) 3980/4041 variables, 43/43 constraints. Problems are: Problem set: 11 solved, 38 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4041/31619 variables, and 45 constraints, problems are : Problem set: 11 solved, 38 unsolved in 5117 ms.
Refiners :[Positive P Invariants (semi-flows): 43/103 constraints, Generalized P Invariants (flows): 0/51 constraints, State Equation: 0/10659 constraints, ReadFeed: 0/137 constraints, PredecessorRefiner: 0/49 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10574ms problems are : Problem set: 11 solved, 38 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 61 out of 10659 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10659/10659 places, 20960/20960 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 10659 transition count 20959
Applied a total of 1 rules in 532099 ms. Remains 10659 /10659 variables (removed 0) and now considering 20959/20960 (removed 1) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 532107 ms. Remains : 10659/10659 places, 20959/20960 transitions.
Successfully simplified 11 atomic propositions for a total of 16 simplifications.
[2026-05-25 19:27:44] [INFO ] Flatten gal took : 619 ms
[2026-05-25 19:27:45] [INFO ] Flatten gal took : 615 ms
[2026-05-25 19:27:46] [INFO ] Input system was already deterministic with 20960 transitions.
Support contains 162 out of 10659 places (down from 177) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 287 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:27:47] [INFO ] Invariant cache hit.
[2026-05-25 19:28:19] [INFO ] Performed 7055/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:28:29] [INFO ] Implicit Places using invariants in 42800 ms returned []
Implicit Place search using SMT only with invariants took 42806 ms to find 0 implicit places.
Running 20950 sub problems to find dead transitions.
[2026-05-25 19:28:30] [INFO ] Invariant cache hit.
[2026-05-25 19:28:30] [INFO ] State equation strengthened by 137 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/10649 variables, 88/88 constraints. Problems are: Problem set: 0 solved, 20950 unsolved
SMT process timed out in 108211ms, After SMT, problems are : Problem set: 0 solved, 20950 unsolved
Search for dead transitions found 0 dead transitions in 108335ms
Finished structural reductions in SI_CTL mode , in 1 iterations and 151570 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:30:18] [INFO ] Flatten gal took : 526 ms
[2026-05-25 19:30:19] [INFO ] Flatten gal took : 611 ms
[2026-05-25 19:30:20] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:30:21] [INFO ] Flatten gal took : 585 ms
[2026-05-25 19:30:22] [INFO ] Flatten gal took : 597 ms
[2026-05-25 19:30:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality8286048904385508992.gal : 263 ms
[2026-05-25 19:30:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality1275525773836951623.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/CTLCardinality8286048904385508992.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1275525773836951623.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 19:30:53] [INFO ] Flatten gal took : 590 ms
[2026-05-25 19:30:53] [INFO ] Applying decomposition
[2026-05-25 19:30:53] [INFO ] Flatten gal took : 602 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/graph15373217494309348889.txt' '-o' '/tmp/graph15373217494309348889.bin' '-w' '/tmp/graph15373217494309348889.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15373217494309348889.bin' '-l' '-1' '-v' '-w' '/tmp/graph15373217494309348889.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:30:56] [INFO ] Decomposing Gal with order
[2026-05-25 19:30:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:30:58] [INFO ] Flatten gal took : 848 ms
[2026-05-25 19:30:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-25 19:30:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality9089987318317666949.gal : 188 ms
[2026-05-25 19:30:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality2359613291083888567.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/CTLCardinality9089987318317666949.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2359613291083888567.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 87 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:31:30] [INFO ] Invariant cache hit.
[2026-05-25 19:32:03] [INFO ] Performed 6370/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:32:16] [INFO ] Implicit Places using invariants in 46667 ms returned []
Implicit Place search using SMT only with invariants took 46685 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 46785 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:32:17] [INFO ] Flatten gal took : 963 ms
[2026-05-25 19:32:18] [INFO ] Flatten gal took : 656 ms
[2026-05-25 19:32:20] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:32:21] [INFO ] Flatten gal took : 647 ms
[2026-05-25 19:32:21] [INFO ] Flatten gal took : 684 ms
[2026-05-25 19:32:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality2584338084546118803.gal : 169 ms
[2026-05-25 19:32:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality2980967452786272231.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/CTLCardinality2584338084546118803.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2980967452786272231.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 19:32:52] [INFO ] Flatten gal took : 803 ms
[2026-05-25 19:32:52] [INFO ] Applying decomposition
[2026-05-25 19:32:53] [INFO ] Flatten gal took : 629 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/graph12862706231882086865.txt' '-o' '/tmp/graph12862706231882086865.bin' '-w' '/tmp/graph12862706231882086865.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12862706231882086865.bin' '-l' '-1' '-v' '-w' '/tmp/graph12862706231882086865.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:32:55] [INFO ] Decomposing Gal with order
[2026-05-25 19:32:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:33:01] [INFO ] Removed a total of 40746 redundant transitions.
[2026-05-25 19:33:02] [INFO ] Flatten gal took : 4733 ms
[2026-05-25 19:33:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 1362 labels/synchronizations in 1060 ms.
[2026-05-25 19:33:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality9213811172746097282.gal : 274 ms
[2026-05-25 19:33:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality11432105623987865263.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/CTLCardinality9213811172746097282.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11432105623987865263.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 -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 100 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:33:35] [INFO ] Invariant cache hit.
[2026-05-25 19:34:08] [INFO ] Performed 6518/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:34:19] [INFO ] Implicit Places using invariants in 43891 ms returned []
Implicit Place search using SMT only with invariants took 43898 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 44000 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:34:20] [INFO ] Flatten gal took : 555 ms
[2026-05-25 19:34:21] [INFO ] Flatten gal took : 640 ms
[2026-05-25 19:34:22] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:34:23] [INFO ] Flatten gal took : 731 ms
[2026-05-25 19:34:23] [INFO ] Flatten gal took : 620 ms
[2026-05-25 19:34:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality15997830056298426700.gal : 124 ms
[2026-05-25 19:34:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality7301564697799678020.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/CTLCardinality15997830056298426700.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7301564697799678020.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 19:34:54] [INFO ] Flatten gal took : 604 ms
[2026-05-25 19:34:54] [INFO ] Applying decomposition
[2026-05-25 19:34:55] [INFO ] Flatten gal took : 622 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/graph18038004259424248818.txt' '-o' '/tmp/graph18038004259424248818.bin' '-w' '/tmp/graph18038004259424248818.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18038004259424248818.bin' '-l' '-1' '-v' '-w' '/tmp/graph18038004259424248818.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:34:57] [INFO ] Decomposing Gal with order
[2026-05-25 19:34:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:35:02] [INFO ] Removed a total of 40758 redundant transitions.
[2026-05-25 19:35:03] [INFO ] Flatten gal took : 4022 ms
[2026-05-25 19:35:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 278 ms.
[2026-05-25 19:35:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality2456142345334108620.gal : 152 ms
[2026-05-25 19:35:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality1939454414336449345.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/CTLCardinality2456142345334108620.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1939454414336449345.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 62 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:35:35] [INFO ] Invariant cache hit.
[2026-05-25 19:36:08] [INFO ] Performed 6621/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:36:21] [INFO ] Implicit Places using invariants in 45831 ms returned []
Implicit Place search using SMT only with invariants took 45842 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 45906 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:36:22] [INFO ] Flatten gal took : 740 ms
[2026-05-25 19:36:23] [INFO ] Flatten gal took : 631 ms
[2026-05-25 19:36:24] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:36:25] [INFO ] Flatten gal took : 604 ms
[2026-05-25 19:36:25] [INFO ] Flatten gal took : 618 ms
[2026-05-25 19:36:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality13816392608771086148.gal : 126 ms
[2026-05-25 19:36:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality16549036750944064664.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/CTLCardinality13816392608771086148.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16549036750944064664.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 19:36:56] [INFO ] Flatten gal took : 599 ms
[2026-05-25 19:36:56] [INFO ] Applying decomposition
[2026-05-25 19:36:57] [INFO ] Flatten gal took : 616 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/graph6776092361563805255.txt' '-o' '/tmp/graph6776092361563805255.bin' '-w' '/tmp/graph6776092361563805255.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6776092361563805255.bin' '-l' '-1' '-v' '-w' '/tmp/graph6776092361563805255.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:36:58] [INFO ] Decomposing Gal with order
[2026-05-25 19:36:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:37:01] [INFO ] Flatten gal took : 941 ms
[2026-05-25 19:37:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2026-05-25 19:37:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality1868647446882630186.gal : 120 ms
[2026-05-25 19:37:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality2300170877498133638.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/CTLCardinality1868647446882630186.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2300170877498133638.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 60 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:37:32] [INFO ] Invariant cache hit.
[2026-05-25 19:38:05] [INFO ] Performed 5860/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:38:21] [INFO ] Implicit Places using invariants in 49068 ms returned []
Implicit Place search using SMT only with invariants took 49069 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 49132 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:38:22] [INFO ] Flatten gal took : 887 ms
[2026-05-25 19:38:23] [INFO ] Flatten gal took : 612 ms
[2026-05-25 19:38:24] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:38:24] [INFO ] Flatten gal took : 646 ms
[2026-05-25 19:38:25] [INFO ] Flatten gal took : 586 ms
[2026-05-25 19:38:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality12562087735691914728.gal : 118 ms
[2026-05-25 19:38:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality11376681206155107962.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/CTLCardinality12562087735691914728.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11376681206155107962.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 19:38:56] [INFO ] Flatten gal took : 809 ms
[2026-05-25 19:38:56] [INFO ] Applying decomposition
[2026-05-25 19:38:57] [INFO ] Flatten gal took : 635 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/graph8393099482191656222.txt' '-o' '/tmp/graph8393099482191656222.bin' '-w' '/tmp/graph8393099482191656222.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8393099482191656222.bin' '-l' '-1' '-v' '-w' '/tmp/graph8393099482191656222.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:38:58] [INFO ] Decomposing Gal with order
[2026-05-25 19:38:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:39:04] [INFO ] Removed a total of 40754 redundant transitions.
[2026-05-25 19:39:05] [INFO ] Flatten gal took : 4334 ms
[2026-05-25 19:39:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 300 ms.
[2026-05-25 19:39:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality2352873942788807381.gal : 132 ms
[2026-05-25 19:39:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality17881880582256055701.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/CTLCardinality2352873942788807381.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17881880582256055701.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 62 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:39:37] [INFO ] Invariant cache hit.
[2026-05-25 19:40:10] [INFO ] Performed 6254/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:40:23] [INFO ] Implicit Places using invariants in 46122 ms returned []
Implicit Place search using SMT only with invariants took 46143 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 46209 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:40:24] [INFO ] Flatten gal took : 539 ms
[2026-05-25 19:40:24] [INFO ] Flatten gal took : 625 ms
[2026-05-25 19:40:26] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:40:27] [INFO ] Flatten gal took : 776 ms
[2026-05-25 19:40:28] [INFO ] Flatten gal took : 615 ms
[2026-05-25 19:40:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality5591628751803179648.gal : 125 ms
[2026-05-25 19:40:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality2842757427422671575.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/CTLCardinality5591628751803179648.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2842757427422671575.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 19:40:59] [INFO ] Flatten gal took : 598 ms
[2026-05-25 19:40:59] [INFO ] Applying decomposition
[2026-05-25 19:40:59] [INFO ] Flatten gal took : 647 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/graph4644026031866912530.txt' '-o' '/tmp/graph4644026031866912530.bin' '-w' '/tmp/graph4644026031866912530.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4644026031866912530.bin' '-l' '-1' '-v' '-w' '/tmp/graph4644026031866912530.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:41:01] [INFO ] Decomposing Gal with order
[2026-05-25 19:41:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:41:06] [INFO ] Removed a total of 40758 redundant transitions.
[2026-05-25 19:41:07] [INFO ] Flatten gal took : 3914 ms
[2026-05-25 19:41:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 409 ms.
[2026-05-25 19:41:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality3638611785250493550.gal : 138 ms
[2026-05-25 19:41:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality4628073202424234497.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/CTLCardinality3638611785250493550.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4628073202424234497.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 64 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:41:39] [INFO ] Invariant cache hit.
[2026-05-25 19:42:12] [INFO ] Performed 6434/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:42:24] [INFO ] Implicit Places using invariants in 44281 ms returned []
Implicit Place search using SMT only with invariants took 44292 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 44358 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:42:24] [INFO ] Flatten gal took : 588 ms
[2026-05-25 19:42:25] [INFO ] Flatten gal took : 697 ms
[2026-05-25 19:42:27] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:42:27] [INFO ] Flatten gal took : 696 ms
[2026-05-25 19:42:28] [INFO ] Flatten gal took : 646 ms
[2026-05-25 19:42:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality3977648974381806868.gal : 127 ms
[2026-05-25 19:42:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality6437948129359780199.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/CTLCardinality3977648974381806868.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6437948129359780199.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 19:42:59] [INFO ] Flatten gal took : 784 ms
[2026-05-25 19:42:59] [INFO ] Applying decomposition
[2026-05-25 19:43:00] [INFO ] Flatten gal took : 630 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/graph200941075664714505.txt' '-o' '/tmp/graph200941075664714505.bin' '-w' '/tmp/graph200941075664714505.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph200941075664714505.bin' '-l' '-1' '-v' '-w' '/tmp/graph200941075664714505.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:43:01] [INFO ] Decomposing Gal with order
[2026-05-25 19:43:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:43:07] [INFO ] Removed a total of 40754 redundant transitions.
[2026-05-25 19:43:07] [INFO ] Flatten gal took : 3906 ms
[2026-05-25 19:43:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 319 ms.
[2026-05-25 19:43:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality4262631248015297745.gal : 160 ms
[2026-05-25 19:43:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality6921162042733531504.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4262631248015297745.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6921162042733531504.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 63 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:43:40] [INFO ] Invariant cache hit.
[2026-05-25 19:44:13] [INFO ] Performed 6482/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:44:26] [INFO ] Implicit Places using invariants in 45927 ms returned []
Implicit Place search using SMT only with invariants took 45931 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 45996 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:44:27] [INFO ] Flatten gal took : 646 ms
[2026-05-25 19:44:27] [INFO ] Flatten gal took : 595 ms
[2026-05-25 19:44:28] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:44:29] [INFO ] Flatten gal took : 602 ms
[2026-05-25 19:44:30] [INFO ] Flatten gal took : 620 ms
[2026-05-25 19:44:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality8265390035296200245.gal : 125 ms
[2026-05-25 19:44:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality17938793436195880478.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/CTLCardinality8265390035296200245.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17938793436195880478.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 19:45:01] [INFO ] Flatten gal took : 677 ms
[2026-05-25 19:45:01] [INFO ] Applying decomposition
[2026-05-25 19:45:01] [INFO ] Flatten gal took : 707 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/graph17664629880749929796.txt' '-o' '/tmp/graph17664629880749929796.bin' '-w' '/tmp/graph17664629880749929796.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17664629880749929796.bin' '-l' '-1' '-v' '-w' '/tmp/graph17664629880749929796.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:45:03] [INFO ] Decomposing Gal with order
[2026-05-25 19:45:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:45:09] [INFO ] Removed a total of 40754 redundant transitions.
[2026-05-25 19:45:10] [INFO ] Flatten gal took : 4313 ms
[2026-05-25 19:45:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 311 ms.
[2026-05-25 19:45:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality12937866043673640460.gal : 140 ms
[2026-05-25 19:45:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality6526925581298059444.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/CTLCardinality12937866043673640460.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6526925581298059444.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 76 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:45:42] [INFO ] Invariant cache hit.
[2026-05-25 19:46:14] [INFO ] Performed 7224/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:46:23] [INFO ] Implicit Places using invariants in 41500 ms returned []
Implicit Place search using SMT only with invariants took 41502 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 41580 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:46:24] [INFO ] Flatten gal took : 838 ms
[2026-05-25 19:46:25] [INFO ] Flatten gal took : 787 ms
[2026-05-25 19:46:26] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:46:27] [INFO ] Flatten gal took : 618 ms
[2026-05-25 19:46:28] [INFO ] Flatten gal took : 639 ms
[2026-05-25 19:46:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality10503850907977694056.gal : 129 ms
[2026-05-25 19:46:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality4377500185162755834.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/CTLCardinality10503850907977694056.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4377500185162755834.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 19:46:59] [INFO ] Flatten gal took : 838 ms
[2026-05-25 19:46:59] [INFO ] Applying decomposition
[2026-05-25 19:46:59] [INFO ] Flatten gal took : 611 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/graph13406307977216777478.txt' '-o' '/tmp/graph13406307977216777478.bin' '-w' '/tmp/graph13406307977216777478.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13406307977216777478.bin' '-l' '-1' '-v' '-w' '/tmp/graph13406307977216777478.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:47:01] [INFO ] Decomposing Gal with order
[2026-05-25 19:47:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:47:06] [INFO ] Removed a total of 40745 redundant transitions.
[2026-05-25 19:47:07] [INFO ] Flatten gal took : 3859 ms
[2026-05-25 19:47:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 1616 labels/synchronizations in 927 ms.
[2026-05-25 19:47:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality16649428728573938715.gal : 168 ms
[2026-05-25 19:47:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality18182024954100403063.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/CTLCardinality16649428728573938715.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18182024954100403063.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 -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 64 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:47:39] [INFO ] Invariant cache hit.
[2026-05-25 19:48:11] [INFO ] Performed 7516/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:48:20] [INFO ] Implicit Places using invariants in 41036 ms returned []
Implicit Place search using SMT only with invariants took 41041 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 41107 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:48:21] [INFO ] Flatten gal took : 732 ms
[2026-05-25 19:48:22] [INFO ] Flatten gal took : 756 ms
[2026-05-25 19:48:23] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:48:24] [INFO ] Flatten gal took : 812 ms
[2026-05-25 19:48:25] [INFO ] Flatten gal took : 631 ms
[2026-05-25 19:48:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality6754765536257047274.gal : 126 ms
[2026-05-25 19:48:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality16253212114151246842.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/CTLCardinality6754765536257047274.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16253212114151246842.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 19:48:55] [INFO ] Flatten gal took : 634 ms
[2026-05-25 19:48:55] [INFO ] Applying decomposition
[2026-05-25 19:48:56] [INFO ] Flatten gal took : 653 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/graph13850273905105528720.txt' '-o' '/tmp/graph13850273905105528720.bin' '-w' '/tmp/graph13850273905105528720.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13850273905105528720.bin' '-l' '-1' '-v' '-w' '/tmp/graph13850273905105528720.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:48:58] [INFO ] Decomposing Gal with order
[2026-05-25 19:48:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:49:04] [INFO ] Removed a total of 40750 redundant transitions.
[2026-05-25 19:49:04] [INFO ] Flatten gal took : 3753 ms
[2026-05-25 19:49:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 286 ms.
[2026-05-25 19:49:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality3429332968566135286.gal : 130 ms
[2026-05-25 19:49:06] [INFO ] Time to serialize properties into /tmp/CTLCardinality10377829513377023926.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/CTLCardinality3429332968566135286.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10377829513377023926.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 61 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:49:36] [INFO ] Invariant cache hit.
[2026-05-25 19:50:09] [INFO ] Performed 7594/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:50:18] [INFO ] Implicit Places using invariants in 41275 ms returned []
Implicit Place search using SMT only with invariants took 41276 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 41339 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:50:18] [INFO ] Flatten gal took : 726 ms
[2026-05-25 19:50:19] [INFO ] Flatten gal took : 622 ms
[2026-05-25 19:50:20] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:50:21] [INFO ] Flatten gal took : 686 ms
[2026-05-25 19:50:22] [INFO ] Flatten gal took : 929 ms
[2026-05-25 19:50:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality16152979569043778476.gal : 206 ms
[2026-05-25 19:50:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality13506736325452084621.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/CTLCardinality16152979569043778476.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13506736325452084621.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 19:50:53] [INFO ] Flatten gal took : 691 ms
[2026-05-25 19:50:53] [INFO ] Applying decomposition
[2026-05-25 19:50:54] [INFO ] Flatten gal took : 693 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/graph10211183236643206657.txt' '-o' '/tmp/graph10211183236643206657.bin' '-w' '/tmp/graph10211183236643206657.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10211183236643206657.bin' '-l' '-1' '-v' '-w' '/tmp/graph10211183236643206657.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:50:55] [INFO ] Decomposing Gal with order
[2026-05-25 19:50:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:50:58] [INFO ] Flatten gal took : 812 ms
[2026-05-25 19:50:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2026-05-25 19:50:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality9220331905917324473.gal : 126 ms
[2026-05-25 19:50:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality2512509650792610971.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/CTLCardinality9220331905917324473.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2512509650792610971.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 104 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:51:29] [INFO ] Invariant cache hit.
[2026-05-25 19:52:01] [INFO ] Performed 7135/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:52:11] [INFO ] Implicit Places using invariants in 42781 ms returned []
Implicit Place search using SMT only with invariants took 42783 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 42889 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:52:12] [INFO ] Flatten gal took : 847 ms
[2026-05-25 19:52:13] [INFO ] Flatten gal took : 630 ms
[2026-05-25 19:52:15] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:52:15] [INFO ] Flatten gal took : 632 ms
[2026-05-25 19:52:16] [INFO ] Flatten gal took : 681 ms
[2026-05-25 19:52:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality5068414983174744696.gal : 149 ms
[2026-05-25 19:52:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality3256108674048108680.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/CTLCardinality5068414983174744696.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3256108674048108680.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 19:52:47] [INFO ] Flatten gal took : 710 ms
[2026-05-25 19:52:47] [INFO ] Applying decomposition
[2026-05-25 19:52:48] [INFO ] Flatten gal took : 685 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/graph8498751290781553502.txt' '-o' '/tmp/graph8498751290781553502.bin' '-w' '/tmp/graph8498751290781553502.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8498751290781553502.bin' '-l' '-1' '-v' '-w' '/tmp/graph8498751290781553502.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:52:50] [INFO ] Decomposing Gal with order
[2026-05-25 19:52:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:52:56] [INFO ] Removed a total of 40746 redundant transitions.
[2026-05-25 19:52:56] [INFO ] Flatten gal took : 3936 ms
[2026-05-25 19:52:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 1398 labels/synchronizations in 736 ms.
[2026-05-25 19:52:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality10250760804439096232.gal : 181 ms
[2026-05-25 19:52:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality3149272011499525694.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/CTLCardinality10250760804439096232.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3149272011499525694.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 -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 68 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:53:28] [INFO ] Invariant cache hit.
[2026-05-25 19:54:01] [INFO ] Performed 6663/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:54:12] [INFO ] Implicit Places using invariants in 43721 ms returned []
Implicit Place search using SMT only with invariants took 43723 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 43793 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:54:13] [INFO ] Flatten gal took : 757 ms
[2026-05-25 19:54:13] [INFO ] Flatten gal took : 668 ms
[2026-05-25 19:54:15] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:54:16] [INFO ] Flatten gal took : 742 ms
[2026-05-25 19:54:16] [INFO ] Flatten gal took : 721 ms
[2026-05-25 19:54:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality15354842321884184433.gal : 130 ms
[2026-05-25 19:54:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality872767626840100391.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/CTLCardinality15354842321884184433.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality872767626840100391.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 19:54:47] [INFO ] Flatten gal took : 856 ms
[2026-05-25 19:54:47] [INFO ] Applying decomposition
[2026-05-25 19:54:48] [INFO ] Flatten gal took : 863 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/graph15530883263468152178.txt' '-o' '/tmp/graph15530883263468152178.bin' '-w' '/tmp/graph15530883263468152178.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15530883263468152178.bin' '-l' '-1' '-v' '-w' '/tmp/graph15530883263468152178.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:54:50] [INFO ] Decomposing Gal with order
[2026-05-25 19:54:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:54:52] [INFO ] Flatten gal took : 668 ms
[2026-05-25 19:54:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2026-05-25 19:54:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality16908024882403665481.gal : 121 ms
[2026-05-25 19:54:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality17531648308522232901.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/CTLCardinality16908024882403665481.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17531648308522232901.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 59 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:55:23] [INFO ] Invariant cache hit.
[2026-05-25 19:55:56] [INFO ] Performed 6776/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:56:07] [INFO ] Implicit Places using invariants in 43997 ms returned []
Implicit Place search using SMT only with invariants took 44002 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 44064 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:56:08] [INFO ] Flatten gal took : 726 ms
[2026-05-25 19:56:09] [INFO ] Flatten gal took : 646 ms
[2026-05-25 19:56:10] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:56:11] [INFO ] Flatten gal took : 723 ms
[2026-05-25 19:56:12] [INFO ] Flatten gal took : 668 ms
[2026-05-25 19:56:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality14465704480565347658.gal : 119 ms
[2026-05-25 19:56:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality17947370533726095734.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/CTLCardinality14465704480565347658.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17947370533726095734.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 19:56:42] [INFO ] Flatten gal took : 652 ms
[2026-05-25 19:56:42] [INFO ] Applying decomposition
[2026-05-25 19:56:43] [INFO ] Flatten gal took : 597 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/graph4187533070063424924.txt' '-o' '/tmp/graph4187533070063424924.bin' '-w' '/tmp/graph4187533070063424924.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4187533070063424924.bin' '-l' '-1' '-v' '-w' '/tmp/graph4187533070063424924.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:56:45] [INFO ] Decomposing Gal with order
[2026-05-25 19:56:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:56:52] [INFO ] Removed a total of 40758 redundant transitions.
[2026-05-25 19:56:52] [INFO ] Flatten gal took : 4298 ms
[2026-05-25 19:56:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 279 ms.
[2026-05-25 19:56:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality13556405438503046734.gal : 137 ms
[2026-05-25 19:56:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality14249011506874597667.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/CTLCardinality13556405438503046734.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14249011506874597667.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 63 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:57:25] [INFO ] Invariant cache hit.
[2026-05-25 19:57:57] [INFO ] Performed 6177/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 19:58:11] [INFO ] Implicit Places using invariants in 46139 ms returned []
Implicit Place search using SMT only with invariants took 46144 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 46210 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 19:58:12] [INFO ] Flatten gal took : 851 ms
[2026-05-25 19:58:13] [INFO ] Flatten gal took : 661 ms
[2026-05-25 19:58:14] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 19:58:15] [INFO ] Flatten gal took : 800 ms
[2026-05-25 19:58:16] [INFO ] Flatten gal took : 666 ms
[2026-05-25 19:58:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality9777695549114587.gal : 117 ms
[2026-05-25 19:58:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality7492739304693108242.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/CTLCardinality9777695549114587.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7492739304693108242.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 -...280
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-25 19:58:47] [INFO ] Flatten gal took : 874 ms
[2026-05-25 19:58:47] [INFO ] Applying decomposition
[2026-05-25 19:58:48] [INFO ] Flatten gal took : 643 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/graph17995163654526251906.txt' '-o' '/tmp/graph17995163654526251906.bin' '-w' '/tmp/graph17995163654526251906.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17995163654526251906.bin' '-l' '-1' '-v' '-w' '/tmp/graph17995163654526251906.weights' '-q' '0' '-e' '0.001'
[2026-05-25 19:58:49] [INFO ] Decomposing Gal with order
[2026-05-25 19:58:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 19:58:51] [INFO ] Flatten gal took : 767 ms
[2026-05-25 19:58:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2026-05-25 19:58:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality10044280745056808725.gal : 131 ms
[2026-05-25 19:58:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality6944890762620613192.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/CTLCardinality10044280745056808725.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6944890762620613192.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 : 10659/10659 places, 20960/20960 transitions.
Applied a total of 0 rules in 473 ms. Remains 10659 /10659 variables (removed 0) and now considering 20960/20960 (removed 0) transitions.
[2026-05-25 19:59:23] [INFO ] Invariant cache hit.
[2026-05-25 19:59:55] [INFO ] Performed 6805/10659 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-25 20:00:06] [INFO ] Implicit Places using invariants in 42976 ms returned []
Implicit Place search using SMT only with invariants took 42977 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 43452 ms. Remains : 10659/10659 places, 20960/20960 transitions.
[2026-05-25 20:00:07] [INFO ] Flatten gal took : 809 ms
[2026-05-25 20:00:07] [INFO ] Flatten gal took : 585 ms
[2026-05-25 20:00:09] [INFO ] Input system was already deterministic with 20960 transitions.
[2026-05-25 20:00:10] [INFO ] Flatten gal took : 822 ms
[2026-05-25 20:00:10] [INFO ] Flatten gal took : 761 ms
[2026-05-25 20:00:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality18276784772023578660.gal : 128 ms
[2026-05-25 20:00:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality7829576876213323219.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/CTLCardinality18276784772023578660.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7829576876213323219.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 20:00:42] [INFO ] Flatten gal took : 982 ms
[2026-05-25 20:00:42] [INFO ] Applying decomposition
[2026-05-25 20:00:42] [INFO ] Flatten gal took : 634 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/graph4649098325795372158.txt' '-o' '/tmp/graph4649098325795372158.bin' '-w' '/tmp/graph4649098325795372158.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4649098325795372158.bin' '-l' '-1' '-v' '-w' '/tmp/graph4649098325795372158.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:00:44] [INFO ] Decomposing Gal with order
[2026-05-25 20:00:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:00:50] [INFO ] Removed a total of 40754 redundant transitions.
[2026-05-25 20:00:50] [INFO ] Flatten gal took : 3967 ms
[2026-05-25 20:00:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 300 labels/synchronizations in 307 ms.
[2026-05-25 20:00:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality10354051795782942670.gal : 137 ms
[2026-05-25 20:00:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality6852985750426114042.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/CTLCardinality10354051795782942670.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6852985750426114042.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 20:01:24] [INFO ] Flatten gal took : 875 ms
[2026-05-25 20:01:24] [INFO ] Flatten gal took : 695 ms
[2026-05-25 20:01:25] [INFO ] Applying decomposition
[2026-05-25 20:01:26] [INFO ] Flatten gal took : 718 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/graph4405855168919242663.txt' '-o' '/tmp/graph4405855168919242663.bin' '-w' '/tmp/graph4405855168919242663.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4405855168919242663.bin' '-l' '-1' '-v' '-w' '/tmp/graph4405855168919242663.weights' '-q' '0' '-e' '0.001'
[2026-05-25 20:01:28] [INFO ] Decomposing Gal with order
[2026-05-25 20:01:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 20:01:37] [INFO ] Flatten gal took : 7406 ms
[2026-05-25 20:01:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2026-05-25 20:01:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality1523009301588283702.gal : 144 ms
[2026-05-25 20:01:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality5128195030633218849.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/CTLCardinality1523009301588283702.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5128195030633218849.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 16 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="BlocksWorld-PT-20"
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 BlocksWorld-PT-20, 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 r018-smll-177946788200441"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-20.tgz
mv BlocksWorld-PT-20 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 ;