About the Execution of ITS-Tools for LeafsetExtension-PT-S32C3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16199.319 | 3600000.00 | 3187282.00 | 163675.80 | FTFFFFFTTFTTTT?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r162-smll-177961107900505.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 LeafsetExtension-PT-S32C3, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107900505
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 13K Mar 7 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Mar 7 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 7 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Mar 7 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Mar 15 11:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 15 11:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Mar 15 11:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 15 11:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Mar 7 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Mar 7 16:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Mar 7 16:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Mar 7 16:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Mar 15 11:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Mar 15 11:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 3.4M 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 LeafsetExtension-PT-S32C3-CTLCardinality-2024-00
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-01
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-02
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-03
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-04
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-05
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-06
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-07
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-08
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-09
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-10
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-11
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-12
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-13
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-14
FORMULA_NAME LeafsetExtension-PT-S32C3-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779928346038
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S32C3
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-28 00:32:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-28 00:32:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-28 00:32:29] [INFO ] Load time of PNML (sax parser for PT used): 684 ms
[2026-05-28 00:32:29] [INFO ] Transformed 5622 places.
[2026-05-28 00:32:29] [INFO ] Transformed 5449 transitions.
[2026-05-28 00:32:29] [INFO ] Parsed PT model containing 5622 places and 5449 transitions and 17500 arcs in 987 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 28 ms.
Support contains 171 out of 5622 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5622/5622 places, 5449/5449 transitions.
Reduce places removed 1054 places and 0 transitions.
Iterating post reduction 0 with 1054 rules applied. Total rules applied 1054 place count 4568 transition count 5449
Discarding 984 places :
Symmetric choice reduction at 1 with 984 rule applications. Total rules 2038 place count 3584 transition count 4465
Iterating global reduction 1 with 984 rules applied. Total rules applied 3022 place count 3584 transition count 4465
Discarding 893 places :
Symmetric choice reduction at 1 with 893 rule applications. Total rules 3915 place count 2691 transition count 3572
Iterating global reduction 1 with 893 rules applied. Total rules applied 4808 place count 2691 transition count 3572
Discarding 869 places :
Symmetric choice reduction at 1 with 869 rule applications. Total rules 5677 place count 1822 transition count 2703
Iterating global reduction 1 with 869 rules applied. Total rules applied 6546 place count 1822 transition count 2703
Discarding 12 places :
Implicit places reduction removed 12 places
Iterating post reduction 1 with 12 rules applied. Total rules applied 6558 place count 1810 transition count 2703
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 6568 place count 1800 transition count 2693
Iterating global reduction 2 with 10 rules applied. Total rules applied 6578 place count 1800 transition count 2693
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 6588 place count 1790 transition count 2683
Iterating global reduction 2 with 10 rules applied. Total rules applied 6598 place count 1790 transition count 2683
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 6608 place count 1780 transition count 2673
Iterating global reduction 2 with 10 rules applied. Total rules applied 6618 place count 1780 transition count 2673
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 6628 place count 1770 transition count 2663
Iterating global reduction 2 with 10 rules applied. Total rules applied 6638 place count 1770 transition count 2663
Discarding 129 places :
Symmetric choice reduction at 2 with 129 rule applications. Total rules 6767 place count 1641 transition count 2534
Iterating global reduction 2 with 129 rules applied. Total rules applied 6896 place count 1641 transition count 2534
Applied a total of 6896 rules in 3877 ms. Remains 1641 /5622 variables (removed 3981) and now considering 2534/5449 (removed 2915) transitions.
[2026-05-28 00:32:33] [INFO ] Flow matrix only has 2406 transitions (discarded 128 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3837931040658000703.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-786234402071188490.kers'
[2026-05-28 00:32:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3837931040658000703.kers, --Pflows, --basisKERS=/tmp/petrispot-output-786234402071188490.kers]
Culling duplicate invariants (modulo rational): removing 2 columns.
Culled 2 columns in 1 ms.
// Phase 1: matrix 2406 rows 1639 cols 6197 entries
Finished phase 1 with 1297 SingleSign rule and 253 generalized
[2026-05-28 00:32:33] [INFO ] Computed 91 invariants in 16 ms
Computed 91 P flows in 18 ms.
Exported basis to /tmp/petrispot-output-786234402071188490.kers
Total runtime 22 ms.
[2026-05-28 00:32:37] [INFO ] Implicit Places using invariants in 3406 ms returned [57, 107, 171, 221, 274, 310, 357, 412, 467, 527, 554, 582, 586, 634, 638, 691, 746, 785, 787, 818, 822, 867, 921, 948, 997, 1059, 1116, 1145, 1203, 1320, 1351, 1405, 1448, 1501, 1505, 1548, 1579]
Discarding 37 places :
Implicit Place search using SMT only with invariants took 3463 ms to find 37 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1604/5622 places, 2534/5449 transitions.
Discarding 698 places :
Symmetric choice reduction at 0 with 698 rule applications. Total rules 698 place count 906 transition count 1836
Iterating global reduction 0 with 698 rules applied. Total rules applied 1396 place count 906 transition count 1836
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 1399 place count 903 transition count 1833
Iterating global reduction 0 with 3 rules applied. Total rules applied 1402 place count 903 transition count 1833
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 1405 place count 900 transition count 1830
Iterating global reduction 0 with 3 rules applied. Total rules applied 1408 place count 900 transition count 1830
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 1411 place count 897 transition count 1827
Iterating global reduction 0 with 3 rules applied. Total rules applied 1414 place count 897 transition count 1827
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 1417 place count 894 transition count 1824
Iterating global reduction 0 with 3 rules applied. Total rules applied 1420 place count 894 transition count 1824
Applied a total of 1420 rules in 201 ms. Remains 894 /1604 variables (removed 710) and now considering 1824/2534 (removed 710) transitions.
[2026-05-28 00:32:37] [INFO ] Flow matrix only has 1629 transitions (discarded 195 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6990177206310682417.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4442569948160183582.kers'
[2026-05-28 00:32:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6990177206310682417.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4442569948160183582.kers]
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 1 ms.
// Phase 1: matrix 1629 rows 893 cols 3698 entries
Finished phase 1 with 624 SingleSign rule and 216 generalized
[2026-05-28 00:32:37] [INFO ] Computed 54 invariants in 41 ms
Computed 54 P flows in 42 ms.
Exported basis to /tmp/petrispot-output-4442569948160183582.kers
Total runtime 43 ms.
[2026-05-28 00:32:38] [INFO ] Implicit Places using invariants in 754 ms returned []
[2026-05-28 00:32:38] [INFO ] Flow matrix only has 1629 transitions (discarded 195 similar events)
[2026-05-28 00:32:38] [INFO ] Invariant cache hit.
[2026-05-28 00:32:41] [INFO ] Implicit Places using invariants and state equation in 3788 ms returned []
Implicit Place search using SMT with State Equation took 4548 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 894/5622 places, 1824/5449 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 12112 ms. Remains : 894/5622 places, 1824/5449 transitions.
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Applied a total of 0 rules in 42 ms. Remains 894 /894 variables (removed 0) and now considering 1824/1824 (removed 0) transitions.
[2026-05-28 00:32:41] [INFO ] Flow matrix only has 1629 transitions (discarded 195 similar events)
[2026-05-28 00:32:41] [INFO ] Invariant cache hit.
[2026-05-28 00:32:42] [INFO ] Implicit Places using invariants in 733 ms returned []
[2026-05-28 00:32:42] [INFO ] Flow matrix only has 1629 transitions (discarded 195 similar events)
[2026-05-28 00:32:42] [INFO ] Invariant cache hit.
[2026-05-28 00:32:46] [INFO ] Implicit Places using invariants and state equation in 3702 ms returned []
Implicit Place search using SMT with State Equation took 4438 ms to find 0 implicit places.
Running 1791 sub problems to find dead transitions.
[2026-05-28 00:32:46] [INFO ] Flow matrix only has 1629 transitions (discarded 195 similar events)
[2026-05-28 00:32:46] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/854 variables, 50/50 constraints. Problems are: Problem set: 0 solved, 1791 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 854/2523 variables, and 50 constraints, problems are : Problem set: 0 solved, 1791 unsolved in 30150 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1 constraints, Generalized P Invariants (flows): 50/53 constraints, State Equation: 0/894 constraints, PredecessorRefiner: 1791/1791 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1791 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/854 variables, 50/50 constraints. Problems are: Problem set: 0 solved, 1791 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 854/2523 variables, and 50 constraints, problems are : Problem set: 0 solved, 1791 unsolved in 30082 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1 constraints, Generalized P Invariants (flows): 50/53 constraints, State Equation: 0/894 constraints, PredecessorRefiner: 0/1791 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61315ms problems are : Problem set: 0 solved, 1791 unsolved
Search for dead transitions found 0 dead transitions in 61377ms
Finished structural reductions in LTL mode , in 1 iterations and 66054 ms. Remains : 894/894 places, 1824/1824 transitions.
Support contains 171 out of 894 places after structural reductions.
[2026-05-28 00:33:48] [INFO ] Flatten gal took : 297 ms
[2026-05-28 00:33:48] [INFO ] Flatten gal took : 194 ms
[2026-05-28 00:33:49] [INFO ] Input system was already deterministic with 1824 transitions.
RANDOM walk for 40000 steps (1516 resets) in 3543 ms. (11 steps per ms) remains 42/92 properties
BEST_FIRST walk for 4003 steps (10 resets) in 19 ms. (200 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 17 ms. (222 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (11 resets) in 19 ms. (200 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (10 resets) in 26 ms. (148 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (9 resets) in 18 ms. (210 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (10 resets) in 26 ms. (148 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (9 resets) in 22 ms. (174 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (8 resets) in 27 ms. (142 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (11 resets) in 23 ms. (166 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 22 ms. (174 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (10 resets) in 20 ms. (190 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (11 resets) in 20 ms. (190 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (8 resets) in 17 ms. (222 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (9 resets) in 18 ms. (210 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (8 resets) in 15 ms. (250 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 18 ms. (210 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (10 resets) in 16 ms. (235 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 20 ms. (190 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (11 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 15 ms. (250 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (9 resets) in 15 ms. (250 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (9 resets) in 15 ms. (250 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 45 ms. (87 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 38 ms. (102 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 16 ms. (235 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 17 ms. (222 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (10 resets) in 14 ms. (266 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (10 resets) in 24 ms. (160 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (10 resets) in 21 ms. (182 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (8 resets) in 18 ms. (210 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 14 ms. (266 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 21 ms. (182 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (10 resets) in 31 ms. (125 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (10 resets) in 30 ms. (129 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 11 ms. (333 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4003 steps (9 resets) in 12 ms. (307 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 13 ms. (286 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4002 steps (10 resets) in 11 ms. (333 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (9 resets) in 15 ms. (250 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4001 steps (8 resets) in 11 ms. (333 steps per ms) remains 42/42 properties
[2026-05-28 00:33:50] [INFO ] Flow matrix only has 1629 transitions (discarded 195 similar events)
[2026-05-28 00:33:50] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/76 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 1 (OVERLAPS) 652/728 variables, 16/16 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/728 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 3 (OVERLAPS) 141/869 variables, 37/53 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/869 variables, 0/53 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 5 (OVERLAPS) 1/870 variables, 1/54 constraints. Problems are: Problem set: 0 solved, 42 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/870 variables, 0/54 constraints. Problems are: Problem set: 0 solved, 42 unsolved
Problem AtomicPropp1 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp4 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp21 is UNSAT
Problem AtomicPropp23 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp26 is UNSAT
Problem AtomicPropp29 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp39 is UNSAT
Problem AtomicPropp41 is UNSAT
Problem AtomicPropp46 is UNSAT
Problem AtomicPropp47 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp55 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp61 is UNSAT
Problem AtomicPropp64 is UNSAT
Problem AtomicPropp65 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp72 is UNSAT
Problem AtomicPropp73 is UNSAT
Problem AtomicPropp80 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp83 is UNSAT
Problem AtomicPropp84 is UNSAT
Problem AtomicPropp89 is UNSAT
Problem AtomicPropp90 is UNSAT
Problem AtomicPropp91 is UNSAT
At refinement iteration 7 (OVERLAPS) 1628/2498 variables, 870/924 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2498 variables, 0/924 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 25/2523 variables, 24/948 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2523 variables, 0/948 constraints. Problems are: Problem set: 40 solved, 2 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2523/2523 variables, and 948 constraints, problems are : Problem set: 40 solved, 2 unsolved in 5011 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 53/53 constraints, State Equation: 894/894 constraints, PredecessorRefiner: 42/42 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 40 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8 variables, 0/0 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 672/680 variables, 4/4 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/680 variables, 0/4 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 175/855 variables, 49/53 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/855 variables, 0/53 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 1/856 variables, 1/54 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/856 variables, 0/54 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 1628/2484 variables, 856/910 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2484 variables, 2/912 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/2484 variables, 0/912 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 39/2523 variables, 38/950 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/2523 variables, 0/950 constraints. Problems are: Problem set: 40 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 0/2523 variables, 0/950 constraints. Problems are: Problem set: 40 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 2523/2523 variables, and 950 constraints, problems are : Problem set: 40 solved, 2 unsolved in 2314 ms.
Refiners :[Positive P Invariants (semi-flows): 1/1 constraints, Generalized P Invariants (flows): 53/53 constraints, State Equation: 894/894 constraints, PredecessorRefiner: 2/42 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 7356ms problems are : Problem set: 40 solved, 2 unsolved
Finished Parikh walk after 13 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=13 )
Parikh walk visited 2 properties in 25 ms.
Successfully simplified 40 atomic propositions for a total of 16 simplifications.
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-28 00:33:58] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2026-05-28 00:33:58] [INFO ] Flatten gal took : 87 ms
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-28 00:33:58] [INFO ] Flatten gal took : 90 ms
[2026-05-28 00:33:58] [INFO ] Input system was already deterministic with 1824 transitions.
Support contains 42 out of 894 places (down from 64) after GAL structural reductions.
Computed a total of 894 stabilizing places and 1824 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 894 transition count 1824
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Starting structural reductions in SI_CTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Graph (complete) has 3488 edges and 894 vertex of which 855 are kept as prefixes of interest. Removing 39 places using SCC suffix rule.15 ms
Discarding 39 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 206 transitions
Trivial Post-agglo rules discarded 206 transitions
Performed 206 trivial Post agglomeration. Transition count delta: 206
Iterating post reduction 0 with 206 rules applied. Total rules applied 207 place count 855 transition count 1617
Reduce places removed 206 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 207 rules applied. Total rules applied 414 place count 649 transition count 1616
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 415 place count 648 transition count 1616
Performed 67 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 67 Pre rules applied. Total rules applied 415 place count 648 transition count 1549
Deduced a syphon composed of 67 places in 0 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 3 with 134 rules applied. Total rules applied 549 place count 581 transition count 1549
Discarding 110 places :
Symmetric choice reduction at 3 with 110 rule applications. Total rules 659 place count 471 transition count 1439
Iterating global reduction 3 with 110 rules applied. Total rules applied 769 place count 471 transition count 1439
Discarding 53 places :
Symmetric choice reduction at 3 with 53 rule applications. Total rules 822 place count 418 transition count 1386
Iterating global reduction 3 with 53 rules applied. Total rules applied 875 place count 418 transition count 1386
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 3 with 6 rules applied. Total rules applied 881 place count 412 transition count 1386
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 6 Pre rules applied. Total rules applied 881 place count 412 transition count 1380
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 893 place count 406 transition count 1380
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 899 place count 400 transition count 1374
Iterating global reduction 4 with 6 rules applied. Total rules applied 905 place count 400 transition count 1374
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 911 place count 394 transition count 1368
Iterating global reduction 4 with 6 rules applied. Total rules applied 917 place count 394 transition count 1368
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 925 place count 386 transition count 1360
Iterating global reduction 4 with 8 rules applied. Total rules applied 933 place count 386 transition count 1360
Performed 110 Post agglomeration using F-continuation condition.Transition count delta: 110
Deduced a syphon composed of 110 places in 1 ms
Reduce places removed 110 places and 0 transitions.
Iterating global reduction 4 with 220 rules applied. Total rules applied 1153 place count 276 transition count 1250
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1194 place count 235 transition count 1209
Iterating global reduction 4 with 41 rules applied. Total rules applied 1235 place count 235 transition count 1209
Applied a total of 1235 rules in 381 ms. Remains 235 /894 variables (removed 659) and now considering 1209/1824 (removed 615) transitions.
[2026-05-28 00:33:58] [INFO ] Flow matrix only has 892 transitions (discarded 317 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4614602933935204319.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6483825651723035395.kers'
[2026-05-28 00:33:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4614602933935204319.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6483825651723035395.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 892 rows 235 cols 2593 entries
Finished phase 1 with 107 SingleSign rule and 81 generalized
[2026-05-28 00:33:58] [INFO ] Computed 47 invariants in 13 ms
Computed 47 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-6483825651723035395.kers
Total runtime 15 ms.
[2026-05-28 00:33:59] [INFO ] Implicit Places using invariants in 334 ms returned [2, 9, 14, 15, 21, 22, 28, 29, 35, 40, 44, 45, 51, 55, 56, 62, 66, 78, 83, 84, 90, 95, 99, 104, 105, 113, 118, 119, 125, 126, 132, 137, 138, 144, 145, 149, 151, 156, 161, 163, 169, 174, 178, 183]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 338 ms to find 44 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 191/894 places, 1209/1824 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 149 transition count 1167
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 149 transition count 1167
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 125 place count 108 transition count 1126
Iterating global reduction 0 with 41 rules applied. Total rules applied 166 place count 108 transition count 1126
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 187 place count 87 transition count 1105
Iterating global reduction 0 with 21 rules applied. Total rules applied 208 place count 87 transition count 1105
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 218 place count 82 transition count 1100
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 220 place count 80 transition count 1098
Iterating global reduction 0 with 2 rules applied. Total rules applied 222 place count 80 transition count 1098
Applied a total of 222 rules in 61 ms. Remains 80 /191 variables (removed 111) and now considering 1098/1209 (removed 111) transitions.
[2026-05-28 00:33:59] [INFO ] Flow matrix only has 93 transitions (discarded 1005 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3690621216090439865.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-52887673441630795.kers'
[2026-05-28 00:33:59] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3690621216090439865.kers, --Pflows, --basisKERS=/tmp/petrispot-output-52887673441630795.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 93 rows 80 cols 238 entries
Finished phase 1 with 42 SingleSign rule and 35 generalized
[2026-05-28 00:33:59] [INFO ] Computed 3 invariants in 1 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-52887673441630795.kers
Total runtime 1 ms.
[2026-05-28 00:33:59] [INFO ] Implicit Places using invariants in 245 ms returned []
[2026-05-28 00:33:59] [INFO ] Flow matrix only has 93 transitions (discarded 1005 similar events)
[2026-05-28 00:33:59] [INFO ] Invariant cache hit.
[2026-05-28 00:33:59] [INFO ] Implicit Places using invariants and state equation in 346 ms returned []
Implicit Place search using SMT with State Equation took 594 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 80/894 places, 1098/1824 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1376 ms. Remains : 80/894 places, 1098/1824 transitions.
[2026-05-28 00:33:59] [INFO ] Flatten gal took : 26 ms
[2026-05-28 00:33:59] [INFO ] Flatten gal took : 29 ms
[2026-05-28 00:33:59] [INFO ] Input system was already deterministic with 1098 transitions.
[2026-05-28 00:33:59] [INFO ] Flatten gal took : 27 ms
[2026-05-28 00:34:00] [INFO ] Flatten gal took : 28 ms
[2026-05-28 00:34:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality8560012570017225783.gal : 20 ms
[2026-05-28 00:34:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality10877910862819631076.ctl : 2 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/CTLCardinality8560012570017225783.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10877910862819631076.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,518744,12.2041,227780,2,39116,5,966200,6,0,1382,474407,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 00:34:30] [INFO ] Flatten gal took : 43 ms
[2026-05-28 00:34:30] [INFO ] Applying decomposition
[2026-05-28 00:34:30] [INFO ] Flatten gal took : 42 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/graph5868465372645428307.txt' '-o' '/tmp/graph5868465372645428307.bin' '-w' '/tmp/graph5868465372645428307.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5868465372645428307.bin' '-l' '-1' '-v' '-w' '/tmp/graph5868465372645428307.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:34:30] [INFO ] Decomposing Gal with order
[2026-05-28 00:34:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:34:30] [INFO ] Removed a total of 1033 redundant transitions.
[2026-05-28 00:34:30] [INFO ] Flatten gal took : 259 ms
[2026-05-28 00:34:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 108 labels/synchronizations in 16 ms.
[2026-05-28 00:34:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality7274447938545408710.gal : 12 ms
[2026-05-28 00:34:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality5488227338339255869.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/CTLCardinality7274447938545408710.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5488227338339255869.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,518744,0.921244,25640,2,2351,5,104714,6,0,889,63260,0
Converting to forward existential form...Done !
original formula: EG(AF((gu3.Node30FailureProcessedByNode12>gu3.Node28WantsToManageTheBreakDownOfNode8)))
=> equivalent forward existential formula: [FwdG(Init,!(EG(!((gu3.Node30FailureProcessedByNode12>gu3.Node28WantsToManageTheBreakDownOfNode8)))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions gi0.gu0.t137, gi0.gu0.t138, gi0.gu0.t215, gi0.gu0.t216, gi0.gu0.t359, gi0.gu0.t360, gi0.gu0.t...7207
(forward)formula 0,0,8.43662,221136,1,0,1646,1.56052e+06,1097,567,5556,1.13737e+06,1146
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 856 transition count 1824
Discarding 150 places :
Symmetric choice reduction at 1 with 150 rule applications. Total rules 188 place count 706 transition count 1674
Iterating global reduction 1 with 150 rules applied. Total rules applied 338 place count 706 transition count 1674
Discarding 120 places :
Symmetric choice reduction at 1 with 120 rule applications. Total rules 458 place count 586 transition count 1554
Iterating global reduction 1 with 120 rules applied. Total rules applied 578 place count 586 transition count 1554
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 1 with 9 rules applied. Total rules applied 587 place count 577 transition count 1554
Discarding 103 places :
Symmetric choice reduction at 2 with 103 rule applications. Total rules 690 place count 474 transition count 1451
Iterating global reduction 2 with 103 rules applied. Total rules applied 793 place count 474 transition count 1451
Discarding 39 places :
Implicit places reduction removed 39 places
Iterating post reduction 2 with 39 rules applied. Total rules applied 832 place count 435 transition count 1451
Discarding 118 places :
Symmetric choice reduction at 3 with 118 rule applications. Total rules 950 place count 317 transition count 1333
Iterating global reduction 3 with 118 rules applied. Total rules applied 1068 place count 317 transition count 1333
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 1116 place count 269 transition count 1285
Iterating global reduction 3 with 48 rules applied. Total rules applied 1164 place count 269 transition count 1285
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 1212 place count 221 transition count 1237
Iterating global reduction 3 with 48 rules applied. Total rules applied 1260 place count 221 transition count 1237
Discarding 54 places :
Symmetric choice reduction at 3 with 54 rule applications. Total rules 1314 place count 167 transition count 1183
Iterating global reduction 3 with 54 rules applied. Total rules applied 1368 place count 167 transition count 1183
Discarding 59 places :
Symmetric choice reduction at 3 with 59 rule applications. Total rules 1427 place count 108 transition count 1124
Iterating global reduction 3 with 59 rules applied. Total rules applied 1486 place count 108 transition count 1124
Applied a total of 1486 rules in 126 ms. Remains 108 /894 variables (removed 786) and now considering 1124/1824 (removed 700) transitions.
[2026-05-28 00:34:39] [INFO ] Flow matrix only has 137 transitions (discarded 987 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5929910036032934076.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3132828900673538047.kers'
[2026-05-28 00:34:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5929910036032934076.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3132828900673538047.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 137 rows 108 cols 323 entries
Finished phase 1 with 64 SingleSign rule and 39 generalized
[2026-05-28 00:34:39] [INFO ] Computed 5 invariants in 1 ms
Computed 5 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-3132828900673538047.kers
Total runtime 4 ms.
[2026-05-28 00:34:39] [INFO ] Implicit Places using invariants in 220 ms returned [74]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 223 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 107/894 places, 1124/1824 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 104 transition count 1121
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 104 transition count 1121
Applied a total of 6 rules in 13 ms. Remains 104 /107 variables (removed 3) and now considering 1121/1124 (removed 3) transitions.
[2026-05-28 00:34:39] [INFO ] Flow matrix only has 133 transitions (discarded 988 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4499337855186331405.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15636843285141051414.kers'
[2026-05-28 00:34:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4499337855186331405.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15636843285141051414.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 133 rows 104 cols 311 entries
Finished phase 1 with 62 SingleSign rule and 38 generalized
[2026-05-28 00:34:39] [INFO ] Computed 4 invariants in 1 ms
Computed 4 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-15636843285141051414.kers
Total runtime 2 ms.
[2026-05-28 00:34:40] [INFO ] Implicit Places using invariants in 209 ms returned []
[2026-05-28 00:34:40] [INFO ] Flow matrix only has 133 transitions (discarded 988 similar events)
[2026-05-28 00:34:40] [INFO ] Invariant cache hit.
[2026-05-28 00:34:40] [INFO ] Implicit Places using invariants and state equation in 449 ms returned []
Implicit Place search using SMT with State Equation took 662 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 104/894 places, 1121/1824 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1025 ms. Remains : 104/894 places, 1121/1824 transitions.
[2026-05-28 00:34:40] [INFO ] Flatten gal took : 67 ms
[2026-05-28 00:34:40] [INFO ] Flatten gal took : 65 ms
[2026-05-28 00:34:40] [INFO ] Input system was already deterministic with 1121 transitions.
[2026-05-28 00:34:40] [INFO ] Flatten gal took : 56 ms
[2026-05-28 00:34:40] [INFO ] Flatten gal took : 53 ms
[2026-05-28 00:34:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality17749848982115332764.gal : 11 ms
[2026-05-28 00:34:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality15390612646452054592.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/CTLCardinality17749848982115332764.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15390612646452054592.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,1.02039e+07,14.1889,317432,2,34788,5,1.46543e+06,6,0,1500,629397,0
Converting to forward existential form...Done !
original formula: AX((Node28HasAskedItsLeafSetToRxToReplaceNode32>Node3FailureProcessedByNode0))
=> equivalent forward existential formula: [(EY(Init) * !((Node28HasAskedItsLeafSetToRxToReplaceNode32>Node3FailureProcessedByNode0)))] = FALSE
(forward)formula 0,0,14.2497,317432,1,0,9,1.46543e+06,9,2,2089,629397,2
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 856 transition count 1824
Discarding 148 places :
Symmetric choice reduction at 1 with 148 rule applications. Total rules 186 place count 708 transition count 1676
Iterating global reduction 1 with 148 rules applied. Total rules applied 334 place count 708 transition count 1676
Discarding 119 places :
Symmetric choice reduction at 1 with 119 rule applications. Total rules 453 place count 589 transition count 1557
Iterating global reduction 1 with 119 rules applied. Total rules applied 572 place count 589 transition count 1557
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 1 with 9 rules applied. Total rules applied 581 place count 580 transition count 1557
Discarding 103 places :
Symmetric choice reduction at 2 with 103 rule applications. Total rules 684 place count 477 transition count 1454
Iterating global reduction 2 with 103 rules applied. Total rules applied 787 place count 477 transition count 1454
Discarding 39 places :
Implicit places reduction removed 39 places
Iterating post reduction 2 with 39 rules applied. Total rules applied 826 place count 438 transition count 1454
Discarding 117 places :
Symmetric choice reduction at 3 with 117 rule applications. Total rules 943 place count 321 transition count 1337
Iterating global reduction 3 with 117 rules applied. Total rules applied 1060 place count 321 transition count 1337
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 1108 place count 273 transition count 1289
Iterating global reduction 3 with 48 rules applied. Total rules applied 1156 place count 273 transition count 1289
Discarding 48 places :
Symmetric choice reduction at 3 with 48 rule applications. Total rules 1204 place count 225 transition count 1241
Iterating global reduction 3 with 48 rules applied. Total rules applied 1252 place count 225 transition count 1241
Discarding 54 places :
Symmetric choice reduction at 3 with 54 rule applications. Total rules 1306 place count 171 transition count 1187
Iterating global reduction 3 with 54 rules applied. Total rules applied 1360 place count 171 transition count 1187
Discarding 59 places :
Symmetric choice reduction at 3 with 59 rule applications. Total rules 1419 place count 112 transition count 1128
Iterating global reduction 3 with 59 rules applied. Total rules applied 1478 place count 112 transition count 1128
Applied a total of 1478 rules in 98 ms. Remains 112 /894 variables (removed 782) and now considering 1128/1824 (removed 696) transitions.
[2026-05-28 00:34:55] [INFO ] Flow matrix only has 143 transitions (discarded 985 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7864800481146866086.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7812754806030024331.kers'
[2026-05-28 00:34:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7864800481146866086.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7812754806030024331.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 143 rows 112 cols 334 entries
Finished phase 1 with 68 SingleSign rule and 39 generalized
[2026-05-28 00:34:55] [INFO ] Computed 5 invariants in 1 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-7812754806030024331.kers
Total runtime 2 ms.
[2026-05-28 00:34:55] [INFO ] Implicit Places using invariants in 185 ms returned [87]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 186 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 111/894 places, 1128/1824 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 108 transition count 1125
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 108 transition count 1125
Applied a total of 6 rules in 7 ms. Remains 108 /111 variables (removed 3) and now considering 1125/1128 (removed 3) transitions.
[2026-05-28 00:34:55] [INFO ] Flow matrix only has 139 transitions (discarded 986 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17995288947944718556.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-298105194746836260.kers'
[2026-05-28 00:34:55] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17995288947944718556.kers, --Pflows, --basisKERS=/tmp/petrispot-output-298105194746836260.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 139 rows 108 cols 322 entries
Finished phase 1 with 66 SingleSign rule and 38 generalized
[2026-05-28 00:34:55] [INFO ] Computed 4 invariants in 0 ms
Computed 4 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-298105194746836260.kers
Total runtime 1 ms.
[2026-05-28 00:34:55] [INFO ] Implicit Places using invariants in 184 ms returned []
[2026-05-28 00:34:55] [INFO ] Flow matrix only has 139 transitions (discarded 986 similar events)
[2026-05-28 00:34:55] [INFO ] Invariant cache hit.
[2026-05-28 00:34:56] [INFO ] Implicit Places using invariants and state equation in 486 ms returned []
Implicit Place search using SMT with State Equation took 672 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 108/894 places, 1125/1824 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 963 ms. Remains : 108/894 places, 1125/1824 transitions.
[2026-05-28 00:34:56] [INFO ] Flatten gal took : 29 ms
[2026-05-28 00:34:56] [INFO ] Flatten gal took : 33 ms
[2026-05-28 00:34:56] [INFO ] Input system was already deterministic with 1125 transitions.
[2026-05-28 00:34:56] [INFO ] Flatten gal took : 31 ms
[2026-05-28 00:34:56] [INFO ] Flatten gal took : 32 ms
[2026-05-28 00:34:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality11788628940586745183.gal : 6 ms
[2026-05-28 00:34:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality4467113708940799172.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/CTLCardinality11788628940586745183.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4467113708940799172.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,1.04286e+07,19.1757,334492,2,33748,5,1.36089e+06,6,0,1520,733970,0
Converting to forward existential form...Done !
original formula: (EF(EX((((Node9HasTheLeafSetOfRxToReplaceNode29>0)||(Node21WantsToManageTheBreakDownOfNode20>3))&&(Node13ManageTheBreakDownOfNode6<=2))))...196
=> equivalent forward existential formula: ([(Init * !(E(TRUE U EX((((Node9HasTheLeafSetOfRxToReplaceNode29>0)||(Node21WantsToManageTheBreakDownOfNode20>3)...278
(forward)formula 0,0,19.2339,334492,1,0,8,1.36089e+06,9,2,1525,733970,1
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Graph (complete) has 3488 edges and 894 vertex of which 855 are kept as prefixes of interest. Removing 39 places using SCC suffix rule.5 ms
Discarding 39 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 206 transitions
Trivial Post-agglo rules discarded 206 transitions
Performed 206 trivial Post agglomeration. Transition count delta: 206
Iterating post reduction 0 with 206 rules applied. Total rules applied 207 place count 855 transition count 1617
Reduce places removed 206 places and 0 transitions.
Iterating post reduction 1 with 206 rules applied. Total rules applied 413 place count 649 transition count 1617
Performed 65 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 65 Pre rules applied. Total rules applied 413 place count 649 transition count 1552
Deduced a syphon composed of 65 places in 1 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 2 with 130 rules applied. Total rules applied 543 place count 584 transition count 1552
Discarding 107 places :
Symmetric choice reduction at 2 with 107 rule applications. Total rules 650 place count 477 transition count 1445
Iterating global reduction 2 with 107 rules applied. Total rules applied 757 place count 477 transition count 1445
Discarding 54 places :
Symmetric choice reduction at 2 with 54 rule applications. Total rules 811 place count 423 transition count 1391
Iterating global reduction 2 with 54 rules applied. Total rules applied 865 place count 423 transition count 1391
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 2 with 6 rules applied. Total rules applied 871 place count 417 transition count 1391
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 6 Pre rules applied. Total rules applied 871 place count 417 transition count 1385
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 3 with 12 rules applied. Total rules applied 883 place count 411 transition count 1385
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 889 place count 405 transition count 1379
Iterating global reduction 3 with 6 rules applied. Total rules applied 895 place count 405 transition count 1379
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 901 place count 399 transition count 1373
Iterating global reduction 3 with 6 rules applied. Total rules applied 907 place count 399 transition count 1373
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 913 place count 393 transition count 1367
Iterating global reduction 3 with 6 rules applied. Total rules applied 919 place count 393 transition count 1367
Performed 113 Post agglomeration using F-continuation condition.Transition count delta: 113
Deduced a syphon composed of 113 places in 1 ms
Reduce places removed 113 places and 0 transitions.
Iterating global reduction 3 with 226 rules applied. Total rules applied 1145 place count 280 transition count 1254
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 1186 place count 239 transition count 1213
Iterating global reduction 3 with 41 rules applied. Total rules applied 1227 place count 239 transition count 1213
Applied a total of 1227 rules in 248 ms. Remains 239 /894 variables (removed 655) and now considering 1213/1824 (removed 611) transitions.
[2026-05-28 00:35:16] [INFO ] Flow matrix only has 896 transitions (discarded 317 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7641751947283707694.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14001341162397250555.kers'
[2026-05-28 00:35:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7641751947283707694.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14001341162397250555.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 896 rows 239 cols 2602 entries
Finished phase 1 with 111 SingleSign rule and 81 generalized
[2026-05-28 00:35:16] [INFO ] Computed 47 invariants in 10 ms
Computed 47 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-14001341162397250555.kers
Total runtime 12 ms.
[2026-05-28 00:35:16] [INFO ] Implicit Places using invariants in 471 ms returned [2, 9, 14, 15, 21, 22, 28, 29, 35, 40, 44, 45, 51, 55, 56, 62, 66, 71, 84, 86, 92, 97, 101, 106, 107, 113, 120, 125, 126, 132, 133, 139, 144, 145, 151, 152, 156, 158, 163, 168, 173, 178, 182, 187]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 474 ms to find 44 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 195/894 places, 1213/1824 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 153 transition count 1171
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 153 transition count 1171
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 125 place count 112 transition count 1130
Iterating global reduction 0 with 41 rules applied. Total rules applied 166 place count 112 transition count 1130
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 188 place count 90 transition count 1108
Iterating global reduction 0 with 22 rules applied. Total rules applied 210 place count 90 transition count 1108
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 220 place count 85 transition count 1103
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 222 place count 83 transition count 1101
Iterating global reduction 0 with 2 rules applied. Total rules applied 224 place count 83 transition count 1101
Applied a total of 224 rules in 94 ms. Remains 83 /195 variables (removed 112) and now considering 1101/1213 (removed 112) transitions.
[2026-05-28 00:35:16] [INFO ] Flow matrix only has 98 transitions (discarded 1003 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12854013562071580142.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17901838871140263597.kers'
[2026-05-28 00:35:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12854013562071580142.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17901838871140263597.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 98 rows 83 cols 248 entries
Finished phase 1 with 45 SingleSign rule and 35 generalized
[2026-05-28 00:35:16] [INFO ] Computed 3 invariants in 0 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-17901838871140263597.kers
Total runtime 1 ms.
[2026-05-28 00:35:16] [INFO ] Implicit Places using invariants in 222 ms returned []
[2026-05-28 00:35:16] [INFO ] Flow matrix only has 98 transitions (discarded 1003 similar events)
[2026-05-28 00:35:16] [INFO ] Invariant cache hit.
[2026-05-28 00:35:17] [INFO ] Implicit Places using invariants and state equation in 464 ms returned []
Implicit Place search using SMT with State Equation took 688 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 83/894 places, 1101/1824 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1506 ms. Remains : 83/894 places, 1101/1824 transitions.
[2026-05-28 00:35:17] [INFO ] Flatten gal took : 30 ms
[2026-05-28 00:35:17] [INFO ] Flatten gal took : 43 ms
[2026-05-28 00:35:17] [INFO ] Input system was already deterministic with 1101 transitions.
[2026-05-28 00:35:17] [INFO ] Flatten gal took : 38 ms
[2026-05-28 00:35:17] [INFO ] Flatten gal took : 38 ms
[2026-05-28 00:35:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality5416761438455829682.gal : 9 ms
[2026-05-28 00:35:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality8444652549659795019.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/CTLCardinality5416761438455829682.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8444652549659795019.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,554163,10.8488,238696,2,41802,5,913410,6,0,1397,443126,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 00:35:47] [INFO ] Flatten gal took : 19 ms
[2026-05-28 00:35:47] [INFO ] Applying decomposition
[2026-05-28 00:35:47] [INFO ] Flatten gal took : 18 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/graph11115256962727747538.txt' '-o' '/tmp/graph11115256962727747538.bin' '-w' '/tmp/graph11115256962727747538.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11115256962727747538.bin' '-l' '-1' '-v' '-w' '/tmp/graph11115256962727747538.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:35:47] [INFO ] Decomposing Gal with order
[2026-05-28 00:35:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:35:47] [INFO ] Removed a total of 1004 redundant transitions.
[2026-05-28 00:35:47] [INFO ] Flatten gal took : 158 ms
[2026-05-28 00:35:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 112 labels/synchronizations in 15 ms.
[2026-05-28 00:35:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality3740412804709957728.gal : 7 ms
[2026-05-28 00:35:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality3113391792261372561.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/CTLCardinality3740412804709957728.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3113391792261372561.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,554163,0.751718,16328,2,2241,5,55458,6,0,934,34210,0
Converting to forward existential form...Done !
original formula: AG(A((gu2.Node18FailureProcessedByNode13<=gu2.Node19ManageTheBreakDownOfNode20) U (gu3.Node14WantsToManageTheBreakDownOfNode15<=gu3.Node1...191
=> equivalent forward existential formula: ([(FwdU(FwdU(Init,TRUE),!((gu3.Node14WantsToManageTheBreakDownOfNode15<=gu3.Node11WantsToManageTheBreakDownOfNod...475
dead was empty
Hit Full ! (commute/partial/dont) 547/0/3
(forward)formula 0,0,3.1072,63432,1,0,28,345121,23,5,3818,203011,25
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 857 transition count 1824
Discarding 149 places :
Symmetric choice reduction at 1 with 149 rule applications. Total rules 186 place count 708 transition count 1675
Iterating global reduction 1 with 149 rules applied. Total rules applied 335 place count 708 transition count 1675
Discarding 119 places :
Symmetric choice reduction at 1 with 119 rule applications. Total rules 454 place count 589 transition count 1556
Iterating global reduction 1 with 119 rules applied. Total rules applied 573 place count 589 transition count 1556
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 1 with 9 rules applied. Total rules applied 582 place count 580 transition count 1556
Discarding 102 places :
Symmetric choice reduction at 2 with 102 rule applications. Total rules 684 place count 478 transition count 1454
Iterating global reduction 2 with 102 rules applied. Total rules applied 786 place count 478 transition count 1454
Discarding 38 places :
Implicit places reduction removed 38 places
Iterating post reduction 2 with 38 rules applied. Total rules applied 824 place count 440 transition count 1454
Discarding 116 places :
Symmetric choice reduction at 3 with 116 rule applications. Total rules 940 place count 324 transition count 1338
Iterating global reduction 3 with 116 rules applied. Total rules applied 1056 place count 324 transition count 1338
Discarding 47 places :
Symmetric choice reduction at 3 with 47 rule applications. Total rules 1103 place count 277 transition count 1291
Iterating global reduction 3 with 47 rules applied. Total rules applied 1150 place count 277 transition count 1291
Discarding 47 places :
Symmetric choice reduction at 3 with 47 rule applications. Total rules 1197 place count 230 transition count 1244
Iterating global reduction 3 with 47 rules applied. Total rules applied 1244 place count 230 transition count 1244
Discarding 53 places :
Symmetric choice reduction at 3 with 53 rule applications. Total rules 1297 place count 177 transition count 1191
Iterating global reduction 3 with 53 rules applied. Total rules applied 1350 place count 177 transition count 1191
Discarding 57 places :
Symmetric choice reduction at 3 with 57 rule applications. Total rules 1407 place count 120 transition count 1134
Iterating global reduction 3 with 57 rules applied. Total rules applied 1464 place count 120 transition count 1134
Applied a total of 1464 rules in 164 ms. Remains 120 /894 variables (removed 774) and now considering 1134/1824 (removed 690) transitions.
[2026-05-28 00:35:51] [INFO ] Flow matrix only has 162 transitions (discarded 972 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6107974226440919232.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10717316743548586172.kers'
[2026-05-28 00:35:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6107974226440919232.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10717316743548586172.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 162 rows 120 cols 378 entries
Finished phase 1 with 73 SingleSign rule and 41 generalized
[2026-05-28 00:35:51] [INFO ] Computed 6 invariants in 1 ms
Computed 6 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-10717316743548586172.kers
Total runtime 2 ms.
[2026-05-28 00:35:51] [INFO ] Implicit Places using invariants in 261 ms returned [83]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 263 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 119/894 places, 1134/1824 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 115 transition count 1130
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 115 transition count 1130
Applied a total of 8 rules in 15 ms. Remains 115 /119 variables (removed 4) and now considering 1130/1134 (removed 4) transitions.
[2026-05-28 00:35:51] [INFO ] Flow matrix only has 157 transitions (discarded 973 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11713555197351552443.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6594146916589548160.kers'
[2026-05-28 00:35:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11713555197351552443.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6594146916589548160.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 157 rows 115 cols 363 entries
Finished phase 1 with 70 SingleSign rule and 40 generalized
[2026-05-28 00:35:51] [INFO ] Computed 5 invariants in 1 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-6594146916589548160.kers
Total runtime 1 ms.
[2026-05-28 00:35:51] [INFO ] Implicit Places using invariants in 272 ms returned []
[2026-05-28 00:35:51] [INFO ] Flow matrix only has 157 transitions (discarded 973 similar events)
[2026-05-28 00:35:51] [INFO ] Invariant cache hit.
[2026-05-28 00:35:52] [INFO ] Implicit Places using invariants and state equation in 471 ms returned []
Implicit Place search using SMT with State Equation took 745 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 115/894 places, 1130/1824 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1190 ms. Remains : 115/894 places, 1130/1824 transitions.
[2026-05-28 00:35:52] [INFO ] Flatten gal took : 33 ms
[2026-05-28 00:35:52] [INFO ] Flatten gal took : 27 ms
[2026-05-28 00:35:52] [INFO ] Input system was already deterministic with 1130 transitions.
[2026-05-28 00:35:52] [INFO ] Flatten gal took : 23 ms
[2026-05-28 00:35:52] [INFO ] Flatten gal took : 24 ms
[2026-05-28 00:35:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality11432014323405755970.gal : 5 ms
[2026-05-28 00:35:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality16316658164028849563.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/CTLCardinality11432014323405755970.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16316658164028849563.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 00:36:22] [INFO ] Flatten gal took : 23 ms
[2026-05-28 00:36:22] [INFO ] Applying decomposition
[2026-05-28 00:36:22] [INFO ] Flatten gal took : 23 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/graph1261341519806291263.txt' '-o' '/tmp/graph1261341519806291263.bin' '-w' '/tmp/graph1261341519806291263.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1261341519806291263.bin' '-l' '-1' '-v' '-w' '/tmp/graph1261341519806291263.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:36:22] [INFO ] Decomposing Gal with order
[2026-05-28 00:36:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:36:22] [INFO ] Removed a total of 1101 redundant transitions.
[2026-05-28 00:36:22] [INFO ] Flatten gal took : 134 ms
[2026-05-28 00:36:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 132 labels/synchronizations in 19 ms.
[2026-05-28 00:36:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality13480018118741334137.gal : 7 ms
[2026-05-28 00:36:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality1348316066347175222.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/CTLCardinality13480018118741334137.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1348316066347175222.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,1.61797e+07,2.87982,69800,2,10369,5,301251,6,0,1036,276505,0
Converting to forward existential form...Done !
original formula: AX(EX(AX(((gu14.Node17HasAskedItsLeafSetToRxToReplaceNode22>gu14.Node5FailureProcessedByNode24)&&(gi1.gu19.Node20FailureProcessedByNode32...162
=> equivalent forward existential formula: [(EY(Init) * !(EX(!(EX(!(((gu14.Node17HasAskedItsLeafSetToRxToReplaceNode22>gu14.Node5FailureProcessedByNode24)&...215
Reverse transition relation is NOT exact ! Due to transitions gi0.gu0.t1, gi0.gu0.t6, gi0.gu0.t7, gi0.gu0.t8, gi0.gu0.t9, gi0.gu0.t10, gi0.gu0.t11, gi0.gu0...6738
(forward)formula 0,0,24.181,514352,1,0,1548,3.46402e+06,1081,540,6350,2.88304e+06,1076
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Graph (complete) has 3488 edges and 894 vertex of which 855 are kept as prefixes of interest. Removing 39 places using SCC suffix rule.3 ms
Discarding 39 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 207 transitions
Trivial Post-agglo rules discarded 207 transitions
Performed 207 trivial Post agglomeration. Transition count delta: 207
Iterating post reduction 0 with 207 rules applied. Total rules applied 208 place count 855 transition count 1616
Reduce places removed 207 places and 0 transitions.
Iterating post reduction 1 with 207 rules applied. Total rules applied 415 place count 648 transition count 1616
Performed 67 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 67 Pre rules applied. Total rules applied 415 place count 648 transition count 1549
Deduced a syphon composed of 67 places in 1 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 2 with 134 rules applied. Total rules applied 549 place count 581 transition count 1549
Discarding 110 places :
Symmetric choice reduction at 2 with 110 rule applications. Total rules 659 place count 471 transition count 1439
Iterating global reduction 2 with 110 rules applied. Total rules applied 769 place count 471 transition count 1439
Discarding 54 places :
Symmetric choice reduction at 2 with 54 rule applications. Total rules 823 place count 417 transition count 1385
Iterating global reduction 2 with 54 rules applied. Total rules applied 877 place count 417 transition count 1385
Discarding 7 places :
Implicit places reduction removed 7 places
Iterating post reduction 2 with 7 rules applied. Total rules applied 884 place count 410 transition count 1385
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 7 Pre rules applied. Total rules applied 884 place count 410 transition count 1378
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 898 place count 403 transition count 1378
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 905 place count 396 transition count 1371
Iterating global reduction 3 with 7 rules applied. Total rules applied 912 place count 396 transition count 1371
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 919 place count 389 transition count 1364
Iterating global reduction 3 with 7 rules applied. Total rules applied 926 place count 389 transition count 1364
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 934 place count 381 transition count 1356
Iterating global reduction 3 with 8 rules applied. Total rules applied 942 place count 381 transition count 1356
Performed 109 Post agglomeration using F-continuation condition.Transition count delta: 109
Deduced a syphon composed of 109 places in 0 ms
Reduce places removed 109 places and 0 transitions.
Iterating global reduction 3 with 218 rules applied. Total rules applied 1160 place count 272 transition count 1247
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 1201 place count 231 transition count 1206
Iterating global reduction 3 with 41 rules applied. Total rules applied 1242 place count 231 transition count 1206
Applied a total of 1242 rules in 152 ms. Remains 231 /894 variables (removed 663) and now considering 1206/1824 (removed 618) transitions.
[2026-05-28 00:36:47] [INFO ] Flow matrix only has 873 transitions (discarded 333 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13742610284541455564.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13134737522350203294.kers'
[2026-05-28 00:36:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13742610284541455564.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13134737522350203294.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 873 rows 231 cols 2538 entries
Finished phase 1 with 105 SingleSign rule and 80 generalized
[2026-05-28 00:36:47] [INFO ] Computed 46 invariants in 5 ms
Computed 46 P flows in 10 ms.
Exported basis to /tmp/petrispot-output-13134737522350203294.kers
Total runtime 11 ms.
[2026-05-28 00:36:48] [INFO ] Implicit Places using invariants in 379 ms returned [2, 9, 14, 15, 21, 22, 28, 29, 35, 40, 44, 45, 51, 55, 56, 62, 66, 70, 75, 80, 81, 87, 99, 104, 105, 113, 118, 119, 125, 126, 132, 137, 138, 144, 145, 149, 151, 156, 161, 166, 171, 175, 180]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 382 ms to find 43 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 188/894 places, 1206/1824 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 147 transition count 1165
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 147 transition count 1165
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 122 place count 107 transition count 1125
Iterating global reduction 0 with 40 rules applied. Total rules applied 162 place count 107 transition count 1125
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 184 place count 85 transition count 1103
Iterating global reduction 0 with 22 rules applied. Total rules applied 206 place count 85 transition count 1103
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 214 place count 81 transition count 1099
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 216 place count 79 transition count 1097
Iterating global reduction 0 with 2 rules applied. Total rules applied 218 place count 79 transition count 1097
Applied a total of 218 rules in 82 ms. Remains 79 /188 variables (removed 109) and now considering 1097/1206 (removed 109) transitions.
[2026-05-28 00:36:48] [INFO ] Flow matrix only has 91 transitions (discarded 1006 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17485079424185097417.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14644430225151267446.kers'
[2026-05-28 00:36:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17485079424185097417.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14644430225151267446.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 91 rows 79 cols 234 entries
Finished phase 1 with 41 SingleSign rule and 35 generalized
[2026-05-28 00:36:48] [INFO ] Computed 3 invariants in 1 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-14644430225151267446.kers
Total runtime 2 ms.
[2026-05-28 00:36:48] [INFO ] Implicit Places using invariants in 161 ms returned []
[2026-05-28 00:36:48] [INFO ] Flow matrix only has 91 transitions (discarded 1006 similar events)
[2026-05-28 00:36:48] [INFO ] Invariant cache hit.
[2026-05-28 00:36:48] [INFO ] Implicit Places using invariants and state equation in 317 ms returned []
Implicit Place search using SMT with State Equation took 479 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 79/894 places, 1097/1824 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1096 ms. Remains : 79/894 places, 1097/1824 transitions.
[2026-05-28 00:36:48] [INFO ] Flatten gal took : 17 ms
[2026-05-28 00:36:48] [INFO ] Flatten gal took : 23 ms
[2026-05-28 00:36:48] [INFO ] Input system was already deterministic with 1097 transitions.
RANDOM walk for 1402 steps (110 resets) in 12 ms. (107 steps per ms) remains 0/1 properties
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-28 00:36:48] [INFO ] Flatten gal took : 32 ms
[2026-05-28 00:36:48] [INFO ] Flatten gal took : 30 ms
[2026-05-28 00:36:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2484424400983430099.gal : 8 ms
[2026-05-28 00:36:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4600446049929105423.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality2484424400983430099.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4600446049929105423.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Graph (complete) has 3488 edges and 894 vertex of which 855 are kept as prefixes of interest. Removing 39 places using SCC suffix rule.5 ms
Discarding 39 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 207 transitions
Trivial Post-agglo rules discarded 207 transitions
Performed 207 trivial Post agglomeration. Transition count delta: 207
Iterating post reduction 0 with 207 rules applied. Total rules applied 208 place count 855 transition count 1616
Reduce places removed 207 places and 0 transitions.
Iterating post reduction 1 with 207 rules applied. Total rules applied 415 place count 648 transition count 1616
Performed 66 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 66 Pre rules applied. Total rules applied 415 place count 648 transition count 1550
Deduced a syphon composed of 66 places in 0 ms
Reduce places removed 66 places and 0 transitions.
Iterating global reduction 2 with 132 rules applied. Total rules applied 547 place count 582 transition count 1550
Discarding 108 places :
Symmetric choice reduction at 2 with 108 rule applications. Total rules 655 place count 474 transition count 1442
Iterating global reduction 2 with 108 rules applied. Total rules applied 763 place count 474 transition count 1442
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 818 place count 419 transition count 1387
Iterating global reduction 2 with 55 rules applied. Total rules applied 873 place count 419 transition count 1387
Discarding 7 places :
Implicit places reduction removed 7 places
Iterating post reduction 2 with 7 rules applied. Total rules applied 880 place count 412 transition count 1387
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 7 Pre rules applied. Total rules applied 880 place count 412 transition count 1380
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 894 place count 405 transition count 1380
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 901 place count 398 transition count 1373
Iterating global reduction 3 with 7 rules applied. Total rules applied 908 place count 398 transition count 1373
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 915 place count 391 transition count 1366
Iterating global reduction 3 with 7 rules applied. Total rules applied 922 place count 391 transition count 1366
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 930 place count 383 transition count 1358
Iterating global reduction 3 with 8 rules applied. Total rules applied 938 place count 383 transition count 1358
Performed 109 Post agglomeration using F-continuation condition.Transition count delta: 109
Deduced a syphon composed of 109 places in 0 ms
Reduce places removed 109 places and 0 transitions.
Iterating global reduction 3 with 218 rules applied. Total rules applied 1156 place count 274 transition count 1249
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 1196 place count 234 transition count 1209
Iterating global reduction 3 with 40 rules applied. Total rules applied 1236 place count 234 transition count 1209
Applied a total of 1236 rules in 126 ms. Remains 234 /894 variables (removed 660) and now considering 1209/1824 (removed 615) transitions.
[2026-05-28 00:36:48] [INFO ] Flow matrix only has 878 transitions (discarded 331 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1540309502359481088.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-534960375629427956.kers'
[2026-05-28 00:36:48] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1540309502359481088.kers, --Pflows, --basisKERS=/tmp/petrispot-output-534960375629427956.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 878 rows 234 cols 2548 entries
Finished phase 1 with 108 SingleSign rule and 80 generalized
[2026-05-28 00:36:48] [INFO ] Computed 46 invariants in 5 ms
Computed 46 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-534960375629427956.kers
Total runtime 8 ms.
[2026-05-28 00:36:49] [INFO ] Implicit Places using invariants in 390 ms returned [2, 9, 14, 15, 21, 22, 28, 38, 43, 47, 48, 54, 58, 59, 65, 69, 74, 79, 84, 85, 91, 96, 100, 105, 106, 115, 120, 121, 127, 128, 134, 139, 140, 146, 147, 151, 153, 158, 163, 168, 174, 178, 183]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 392 ms to find 43 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 191/894 places, 1209/1824 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 150 transition count 1168
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 150 transition count 1168
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 122 place count 110 transition count 1128
Iterating global reduction 0 with 40 rules applied. Total rules applied 162 place count 110 transition count 1128
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 183 place count 89 transition count 1107
Iterating global reduction 0 with 21 rules applied. Total rules applied 204 place count 89 transition count 1107
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 214 place count 84 transition count 1102
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 216 place count 82 transition count 1100
Iterating global reduction 0 with 2 rules applied. Total rules applied 218 place count 82 transition count 1100
Applied a total of 218 rules in 34 ms. Remains 82 /191 variables (removed 109) and now considering 1100/1209 (removed 109) transitions.
[2026-05-28 00:36:49] [INFO ] Flow matrix only has 97 transitions (discarded 1003 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4765918842491887084.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5245068125244863498.kers'
[2026-05-28 00:36:49] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4765918842491887084.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5245068125244863498.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 97 rows 82 cols 246 entries
Finished phase 1 with 44 SingleSign rule and 35 generalized
[2026-05-28 00:36:49] [INFO ] Computed 3 invariants in 0 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5245068125244863498.kers
Total runtime 1 ms.
[2026-05-28 00:36:49] [INFO ] Implicit Places using invariants in 149 ms returned []
[2026-05-28 00:36:49] [INFO ] Flow matrix only has 97 transitions (discarded 1003 similar events)
[2026-05-28 00:36:49] [INFO ] Invariant cache hit.
[2026-05-28 00:36:49] [INFO ] Implicit Places using invariants and state equation in 301 ms returned []
Implicit Place search using SMT with State Equation took 452 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 82/894 places, 1100/1824 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1005 ms. Remains : 82/894 places, 1100/1824 transitions.
[2026-05-28 00:36:49] [INFO ] Flatten gal took : 14 ms
[2026-05-28 00:36:49] [INFO ] Flatten gal took : 19 ms
[2026-05-28 00:36:49] [INFO ] Input system was already deterministic with 1100 transitions.
[2026-05-28 00:36:49] [INFO ] Flatten gal took : 18 ms
[2026-05-28 00:36:49] [INFO ] Flatten gal took : 20 ms
[2026-05-28 00:36:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality8550371438945036881.gal : 5 ms
[2026-05-28 00:36:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality8429710364855677703.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/CTLCardinality8550371438945036881.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8429710364855677703.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,542152,10.6338,223720,2,38698,5,902473,6,0,1392,429659,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 00:37:20] [INFO ] Flatten gal took : 19 ms
[2026-05-28 00:37:20] [INFO ] Applying decomposition
[2026-05-28 00:37:20] [INFO ] Flatten gal took : 19 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/graph6489972692836437912.txt' '-o' '/tmp/graph6489972692836437912.bin' '-w' '/tmp/graph6489972692836437912.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6489972692836437912.bin' '-l' '-1' '-v' '-w' '/tmp/graph6489972692836437912.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:37:20] [INFO ] Decomposing Gal with order
[2026-05-28 00:37:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:37:20] [INFO ] Removed a total of 1000 redundant transitions.
[2026-05-28 00:37:20] [INFO ] Flatten gal took : 64 ms
[2026-05-28 00:37:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 107 labels/synchronizations in 7 ms.
[2026-05-28 00:37:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality10068649423312308256.gal : 3 ms
[2026-05-28 00:37:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality11240574332146873643.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/CTLCardinality10068649423312308256.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11240574332146873643.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,542152,1.08705,26560,2,3626,5,118841,6,0,934,71276,0
Converting to forward existential form...Done !
original formula: A((gu2.Node19WantsToManageTheBreakDownOfNode26<=gu2.Node22FailureProcessedByNode4) U AG((gu3.Node11WantsToManageTheBreakDownOfNode3<=gu3....197
=> equivalent forward existential formula: [((Init * !(EG(!(!(E(TRUE U !((gu3.Node11WantsToManageTheBreakDownOfNode3<=gu3.Node29WantsToManageTheBreakDownOf...496
Reverse transition relation is NOT exact ! Due to transitions gi0.gu0.t235, gi0.gu0.t236, gi0.gu0.t347, gi0.gu0.t348, gi0.gu0.t349, gi0.gu0.t350, gi0.gu0.t...7430
(forward)formula 0,0,9.3432,225688,1,0,1682,1.501e+06,1141,578,5934,1.20285e+06,1159
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-09 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Graph (complete) has 3488 edges and 894 vertex of which 854 are kept as prefixes of interest. Removing 40 places using SCC suffix rule.1 ms
Discarding 40 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 207 transitions
Trivial Post-agglo rules discarded 207 transitions
Performed 207 trivial Post agglomeration. Transition count delta: 207
Iterating post reduction 0 with 207 rules applied. Total rules applied 208 place count 854 transition count 1616
Reduce places removed 207 places and 0 transitions.
Iterating post reduction 1 with 207 rules applied. Total rules applied 415 place count 647 transition count 1616
Performed 66 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 66 Pre rules applied. Total rules applied 415 place count 647 transition count 1550
Deduced a syphon composed of 66 places in 0 ms
Reduce places removed 66 places and 0 transitions.
Iterating global reduction 2 with 132 rules applied. Total rules applied 547 place count 581 transition count 1550
Discarding 109 places :
Symmetric choice reduction at 2 with 109 rule applications. Total rules 656 place count 472 transition count 1441
Iterating global reduction 2 with 109 rules applied. Total rules applied 765 place count 472 transition count 1441
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 820 place count 417 transition count 1386
Iterating global reduction 2 with 55 rules applied. Total rules applied 875 place count 417 transition count 1386
Discarding 7 places :
Implicit places reduction removed 7 places
Iterating post reduction 2 with 7 rules applied. Total rules applied 882 place count 410 transition count 1386
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 7 Pre rules applied. Total rules applied 882 place count 410 transition count 1379
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 896 place count 403 transition count 1379
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 903 place count 396 transition count 1372
Iterating global reduction 3 with 7 rules applied. Total rules applied 910 place count 396 transition count 1372
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 917 place count 389 transition count 1365
Iterating global reduction 3 with 7 rules applied. Total rules applied 924 place count 389 transition count 1365
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 932 place count 381 transition count 1357
Iterating global reduction 3 with 8 rules applied. Total rules applied 940 place count 381 transition count 1357
Performed 109 Post agglomeration using F-continuation condition.Transition count delta: 109
Deduced a syphon composed of 109 places in 0 ms
Reduce places removed 109 places and 0 transitions.
Iterating global reduction 3 with 218 rules applied. Total rules applied 1158 place count 272 transition count 1248
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 1199 place count 231 transition count 1207
Iterating global reduction 3 with 41 rules applied. Total rules applied 1240 place count 231 transition count 1207
Applied a total of 1240 rules in 193 ms. Remains 231 /894 variables (removed 663) and now considering 1207/1824 (removed 617) transitions.
[2026-05-28 00:37:29] [INFO ] Flow matrix only has 875 transitions (discarded 332 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3007381112540618191.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14282884947512208980.kers'
[2026-05-28 00:37:29] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3007381112540618191.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14282884947512208980.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 875 rows 231 cols 2540 entries
Finished phase 1 with 107 SingleSign rule and 78 generalized
[2026-05-28 00:37:29] [INFO ] Computed 46 invariants in 5 ms
Computed 46 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-14282884947512208980.kers
Total runtime 7 ms.
[2026-05-28 00:37:30] [INFO ] Implicit Places using invariants in 443 ms returned [2, 9, 14, 15, 22, 23, 29, 30, 36, 41, 45, 46, 52, 56, 57, 63, 67, 71, 78, 83, 84, 90, 95, 99, 104, 105, 113, 118, 119, 125, 126, 132, 137, 138, 144, 145, 149, 151, 156, 161, 166, 171, 175, 180]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 447 ms to find 44 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 187/894 places, 1207/1824 transitions.
Discarding 42 places :
Symmetric choice reduction at 0 with 42 rule applications. Total rules 42 place count 145 transition count 1165
Iterating global reduction 0 with 42 rules applied. Total rules applied 84 place count 145 transition count 1165
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 125 place count 104 transition count 1124
Iterating global reduction 0 with 41 rules applied. Total rules applied 166 place count 104 transition count 1124
Discarding 21 places :
Symmetric choice reduction at 0 with 21 rule applications. Total rules 187 place count 83 transition count 1103
Iterating global reduction 0 with 21 rules applied. Total rules applied 208 place count 83 transition count 1103
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 216 place count 79 transition count 1099
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 218 place count 77 transition count 1097
Iterating global reduction 0 with 2 rules applied. Total rules applied 220 place count 77 transition count 1097
Applied a total of 220 rules in 56 ms. Remains 77 /187 variables (removed 110) and now considering 1097/1207 (removed 110) transitions.
[2026-05-28 00:37:30] [INFO ] Flow matrix only has 78 transitions (discarded 1019 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9665831334034751814.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13600198412609829744.kers'
[2026-05-28 00:37:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9665831334034751814.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13600198412609829744.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 78 rows 77 cols 189 entries
Finished phase 1 with 73 SingleSign rule and 2 generalized
[2026-05-28 00:37:30] [INFO ] Computed 2 invariants in 0 ms
Computed 2 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-13600198412609829744.kers
Total runtime 1 ms.
[2026-05-28 00:37:30] [INFO ] Implicit Places using invariants in 231 ms returned []
[2026-05-28 00:37:30] [INFO ] Flow matrix only has 78 transitions (discarded 1019 similar events)
[2026-05-28 00:37:30] [INFO ] Invariant cache hit.
[2026-05-28 00:37:30] [INFO ] Implicit Places using invariants and state equation in 367 ms returned []
Implicit Place search using SMT with State Equation took 600 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 77/894 places, 1097/1824 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1296 ms. Remains : 77/894 places, 1097/1824 transitions.
[2026-05-28 00:37:30] [INFO ] Flatten gal took : 18 ms
[2026-05-28 00:37:31] [INFO ] Flatten gal took : 24 ms
[2026-05-28 00:37:31] [INFO ] Input system was already deterministic with 1097 transitions.
[2026-05-28 00:37:31] [INFO ] Flatten gal took : 23 ms
[2026-05-28 00:37:31] [INFO ] Flatten gal took : 24 ms
[2026-05-28 00:37:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality2062962875418968167.gal : 6 ms
[2026-05-28 00:37:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality12181117965955677268.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/CTLCardinality2062962875418968167.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12181117965955677268.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,295146,6.58002,152184,2,32335,5,567258,6,0,1372,256811,0
Converting to forward existential form...Done !
original formula: E((Node2WantsToManageTheBreakDownOfNode32<=0) U (Node13ManageTheBreakDownOfNode1>Node9WantsToManageTheBreakDownOfNode25))
=> equivalent forward existential formula: [(FwdU(Init,(Node2WantsToManageTheBreakDownOfNode32<=0)) * (Node13ManageTheBreakDownOfNode1>Node9WantsToManageTh...185
Hit Full ! (commute/partial/dont) 1095/0/2
(forward)formula 0,1,10.568,158092,1,0,10,571352,15,1,2010,261609,4
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Graph (complete) has 3488 edges and 894 vertex of which 855 are kept as prefixes of interest. Removing 39 places using SCC suffix rule.1 ms
Discarding 39 places :
Also discarding 1 output transitions
Drop transitions (Output transitions of discarded places.) removed 1 transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 207 transitions
Trivial Post-agglo rules discarded 207 transitions
Performed 207 trivial Post agglomeration. Transition count delta: 207
Iterating post reduction 0 with 207 rules applied. Total rules applied 208 place count 855 transition count 1616
Reduce places removed 207 places and 0 transitions.
Iterating post reduction 1 with 207 rules applied. Total rules applied 415 place count 648 transition count 1616
Performed 67 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 67 Pre rules applied. Total rules applied 415 place count 648 transition count 1549
Deduced a syphon composed of 67 places in 0 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 2 with 134 rules applied. Total rules applied 549 place count 581 transition count 1549
Discarding 110 places :
Symmetric choice reduction at 2 with 110 rule applications. Total rules 659 place count 471 transition count 1439
Iterating global reduction 2 with 110 rules applied. Total rules applied 769 place count 471 transition count 1439
Discarding 54 places :
Symmetric choice reduction at 2 with 54 rule applications. Total rules 823 place count 417 transition count 1385
Iterating global reduction 2 with 54 rules applied. Total rules applied 877 place count 417 transition count 1385
Discarding 7 places :
Implicit places reduction removed 7 places
Iterating post reduction 2 with 7 rules applied. Total rules applied 884 place count 410 transition count 1385
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 7 Pre rules applied. Total rules applied 884 place count 410 transition count 1378
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 898 place count 403 transition count 1378
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 905 place count 396 transition count 1371
Iterating global reduction 3 with 7 rules applied. Total rules applied 912 place count 396 transition count 1371
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 919 place count 389 transition count 1364
Iterating global reduction 3 with 7 rules applied. Total rules applied 926 place count 389 transition count 1364
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 934 place count 381 transition count 1356
Iterating global reduction 3 with 8 rules applied. Total rules applied 942 place count 381 transition count 1356
Performed 109 Post agglomeration using F-continuation condition.Transition count delta: 109
Deduced a syphon composed of 109 places in 1 ms
Reduce places removed 109 places and 0 transitions.
Iterating global reduction 3 with 218 rules applied. Total rules applied 1160 place count 272 transition count 1247
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 1201 place count 231 transition count 1206
Iterating global reduction 3 with 41 rules applied. Total rules applied 1242 place count 231 transition count 1206
Applied a total of 1242 rules in 122 ms. Remains 231 /894 variables (removed 663) and now considering 1206/1824 (removed 618) transitions.
[2026-05-28 00:37:41] [INFO ] Flow matrix only has 873 transitions (discarded 333 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11153553591926364940.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17100217846812871875.kers'
[2026-05-28 00:37:41] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11153553591926364940.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17100217846812871875.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 873 rows 231 cols 2538 entries
Finished phase 1 with 105 SingleSign rule and 80 generalized
[2026-05-28 00:37:41] [INFO ] Computed 46 invariants in 5 ms
Computed 46 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-17100217846812871875.kers
Total runtime 6 ms.
[2026-05-28 00:37:42] [INFO ] Implicit Places using invariants in 337 ms returned [2, 9, 14, 15, 21, 22, 28, 29, 35, 40, 44, 45, 51, 55, 56, 62, 66, 70, 75, 80, 81, 87, 92, 96, 101, 102, 110, 115, 116, 126, 132, 137, 138, 144, 145, 149, 151, 156, 161, 166, 171, 175, 180]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 341 ms to find 43 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 188/894 places, 1206/1824 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 147 transition count 1165
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 147 transition count 1165
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 122 place count 107 transition count 1125
Iterating global reduction 0 with 40 rules applied. Total rules applied 162 place count 107 transition count 1125
Discarding 22 places :
Symmetric choice reduction at 0 with 22 rule applications. Total rules 184 place count 85 transition count 1103
Iterating global reduction 0 with 22 rules applied. Total rules applied 206 place count 85 transition count 1103
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 214 place count 81 transition count 1099
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 216 place count 79 transition count 1097
Iterating global reduction 0 with 2 rules applied. Total rules applied 218 place count 79 transition count 1097
Applied a total of 218 rules in 55 ms. Remains 79 /188 variables (removed 109) and now considering 1097/1206 (removed 109) transitions.
[2026-05-28 00:37:42] [INFO ] Flow matrix only has 91 transitions (discarded 1006 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4154551493469654845.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6938705288505785801.kers'
[2026-05-28 00:37:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4154551493469654845.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6938705288505785801.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 91 rows 79 cols 234 entries
Finished phase 1 with 41 SingleSign rule and 35 generalized
[2026-05-28 00:37:42] [INFO ] Computed 3 invariants in 1 ms
Computed 3 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-6938705288505785801.kers
Total runtime 1 ms.
[2026-05-28 00:37:42] [INFO ] Implicit Places using invariants in 249 ms returned []
[2026-05-28 00:37:42] [INFO ] Flow matrix only has 91 transitions (discarded 1006 similar events)
[2026-05-28 00:37:42] [INFO ] Invariant cache hit.
[2026-05-28 00:37:42] [INFO ] Implicit Places using invariants and state equation in 342 ms returned []
Implicit Place search using SMT with State Equation took 594 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 79/894 places, 1097/1824 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1113 ms. Remains : 79/894 places, 1097/1824 transitions.
[2026-05-28 00:37:42] [INFO ] Flatten gal took : 20 ms
[2026-05-28 00:37:42] [INFO ] Flatten gal took : 27 ms
[2026-05-28 00:37:43] [INFO ] Input system was already deterministic with 1097 transitions.
RANDOM walk for 1053 steps (80 resets) in 14 ms. (70 steps per ms) remains 0/1 properties
FORMULA LeafsetExtension-PT-S32C3-CTLCardinality-2024-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-28 00:37:43] [INFO ] Flatten gal took : 16 ms
[2026-05-28 00:37:43] [INFO ] Flatten gal took : 17 ms
[2026-05-28 00:37:43] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14077932057841432215.gal : 5 ms
[2026-05-28 00:37:43] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6356032381622703293.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14077932057841432215.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6356032381622703293.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 857 transition count 1824
Discarding 141 places :
Symmetric choice reduction at 1 with 141 rule applications. Total rules 178 place count 716 transition count 1683
Iterating global reduction 1 with 141 rules applied. Total rules applied 319 place count 716 transition count 1683
Discarding 112 places :
Symmetric choice reduction at 1 with 112 rule applications. Total rules 431 place count 604 transition count 1571
Iterating global reduction 1 with 112 rules applied. Total rules applied 543 place count 604 transition count 1571
Discarding 7 places :
Implicit places reduction removed 7 places
Iterating post reduction 1 with 7 rules applied. Total rules applied 550 place count 597 transition count 1571
Discarding 96 places :
Symmetric choice reduction at 2 with 96 rule applications. Total rules 646 place count 501 transition count 1475
Iterating global reduction 2 with 96 rules applied. Total rules applied 742 place count 501 transition count 1475
Discarding 33 places :
Implicit places reduction removed 33 places
Iterating post reduction 2 with 33 rules applied. Total rules applied 775 place count 468 transition count 1475
Discarding 105 places :
Symmetric choice reduction at 3 with 105 rule applications. Total rules 880 place count 363 transition count 1370
Iterating global reduction 3 with 105 rules applied. Total rules applied 985 place count 363 transition count 1370
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 1025 place count 323 transition count 1330
Iterating global reduction 3 with 40 rules applied. Total rules applied 1065 place count 323 transition count 1330
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 1105 place count 283 transition count 1290
Iterating global reduction 3 with 40 rules applied. Total rules applied 1145 place count 283 transition count 1290
Discarding 44 places :
Symmetric choice reduction at 3 with 44 rule applications. Total rules 1189 place count 239 transition count 1246
Iterating global reduction 3 with 44 rules applied. Total rules applied 1233 place count 239 transition count 1246
Discarding 51 places :
Symmetric choice reduction at 3 with 51 rule applications. Total rules 1284 place count 188 transition count 1195
Iterating global reduction 3 with 51 rules applied. Total rules applied 1335 place count 188 transition count 1195
Applied a total of 1335 rules in 164 ms. Remains 188 /894 variables (removed 706) and now considering 1195/1824 (removed 629) transitions.
[2026-05-28 00:37:43] [INFO ] Flow matrix only has 339 transitions (discarded 856 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7735852005465433505.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12725053269216354007.kers'
[2026-05-28 00:37:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7735852005465433505.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12725053269216354007.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 339 rows 188 cols 766 entries
Finished phase 1 with 122 SingleSign rule and 53 generalized
[2026-05-28 00:37:43] [INFO ] Computed 13 invariants in 3 ms
Computed 13 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-12725053269216354007.kers
Total runtime 4 ms.
[2026-05-28 00:37:43] [INFO ] Implicit Places using invariants in 362 ms returned [106, 118, 128, 146, 150]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 364 ms to find 5 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 183/894 places, 1195/1824 transitions.
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 11 place count 172 transition count 1184
Iterating global reduction 0 with 11 rules applied. Total rules applied 22 place count 172 transition count 1184
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 26 place count 168 transition count 1180
Iterating global reduction 0 with 4 rules applied. Total rules applied 30 place count 168 transition count 1180
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 34 place count 164 transition count 1176
Iterating global reduction 0 with 4 rules applied. Total rules applied 38 place count 164 transition count 1176
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 42 place count 160 transition count 1172
Iterating global reduction 0 with 4 rules applied. Total rules applied 46 place count 160 transition count 1172
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 50 place count 156 transition count 1168
Iterating global reduction 0 with 4 rules applied. Total rules applied 54 place count 156 transition count 1168
Applied a total of 54 rules in 35 ms. Remains 156 /183 variables (removed 27) and now considering 1168/1195 (removed 27) transitions.
[2026-05-28 00:37:43] [INFO ] Flow matrix only has 251 transitions (discarded 917 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15993208601644188624.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12662483109390515813.kers'
[2026-05-28 00:37:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15993208601644188624.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12662483109390515813.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 251 rows 156 cols 567 entries
Finished phase 1 with 102 SingleSign rule and 46 generalized
[2026-05-28 00:37:43] [INFO ] Computed 8 invariants in 1 ms
Computed 8 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-12662483109390515813.kers
Total runtime 2 ms.
[2026-05-28 00:37:43] [INFO ] Implicit Places using invariants in 307 ms returned []
[2026-05-28 00:37:43] [INFO ] Flow matrix only has 251 transitions (discarded 917 similar events)
[2026-05-28 00:37:43] [INFO ] Invariant cache hit.
[2026-05-28 00:37:44] [INFO ] Implicit Places using invariants and state equation in 825 ms returned []
Implicit Place search using SMT with State Equation took 1134 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 156/894 places, 1168/1824 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1697 ms. Remains : 156/894 places, 1168/1824 transitions.
[2026-05-28 00:37:44] [INFO ] Flatten gal took : 32 ms
[2026-05-28 00:37:44] [INFO ] Flatten gal took : 38 ms
[2026-05-28 00:37:44] [INFO ] Input system was already deterministic with 1168 transitions.
[2026-05-28 00:37:44] [INFO ] Flatten gal took : 37 ms
[2026-05-28 00:37:45] [INFO ] Flatten gal took : 38 ms
[2026-05-28 00:37:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality14353565613072748844.gal : 7 ms
[2026-05-28 00:37:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality13507402314516607123.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/CTLCardinality14353565613072748844.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13507402314516607123.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,5.25776e+07,19.0464,374536,2,45392,5,1.23126e+06,6,0,1752,1.00543e+06,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-28 00:38:15] [INFO ] Flatten gal took : 26 ms
[2026-05-28 00:38:15] [INFO ] Applying decomposition
[2026-05-28 00:38:15] [INFO ] Flatten gal took : 23 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/graph2758868497019116934.txt' '-o' '/tmp/graph2758868497019116934.bin' '-w' '/tmp/graph2758868497019116934.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2758868497019116934.bin' '-l' '-1' '-v' '-w' '/tmp/graph2758868497019116934.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:38:15] [INFO ] Decomposing Gal with order
[2026-05-28 00:38:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:38:15] [INFO ] Removed a total of 1040 redundant transitions.
[2026-05-28 00:38:15] [INFO ] Flatten gal took : 116 ms
[2026-05-28 00:38:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 102 labels/synchronizations in 18 ms.
[2026-05-28 00:38:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality15572240035009687838.gal : 9 ms
[2026-05-28 00:38:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality558540403080492814.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/CTLCardinality15572240035009687838.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality558540403080492814.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 894/894 places, 1824/1824 transitions.
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 857 transition count 1824
Discarding 149 places :
Symmetric choice reduction at 1 with 149 rule applications. Total rules 186 place count 708 transition count 1675
Iterating global reduction 1 with 149 rules applied. Total rules applied 335 place count 708 transition count 1675
Discarding 119 places :
Symmetric choice reduction at 1 with 119 rule applications. Total rules 454 place count 589 transition count 1556
Iterating global reduction 1 with 119 rules applied. Total rules applied 573 place count 589 transition count 1556
Discarding 8 places :
Implicit places reduction removed 8 places
Iterating post reduction 1 with 8 rules applied. Total rules applied 581 place count 581 transition count 1556
Discarding 102 places :
Symmetric choice reduction at 2 with 102 rule applications. Total rules 683 place count 479 transition count 1454
Iterating global reduction 2 with 102 rules applied. Total rules applied 785 place count 479 transition count 1454
Discarding 39 places :
Implicit places reduction removed 39 places
Iterating post reduction 2 with 39 rules applied. Total rules applied 824 place count 440 transition count 1454
Discarding 116 places :
Symmetric choice reduction at 3 with 116 rule applications. Total rules 940 place count 324 transition count 1338
Iterating global reduction 3 with 116 rules applied. Total rules applied 1056 place count 324 transition count 1338
Discarding 47 places :
Symmetric choice reduction at 3 with 47 rule applications. Total rules 1103 place count 277 transition count 1291
Iterating global reduction 3 with 47 rules applied. Total rules applied 1150 place count 277 transition count 1291
Discarding 47 places :
Symmetric choice reduction at 3 with 47 rule applications. Total rules 1197 place count 230 transition count 1244
Iterating global reduction 3 with 47 rules applied. Total rules applied 1244 place count 230 transition count 1244
Discarding 52 places :
Symmetric choice reduction at 3 with 52 rule applications. Total rules 1296 place count 178 transition count 1192
Iterating global reduction 3 with 52 rules applied. Total rules applied 1348 place count 178 transition count 1192
Discarding 59 places :
Symmetric choice reduction at 3 with 59 rule applications. Total rules 1407 place count 119 transition count 1133
Iterating global reduction 3 with 59 rules applied. Total rules applied 1466 place count 119 transition count 1133
Applied a total of 1466 rules in 160 ms. Remains 119 /894 variables (removed 775) and now considering 1133/1824 (removed 691) transitions.
[2026-05-28 00:38:45] [INFO ] Flow matrix only has 162 transitions (discarded 971 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11918837833927945916.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8424075469094539574.kers'
[2026-05-28 00:38:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11918837833927945916.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8424075469094539574.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 162 rows 119 cols 377 entries
Finished phase 1 with 73 SingleSign rule and 40 generalized
[2026-05-28 00:38:45] [INFO ] Computed 6 invariants in 1 ms
Computed 6 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-8424075469094539574.kers
Total runtime 2 ms.
[2026-05-28 00:38:45] [INFO ] Implicit Places using invariants in 183 ms returned [31]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 185 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 118/894 places, 1133/1824 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 117 transition count 1132
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 117 transition count 1132
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 116 transition count 1131
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 116 transition count 1131
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 115 transition count 1130
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 115 transition count 1130
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 114 transition count 1129
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 114 transition count 1129
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 10 place count 112 transition count 1127
Iterating global reduction 0 with 2 rules applied. Total rules applied 12 place count 112 transition count 1127
Applied a total of 12 rules in 20 ms. Remains 112 /118 variables (removed 6) and now considering 1127/1133 (removed 6) transitions.
[2026-05-28 00:38:45] [INFO ] Flow matrix only has 141 transitions (discarded 986 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1866594179410669228.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5242397577580851532.kers'
[2026-05-28 00:38:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1866594179410669228.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5242397577580851532.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 141 rows 112 cols 331 entries
Finished phase 1 with 68 SingleSign rule and 39 generalized
[2026-05-28 00:38:45] [INFO ] Computed 5 invariants in 1 ms
Computed 5 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5242397577580851532.kers
Total runtime 1 ms.
[2026-05-28 00:38:46] [INFO ] Implicit Places using invariants in 170 ms returned []
[2026-05-28 00:38:46] [INFO ] Flow matrix only has 141 transitions (discarded 986 similar events)
[2026-05-28 00:38:46] [INFO ] Invariant cache hit.
[2026-05-28 00:38:46] [INFO ] Implicit Places using invariants and state equation in 615 ms returned []
Implicit Place search using SMT with State Equation took 787 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 112/894 places, 1127/1824 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1154 ms. Remains : 112/894 places, 1127/1824 transitions.
[2026-05-28 00:38:46] [INFO ] Flatten gal took : 31 ms
[2026-05-28 00:38:46] [INFO ] Flatten gal took : 37 ms
[2026-05-28 00:38:46] [INFO ] Input system was already deterministic with 1127 transitions.
[2026-05-28 00:38:46] [INFO ] Flatten gal took : 37 ms
[2026-05-28 00:38:46] [INFO ] Flatten gal took : 37 ms
[2026-05-28 00:38:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality10767651957924448877.gal : 7 ms
[2026-05-28 00:38:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality2661740048510204198.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/CTLCardinality10767651957924448877.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2661740048510204198.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 00:39:16] [INFO ] Flatten gal took : 23 ms
[2026-05-28 00:39:16] [INFO ] Applying decomposition
[2026-05-28 00:39:17] [INFO ] Flatten gal took : 24 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/graph10100600500317705425.txt' '-o' '/tmp/graph10100600500317705425.bin' '-w' '/tmp/graph10100600500317705425.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10100600500317705425.bin' '-l' '-1' '-v' '-w' '/tmp/graph10100600500317705425.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:39:17] [INFO ] Decomposing Gal with order
[2026-05-28 00:39:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:39:17] [INFO ] Removed a total of 1097 redundant transitions.
[2026-05-28 00:39:17] [INFO ] Flatten gal took : 58 ms
[2026-05-28 00:39:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 190 labels/synchronizations in 21 ms.
[2026-05-28 00:39:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality678968588688935564.gal : 5 ms
[2026-05-28 00:39:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality1315601996472289095.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/CTLCardinality678968588688935564.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1315601996472289095.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,1.07168e+07,3.97735,88128,2,12364,5,345354,6,0,1043,246264,0
Converting to forward existential form...Done !
original formula: EG(((gi1.gu14.Node7FailureProcessedByNode21>=1) + AX((((gi3.gi0.gu7.Node8ManageTheBreakDownOfNode17<1)&&(gu11.Node21IsActive>gu11.NoNodeM...240
=> equivalent forward existential formula: [FwdG(Init,((gi1.gu14.Node7FailureProcessedByNode21>=1) + !(EX(!((((gi3.gi0.gu7.Node8ManageTheBreakDownOfNode17<...295
Reverse transition relation is NOT exact ! Due to transitions gi0.gu0.t1, gi0.gu0.t6, gi0.gu0.t7, gi0.gu0.t8, gi0.gu0.t9, gi0.gu0.t10, gi0.gu0.t11, gi0.gu0...6788
Detected timeout of ITS tools.
[2026-05-28 00:39:47] [INFO ] Flatten gal took : 36 ms
[2026-05-28 00:39:47] [INFO ] Flatten gal took : 37 ms
[2026-05-28 00:39:47] [INFO ] Applying decomposition
[2026-05-28 00:39:47] [INFO ] Flatten gal took : 40 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/graph5178477065137180901.txt' '-o' '/tmp/graph5178477065137180901.bin' '-w' '/tmp/graph5178477065137180901.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5178477065137180901.bin' '-l' '-1' '-v' '-w' '/tmp/graph5178477065137180901.weights' '-q' '0' '-e' '0.001'
[2026-05-28 00:39:47] [INFO ] Decomposing Gal with order
[2026-05-28 00:39:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-28 00:39:47] [INFO ] Removed a total of 1516 redundant transitions.
[2026-05-28 00:39:47] [INFO ] Flatten gal took : 210 ms
[2026-05-28 00:39:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 211 labels/synchronizations in 84 ms.
[2026-05-28 00:39:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality1944899122165534282.gal : 13 ms
[2026-05-28 00:39:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality13645296122572363255.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/CTLCardinality1944899122165534282.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13645296122572363255.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 2 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 01:02:20] [INFO ] Flatten gal took : 1690 ms
[2026-05-28 01:02:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality15794392811931656207.gal : 147 ms
[2026-05-28 01:02:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality9705566423012210858.ctl : 22 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/CTLCardinality15794392811931656207.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9705566423012210858.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 2 CTL formulae.
Detected timeout of ITS tools.
[2026-05-28 01:24:52] [INFO ] Flatten gal took : 1519 ms
[2026-05-28 01:24:59] [INFO ] Input system was already deterministic with 1824 transitions.
[2026-05-28 01:25:00] [INFO ] Transformed 894 places.
[2026-05-28 01:25:00] [INFO ] Transformed 1824 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2026-05-28 01:25:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality12146276652175344434.gal : 92 ms
[2026-05-28 01:25:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality8322876358590934837.ctl : 14 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/CTLCardinality12146276652175344434.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8322876358590934837.ctl' '--load-order' '/home/mcc/execution/model.ord' '--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 -...329
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 2 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S32C3"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is LeafsetExtension-PT-S32C3, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r162-smll-177961107900505"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S32C3.tgz
mv LeafsetExtension-PT-S32C3 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;