About the Execution of ITS-Tools for NeighborGrid-PT-d3n3m1t11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5264.048 | 1380105.00 | 1405096.00 | 3815.10 | FTTFFTTFTFTFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r194-tall-177969913900122.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 NeighborGrid-PT-d3n3m1t11, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r194-tall-177969913900122
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 660K
-rw-r--r-- 1 mcc users 5.5K Mar 8 07:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Mar 8 07:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 8 07:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Mar 8 07:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.6K Mar 16 08:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Mar 16 08:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 16 08:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 16 08:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Mar 8 07:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 214K Mar 8 07:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Mar 8 07:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 127K Mar 8 07:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 16 08:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 16 08:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rwxr-xr-x 1 mcc users 46K 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 NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-00
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-01
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-02
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-03
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-04
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-05
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-06
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-07
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-08
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-09
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-10
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-11
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-12
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-13
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-14
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779721621077
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NeighborGrid-PT-d3n3m1t11
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-25 15:07:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-25 15:07:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-25 15:07:02] [INFO ] Load time of PNML (sax parser for PT used): 52 ms
[2026-05-25 15:07:02] [INFO ] Transformed 27 places.
[2026-05-25 15:07:02] [INFO ] Transformed 162 transitions.
[2026-05-25 15:07:02] [INFO ] Parsed PT model containing 27 places and 162 transitions and 324 arcs in 146 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 12 ms.
Support contains 27 out of 27 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 9 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (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-81409299580202638.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4115038667171173690.kers'
[2026-05-25 15:07:02] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-81409299580202638.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4115038667171173690.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 162 rows 27 cols 324 entries
Finished phase 1 with 26 SingleSign rule and 0 generalized
[2026-05-25 15:07:02] [INFO ] Computed 1 invariants in 1 ms
Computed 1 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-4115038667171173690.kers
Total runtime 2 ms.
[2026-05-25 15:07:02] [INFO ] Implicit Places using invariants in 157 ms returned []
[2026-05-25 15:07:02] [INFO ] Invariant cache hit.
[2026-05-25 15:07:02] [INFO ] Implicit Places using invariants and state equation in 88 ms returned []
Implicit Place search using SMT with State Equation took 278 ms to find 0 implicit places.
Running 0 sub problems to find dead transitions.
Search for dead transitions found 0 dead transitions in 2ms
Finished structural reductions in LTL mode , in 1 iterations and 321 ms. Remains : 27/27 places, 162/162 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:07:02] [INFO ] Invariant cache hit.
[2026-05-25 15:07:02] [INFO ] Implicit Places using invariants in 22 ms returned []
[2026-05-25 15:07:02] [INFO ] Invariant cache hit.
[2026-05-25 15:07:02] [INFO ] Implicit Places using invariants and state equation in 64 ms returned []
Implicit Place search using SMT with State Equation took 88 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 89 ms. Remains : 27/27 places, 162/162 transitions.
Support contains 27 out of 27 places after structural reductions.
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 24 ms
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 17 ms
[2026-05-25 15:07:03] [INFO ] Input system was already deterministic with 162 transitions.
RANDOM walk for 836 steps (0 resets) in 65 ms. (12 steps per ms) remains 0/42 properties
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 6 ms
[2026-05-25 15:07:03] [INFO ] Input system was already deterministic with 162 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 2 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:07:03] [INFO ] Invariant cache hit.
[2026-05-25 15:07:03] [INFO ] Implicit Places using invariants in 18 ms returned []
[2026-05-25 15:07:03] [INFO ] Invariant cache hit.
[2026-05-25 15:07:03] [INFO ] Implicit Places using invariants and state equation in 51 ms returned []
Implicit Place search using SMT with State Equation took 72 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 75 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:07:03] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:07:03] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:07:03] [INFO ] Time to serialize gal into /tmp/CTLFireability13049958090231551310.gal : 4 ms
[2026-05-25 15:07:03] [INFO ] Time to serialize properties into /tmp/CTLFireability3136280825779419726.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/CTLFireability13049958090231551310.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3136280825779419726.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.335257,13384,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: AG((A(AF(E((p_1_2_0>=1) U (p_0_2_1>=1))) U AF((((p_2_2_0>=1)&&(p_0_0_2>=1)) * EG((p_0_1_0>=1))))) + AF(EX((p_2_2_1>=1)))))
=> equivalent forward existential formula: [FwdG((FwdU(Init,TRUE) * !(!((E(!(!(EG(!((((p_2_2_0>=1)&&(p_0_0_2>=1)) * EG((p_0_1_0>=1))))))) U (!(!(EG(!(E((p_...354
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Hit Full ! (commute/partial/dont) 150/0/12
Using saturation style SCC detection
(forward)formula 0,0,12.242,254248,1,0,72,1.27214e+06,40,62,1796,1.40454e+06,76
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 3 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:07:15] [INFO ] Invariant cache hit.
[2026-05-25 15:07:15] [INFO ] Implicit Places using invariants in 26 ms returned []
[2026-05-25 15:07:15] [INFO ] Invariant cache hit.
[2026-05-25 15:07:15] [INFO ] Implicit Places using invariants and state equation in 43 ms returned []
Implicit Place search using SMT with State Equation took 71 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 74 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:07:15] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:07:15] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:07:15] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:07:15] [INFO ] Flatten gal took : 6 ms
[2026-05-25 15:07:15] [INFO ] Flatten gal took : 6 ms
[2026-05-25 15:07:15] [INFO ] Time to serialize gal into /tmp/CTLFireability10244776697422295313.gal : 2 ms
[2026-05-25 15:07:15] [INFO ] Time to serialize properties into /tmp/CTLFireability5777548186290382438.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/CTLFireability10244776697422295313.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5777548186290382438.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.334733,13484,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: (EF(EX(((p_0_0_0<1)&&(p_2_0_0<1)))) * (E(E((A((p_2_0_1>=1) U (p_2_0_1>=1)) + (p_0_1_0<1)) U E(((p_2_1_0>=1)&&(p_1_2_2>=1)) U ((p_0_0_1>=1...336
=> equivalent forward existential formula: ([(Init * !(E(TRUE U EX(((p_0_0_0<1)&&(p_2_0_0<1))))))] = FALSE * [(FwdU((Init * !(E(E((!((E(!((p_2_0_1>=1)) U (...595
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
Hit Full ! (commute/partial/dont) 138/24/24
Hit Full ! (commute/partial/dont) 126/0/36
Detected timeout of ITS tools.
[2026-05-25 15:07:45] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:07:45] [INFO ] Applying decomposition
[2026-05-25 15:07:45] [INFO ] Flatten gal took : 3 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/graph16556062762413776078.txt' '-o' '/tmp/graph16556062762413776078.bin' '-w' '/tmp/graph16556062762413776078.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16556062762413776078.bin' '-l' '-1' '-v' '-w' '/tmp/graph16556062762413776078.weights' '-q' '0' '-e' '0.001'
[2026-05-25 15:07:45] [INFO ] Decomposing Gal with order
[2026-05-25 15:07:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 15:07:45] [INFO ] Removed a total of 174 redundant transitions.
[2026-05-25 15:07:46] [INFO ] Flatten gal took : 55 ms
[2026-05-25 15:07:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-25 15:07:46] [INFO ] Time to serialize gal into /tmp/CTLFireability637378608186305679.gal : 2 ms
[2026-05-25 15:07:46] [INFO ] Time to serialize properties into /tmp/CTLFireability14465823602524891683.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/CTLFireability637378608186305679.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14465823602524891683.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,29.2509,243944,338,85,164493,70246,215,1.98818e+06,23,511465,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:16] [INFO ] Invariant cache hit.
[2026-05-25 15:08:16] [INFO ] Implicit Places using invariants in 28 ms returned []
[2026-05-25 15:08:16] [INFO ] Invariant cache hit.
[2026-05-25 15:08:16] [INFO ] Implicit Places using invariants and state equation in 46 ms returned []
Implicit Place search using SMT with State Equation took 76 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 78 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:16] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:08:16] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:08:16] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:16] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:08:16] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:08:16] [INFO ] Time to serialize gal into /tmp/CTLFireability15222802251245434121.gal : 1 ms
[2026-05-25 15:08:16] [INFO ] Time to serialize properties into /tmp/CTLFireability10496980110593839476.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/CTLFireability15222802251245434121.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10496980110593839476.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.346268,13468,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: EG((E(!((!(AF((p_1_1_0>=1))) * (AG((p_1_1_2>=1)) + ((p_1_1_2>=1)&&(p_0_1_0>=1))))) U (!((EF((p_2_0_1>=1)) + EX((p_0_0_1>=1)))) * (p_0_1_1...237
=> equivalent forward existential formula: [FwdG(Init,(E(!((!(!(EG(!((p_1_1_0>=1))))) * (!(E(TRUE U !((p_1_1_2>=1)))) + ((p_1_1_2>=1)&&(p_0_1_0>=1))))) U (...316
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
(forward)formula 0,1,2.56423,61828,1,0,22,314122,43,7,1826,294684,27
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-02 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:18] [INFO ] Invariant cache hit.
[2026-05-25 15:08:18] [INFO ] Implicit Places using invariants in 23 ms returned []
[2026-05-25 15:08:18] [INFO ] Invariant cache hit.
[2026-05-25 15:08:18] [INFO ] Implicit Places using invariants and state equation in 48 ms returned []
Implicit Place search using SMT with State Equation took 72 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 74 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:18] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:18] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:08:18] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:18] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:08:18] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:18] [INFO ] Time to serialize gal into /tmp/CTLFireability7108345269006017303.gal : 1 ms
[2026-05-25 15:08:18] [INFO ] Time to serialize properties into /tmp/CTLFireability3441065625118004239.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/CTLFireability7108345269006017303.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3441065625118004239.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.360077,13476,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: EF(((((EG((((p_1_0_0>=1)||((p_0_0_1>=1)&&(p_2_0_1>=1)))||(p_1_0_1>=1))) * (p_0_0_2<1)) * ((p_1_2_1<1) * EG((p_0_2_2<1)))) * (((p_0_2_2>=1...270
=> equivalent forward existential formula: [(((((FwdU(Init,TRUE) * ((p_1_0_2<1)||(p_1_1_2<1))) * ((EG((((p_1_0_0>=1)||((p_0_0_1>=1)&&(p_2_0_1>=1)))||(p_1_0...393
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
(forward)formula 0,0,1.78614,41964,1,0,22,221385,48,8,1776,207491,22
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 2 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:20] [INFO ] Invariant cache hit.
[2026-05-25 15:08:20] [INFO ] Implicit Places using invariants in 21 ms returned []
[2026-05-25 15:08:20] [INFO ] Invariant cache hit.
[2026-05-25 15:08:20] [INFO ] Implicit Places using invariants and state equation in 48 ms returned []
Implicit Place search using SMT with State Equation took 70 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 73 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:20] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:20] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:08:20] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:20] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:20] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:20] [INFO ] Time to serialize gal into /tmp/CTLFireability4843573903896406087.gal : 1 ms
[2026-05-25 15:08:20] [INFO ] Time to serialize properties into /tmp/CTLFireability5710182253104724194.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/CTLFireability4843573903896406087.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5710182253104724194.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.35855,13480,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: EX(AG((((p_2_1_2>=1) * E(EX((p_2_2_0>=1)) U (p_0_0_0<1))) * (EF((p_2_0_2>=1)) + (AG((p_2_0_1<1)) * (p_0_2_1>=1))))))
=> equivalent forward existential formula: [(EY(Init) * !(E(TRUE U !((((p_2_1_2>=1) * E(EX((p_2_2_0>=1)) U (p_0_0_0<1))) * (E(TRUE U (p_2_0_2>=1)) + (!(E(T...209
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,11.4055,256824,1,0,91,1.25744e+06,23,57,1703,1.26944e+06,70
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Graph (trivial) has 128 edges and 27 vertex of which 24 / 27 are part of one of the 1 SCC in 3 ms
Free SCC test removed 23 places
Ensure Unique test removed 153 transitions
Reduce isomorphic transitions removed 153 transitions.
Applied a total of 1 rules in 14 ms. Remains 4 /27 variables (removed 23) and now considering 9/162 (removed 153) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5614465503484825041.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8642943587437089820.kers'
[2026-05-25 15:08:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5614465503484825041.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8642943587437089820.kers]
Normalized transition count is 8 out of 9 initially.
Culled 0 columns in 0 ms.
// Phase 1: matrix 8 rows 4 cols 16 entries
Finished phase 1 with 3 SingleSign rule and 0 generalized
[2026-05-25 15:08:32] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-8642943587437089820.kers
Total runtime 0 ms.
[2026-05-25 15:08:32] [INFO ] Implicit Places using invariants in 18 ms returned []
[2026-05-25 15:08:32] [INFO ] Invariant cache hit.
[2026-05-25 15:08:32] [INFO ] Implicit Places using invariants and state equation in 25 ms returned []
Implicit Place search using SMT with State Equation took 46 ms to find 0 implicit places.
[2026-05-25 15:08:32] [INFO ] Redundant transitions in 0 ms returned []
Running 0 sub problems to find dead transitions.
Search for dead transitions found 0 dead transitions in 0ms
Starting structural reductions in SI_CTL mode, iteration 1 : 4/27 places, 9/162 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 68 ms. Remains : 4/27 places, 9/162 transitions.
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:32] [INFO ] Input system was already deterministic with 9 transitions.
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 0 ms
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:32] [INFO ] Time to serialize gal into /tmp/CTLFireability1934081441023215677.gal : 0 ms
[2026-05-25 15:08:32] [INFO ] Time to serialize properties into /tmp/CTLFireability13055744427167871134.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/CTLFireability1934081441023215677.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13055744427167871134.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,4060,0.022229,4400,2,86,5,3440,6,0,27,3387,0
Converting to forward existential form...Done !
original formula: AG((((p_0_1_2<1) + AF(AG((p_0_1_1<1)))) + EF(EG((p_0_2_0<1)))))
=> equivalent forward existential formula: [FwdG(((FwdU(Init,TRUE) * !(E(TRUE U EG((p_0_2_0<1))))) * !((p_0_1_2<1))),!(!(E(TRUE U !((p_0_1_1<1))))))] = FAL...157
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,0.099219,6556,1,0,9,12323,27,1,210,11790,12
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-05 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 4 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (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-8609927680194451221.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1446318013396048184.kers'
[2026-05-25 15:08:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8609927680194451221.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1446318013396048184.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 162 rows 27 cols 324 entries
Finished phase 1 with 26 SingleSign rule and 0 generalized
[2026-05-25 15:08:32] [INFO ] Computed 1 invariants in 0 ms
Computed 1 P flows in 0 ms.
Exported basis to /tmp/petrispot-output-1446318013396048184.kers
Total runtime 1 ms.
[2026-05-25 15:08:32] [INFO ] Implicit Places using invariants in 29 ms returned []
[2026-05-25 15:08:32] [INFO ] Invariant cache hit.
[2026-05-25 15:08:32] [INFO ] Implicit Places using invariants and state equation in 50 ms returned []
Implicit Place search using SMT with State Equation took 81 ms to find 0 implicit places.
Running 0 sub problems to find dead transitions.
Search for dead transitions found 0 dead transitions in 0ms
Finished structural reductions in LTL mode , in 1 iterations and 85 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:32] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:32] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:32] [INFO ] Time to serialize gal into /tmp/CTLFireability3363360789675980389.gal : 0 ms
[2026-05-25 15:08:32] [INFO ] Time to serialize properties into /tmp/CTLFireability652349607650497429.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/CTLFireability3363360789675980389.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability652349607650497429.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.341551,13476,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: AX(AG((EF((p_2_0_2>=1)) + EX(((p_0_1_2<1)||(p_2_0_2<1))))))
=> equivalent forward existential formula: [((FwdU(EY(Init),TRUE) * !(EX(((p_0_1_2<1)||(p_2_0_2<1))))) * !(E(TRUE U (p_2_0_2>=1))))] = FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,0.682898,16400,1,0,6,70990,14,0,1701,61285,5
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-06 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:33] [INFO ] Invariant cache hit.
[2026-05-25 15:08:33] [INFO ] Implicit Places using invariants in 22 ms returned []
[2026-05-25 15:08:33] [INFO ] Invariant cache hit.
[2026-05-25 15:08:33] [INFO ] Implicit Places using invariants and state equation in 50 ms returned []
Implicit Place search using SMT with State Equation took 75 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 76 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:33] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:33] [INFO ] Flatten gal took : 7 ms
[2026-05-25 15:08:33] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:33] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:33] [INFO ] Flatten gal took : 10 ms
[2026-05-25 15:08:33] [INFO ] Time to serialize gal into /tmp/CTLFireability5433912722804303102.gal : 0 ms
[2026-05-25 15:08:33] [INFO ] Time to serialize properties into /tmp/CTLFireability9034434570379998516.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/CTLFireability5433912722804303102.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9034434570379998516.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.342857,13464,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: EX(AX((AF((p_0_0_2<1)) * (!(E((p_1_2_2>=1) U (p_2_2_2>=1))) + ((p_1_2_2<1) * EG((p_1_0_1<1)))))))
=> equivalent forward existential formula: [(EY(Init) * !(EX(!((!(EG(!((p_0_0_2<1)))) * (!(E((p_1_2_2>=1) U (p_2_2_2>=1))) + ((p_1_2_2<1) * EG((p_1_0_1<1))...172
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
(forward)formula 0,0,1.30748,32628,1,0,20,172255,35,8,1744,157584,15
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:34] [INFO ] Invariant cache hit.
[2026-05-25 15:08:34] [INFO ] Implicit Places using invariants in 19 ms returned []
[2026-05-25 15:08:34] [INFO ] Invariant cache hit.
[2026-05-25 15:08:34] [INFO ] Implicit Places using invariants and state equation in 59 ms returned []
Implicit Place search using SMT with State Equation took 79 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 81 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:34] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:34] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:08:34] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:34] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:34] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:34] [INFO ] Time to serialize gal into /tmp/CTLFireability16317855916277989165.gal : 0 ms
[2026-05-25 15:08:34] [INFO ] Time to serialize properties into /tmp/CTLFireability13654783113664318618.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/CTLFireability16317855916277989165.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13654783113664318618.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.334933,13472,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: AG(AF((!(E(AX((p_2_0_1>=1)) U E((p_0_2_1>=1) U (p_0_0_1>=1)))) + EF(((p_1_0_1<1)||(p_2_0_2<1))))))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),!((!(E(!(EX(!((p_2_0_1>=1)))) U E((p_0_2_1>=1) U (p_0_0_1>=1)))) + E(TRUE U ((p_1_0_1<1)||...180
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
(forward)formula 0,1,1.53414,40136,1,0,15,216523,33,6,1776,200413,18
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-08 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:36] [INFO ] Invariant cache hit.
[2026-05-25 15:08:36] [INFO ] Implicit Places using invariants in 26 ms returned []
[2026-05-25 15:08:36] [INFO ] Invariant cache hit.
[2026-05-25 15:08:36] [INFO ] Implicit Places using invariants and state equation in 49 ms returned []
Implicit Place search using SMT with State Equation took 75 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 76 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:36] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:36] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:36] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:36] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:36] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:36] [INFO ] Time to serialize gal into /tmp/CTLFireability5371737128790030893.gal : 1 ms
[2026-05-25 15:08:36] [INFO ] Time to serialize properties into /tmp/CTLFireability3588611873215039031.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/CTLFireability5371737128790030893.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3588611873215039031.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.341546,13480,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: (EF(((EX((p_0_0_1>=1)) * (p_1_0_1>=1)) * AX(AX((p_2_0_2<1))))) * (((!(A(EX(EG((p_0_0_2>=1))) U !(AX(EG((p_0_0_2>=1)))))) + AX(AG((p_0_2_0...273
=> equivalent forward existential formula: ([(Init * !(E(TRUE U ((EX((p_0_0_1>=1)) * (p_1_0_1>=1)) * !(EX(!(!(EX(!((p_2_0_2<1)))))))))))] = FALSE * [FwdG((...531
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 140/20/22
Using saturation style SCC detection
Hit Full ! (commute/partial/dont) 150/0/12
(forward)formula 0,0,2.46165,61620,1,0,29,336216,65,15,1920,315461,29
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-09 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 2 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:38] [INFO ] Invariant cache hit.
[2026-05-25 15:08:38] [INFO ] Implicit Places using invariants in 29 ms returned []
[2026-05-25 15:08:38] [INFO ] Invariant cache hit.
[2026-05-25 15:08:38] [INFO ] Implicit Places using invariants and state equation in 47 ms returned []
Implicit Place search using SMT with State Equation took 77 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 80 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:38] [INFO ] Flatten gal took : 5 ms
[2026-05-25 15:08:38] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:08:38] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:38] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:38] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:38] [INFO ] Time to serialize gal into /tmp/CTLFireability10631508686372021328.gal : 0 ms
[2026-05-25 15:08:38] [INFO ] Time to serialize properties into /tmp/CTLFireability14384241515681797620.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/CTLFireability10631508686372021328.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14384241515681797620.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.347609,13476,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: AX(EX((AF((p_1_0_1>=1)) + (p_1_1_2<1))))
=> equivalent forward existential formula: [(EY(Init) * !(EX((!(EG(!((p_1_0_1>=1)))) + (p_1_1_2<1)))))] = FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,1,1.07448,27392,1,0,12,143063,20,4,1680,129036,9
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 2 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:40] [INFO ] Invariant cache hit.
[2026-05-25 15:08:40] [INFO ] Implicit Places using invariants in 18 ms returned []
[2026-05-25 15:08:40] [INFO ] Invariant cache hit.
[2026-05-25 15:08:40] [INFO ] Implicit Places using invariants and state equation in 45 ms returned []
Implicit Place search using SMT with State Equation took 65 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 67 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:40] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:40] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:40] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:40] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:40] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:40] [INFO ] Time to serialize gal into /tmp/CTLFireability15062227166118622916.gal : 1 ms
[2026-05-25 15:08:40] [INFO ] Time to serialize properties into /tmp/CTLFireability2557233252632198414.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/CTLFireability15062227166118622916.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2557233252632198414.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.347413,13468,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: AX(EG(A((p_0_0_1>=1) U (p_1_2_1>=1))))
=> equivalent forward existential formula: [(EY(Init) * !(EG(!((E(!((p_1_2_1>=1)) U (!((p_0_0_1>=1)) * !((p_1_2_1>=1)))) + EG(!((p_1_2_1>=1))))))))] = FALS...156
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
Using saturation style SCC detection
(forward)formula 0,0,1.10105,27144,1,0,11,139092,29,3,1794,124194,11
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 2 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:41] [INFO ] Invariant cache hit.
[2026-05-25 15:08:41] [INFO ] Implicit Places using invariants in 22 ms returned []
[2026-05-25 15:08:41] [INFO ] Invariant cache hit.
[2026-05-25 15:08:41] [INFO ] Implicit Places using invariants and state equation in 47 ms returned []
Implicit Place search using SMT with State Equation took 70 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 72 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:41] [INFO ] Flatten gal took : 3 ms
[2026-05-25 15:08:41] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:41] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:41] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:41] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:41] [INFO ] Time to serialize gal into /tmp/CTLFireability5868314788106615371.gal : 1 ms
[2026-05-25 15:08:41] [INFO ] Time to serialize properties into /tmp/CTLFireability11111490574906209372.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/CTLFireability5868314788106615371.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11111490574906209372.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.334994,13472,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: AX((AG(EX(AF((p_2_1_2>=1)))) * EF((p_2_1_1>=1))))
=> equivalent forward existential formula: ([(FwdU(EY(Init),TRUE) * !(EX(!(EG(!((p_2_1_2>=1)))))))] = FALSE * [(EY(Init) * !(E(TRUE U (p_2_1_1>=1))))] = FA...159
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,0.88555,20948,1,0,11,88034,25,3,1782,71860,13
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:42] [INFO ] Invariant cache hit.
[2026-05-25 15:08:42] [INFO ] Implicit Places using invariants in 20 ms returned []
[2026-05-25 15:08:42] [INFO ] Invariant cache hit.
[2026-05-25 15:08:42] [INFO ] Implicit Places using invariants and state equation in 39 ms returned []
Implicit Place search using SMT with State Equation took 60 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 61 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:42] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:42] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:42] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:42] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:42] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:42] [INFO ] Time to serialize gal into /tmp/CTLFireability9976544212065419028.gal : 1 ms
[2026-05-25 15:08:42] [INFO ] Time to serialize properties into /tmp/CTLFireability13996561633640668573.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/CTLFireability9976544212065419028.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13996561633640668573.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.341199,13464,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: EX((EG(AX(((p_1_0_2<1) + EF((p_2_2_0>=1))))) * AX(((p_1_0_1<1)&&(p_1_2_0>=1)))))
=> equivalent forward existential formula: [((EY(Init) * EG(!(EX(!(((p_1_0_2<1) + E(TRUE U (p_2_2_0>=1)))))))) * !(EX(!(((p_1_0_1<1)&&(p_1_2_0>=1))))))] !=...161
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,1.1231,26664,1,0,11,126089,20,4,1733,120542,12
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 3 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:43] [INFO ] Invariant cache hit.
[2026-05-25 15:08:43] [INFO ] Implicit Places using invariants in 19 ms returned []
[2026-05-25 15:08:43] [INFO ] Invariant cache hit.
[2026-05-25 15:08:43] [INFO ] Implicit Places using invariants and state equation in 36 ms returned []
Implicit Place search using SMT with State Equation took 57 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 60 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:43] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:43] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:43] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:43] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:43] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:43] [INFO ] Time to serialize gal into /tmp/CTLFireability9160460660269403449.gal : 0 ms
[2026-05-25 15:08:43] [INFO ] Time to serialize properties into /tmp/CTLFireability4282837222995493217.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/CTLFireability9160460660269403449.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4282837222995493217.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.36537,13476,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: (AG(E(AF((AX((p_2_1_0>=1)) + EF((p_2_1_1>=1)))) U AG((((p_0_1_1>=1)&&(p_0_0_2>=1))||(p_1_2_2>=1))))) + AG(((p_0_1_1<1) * EF((p_0_0_2>=1))...158
=> equivalent forward existential formula: ([(FwdU((Init * !(!(E(TRUE U !(E(!(EG(!((!(EX(!((p_2_1_0>=1)))) + E(TRUE U (p_2_1_1>=1)))))) U !(E(TRUE U !((((p...445
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,1.27624,29968,1,0,14,139119,29,5,1788,120857,20
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 27/27 places, 162/162 transitions.
Applied a total of 0 rules in 1 ms. Remains 27 /27 variables (removed 0) and now considering 162/162 (removed 0) transitions.
[2026-05-25 15:08:44] [INFO ] Invariant cache hit.
[2026-05-25 15:08:44] [INFO ] Implicit Places using invariants in 19 ms returned []
[2026-05-25 15:08:44] [INFO ] Invariant cache hit.
[2026-05-25 15:08:44] [INFO ] Implicit Places using invariants and state equation in 41 ms returned []
Implicit Place search using SMT with State Equation took 65 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 66 ms. Remains : 27/27 places, 162/162 transitions.
[2026-05-25 15:08:44] [INFO ] Flatten gal took : 1 ms
[2026-05-25 15:08:44] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:44] [INFO ] Input system was already deterministic with 162 transitions.
[2026-05-25 15:08:44] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:44] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:44] [INFO ] Time to serialize gal into /tmp/CTLFireability1183920140923326805.gal : 1 ms
[2026-05-25 15:08:44] [INFO ] Time to serialize properties into /tmp/CTLFireability14417362960309221675.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/CTLFireability1183920140923326805.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14417362960309221675.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.331773,13476,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: E((AF(((p_0_1_2>=1) * E((p_0_1_0<1) U (p_2_2_2<1)))) * (EG(((A((p_1_2_2>=1) U (p_2_0_0>=1)) * EG((p_0_2_1>=1))) * A((p_2_1_2>=1) U (p_1_2...251
=> equivalent forward existential formula: [(EY(EY(FwdU(Init,(!(EG(!(((p_0_1_2>=1) * E((p_0_1_0<1) U (p_2_2_2<1)))))) * (EG(((!((E(!((p_2_0_0>=1)) U (!((p_...492
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,0.639104,15868,1,0,6,69551,15,0,1705,60088,5
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
[2026-05-25 15:08:45] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:45] [INFO ] Flatten gal took : 2 ms
[2026-05-25 15:08:45] [INFO ] Applying decomposition
[2026-05-25 15:08:45] [INFO ] Flatten gal took : 2 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/graph444219479463203333.txt' '-o' '/tmp/graph444219479463203333.bin' '-w' '/tmp/graph444219479463203333.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph444219479463203333.bin' '-l' '-1' '-v' '-w' '/tmp/graph444219479463203333.weights' '-q' '0' '-e' '0.001'
[2026-05-25 15:08:45] [INFO ] Decomposing Gal with order
[2026-05-25 15:08:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-25 15:08:45] [INFO ] Removed a total of 174 redundant transitions.
[2026-05-25 15:08:45] [INFO ] Flatten gal took : 7 ms
[2026-05-25 15:08:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-25 15:08:45] [INFO ] Time to serialize gal into /tmp/CTLFireability16477689391896365671.gal : 2 ms
[2026-05-25 15:08:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1502450821232971384.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/CTLFireability16477689391896365671.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1502450821232971384.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,21.3155,186992,338,85,137020,67220,217,1.381e+06,23,470710,0
Converting to forward existential form...Done !
original formula: (EF(EX(((i2.u0.p_0_0_0<1)&&(i3.u9.p_2_0_0<1)))) * (E(E((A((i3.u9.p_2_0_1>=1) U (i3.u9.p_2_0_1>=1)) + (i2.u0.p_0_1_0<1)) U E(((i2.u7.p_2_1...444
=> equivalent forward existential formula: ([(Init * !(E(TRUE U EX(((i2.u0.p_0_0_0<1)&&(i3.u9.p_2_0_0<1))))))] = FALSE * [(FwdU((Init * !(E(E((!((E(!((i3.u...751
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Detected timeout of ITS tools.
[2026-05-25 15:29:19] [INFO ] Flatten gal took : 4 ms
[2026-05-25 15:29:19] [INFO ] Time to serialize gal into /tmp/CTLFireability2345405319670860021.gal : 0 ms
[2026-05-25 15:29:19] [INFO ] Time to serialize properties into /tmp/CTLFireability18194023693019330290.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/CTLFireability2345405319670860021.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18194023693019330290.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.7347e+14,0.322898,13472,2,730,5,59023,6,0,273,54443,0
Converting to forward existential form...Done !
original formula: (EF(EX(((p_0_0_0<1)&&(p_2_0_0<1)))) * (E(E((A((p_2_0_1>=1) U (p_2_0_1>=1)) + (p_0_1_0<1)) U E(((p_2_1_0>=1)&&(p_1_2_2>=1)) U ((p_0_0_1>=1...336
=> equivalent forward existential formula: ([(Init * !(E(TRUE U EX(((p_0_0_0<1)&&(p_2_0_0<1))))))] = FALSE * [(FwdU((Init * !(E(E((!((E(!((p_2_0_1>=1)) U (...595
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 150/0/12
Hit Full ! (commute/partial/dont) 138/24/24
Hit Full ! (commute/partial/dont) 126/0/36
(forward)formula 0,1,41.1619,738204,1,0,69,3.23338e+06,73,41,1937,4.44404e+06,61
FORMULA NeighborGrid-PT-d3n3m1t11-CTLFireability-2024-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Total runtime 1378936 ms.
BK_STOP 1779723001182
--------------------
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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="NeighborGrid-PT-d3n3m1t11"
export BK_EXAMINATION="CTLFireability"
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 NeighborGrid-PT-d3n3m1t11, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r194-tall-177969913900122"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d3n3m1t11.tgz
mv NeighborGrid-PT-d3n3m1t11 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;