About the Execution of ITS-Tools for Champagne-PT-H10T2O
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5461.792 | 3600000.00 | 3858286.00 | 8710.90 | ?T?????TF??F???? | 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.r050-smll-177946901100162.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 Champagne-PT-H10T2O, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r050-smll-177946901100162
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.2K Mar 6 10:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Mar 6 10:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Mar 6 10:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K Mar 6 10:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 08:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 08:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 15 08:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 08:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Mar 6 10:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Mar 6 10:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Mar 6 10:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Mar 6 10:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 08:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 15 08:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 791K 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 Champagne-PT-H10T2O-CTLFireability-2024-00
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-01
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-02
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-03
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-04
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-05
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-06
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-07
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-08
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-09
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-10
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-11
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-12
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-13
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-14
FORMULA_NAME Champagne-PT-H10T2O-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779550417563
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Champagne-PT-H10T2O
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-23 15:33:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-23 15:33:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-23 15:33:40] [INFO ] Load time of PNML (sax parser for PT used): 483 ms
[2026-05-23 15:33:40] [INFO ] Transformed 2393 places.
[2026-05-23 15:33:40] [INFO ] Transformed 3452 transitions.
[2026-05-23 15:33:40] [INFO ] Found NUPN structural information;
[2026-05-23 15:33:40] [INFO ] Parsed PT model containing 2393 places and 3452 transitions and 8894 arcs in 760 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 51 ms.
Support contains 186 out of 2393 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 2393/2393 places, 3452/3452 transitions.
Discarding 397 places :
Symmetric choice reduction at 0 with 397 rule applications. Total rules 397 place count 1996 transition count 3055
Iterating global reduction 0 with 397 rules applied. Total rules applied 794 place count 1996 transition count 3055
Discarding 258 places :
Symmetric choice reduction at 0 with 258 rule applications. Total rules 1052 place count 1738 transition count 2797
Iterating global reduction 0 with 258 rules applied. Total rules applied 1310 place count 1738 transition count 2797
Discarding 150 places :
Symmetric choice reduction at 0 with 150 rule applications. Total rules 1460 place count 1588 transition count 2647
Iterating global reduction 0 with 150 rules applied. Total rules applied 1610 place count 1588 transition count 2647
Applied a total of 1610 rules in 1306 ms. Remains 1588 /2393 variables (removed 805) and now considering 2647/3452 (removed 805) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-17123927865312678866.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-768828243163331627.kers'
[2026-05-23 15:33:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17123927865312678866.kers, --Pflows, --basisKERS=/tmp/petrispot-output-768828243163331627.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2647 rows 1588 cols 7284 entries
Finished phase 1 with 1525 SingleSign rule and 0 generalized
[2026-05-23 15:33:42] [INFO ] Computed 63 invariants in 13 ms
Computed 63 P flows in 14 ms.
Exported basis to /tmp/petrispot-output-768828243163331627.kers
Total runtime 18 ms.
[2026-05-23 15:33:44] [INFO ] Implicit Places using invariants in 1940 ms returned []
[2026-05-23 15:33:44] [INFO ] Invariant cache hit.
[2026-05-23 15:33:46] [INFO ] Implicit Places using invariants and state equation in 2441 ms returned []
Implicit Place search using SMT with State Equation took 4450 ms to find 0 implicit places.
Running 2646 sub problems to find dead transitions.
[2026-05-23 15:33:46] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1587/4235 variables, and 0 constraints, problems are : Problem set: 0 solved, 2646 unsolved in 30196 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1588 constraints, PredecessorRefiner: 2646/2645 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2646 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1587/4235 variables, and 0 constraints, problems are : Problem set: 0 solved, 2646 unsolved in 30094 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1588 constraints, PredecessorRefiner: 1/2645 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 62123ms problems are : Problem set: 0 solved, 2646 unsolved
Search for dead transitions found 0 dead transitions in 62218ms
Starting structural reductions in LTL mode, iteration 1 : 1588/2393 places, 2647/3452 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 68074 ms. Remains : 1588/2393 places, 2647/3452 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Applied a total of 0 rules in 118 ms. Remains 1588 /1588 variables (removed 0) and now considering 2647/2647 (removed 0) transitions.
[2026-05-23 15:34:49] [INFO ] Invariant cache hit.
[2026-05-23 15:34:50] [INFO ] Implicit Places using invariants in 932 ms returned []
[2026-05-23 15:34:50] [INFO ] Invariant cache hit.
[2026-05-23 15:34:52] [INFO ] Implicit Places using invariants and state equation in 2140 ms returned []
Implicit Place search using SMT with State Equation took 3076 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 3196 ms. Remains : 1588/1588 places, 2647/2647 transitions.
Support contains 186 out of 1588 places after structural reductions.
[2026-05-23 15:34:53] [INFO ] Flatten gal took : 338 ms
[2026-05-23 15:34:53] [INFO ] Flatten gal took : 145 ms
[2026-05-23 15:34:53] [INFO ] Input system was already deterministic with 2647 transitions.
Support contains 184 out of 1588 places (down from 186) after GAL structural reductions.
RANDOM walk for 40000 steps (18 resets) in 2332 ms. (17 steps per ms) remains 12/136 properties
BEST_FIRST walk for 40004 steps (8 resets) in 200 ms. (199 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 99 ms. (400 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 93 ms. (425 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 200 ms. (199 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 103 ms. (384 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 123 ms. (322 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 111 ms. (357 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 209 ms. (190 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 118 ms. (336 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 81 ms. (487 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 88 ms. (449 steps per ms) remains 12/12 properties
BEST_FIRST walk for 40004 steps (8 resets) in 84 ms. (470 steps per ms) remains 12/12 properties
[2026-05-23 15:34:54] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/29 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 12 unsolved
Problem AtomicPropp126 is UNSAT
At refinement iteration 1 (OVERLAPS) 659/688 variables, 25/25 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/688 variables, 3/28 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/688 variables, 0/28 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 4 (OVERLAPS) 900/1588 variables, 38/66 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1588 variables, 0/66 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 6 (OVERLAPS) 2647/4235 variables, 1588/1654 constraints. Problems are: Problem set: 1 solved, 11 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4235/4235 variables, and 1654 constraints, problems are : Problem set: 1 solved, 11 unsolved in 5011 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 1588/1588 constraints, PredecessorRefiner: 12/12 constraints, Known Traps: 3/3 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 11 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/27 variables, 0/0 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 1 (OVERLAPS) 661/688 variables, 25/25 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/688 variables, 3/28 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/688 variables, 0/28 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 4 (OVERLAPS) 900/1588 variables, 38/66 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1588 variables, 1/67 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/1588 variables, 0/67 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 7 (OVERLAPS) 2647/4235 variables, 1588/1655 constraints. Problems are: Problem set: 1 solved, 11 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/4235 variables, 11/1666 constraints. Problems are: Problem set: 1 solved, 11 unsolved
SMT process timed out in 10673ms, After SMT, problems are : Problem set: 1 solved, 11 unsolved
Fused 11 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 27 out of 1588 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Graph (trivial) has 1620 edges and 1588 vertex of which 878 / 1588 are part of one of the 60 SCC in 20 ms
Free SCC test removed 818 places
Drop transitions (Empty/Sink Transition effects.) removed 957 transitions
Reduce isomorphic transitions removed 957 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 260 transitions
Trivial Post-agglo rules discarded 260 transitions
Performed 260 trivial Post agglomeration. Transition count delta: 260
Iterating post reduction 0 with 260 rules applied. Total rules applied 261 place count 770 transition count 1430
Reduce places removed 260 places and 0 transitions.
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 59 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 55 transitions
Trivial Post-agglo rules discarded 55 transitions
Performed 55 trivial Post agglomeration. Transition count delta: 55
Iterating post reduction 1 with 374 rules applied. Total rules applied 635 place count 510 transition count 1316
Reduce places removed 55 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 2 with 65 rules applied. Total rules applied 700 place count 455 transition count 1306
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 710 place count 445 transition count 1306
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 18 Pre rules applied. Total rules applied 710 place count 445 transition count 1288
Deduced a syphon composed of 18 places in 2 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 4 with 36 rules applied. Total rules applied 746 place count 427 transition count 1288
Discarding 43 places :
Symmetric choice reduction at 4 with 43 rule applications. Total rules 789 place count 384 transition count 1091
Iterating global reduction 4 with 43 rules applied. Total rules applied 832 place count 384 transition count 1091
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 4 with 21 rules applied. Total rules applied 853 place count 384 transition count 1070
Performed 130 Post agglomeration using F-continuation condition.Transition count delta: 130
Deduced a syphon composed of 130 places in 1 ms
Reduce places removed 130 places and 0 transitions.
Iterating global reduction 5 with 260 rules applied. Total rules applied 1113 place count 254 transition count 940
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1114 place count 254 transition count 939
Discarding 11 places :
Symmetric choice reduction at 6 with 11 rule applications. Total rules 1125 place count 243 transition count 840
Iterating global reduction 6 with 11 rules applied. Total rules applied 1136 place count 243 transition count 840
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 6 with 11 rules applied. Total rules applied 1147 place count 243 transition count 829
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: -126
Deduced a syphon composed of 14 places in 1 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 7 with 28 rules applied. Total rules applied 1175 place count 229 transition count 955
Drop transitions (Empty/Sink Transition effects.) removed 116 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 120 transitions.
Iterating post reduction 7 with 120 rules applied. Total rules applied 1295 place count 229 transition count 835
Discarding 4 places :
Symmetric choice reduction at 8 with 4 rule applications. Total rules 1299 place count 225 transition count 779
Iterating global reduction 8 with 4 rules applied. Total rules applied 1303 place count 225 transition count 779
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 1307 place count 225 transition count 775
Drop transitions (Redundant composition of simpler transitions.) removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 9 with 16 rules applied. Total rules applied 1323 place count 225 transition count 759
Free-agglomeration rule applied 105 times.
Iterating global reduction 9 with 105 rules applied. Total rules applied 1428 place count 225 transition count 654
Reduce places removed 105 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 322 transitions
Reduce isomorphic transitions removed 322 transitions.
Iterating post reduction 9 with 427 rules applied. Total rules applied 1855 place count 120 transition count 332
Ensure Unique test removed 3 places
Iterating post reduction 10 with 3 rules applied. Total rules applied 1858 place count 117 transition count 332
Drop transitions (Redundant composition of simpler transitions.) removed 54 transitions
Redundant transition composition rules discarded 54 transitions
Iterating global reduction 11 with 54 rules applied. Total rules applied 1912 place count 117 transition count 278
Free-agglomeration rule applied 1 times.
Iterating global reduction 11 with 1 rules applied. Total rules applied 1913 place count 117 transition count 277
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 1914 place count 116 transition count 277
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 12 with 4 rules applied. Total rules applied 1918 place count 116 transition count 277
Applied a total of 1918 rules in 526 ms. Remains 116 /1588 variables (removed 1472) and now considering 277/2647 (removed 2370) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 527 ms. Remains : 116/1588 places, 277/2647 transitions.
RANDOM walk for 40000 steps (8 resets) in 844 ms. (47 steps per ms) remains 3/11 properties
BEST_FIRST walk for 40004 steps (8 resets) in 154 ms. (258 steps per ms) remains 2/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 163 ms. (243 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 141 ms. (281 steps per ms) remains 2/2 properties
[2026-05-23 15:35:06] [INFO ] Flow matrix only has 137 transitions (discarded 140 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11976494401751113343.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17013418873275298260.kers'
[2026-05-23 15:35:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11976494401751113343.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17013418873275298260.kers]
Culling duplicate invariants (modulo rational): removing 33 columns.
Culled 33 columns in 0 ms.
// Phase 1: matrix 137 rows 83 cols 446 entries
Finished phase 1 with 56 SingleSign rule and 0 generalized
[2026-05-23 15:35:06] [INFO ] Computed 60 invariants in 0 ms
Computed 60 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-17013418873275298260.kers
Total runtime 1 ms.
[2026-05-23 15:35:06] [INFO ] State equation strengthened by 24 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 3/5 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 111/116 variables, 58/60 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/116 variables, 1/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/116 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 137/253 variables, 116/177 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/253 variables, 24/201 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/253 variables, 0/201 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 9 (OVERLAPS) 0/253 variables, 0/201 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 253/253 variables, and 201 constraints, problems are : Problem set: 0 solved, 2 unsolved in 234 ms.
Refiners :[Positive P Invariants (semi-flows): 60/60 constraints, State Equation: 116/116 constraints, ReadFeed: 24/24 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 3/5 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 111/116 variables, 58/60 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/116 variables, 1/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/116 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 137/253 variables, 116/177 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/253 variables, 24/201 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/253 variables, 2/203 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/253 variables, 0/203 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 0/253 variables, 0/203 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 253/253 variables, and 203 constraints, problems are : Problem set: 0 solved, 2 unsolved in 202 ms.
Refiners :[Positive P Invariants (semi-flows): 60/60 constraints, State Equation: 116/116 constraints, ReadFeed: 24/24 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 452ms problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Finished Parikh walk after 16 steps, including 0 resets, run visited all 2 properties in 2 ms. (steps per millisecond=8 )
Parikh walk visited 2 properties in 8 ms.
Successfully simplified 1 atomic propositions for a total of 16 simplifications.
[2026-05-23 15:35:07] [INFO ] Flatten gal took : 82 ms
[2026-05-23 15:35:07] [INFO ] Flatten gal took : 75 ms
[2026-05-23 15:35:07] [INFO ] Input system was already deterministic with 2647 transitions.
Computed a total of 87 stabilizing places and 87 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 1520 transition count 2579
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 1520 transition count 2579
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 182 place count 1474 transition count 2533
Iterating global reduction 0 with 46 rules applied. Total rules applied 228 place count 1474 transition count 2533
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 245 place count 1457 transition count 2516
Iterating global reduction 0 with 17 rules applied. Total rules applied 262 place count 1457 transition count 2516
Applied a total of 262 rules in 296 ms. Remains 1457 /1588 variables (removed 131) and now considering 2516/2647 (removed 131) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15853597701411228942.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15008900573971691895.kers'
[2026-05-23 15:35:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15853597701411228942.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15008900573971691895.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2516 rows 1457 cols 7022 entries
Finished phase 1 with 1394 SingleSign rule and 0 generalized
[2026-05-23 15:35:07] [INFO ] Computed 63 invariants in 12 ms
Computed 63 P flows in 13 ms.
Exported basis to /tmp/petrispot-output-15008900573971691895.kers
Total runtime 15 ms.
[2026-05-23 15:35:08] [INFO ] Implicit Places using invariants in 706 ms returned []
[2026-05-23 15:35:08] [INFO ] Invariant cache hit.
[2026-05-23 15:35:10] [INFO ] Implicit Places using invariants and state equation in 1990 ms returned []
Implicit Place search using SMT with State Equation took 2698 ms to find 0 implicit places.
Running 2515 sub problems to find dead transitions.
[2026-05-23 15:35:10] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1456/3973 variables, and 0 constraints, problems are : Problem set: 0 solved, 2515 unsolved in 30085 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1457 constraints, PredecessorRefiner: 2515/2514 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2515 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1456/3973 variables, and 0 constraints, problems are : Problem set: 0 solved, 2515 unsolved in 30086 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1457 constraints, PredecessorRefiner: 1/2514 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61319ms problems are : Problem set: 0 solved, 2515 unsolved
Search for dead transitions found 0 dead transitions in 61334ms
Starting structural reductions in LTL mode, iteration 1 : 1457/1588 places, 2516/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64349 ms. Remains : 1457/1588 places, 2516/2647 transitions.
[2026-05-23 15:36:11] [INFO ] Flatten gal took : 87 ms
[2026-05-23 15:36:12] [INFO ] Flatten gal took : 91 ms
[2026-05-23 15:36:12] [INFO ] Input system was already deterministic with 2516 transitions.
[2026-05-23 15:36:12] [INFO ] Flatten gal took : 84 ms
[2026-05-23 15:36:12] [INFO ] Flatten gal took : 88 ms
[2026-05-23 15:36:12] [INFO ] Time to serialize gal into /tmp/CTLFireability7623762452147829701.gal : 59 ms
[2026-05-23 15:36:12] [INFO ] Time to serialize properties into /tmp/CTLFireability8448292766383164462.ctl : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7623762452147829701.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8448292766383164462.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:36:42] [INFO ] Flatten gal took : 46 ms
[2026-05-23 15:36:42] [INFO ] Applying decomposition
[2026-05-23 15:36:42] [INFO ] Flatten gal took : 46 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/graph14356805462707345447.txt' '-o' '/tmp/graph14356805462707345447.bin' '-w' '/tmp/graph14356805462707345447.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14356805462707345447.bin' '-l' '-1' '-v' '-w' '/tmp/graph14356805462707345447.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:36:43] [INFO ] Decomposing Gal with order
[2026-05-23 15:36:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:36:43] [INFO ] Removed a total of 2081 redundant transitions.
[2026-05-23 15:36:44] [INFO ] Flatten gal took : 469 ms
[2026-05-23 15:36:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 86 labels/synchronizations in 52 ms.
[2026-05-23 15:36:44] [INFO ] Time to serialize gal into /tmp/CTLFireability15684698172910070444.gal : 37 ms
[2026-05-23 15:36:44] [INFO ] Time to serialize properties into /tmp/CTLFireability18328209614312171761.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/CTLFireability15684698172910070444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18328209614312171761.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
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.64757e+84,8.84666,192912,8791,20,100333,959,2411,2.07027e+06,48,1527,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Graph (trivial) has 1680 edges and 1588 vertex of which 996 / 1588 are part of one of the 63 SCC in 5 ms
Free SCC test removed 933 places
Ensure Unique test removed 1028 transitions
Reduce isomorphic transitions removed 1028 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 222 transitions
Trivial Post-agglo rules discarded 222 transitions
Performed 222 trivial Post agglomeration. Transition count delta: 222
Iterating post reduction 0 with 222 rules applied. Total rules applied 223 place count 654 transition count 1396
Reduce places removed 222 places and 0 transitions.
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 61 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 1 with 339 rules applied. Total rules applied 562 place count 432 transition count 1279
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 2 with 56 rules applied. Total rules applied 618 place count 376 transition count 1279
Discarding 61 places :
Symmetric choice reduction at 3 with 61 rule applications. Total rules 679 place count 315 transition count 955
Iterating global reduction 3 with 61 rules applied. Total rules applied 740 place count 315 transition count 955
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 3 with 32 rules applied. Total rules applied 772 place count 315 transition count 923
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 773 place count 314 transition count 913
Iterating global reduction 4 with 1 rules applied. Total rules applied 774 place count 314 transition count 913
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 775 place count 314 transition count 912
Performed 121 Post agglomeration using F-continuation condition.Transition count delta: 121
Deduced a syphon composed of 121 places in 0 ms
Reduce places removed 121 places and 0 transitions.
Iterating global reduction 5 with 242 rules applied. Total rules applied 1017 place count 193 transition count 791
Discarding 15 places :
Symmetric choice reduction at 5 with 15 rule applications. Total rules 1032 place count 178 transition count 646
Iterating global reduction 5 with 15 rules applied. Total rules applied 1047 place count 178 transition count 646
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 5 with 15 rules applied. Total rules applied 1062 place count 178 transition count 631
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1064 place count 176 transition count 629
Applied a total of 1064 rules in 134 ms. Remains 176 /1588 variables (removed 1412) and now considering 629/2647 (removed 2018) transitions.
[2026-05-23 15:37:14] [INFO ] Flow matrix only has 165 transitions (discarded 464 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10930928899771510669.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3731404281891755480.kers'
[2026-05-23 15:37:14] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10930928899771510669.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3731404281891755480.kers]
Normalized transition count is 164 out of 165 initially.
Culling duplicate invariants (modulo rational): removing 14 columns.
Culled 14 columns in 0 ms.
// Phase 1: matrix 164 rows 162 cols 424 entries
Finished phase 1 with 113 SingleSign rule and 0 generalized
[2026-05-23 15:37:14] [INFO ] Computed 63 invariants in 2 ms
Computed 63 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-3731404281891755480.kers
Total runtime 6 ms.
[2026-05-23 15:37:14] [INFO ] Implicit Places using invariants in 250 ms returned []
[2026-05-23 15:37:14] [INFO ] Flow matrix only has 165 transitions (discarded 464 similar events)
[2026-05-23 15:37:14] [INFO ] Invariant cache hit.
[2026-05-23 15:37:14] [INFO ] Implicit Places using invariants and state equation in 318 ms returned []
Implicit Place search using SMT with State Equation took 570 ms to find 0 implicit places.
[2026-05-23 15:37:15] [INFO ] Redundant transitions in 42 ms returned []
Running 453 sub problems to find dead transitions.
[2026-05-23 15:37:15] [INFO ] Flow matrix only has 165 transitions (discarded 464 similar events)
[2026-05-23 15:37:15] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/174 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 2 (OVERLAPS) 2/176 variables, 2/63 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/176 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 4 (OVERLAPS) 164/340 variables, 176/239 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/340 variables, 0/239 constraints. Problems are: Problem set: 0 solved, 453 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 340/341 variables, and 239 constraints, problems are : Problem set: 0 solved, 453 unsolved in 30021 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 176/176 constraints, PredecessorRefiner: 453/452 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 453 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/174 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/174 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 2 (OVERLAPS) 2/176 variables, 2/63 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/176 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 4 (OVERLAPS) 164/340 variables, 176/239 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/340 variables, 452/691 constraints. Problems are: Problem set: 0 solved, 453 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/340 variables, 0/691 constraints. Problems are: Problem set: 0 solved, 453 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 340/341 variables, and 691 constraints, problems are : Problem set: 0 solved, 453 unsolved in 30024 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 176/176 constraints, PredecessorRefiner: 453/452 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60141ms problems are : Problem set: 0 solved, 453 unsolved
Search for dead transitions found 0 dead transitions in 60143ms
Starting structural reductions in SI_CTL mode, iteration 1 : 176/1588 places, 629/2647 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 60900 ms. Remains : 176/1588 places, 629/2647 transitions.
[2026-05-23 15:38:15] [INFO ] Flatten gal took : 25 ms
[2026-05-23 15:38:15] [INFO ] Flatten gal took : 28 ms
[2026-05-23 15:38:15] [INFO ] Input system was already deterministic with 629 transitions.
RANDOM walk for 1895 steps (16 resets) in 81 ms. (23 steps per ms) remains 0/1 properties
FORMULA Champagne-PT-H10T2O-CTLFireability-2024-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-23 15:38:15] [INFO ] Flatten gal took : 28 ms
[2026-05-23 15:38:15] [INFO ] Flatten gal took : 20 ms
[2026-05-23 15:38:15] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8075248397649180407.gal : 7 ms
[2026-05-23 15:38:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4689981483246127773.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/ReachabilityCardinality8075248397649180407.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4689981483246127773.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 : 1588/1588 places, 2647/2647 transitions.
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 69 place count 1519 transition count 2578
Iterating global reduction 0 with 69 rules applied. Total rules applied 138 place count 1519 transition count 2578
Discarding 45 places :
Symmetric choice reduction at 0 with 45 rule applications. Total rules 183 place count 1474 transition count 2533
Iterating global reduction 0 with 45 rules applied. Total rules applied 228 place count 1474 transition count 2533
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 245 place count 1457 transition count 2516
Iterating global reduction 0 with 17 rules applied. Total rules applied 262 place count 1457 transition count 2516
Applied a total of 262 rules in 533 ms. Remains 1457 /1588 variables (removed 131) and now considering 2516/2647 (removed 131) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4909357369156909144.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1375451809315482554.kers'
[2026-05-23 15:38:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4909357369156909144.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1375451809315482554.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 2516 rows 1457 cols 7022 entries
Finished phase 1 with 1394 SingleSign rule and 0 generalized
[2026-05-23 15:38:15] [INFO ] Computed 63 invariants in 19 ms
Computed 63 P flows in 20 ms.
Exported basis to /tmp/petrispot-output-1375451809315482554.kers
Total runtime 25 ms.
[2026-05-23 15:38:17] [INFO ] Implicit Places using invariants in 1083 ms returned []
[2026-05-23 15:38:17] [INFO ] Invariant cache hit.
[2026-05-23 15:38:18] [INFO ] Implicit Places using invariants and state equation in 1925 ms returned []
Implicit Place search using SMT with State Equation took 3011 ms to find 0 implicit places.
Running 2515 sub problems to find dead transitions.
[2026-05-23 15:38:18] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1456/3973 variables, and 0 constraints, problems are : Problem set: 0 solved, 2515 unsolved in 30086 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1457 constraints, PredecessorRefiner: 2515/2514 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2515 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1456/3973 variables, and 0 constraints, problems are : Problem set: 0 solved, 2515 unsolved in 30055 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1457 constraints, PredecessorRefiner: 1/2514 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61071ms problems are : Problem set: 0 solved, 2515 unsolved
Search for dead transitions found 0 dead transitions in 61077ms
Starting structural reductions in LTL mode, iteration 1 : 1457/1588 places, 2516/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64630 ms. Remains : 1457/1588 places, 2516/2647 transitions.
[2026-05-23 15:39:20] [INFO ] Flatten gal took : 45 ms
[2026-05-23 15:39:20] [INFO ] Flatten gal took : 50 ms
[2026-05-23 15:39:20] [INFO ] Input system was already deterministic with 2516 transitions.
[2026-05-23 15:39:20] [INFO ] Flatten gal took : 45 ms
[2026-05-23 15:39:20] [INFO ] Flatten gal took : 49 ms
[2026-05-23 15:39:20] [INFO ] Time to serialize gal into /tmp/CTLFireability5808191012414282669.gal : 15 ms
[2026-05-23 15:39:20] [INFO ] Time to serialize properties into /tmp/CTLFireability3748947420178812859.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/CTLFireability5808191012414282669.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3748947420178812859.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:39:50] [INFO ] Flatten gal took : 99 ms
[2026-05-23 15:39:50] [INFO ] Applying decomposition
[2026-05-23 15:39:50] [INFO ] Flatten gal took : 75 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/graph5372125508126672159.txt' '-o' '/tmp/graph5372125508126672159.bin' '-w' '/tmp/graph5372125508126672159.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5372125508126672159.bin' '-l' '-1' '-v' '-w' '/tmp/graph5372125508126672159.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:39:50] [INFO ] Decomposing Gal with order
[2026-05-23 15:39:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:39:51] [INFO ] Removed a total of 2072 redundant transitions.
[2026-05-23 15:39:51] [INFO ] Flatten gal took : 120 ms
[2026-05-23 15:39:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 94 labels/synchronizations in 47 ms.
[2026-05-23 15:39:51] [INFO ] Time to serialize gal into /tmp/CTLFireability10888068737436716132.gal : 26 ms
[2026-05-23 15:39:51] [INFO ] Time to serialize properties into /tmp/CTLFireability15920239017894252007.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/CTLFireability10888068737436716132.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15920239017894252007.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
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.61789e+84,6.27485,134708,23165,20,161569,1016,2376,573546,46,1624,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 61 place count 1527 transition count 2586
Iterating global reduction 0 with 61 rules applied. Total rules applied 122 place count 1527 transition count 2586
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 161 place count 1488 transition count 2547
Iterating global reduction 0 with 39 rules applied. Total rules applied 200 place count 1488 transition count 2547
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 216 place count 1472 transition count 2531
Iterating global reduction 0 with 16 rules applied. Total rules applied 232 place count 1472 transition count 2531
Applied a total of 232 rules in 375 ms. Remains 1472 /1588 variables (removed 116) and now considering 2531/2647 (removed 116) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3422412135829044000.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2042756429297101657.kers'
[2026-05-23 15:40:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3422412135829044000.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2042756429297101657.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2531 rows 1472 cols 7052 entries
Finished phase 1 with 1409 SingleSign rule and 0 generalized
[2026-05-23 15:40:21] [INFO ] Computed 63 invariants in 11 ms
Computed 63 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-2042756429297101657.kers
Total runtime 16 ms.
[2026-05-23 15:40:22] [INFO ] Implicit Places using invariants in 901 ms returned []
[2026-05-23 15:40:22] [INFO ] Invariant cache hit.
[2026-05-23 15:40:24] [INFO ] Implicit Places using invariants and state equation in 1835 ms returned []
Implicit Place search using SMT with State Equation took 2739 ms to find 0 implicit places.
Running 2530 sub problems to find dead transitions.
[2026-05-23 15:40:24] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1471/4003 variables, and 0 constraints, problems are : Problem set: 0 solved, 2530 unsolved in 30079 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1472 constraints, PredecessorRefiner: 2530/2529 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2530 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1471/4003 variables, and 0 constraints, problems are : Problem set: 0 solved, 2530 unsolved in 30083 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1472 constraints, PredecessorRefiner: 1/2529 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60907ms problems are : Problem set: 0 solved, 2530 unsolved
Search for dead transitions found 0 dead transitions in 60913ms
Starting structural reductions in LTL mode, iteration 1 : 1472/1588 places, 2531/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64036 ms. Remains : 1472/1588 places, 2531/2647 transitions.
[2026-05-23 15:41:25] [INFO ] Flatten gal took : 60 ms
[2026-05-23 15:41:25] [INFO ] Flatten gal took : 65 ms
[2026-05-23 15:41:25] [INFO ] Input system was already deterministic with 2531 transitions.
[2026-05-23 15:41:25] [INFO ] Flatten gal took : 68 ms
[2026-05-23 15:41:25] [INFO ] Flatten gal took : 66 ms
[2026-05-23 15:41:25] [INFO ] Time to serialize gal into /tmp/CTLFireability8691620878932135807.gal : 20 ms
[2026-05-23 15:41:25] [INFO ] Time to serialize properties into /tmp/CTLFireability6087363772134201291.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/CTLFireability8691620878932135807.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6087363772134201291.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:41:55] [INFO ] Flatten gal took : 36 ms
[2026-05-23 15:41:55] [INFO ] Applying decomposition
[2026-05-23 15:41:55] [INFO ] Flatten gal took : 36 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/graph8949671762605929162.txt' '-o' '/tmp/graph8949671762605929162.bin' '-w' '/tmp/graph8949671762605929162.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8949671762605929162.bin' '-l' '-1' '-v' '-w' '/tmp/graph8949671762605929162.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:41:56] [INFO ] Decomposing Gal with order
[2026-05-23 15:41:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:41:56] [INFO ] Removed a total of 2053 redundant transitions.
[2026-05-23 15:41:56] [INFO ] Flatten gal took : 101 ms
[2026-05-23 15:41:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 86 labels/synchronizations in 22 ms.
[2026-05-23 15:41:56] [INFO ] Time to serialize gal into /tmp/CTLFireability15981829474486472102.gal : 21 ms
[2026-05-23 15:41:56] [INFO ] Time to serialize properties into /tmp/CTLFireability5673351402532579033.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/CTLFireability15981829474486472102.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5673351402532579033.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.07352e+85,1.54918,33512,3914,24,58040,1088,2396,77399,59,1864,0
Converting to forward existential form...Done !
original formula: (A(((EF((!(EG((i29.u285.p1138==1))) + (AX((i26.u255.p1026==1)) * (i21.u192.p779!=1)))) + ((i29.u283.p1125==1) * EX(((i22.u206.p837==1)&&(...746
=> equivalent forward existential formula: (([((FwdU((Init * !(!((E(!(!((E(!(E(((i6.u66.p270!=1) * EG((i43.u441.p1766==1))) U (((!((i22.u206.p837==1)&&(i31...6456
Reverse transition relation is NOT exact ! Due to transitions t113, t189, t289, t513, t689, t947, i0.t1529, i1.t1578, i2.t1554, i3.t1504, i4.t1479, i5.t145...950
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Fast SCC detection found an SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 1520 transition count 2579
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 1520 transition count 2579
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 180 place count 1476 transition count 2535
Iterating global reduction 0 with 44 rules applied. Total rules applied 224 place count 1476 transition count 2535
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 239 place count 1461 transition count 2520
Iterating global reduction 0 with 15 rules applied. Total rules applied 254 place count 1461 transition count 2520
Applied a total of 254 rules in 345 ms. Remains 1461 /1588 variables (removed 127) and now considering 2520/2647 (removed 127) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8658714304899937360.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5257269987856267316.kers'
[2026-05-23 15:42:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8658714304899937360.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5257269987856267316.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2520 rows 1461 cols 7030 entries
Finished phase 1 with 1398 SingleSign rule and 0 generalized
[2026-05-23 15:42:26] [INFO ] Computed 63 invariants in 10 ms
Computed 63 P flows in 12 ms.
Exported basis to /tmp/petrispot-output-5257269987856267316.kers
Total runtime 14 ms.
[2026-05-23 15:42:27] [INFO ] Implicit Places using invariants in 973 ms returned []
[2026-05-23 15:42:27] [INFO ] Invariant cache hit.
[2026-05-23 15:42:29] [INFO ] Implicit Places using invariants and state equation in 2024 ms returned []
Implicit Place search using SMT with State Equation took 3002 ms to find 0 implicit places.
Running 2519 sub problems to find dead transitions.
[2026-05-23 15:42:29] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1460/3981 variables, and 0 constraints, problems are : Problem set: 0 solved, 2519 unsolved in 30090 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1461 constraints, PredecessorRefiner: 2519/2518 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2519 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1460/3981 variables, and 0 constraints, problems are : Problem set: 0 solved, 2519 unsolved in 30065 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1461 constraints, PredecessorRefiner: 1/2518 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61274ms problems are : Problem set: 0 solved, 2519 unsolved
Search for dead transitions found 0 dead transitions in 61278ms
Starting structural reductions in LTL mode, iteration 1 : 1461/1588 places, 2520/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64632 ms. Remains : 1461/1588 places, 2520/2647 transitions.
[2026-05-23 15:43:31] [INFO ] Flatten gal took : 39 ms
[2026-05-23 15:43:31] [INFO ] Flatten gal took : 45 ms
[2026-05-23 15:43:31] [INFO ] Input system was already deterministic with 2520 transitions.
[2026-05-23 15:43:31] [INFO ] Flatten gal took : 44 ms
[2026-05-23 15:43:31] [INFO ] Flatten gal took : 46 ms
[2026-05-23 15:43:31] [INFO ] Time to serialize gal into /tmp/CTLFireability6234356283510243044.gal : 12 ms
[2026-05-23 15:43:31] [INFO ] Time to serialize properties into /tmp/CTLFireability2830996047192102867.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/CTLFireability6234356283510243044.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2830996047192102867.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:44:01] [INFO ] Flatten gal took : 36 ms
[2026-05-23 15:44:01] [INFO ] Applying decomposition
[2026-05-23 15:44:01] [INFO ] Flatten gal took : 36 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/graph5259600052284366447.txt' '-o' '/tmp/graph5259600052284366447.bin' '-w' '/tmp/graph5259600052284366447.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5259600052284366447.bin' '-l' '-1' '-v' '-w' '/tmp/graph5259600052284366447.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:44:01] [INFO ] Decomposing Gal with order
[2026-05-23 15:44:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:44:02] [INFO ] Removed a total of 2075 redundant transitions.
[2026-05-23 15:44:02] [INFO ] Flatten gal took : 103 ms
[2026-05-23 15:44:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 88 labels/synchronizations in 39 ms.
[2026-05-23 15:44:02] [INFO ] Time to serialize gal into /tmp/CTLFireability17482033558340891177.gal : 27 ms
[2026-05-23 15:44:02] [INFO ] Time to serialize properties into /tmp/CTLFireability5828588846737445341.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/CTLFireability17482033558340891177.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5828588846737445341.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.62533e+84,2.06498,34192,3027,21,47893,1055,2401,121881,50,1724,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 67 place count 1521 transition count 2580
Iterating global reduction 0 with 67 rules applied. Total rules applied 134 place count 1521 transition count 2580
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 175 place count 1480 transition count 2539
Iterating global reduction 0 with 41 rules applied. Total rules applied 216 place count 1480 transition count 2539
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 229 place count 1467 transition count 2526
Iterating global reduction 0 with 13 rules applied. Total rules applied 242 place count 1467 transition count 2526
Applied a total of 242 rules in 411 ms. Remains 1467 /1588 variables (removed 121) and now considering 2526/2647 (removed 121) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2539920609642188102.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2133883315168136980.kers'
[2026-05-23 15:44:32] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2539920609642188102.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2133883315168136980.kers]
Culled 0 columns in 3 ms.
// Phase 1: matrix 2526 rows 1467 cols 7042 entries
Finished phase 1 with 1404 SingleSign rule and 0 generalized
[2026-05-23 15:44:32] [INFO ] Computed 63 invariants in 19 ms
Computed 63 P flows in 20 ms.
Exported basis to /tmp/petrispot-output-2133883315168136980.kers
Total runtime 24 ms.
[2026-05-23 15:44:33] [INFO ] Implicit Places using invariants in 1075 ms returned []
[2026-05-23 15:44:33] [INFO ] Invariant cache hit.
[2026-05-23 15:44:35] [INFO ] Implicit Places using invariants and state equation in 2229 ms returned []
Implicit Place search using SMT with State Equation took 3308 ms to find 0 implicit places.
Running 2525 sub problems to find dead transitions.
[2026-05-23 15:44:35] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1466/3993 variables, and 0 constraints, problems are : Problem set: 0 solved, 2525 unsolved in 30077 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1467 constraints, PredecessorRefiner: 2525/2524 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2525 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1466/3993 variables, and 0 constraints, problems are : Problem set: 0 solved, 2525 unsolved in 30078 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1467 constraints, PredecessorRefiner: 1/2524 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61155ms problems are : Problem set: 0 solved, 2525 unsolved
Search for dead transitions found 0 dead transitions in 61163ms
Starting structural reductions in LTL mode, iteration 1 : 1467/1588 places, 2526/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64892 ms. Remains : 1467/1588 places, 2526/2647 transitions.
[2026-05-23 15:45:37] [INFO ] Flatten gal took : 55 ms
[2026-05-23 15:45:37] [INFO ] Flatten gal took : 61 ms
[2026-05-23 15:45:37] [INFO ] Input system was already deterministic with 2526 transitions.
[2026-05-23 15:45:37] [INFO ] Flatten gal took : 58 ms
[2026-05-23 15:45:37] [INFO ] Flatten gal took : 60 ms
[2026-05-23 15:45:37] [INFO ] Time to serialize gal into /tmp/CTLFireability3002354504090114572.gal : 15 ms
[2026-05-23 15:45:37] [INFO ] Time to serialize properties into /tmp/CTLFireability3994705537809370119.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/CTLFireability3002354504090114572.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3994705537809370119.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:46:07] [INFO ] Flatten gal took : 35 ms
[2026-05-23 15:46:07] [INFO ] Applying decomposition
[2026-05-23 15:46:07] [INFO ] Flatten gal took : 36 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/graph4869149206011310058.txt' '-o' '/tmp/graph4869149206011310058.bin' '-w' '/tmp/graph4869149206011310058.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4869149206011310058.bin' '-l' '-1' '-v' '-w' '/tmp/graph4869149206011310058.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:46:07] [INFO ] Decomposing Gal with order
[2026-05-23 15:46:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:46:08] [INFO ] Removed a total of 2068 redundant transitions.
[2026-05-23 15:46:08] [INFO ] Flatten gal took : 82 ms
[2026-05-23 15:46:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 41 ms.
[2026-05-23 15:46:08] [INFO ] Time to serialize gal into /tmp/CTLFireability84163698618485563.gal : 22 ms
[2026-05-23 15:46:08] [INFO ] Time to serialize properties into /tmp/CTLFireability13754136584102393898.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/CTLFireability84163698618485563.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13754136584102393898.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 68 places :
Symmetric choice reduction at 0 with 68 rule applications. Total rules 68 place count 1520 transition count 2579
Iterating global reduction 0 with 68 rules applied. Total rules applied 136 place count 1520 transition count 2579
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 182 place count 1474 transition count 2533
Iterating global reduction 0 with 46 rules applied. Total rules applied 228 place count 1474 transition count 2533
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 246 place count 1456 transition count 2515
Iterating global reduction 0 with 18 rules applied. Total rules applied 264 place count 1456 transition count 2515
Applied a total of 264 rules in 317 ms. Remains 1456 /1588 variables (removed 132) and now considering 2515/2647 (removed 132) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4140054304121899602.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9001331897074520968.kers'
[2026-05-23 15:46:38] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4140054304121899602.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9001331897074520968.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2515 rows 1456 cols 7020 entries
Finished phase 1 with 1393 SingleSign rule and 0 generalized
[2026-05-23 15:46:38] [INFO ] Computed 63 invariants in 10 ms
Computed 63 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-9001331897074520968.kers
Total runtime 15 ms.
[2026-05-23 15:46:39] [INFO ] Implicit Places using invariants in 679 ms returned []
[2026-05-23 15:46:39] [INFO ] Invariant cache hit.
[2026-05-23 15:46:40] [INFO ] Implicit Places using invariants and state equation in 1781 ms returned []
Implicit Place search using SMT with State Equation took 2462 ms to find 0 implicit places.
Running 2514 sub problems to find dead transitions.
[2026-05-23 15:46:40] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1455/3971 variables, and 0 constraints, problems are : Problem set: 0 solved, 2514 unsolved in 30079 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1456 constraints, PredecessorRefiner: 2514/2513 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2514 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1455/3971 variables, and 0 constraints, problems are : Problem set: 0 solved, 2514 unsolved in 30077 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1456 constraints, PredecessorRefiner: 1/2513 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61046ms problems are : Problem set: 0 solved, 2514 unsolved
Search for dead transitions found 0 dead transitions in 61051ms
Starting structural reductions in LTL mode, iteration 1 : 1456/1588 places, 2515/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63837 ms. Remains : 1456/1588 places, 2515/2647 transitions.
[2026-05-23 15:47:42] [INFO ] Flatten gal took : 53 ms
[2026-05-23 15:47:42] [INFO ] Flatten gal took : 60 ms
[2026-05-23 15:47:42] [INFO ] Input system was already deterministic with 2515 transitions.
[2026-05-23 15:47:42] [INFO ] Flatten gal took : 56 ms
[2026-05-23 15:47:42] [INFO ] Flatten gal took : 59 ms
[2026-05-23 15:47:42] [INFO ] Time to serialize gal into /tmp/CTLFireability10316056279987016361.gal : 14 ms
[2026-05-23 15:47:42] [INFO ] Time to serialize properties into /tmp/CTLFireability16838172122166567675.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/CTLFireability10316056279987016361.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16838172122166567675.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-23 15:48:12] [INFO ] Flatten gal took : 33 ms
[2026-05-23 15:48:12] [INFO ] Applying decomposition
[2026-05-23 15:48:12] [INFO ] Flatten gal took : 34 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/graph1756768016691033461.txt' '-o' '/tmp/graph1756768016691033461.bin' '-w' '/tmp/graph1756768016691033461.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1756768016691033461.bin' '-l' '-1' '-v' '-w' '/tmp/graph1756768016691033461.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:48:12] [INFO ] Decomposing Gal with order
[2026-05-23 15:48:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:48:12] [INFO ] Removed a total of 2095 redundant transitions.
[2026-05-23 15:48:12] [INFO ] Flatten gal took : 87 ms
[2026-05-23 15:48:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 90 labels/synchronizations in 23 ms.
[2026-05-23 15:48:13] [INFO ] Time to serialize gal into /tmp/CTLFireability2963660462876496489.gal : 14 ms
[2026-05-23 15:48:13] [INFO ] Time to serialize properties into /tmp/CTLFireability13447627319035535347.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/CTLFireability2963660462876496489.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13447627319035535347.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.41737e+84,10.1598,190428,8489,21,102211,903,2381,2.02999e+06,48,1382,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Graph (trivial) has 1680 edges and 1588 vertex of which 990 / 1588 are part of one of the 63 SCC in 3 ms
Free SCC test removed 927 places
Ensure Unique test removed 1021 transitions
Reduce isomorphic transitions removed 1021 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 223 transitions
Trivial Post-agglo rules discarded 223 transitions
Performed 223 trivial Post agglomeration. Transition count delta: 223
Iterating post reduction 0 with 223 rules applied. Total rules applied 224 place count 660 transition count 1402
Reduce places removed 223 places and 0 transitions.
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 61 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 1 with 340 rules applied. Total rules applied 564 place count 437 transition count 1285
Reduce places removed 56 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 57 rules applied. Total rules applied 621 place count 381 transition count 1284
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 622 place count 380 transition count 1284
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 622 place count 380 transition count 1283
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 624 place count 379 transition count 1283
Discarding 60 places :
Symmetric choice reduction at 4 with 60 rule applications. Total rules 684 place count 319 transition count 964
Iterating global reduction 4 with 60 rules applied. Total rules applied 744 place count 319 transition count 964
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 4 with 32 rules applied. Total rules applied 776 place count 319 transition count 932
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 777 place count 318 transition count 922
Iterating global reduction 5 with 1 rules applied. Total rules applied 778 place count 318 transition count 922
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 779 place count 318 transition count 921
Performed 122 Post agglomeration using F-continuation condition.Transition count delta: 122
Deduced a syphon composed of 122 places in 0 ms
Reduce places removed 122 places and 0 transitions.
Iterating global reduction 6 with 244 rules applied. Total rules applied 1023 place count 196 transition count 799
Discarding 15 places :
Symmetric choice reduction at 6 with 15 rule applications. Total rules 1038 place count 181 transition count 654
Iterating global reduction 6 with 15 rules applied. Total rules applied 1053 place count 181 transition count 654
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 6 with 15 rules applied. Total rules applied 1068 place count 181 transition count 639
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 1070 place count 179 transition count 637
Applied a total of 1070 rules in 117 ms. Remains 179 /1588 variables (removed 1409) and now considering 637/2647 (removed 2010) transitions.
[2026-05-23 15:48:43] [INFO ] Flow matrix only has 169 transitions (discarded 468 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8210847360421905995.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11777349122524327378.kers'
[2026-05-23 15:48:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8210847360421905995.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11777349122524327378.kers]
Normalized transition count is 168 out of 169 initially.
Culling duplicate invariants (modulo rational): removing 14 columns.
Culled 14 columns in 0 ms.
// Phase 1: matrix 168 rows 165 cols 432 entries
Finished phase 1 with 116 SingleSign rule and 0 generalized
[2026-05-23 15:48:43] [INFO ] Computed 63 invariants in 1 ms
Computed 63 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-11777349122524327378.kers
Total runtime 3 ms.
[2026-05-23 15:48:43] [INFO ] Implicit Places using invariants in 277 ms returned []
[2026-05-23 15:48:43] [INFO ] Flow matrix only has 169 transitions (discarded 468 similar events)
[2026-05-23 15:48:43] [INFO ] Invariant cache hit.
[2026-05-23 15:48:43] [INFO ] Implicit Places using invariants and state equation in 516 ms returned []
Implicit Place search using SMT with State Equation took 795 ms to find 0 implicit places.
[2026-05-23 15:48:44] [INFO ] Redundant transitions in 15 ms returned []
Running 461 sub problems to find dead transitions.
[2026-05-23 15:48:44] [INFO ] Flow matrix only has 169 transitions (discarded 468 similar events)
[2026-05-23 15:48:44] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/177 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 2 (OVERLAPS) 2/179 variables, 2/63 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/179 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 4 (OVERLAPS) 168/347 variables, 179/242 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/347 variables, 0/242 constraints. Problems are: Problem set: 0 solved, 461 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 347/348 variables, and 242 constraints, problems are : Problem set: 0 solved, 461 unsolved in 30020 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 179/179 constraints, PredecessorRefiner: 461/460 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 461 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/177 variables, 61/61 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/177 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 2 (OVERLAPS) 2/179 variables, 2/63 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/179 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 4 (OVERLAPS) 168/347 variables, 179/242 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/347 variables, 460/702 constraints. Problems are: Problem set: 0 solved, 461 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/347 variables, 0/702 constraints. Problems are: Problem set: 0 solved, 461 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 347/348 variables, and 702 constraints, problems are : Problem set: 0 solved, 461 unsolved in 30023 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 179/179 constraints, PredecessorRefiner: 461/460 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60129ms problems are : Problem set: 0 solved, 461 unsolved
Search for dead transitions found 0 dead transitions in 60130ms
Starting structural reductions in SI_CTL mode, iteration 1 : 179/1588 places, 637/2647 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 61068 ms. Remains : 179/1588 places, 637/2647 transitions.
[2026-05-23 15:49:44] [INFO ] Flatten gal took : 11 ms
[2026-05-23 15:49:44] [INFO ] Flatten gal took : 14 ms
[2026-05-23 15:49:44] [INFO ] Input system was already deterministic with 637 transitions.
[2026-05-23 15:49:44] [INFO ] Flatten gal took : 14 ms
[2026-05-23 15:49:44] [INFO ] Flatten gal took : 14 ms
[2026-05-23 15:49:44] [INFO ] Time to serialize gal into /tmp/CTLFireability12045972016188171644.gal : 4 ms
[2026-05-23 15:49:44] [INFO ] Time to serialize properties into /tmp/CTLFireability14504713420220498346.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/CTLFireability12045972016188171644.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14504713420220498346.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,9.14825e+27,0.308969,8144,2,296,5,5908,6,0,1293,2273,0
Converting to forward existential form...Done !
original formula: EF(EG((p1889==1)))
=> equivalent forward existential formula: [FwdG(FwdU(Init,TRUE),(p1889==1))] != FALSE
Hit Full ! (commute/partial/dont) 635/0/2
(forward)formula 0,1,0.902529,10296,1,0,8,35124,19,2,6304,8527,8
FORMULA Champagne-PT-H10T2O-CTLFireability-2024-07 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 : 1588/1588 places, 2647/2647 transitions.
Graph (trivial) has 1639 edges and 1588 vertex of which 934 / 1588 are part of one of the 63 SCC in 3 ms
Free SCC test removed 871 places
Ensure Unique test removed 954 transitions
Reduce isomorphic transitions removed 954 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 235 transitions
Trivial Post-agglo rules discarded 235 transitions
Performed 235 trivial Post agglomeration. Transition count delta: 235
Iterating post reduction 0 with 235 rules applied. Total rules applied 236 place count 716 transition count 1457
Reduce places removed 235 places and 0 transitions.
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 61 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 55 transitions
Trivial Post-agglo rules discarded 55 transitions
Performed 55 trivial Post agglomeration. Transition count delta: 55
Iterating post reduction 1 with 351 rules applied. Total rules applied 587 place count 481 transition count 1341
Reduce places removed 55 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 2 with 57 rules applied. Total rules applied 644 place count 426 transition count 1339
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 646 place count 424 transition count 1339
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 12 Pre rules applied. Total rules applied 646 place count 424 transition count 1327
Deduced a syphon composed of 12 places in 12 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 4 with 24 rules applied. Total rules applied 670 place count 412 transition count 1327
Discarding 56 places :
Symmetric choice reduction at 4 with 56 rule applications. Total rules 726 place count 356 transition count 1080
Iterating global reduction 4 with 56 rules applied. Total rules applied 782 place count 356 transition count 1080
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 4 with 26 rules applied. Total rules applied 808 place count 356 transition count 1054
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 808 place count 356 transition count 1053
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 810 place count 355 transition count 1053
Performed 122 Post agglomeration using F-continuation condition.Transition count delta: 122
Deduced a syphon composed of 122 places in 0 ms
Reduce places removed 122 places and 0 transitions.
Iterating global reduction 5 with 244 rules applied. Total rules applied 1054 place count 233 transition count 931
Discarding 14 places :
Symmetric choice reduction at 5 with 14 rule applications. Total rules 1068 place count 219 transition count 800
Iterating global reduction 5 with 14 rules applied. Total rules applied 1082 place count 219 transition count 800
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 5 with 14 rules applied. Total rules applied 1096 place count 219 transition count 786
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1098 place count 217 transition count 784
Applied a total of 1098 rules in 117 ms. Remains 217 /1588 variables (removed 1371) and now considering 784/2647 (removed 1863) transitions.
[2026-05-23 15:49:45] [INFO ] Flow matrix only has 298 transitions (discarded 486 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12542255619952120936.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15380080520588412867.kers'
[2026-05-23 15:49:45] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12542255619952120936.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15380080520588412867.kers]
Normalized transition count is 297 out of 298 initially.
Culling duplicate invariants (modulo rational): removing 10 columns.
Culled 10 columns in 0 ms.
// Phase 1: matrix 297 rows 207 cols 842 entries
Finished phase 1 with 154 SingleSign rule and 0 generalized
[2026-05-23 15:49:45] [INFO ] Computed 63 invariants in 1 ms
Computed 63 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-15380080520588412867.kers
Total runtime 2 ms.
[2026-05-23 15:49:45] [INFO ] Implicit Places using invariants in 214 ms returned []
[2026-05-23 15:49:45] [INFO ] Flow matrix only has 298 transitions (discarded 486 similar events)
[2026-05-23 15:49:45] [INFO ] Invariant cache hit.
[2026-05-23 15:49:46] [INFO ] Implicit Places using invariants and state equation in 541 ms returned []
Implicit Place search using SMT with State Equation took 758 ms to find 0 implicit places.
[2026-05-23 15:49:46] [INFO ] Redundant transitions in 20 ms returned []
Running 606 sub problems to find dead transitions.
[2026-05-23 15:49:46] [INFO ] Flow matrix only has 298 transitions (discarded 486 similar events)
[2026-05-23 15:49:46] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/211 variables, 57/57 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/211 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 2 (OVERLAPS) 6/217 variables, 6/63 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/217 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 4 (OVERLAPS) 297/514 variables, 217/280 constraints. Problems are: Problem set: 0 solved, 606 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 514/515 variables, and 280 constraints, problems are : Problem set: 0 solved, 606 unsolved in 30018 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 217/217 constraints, PredecessorRefiner: 606/605 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 606 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/211 variables, 57/57 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/211 variables, 0/57 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 2 (OVERLAPS) 6/217 variables, 6/63 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/217 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 4 (OVERLAPS) 297/514 variables, 217/280 constraints. Problems are: Problem set: 0 solved, 606 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/514 variables, 605/885 constraints. Problems are: Problem set: 0 solved, 606 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 514/515 variables, and 885 constraints, problems are : Problem set: 0 solved, 606 unsolved in 30020 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 217/217 constraints, PredecessorRefiner: 606/605 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60163ms problems are : Problem set: 0 solved, 606 unsolved
Search for dead transitions found 0 dead transitions in 60165ms
Starting structural reductions in SI_CTL mode, iteration 1 : 217/1588 places, 784/2647 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 61070 ms. Remains : 217/1588 places, 784/2647 transitions.
[2026-05-23 15:50:46] [INFO ] Flatten gal took : 8 ms
[2026-05-23 15:50:46] [INFO ] Flatten gal took : 11 ms
[2026-05-23 15:50:46] [INFO ] Input system was already deterministic with 784 transitions.
[2026-05-23 15:50:46] [INFO ] Flatten gal took : 10 ms
[2026-05-23 15:50:46] [INFO ] Flatten gal took : 10 ms
[2026-05-23 15:50:46] [INFO ] Time to serialize gal into /tmp/CTLFireability11102246206537969171.gal : 3 ms
[2026-05-23 15:50:46] [INFO ] Time to serialize properties into /tmp/CTLFireability2595021760679132338.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/CTLFireability11102246206537969171.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2595021760679132338.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.36645e+32,0.261164,9196,2,372,5,9756,6,0,1594,3957,0
Converting to forward existential form...Done !
original formula: AG(((!(E(A((p1166==1) U (p1614==1)) U (p815==1))) * (p1821==0)) * ((!(A(EF(((p1254==1)&&(p1579==1))) U AG((p969==1)))) + !(A(((p1383==1)|...302
=> equivalent forward existential formula: (([(FwdU(FwdU(Init,TRUE),!((E(!((p1614==1)) U (!((p1166==1)) * !((p1614==1)))) + EG(!((p1614==1)))))) * (p815==1...645
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,1.01004,18968,1,0,13,88241,20,5,7203,35662,11
FORMULA Champagne-PT-H10T2O-CTLFireability-2024-08 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 71 places :
Symmetric choice reduction at 0 with 71 rule applications. Total rules 71 place count 1517 transition count 2576
Iterating global reduction 0 with 71 rules applied. Total rules applied 142 place count 1517 transition count 2576
Discarding 46 places :
Symmetric choice reduction at 0 with 46 rule applications. Total rules 188 place count 1471 transition count 2530
Iterating global reduction 0 with 46 rules applied. Total rules applied 234 place count 1471 transition count 2530
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 251 place count 1454 transition count 2513
Iterating global reduction 0 with 17 rules applied. Total rules applied 268 place count 1454 transition count 2513
Applied a total of 268 rules in 338 ms. Remains 1454 /1588 variables (removed 134) and now considering 2513/2647 (removed 134) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11333692832475643547.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11402779819085940763.kers'
[2026-05-23 15:50:47] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11333692832475643547.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11402779819085940763.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2513 rows 1454 cols 7016 entries
Finished phase 1 with 1391 SingleSign rule and 0 generalized
[2026-05-23 15:50:47] [INFO ] Computed 63 invariants in 12 ms
Computed 63 P flows in 13 ms.
Exported basis to /tmp/petrispot-output-11402779819085940763.kers
Total runtime 15 ms.
[2026-05-23 15:50:48] [INFO ] Implicit Places using invariants in 829 ms returned []
[2026-05-23 15:50:48] [INFO ] Invariant cache hit.
[2026-05-23 15:50:50] [INFO ] Implicit Places using invariants and state equation in 1690 ms returned []
Implicit Place search using SMT with State Equation took 2523 ms to find 0 implicit places.
Running 2512 sub problems to find dead transitions.
[2026-05-23 15:50:50] [INFO ] Invariant cache hit.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1453/3967 variables, and 0 constraints, problems are : Problem set: 0 solved, 2512 unsolved in 30091 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1454 constraints, PredecessorRefiner: 2512/2511 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2512 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1453/3967 variables, and 0 constraints, problems are : Problem set: 0 solved, 2512 unsolved in 30076 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1454 constraints, PredecessorRefiner: 1/2511 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60910ms problems are : Problem set: 0 solved, 2512 unsolved
Search for dead transitions found 0 dead transitions in 60916ms
Starting structural reductions in LTL mode, iteration 1 : 1454/1588 places, 2513/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63785 ms. Remains : 1454/1588 places, 2513/2647 transitions.
[2026-05-23 15:51:51] [INFO ] Flatten gal took : 53 ms
[2026-05-23 15:51:51] [INFO ] Flatten gal took : 59 ms
[2026-05-23 15:51:51] [INFO ] Input system was already deterministic with 2513 transitions.
[2026-05-23 15:51:51] [INFO ] Flatten gal took : 56 ms
[2026-05-23 15:51:51] [INFO ] Flatten gal took : 58 ms
[2026-05-23 15:51:51] [INFO ] Time to serialize gal into /tmp/CTLFireability1777019172118415130.gal : 14 ms
[2026-05-23 15:51:51] [INFO ] Time to serialize properties into /tmp/CTLFireability8494389180391066564.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/CTLFireability1777019172118415130.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8494389180391066564.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:52:21] [INFO ] Flatten gal took : 33 ms
[2026-05-23 15:52:21] [INFO ] Applying decomposition
[2026-05-23 15:52:21] [INFO ] Flatten gal took : 34 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/graph7178740324302759264.txt' '-o' '/tmp/graph7178740324302759264.bin' '-w' '/tmp/graph7178740324302759264.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7178740324302759264.bin' '-l' '-1' '-v' '-w' '/tmp/graph7178740324302759264.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:52:21] [INFO ] Decomposing Gal with order
[2026-05-23 15:52:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:52:21] [INFO ] Removed a total of 2078 redundant transitions.
[2026-05-23 15:52:21] [INFO ] Flatten gal took : 77 ms
[2026-05-23 15:52:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 104 labels/synchronizations in 22 ms.
[2026-05-23 15:52:22] [INFO ] Time to serialize gal into /tmp/CTLFireability6614329734356856336.gal : 16 ms
[2026-05-23 15:52:22] [INFO ] Time to serialize properties into /tmp/CTLFireability1459393455366484499.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/CTLFireability6614329734356856336.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1459393455366484499.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 69 place count 1519 transition count 2578
Iterating global reduction 0 with 69 rules applied. Total rules applied 138 place count 1519 transition count 2578
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 182 place count 1475 transition count 2534
Iterating global reduction 0 with 44 rules applied. Total rules applied 226 place count 1475 transition count 2534
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 243 place count 1458 transition count 2517
Iterating global reduction 0 with 17 rules applied. Total rules applied 260 place count 1458 transition count 2517
Applied a total of 260 rules in 332 ms. Remains 1458 /1588 variables (removed 130) and now considering 2517/2647 (removed 130) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11407068208752877120.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14766682516564366769.kers'
[2026-05-23 15:52:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11407068208752877120.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14766682516564366769.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2517 rows 1458 cols 7024 entries
Finished phase 1 with 1395 SingleSign rule and 0 generalized
[2026-05-23 15:52:52] [INFO ] Computed 63 invariants in 10 ms
Computed 63 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-14766682516564366769.kers
Total runtime 13 ms.
[2026-05-23 15:52:53] [INFO ] Implicit Places using invariants in 656 ms returned []
[2026-05-23 15:52:53] [INFO ] Invariant cache hit.
[2026-05-23 15:52:54] [INFO ] Implicit Places using invariants and state equation in 1565 ms returned []
Implicit Place search using SMT with State Equation took 2223 ms to find 0 implicit places.
Running 2516 sub problems to find dead transitions.
[2026-05-23 15:52:54] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1457/3975 variables, and 0 constraints, problems are : Problem set: 0 solved, 2516 unsolved in 30063 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1458 constraints, PredecessorRefiner: 2516/2515 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2516 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1457/3975 variables, and 0 constraints, problems are : Problem set: 0 solved, 2516 unsolved in 30076 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1458 constraints, PredecessorRefiner: 1/2515 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61081ms problems are : Problem set: 0 solved, 2516 unsolved
Search for dead transitions found 0 dead transitions in 61085ms
Starting structural reductions in LTL mode, iteration 1 : 1458/1588 places, 2517/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63648 ms. Remains : 1458/1588 places, 2517/2647 transitions.
[2026-05-23 15:53:55] [INFO ] Flatten gal took : 54 ms
[2026-05-23 15:53:55] [INFO ] Flatten gal took : 59 ms
[2026-05-23 15:53:55] [INFO ] Input system was already deterministic with 2517 transitions.
[2026-05-23 15:53:56] [INFO ] Flatten gal took : 56 ms
[2026-05-23 15:53:56] [INFO ] Flatten gal took : 58 ms
[2026-05-23 15:53:56] [INFO ] Time to serialize gal into /tmp/CTLFireability14173769443387238507.gal : 15 ms
[2026-05-23 15:53:56] [INFO ] Time to serialize properties into /tmp/CTLFireability12942851427421519041.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/CTLFireability14173769443387238507.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12942851427421519041.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-23 15:54:26] [INFO ] Flatten gal took : 33 ms
[2026-05-23 15:54:26] [INFO ] Applying decomposition
[2026-05-23 15:54:26] [INFO ] Flatten gal took : 34 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/graph3923396818129747708.txt' '-o' '/tmp/graph3923396818129747708.bin' '-w' '/tmp/graph3923396818129747708.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3923396818129747708.bin' '-l' '-1' '-v' '-w' '/tmp/graph3923396818129747708.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:54:26] [INFO ] Decomposing Gal with order
[2026-05-23 15:54:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:54:26] [INFO ] Removed a total of 2060 redundant transitions.
[2026-05-23 15:54:26] [INFO ] Flatten gal took : 79 ms
[2026-05-23 15:54:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 14 ms.
[2026-05-23 15:54:26] [INFO ] Time to serialize gal into /tmp/CTLFireability14932956106371046605.gal : 15 ms
[2026-05-23 15:54:26] [INFO ] Time to serialize properties into /tmp/CTLFireability3331182830580210336.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/CTLFireability14932956106371046605.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3331182830580210336.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,5.87979e+84,1.25616,27292,2546,23,43935,1072,2399,46367,52,1850,0
Converting to forward existential form...Done !
original formula: ((A(!(EF(((A((i24.u227.p908==1) U (i8.u86.p344==1)) + E((i1.u6.p18==1) U (i29.u261.p1038==1))) + EF(((i6.u69.p270==1)&&(i23.u214.p859==1)...376
=> equivalent forward existential formula: [(FwdU(((Init * !(EX(!(E(TRUE U !(!(!((E(!((i49.i0.i1.u502.p2090==1)) U (!((i28.u259.p1031==1)) * !((i49.i0.i1.u...807
Reverse transition relation is NOT exact ! Due to transitions t110, t184, t284, t383, t507, t681, t932, t1234, i0.t1489, i1.t1563, i2.t1539, i3.t1514, i4.t...994
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Fast SCC detection found an SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Fast SCC detection found an SCC at level 52
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Graph (trivial) has 1665 edges and 1588 vertex of which 950 / 1588 are part of one of the 62 SCC in 1 ms
Free SCC test removed 888 places
Ensure Unique test removed 976 transitions
Reduce isomorphic transitions removed 976 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 243 transitions
Trivial Post-agglo rules discarded 243 transitions
Performed 243 trivial Post agglomeration. Transition count delta: 243
Iterating post reduction 0 with 243 rules applied. Total rules applied 244 place count 699 transition count 1427
Reduce places removed 243 places and 0 transitions.
Ensure Unique test removed 61 transitions
Reduce isomorphic transitions removed 61 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 1 with 360 rules applied. Total rules applied 604 place count 456 transition count 1310
Reduce places removed 56 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 57 rules applied. Total rules applied 661 place count 400 transition count 1309
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 662 place count 399 transition count 1309
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 6 Pre rules applied. Total rules applied 662 place count 399 transition count 1303
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 674 place count 393 transition count 1303
Discarding 59 places :
Symmetric choice reduction at 4 with 59 rule applications. Total rules 733 place count 334 transition count 1014
Iterating global reduction 4 with 59 rules applied. Total rules applied 792 place count 334 transition count 1014
Ensure Unique test removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 4 with 30 rules applied. Total rules applied 822 place count 334 transition count 984
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 823 place count 333 transition count 974
Iterating global reduction 5 with 1 rules applied. Total rules applied 824 place count 333 transition count 974
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 825 place count 333 transition count 973
Performed 122 Post agglomeration using F-continuation condition.Transition count delta: 122
Deduced a syphon composed of 122 places in 0 ms
Reduce places removed 122 places and 0 transitions.
Iterating global reduction 6 with 244 rules applied. Total rules applied 1069 place count 211 transition count 851
Discarding 14 places :
Symmetric choice reduction at 6 with 14 rule applications. Total rules 1083 place count 197 transition count 718
Iterating global reduction 6 with 14 rules applied. Total rules applied 1097 place count 197 transition count 718
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 6 with 14 rules applied. Total rules applied 1111 place count 197 transition count 704
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 1113 place count 195 transition count 702
Applied a total of 1113 rules in 106 ms. Remains 195 /1588 variables (removed 1393) and now considering 702/2647 (removed 1945) transitions.
[2026-05-23 15:54:56] [INFO ] Flow matrix only has 215 transitions (discarded 487 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-916072552551909175.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-5479017168879887396.kers'
[2026-05-23 15:54:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-916072552551909175.kers, --Pflows, --basisKERS=/tmp/petrispot-output-5479017168879887396.kers]
Normalized transition count is 214 out of 215 initially.
Culling duplicate invariants (modulo rational): removing 13 columns.
Culled 13 columns in 0 ms.
// Phase 1: matrix 214 rows 182 cols 566 entries
Finished phase 1 with 132 SingleSign rule and 0 generalized
[2026-05-23 15:54:56] [INFO ] Computed 63 invariants in 1 ms
Computed 63 P flows in 1 ms.
Exported basis to /tmp/petrispot-output-5479017168879887396.kers
Total runtime 2 ms.
[2026-05-23 15:54:57] [INFO ] Implicit Places using invariants in 373 ms returned []
[2026-05-23 15:54:57] [INFO ] Flow matrix only has 215 transitions (discarded 487 similar events)
[2026-05-23 15:54:57] [INFO ] Invariant cache hit.
[2026-05-23 15:54:57] [INFO ] Implicit Places using invariants and state equation in 423 ms returned []
Implicit Place search using SMT with State Equation took 798 ms to find 0 implicit places.
[2026-05-23 15:54:57] [INFO ] Redundant transitions in 11 ms returned []
Running 527 sub problems to find dead transitions.
[2026-05-23 15:54:57] [INFO ] Flow matrix only has 215 transitions (discarded 487 similar events)
[2026-05-23 15:54:57] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/191 variables, 59/59 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/191 variables, 0/59 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 2 (OVERLAPS) 4/195 variables, 4/63 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/195 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 4 (OVERLAPS) 214/409 variables, 195/258 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/409 variables, 0/258 constraints. Problems are: Problem set: 0 solved, 527 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 409/410 variables, and 258 constraints, problems are : Problem set: 0 solved, 527 unsolved in 30015 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 195/195 constraints, PredecessorRefiner: 527/526 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 527 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/191 variables, 59/59 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/191 variables, 0/59 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 2 (OVERLAPS) 4/195 variables, 4/63 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/195 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 4 (OVERLAPS) 214/409 variables, 195/258 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/409 variables, 526/784 constraints. Problems are: Problem set: 0 solved, 527 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/409 variables, 0/784 constraints. Problems are: Problem set: 0 solved, 527 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 409/410 variables, and 784 constraints, problems are : Problem set: 0 solved, 527 unsolved in 30015 ms.
Refiners :[Positive P Invariants (semi-flows): 63/63 constraints, State Equation: 195/195 constraints, PredecessorRefiner: 527/526 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60121ms problems are : Problem set: 0 solved, 527 unsolved
Search for dead transitions found 0 dead transitions in 60122ms
Starting structural reductions in SI_CTL mode, iteration 1 : 195/1588 places, 702/2647 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 61045 ms. Remains : 195/1588 places, 702/2647 transitions.
[2026-05-23 15:55:57] [INFO ] Flatten gal took : 8 ms
[2026-05-23 15:55:57] [INFO ] Flatten gal took : 10 ms
[2026-05-23 15:55:57] [INFO ] Input system was already deterministic with 702 transitions.
[2026-05-23 15:55:57] [INFO ] Flatten gal took : 9 ms
[2026-05-23 15:55:57] [INFO ] Flatten gal took : 10 ms
[2026-05-23 15:55:57] [INFO ] Time to serialize gal into /tmp/CTLFireability12436179110232394381.gal : 3 ms
[2026-05-23 15:55:57] [INFO ] Time to serialize properties into /tmp/CTLFireability16147245451081393489.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/CTLFireability12436179110232394381.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16147245451081393489.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,4.1506e+29,0.214997,8528,2,328,5,6713,6,0,1423,2548,0
Converting to forward existential form...Done !
original formula: !(E(!(((A((p1391==1) U (p1143==1)) * EF((p2387==1))) + AG(E((p240==1) U (p948==1))))) U (p1316==1)))
=> equivalent forward existential formula: [(FwdU(Init,!(((!((E(!((p1143==1)) U (!((p1391==1)) * !((p1143==1)))) + EG(!((p1143==1))))) * E(TRUE U (p2387==1...227
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Hit Full ! (commute/partial/dont) 690/0/12
Hit Full ! (commute/partial/dont) 690/0/12
Hit Full ! (commute/partial/dont) 700/0/2
(forward)formula 0,0,5.23693,118000,1,0,170,643347,42,157,7269,744009,244
FORMULA Champagne-PT-H10T2O-CTLFireability-2024-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 67 places :
Symmetric choice reduction at 0 with 67 rule applications. Total rules 67 place count 1521 transition count 2580
Iterating global reduction 0 with 67 rules applied. Total rules applied 134 place count 1521 transition count 2580
Discarding 43 places :
Symmetric choice reduction at 0 with 43 rule applications. Total rules 177 place count 1478 transition count 2537
Iterating global reduction 0 with 43 rules applied. Total rules applied 220 place count 1478 transition count 2537
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 236 place count 1462 transition count 2521
Iterating global reduction 0 with 16 rules applied. Total rules applied 252 place count 1462 transition count 2521
Applied a total of 252 rules in 340 ms. Remains 1462 /1588 variables (removed 126) and now considering 2521/2647 (removed 126) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3283681365387182850.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-12932976985526653354.kers'
[2026-05-23 15:56:03] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3283681365387182850.kers, --Pflows, --basisKERS=/tmp/petrispot-output-12932976985526653354.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2521 rows 1462 cols 7032 entries
Finished phase 1 with 1399 SingleSign rule and 0 generalized
[2026-05-23 15:56:03] [INFO ] Computed 63 invariants in 13 ms
Computed 63 P flows in 13 ms.
Exported basis to /tmp/petrispot-output-12932976985526653354.kers
Total runtime 15 ms.
[2026-05-23 15:56:04] [INFO ] Implicit Places using invariants in 688 ms returned []
[2026-05-23 15:56:04] [INFO ] Invariant cache hit.
[2026-05-23 15:56:05] [INFO ] Implicit Places using invariants and state equation in 1595 ms returned []
Implicit Place search using SMT with State Equation took 2286 ms to find 0 implicit places.
Running 2520 sub problems to find dead transitions.
[2026-05-23 15:56:05] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1461/3983 variables, and 0 constraints, problems are : Problem set: 0 solved, 2520 unsolved in 30045 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1462 constraints, PredecessorRefiner: 2520/2519 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2520 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1461/3983 variables, and 0 constraints, problems are : Problem set: 0 solved, 2520 unsolved in 30050 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1462 constraints, PredecessorRefiner: 1/2519 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60867ms problems are : Problem set: 0 solved, 2520 unsolved
Search for dead transitions found 0 dead transitions in 60872ms
Starting structural reductions in LTL mode, iteration 1 : 1462/1588 places, 2521/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63506 ms. Remains : 1462/1588 places, 2521/2647 transitions.
[2026-05-23 15:57:06] [INFO ] Flatten gal took : 33 ms
[2026-05-23 15:57:06] [INFO ] Flatten gal took : 43 ms
[2026-05-23 15:57:06] [INFO ] Input system was already deterministic with 2521 transitions.
[2026-05-23 15:57:06] [INFO ] Flatten gal took : 36 ms
[2026-05-23 15:57:06] [INFO ] Flatten gal took : 38 ms
[2026-05-23 15:57:06] [INFO ] Time to serialize gal into /tmp/CTLFireability8113201964764057729.gal : 9 ms
[2026-05-23 15:57:06] [INFO ] Time to serialize properties into /tmp/CTLFireability15443566090576238597.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/CTLFireability8113201964764057729.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15443566090576238597.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-23 15:57:36] [INFO ] Flatten gal took : 35 ms
[2026-05-23 15:57:36] [INFO ] Applying decomposition
[2026-05-23 15:57:37] [INFO ] Flatten gal took : 45 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/graph516499468816579233.txt' '-o' '/tmp/graph516499468816579233.bin' '-w' '/tmp/graph516499468816579233.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph516499468816579233.bin' '-l' '-1' '-v' '-w' '/tmp/graph516499468816579233.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:57:37] [INFO ] Decomposing Gal with order
[2026-05-23 15:57:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:57:37] [INFO ] Removed a total of 2060 redundant transitions.
[2026-05-23 15:57:37] [INFO ] Flatten gal took : 83 ms
[2026-05-23 15:57:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 23 ms.
[2026-05-23 15:57:37] [INFO ] Time to serialize gal into /tmp/CTLFireability9718656199984737024.gal : 18 ms
[2026-05-23 15:57:37] [INFO ] Time to serialize properties into /tmp/CTLFireability15214239468591214898.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/CTLFireability9718656199984737024.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15214239468591214898.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.98552e+84,7.52544,192816,9584,21,101243,965,2455,2.05976e+06,59,1474,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 73 places :
Symmetric choice reduction at 0 with 73 rule applications. Total rules 73 place count 1515 transition count 2574
Iterating global reduction 0 with 73 rules applied. Total rules applied 146 place count 1515 transition count 2574
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 193 place count 1468 transition count 2527
Iterating global reduction 0 with 47 rules applied. Total rules applied 240 place count 1468 transition count 2527
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 257 place count 1451 transition count 2510
Iterating global reduction 0 with 17 rules applied. Total rules applied 274 place count 1451 transition count 2510
Applied a total of 274 rules in 326 ms. Remains 1451 /1588 variables (removed 137) and now considering 2510/2647 (removed 137) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-3081039752787280754.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-599211381210873166.kers'
[2026-05-23 15:58:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-3081039752787280754.kers, --Pflows, --basisKERS=/tmp/petrispot-output-599211381210873166.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2510 rows 1451 cols 7010 entries
Finished phase 1 with 1388 SingleSign rule and 0 generalized
[2026-05-23 15:58:07] [INFO ] Computed 63 invariants in 10 ms
Computed 63 P flows in 10 ms.
Exported basis to /tmp/petrispot-output-599211381210873166.kers
Total runtime 12 ms.
[2026-05-23 15:58:08] [INFO ] Implicit Places using invariants in 659 ms returned []
[2026-05-23 15:58:08] [INFO ] Invariant cache hit.
[2026-05-23 15:58:10] [INFO ] Implicit Places using invariants and state equation in 1718 ms returned []
Implicit Place search using SMT with State Equation took 2378 ms to find 0 implicit places.
Running 2509 sub problems to find dead transitions.
[2026-05-23 15:58:10] [INFO ] Invariant cache hit.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1450/3961 variables, and 0 constraints, problems are : Problem set: 0 solved, 2509 unsolved in 30051 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1451 constraints, PredecessorRefiner: 2509/2508 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2509 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1450/3961 variables, and 0 constraints, problems are : Problem set: 0 solved, 2509 unsolved in 30073 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1451 constraints, PredecessorRefiner: 1/2508 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60867ms problems are : Problem set: 0 solved, 2509 unsolved
Search for dead transitions found 0 dead transitions in 60871ms
Starting structural reductions in LTL mode, iteration 1 : 1451/1588 places, 2510/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63581 ms. Remains : 1451/1588 places, 2510/2647 transitions.
[2026-05-23 15:59:11] [INFO ] Flatten gal took : 52 ms
[2026-05-23 15:59:11] [INFO ] Flatten gal took : 59 ms
[2026-05-23 15:59:11] [INFO ] Input system was already deterministic with 2510 transitions.
[2026-05-23 15:59:11] [INFO ] Flatten gal took : 57 ms
[2026-05-23 15:59:11] [INFO ] Flatten gal took : 59 ms
[2026-05-23 15:59:11] [INFO ] Time to serialize gal into /tmp/CTLFireability4717138514723917416.gal : 14 ms
[2026-05-23 15:59:11] [INFO ] Time to serialize properties into /tmp/CTLFireability4437454211560546466.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/CTLFireability4717138514723917416.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4437454211560546466.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 15:59:41] [INFO ] Flatten gal took : 36 ms
[2026-05-23 15:59:41] [INFO ] Applying decomposition
[2026-05-23 15:59:41] [INFO ] Flatten gal took : 36 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/graph13050505688477276954.txt' '-o' '/tmp/graph13050505688477276954.bin' '-w' '/tmp/graph13050505688477276954.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13050505688477276954.bin' '-l' '-1' '-v' '-w' '/tmp/graph13050505688477276954.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:59:41] [INFO ] Decomposing Gal with order
[2026-05-23 15:59:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:59:41] [INFO ] Removed a total of 2078 redundant transitions.
[2026-05-23 15:59:41] [INFO ] Flatten gal took : 84 ms
[2026-05-23 15:59:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 18 ms.
[2026-05-23 15:59:42] [INFO ] Time to serialize gal into /tmp/CTLFireability16649573215367262292.gal : 13 ms
[2026-05-23 15:59:42] [INFO ] Time to serialize properties into /tmp/CTLFireability16712777054902687402.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/CTLFireability16649573215367262292.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16712777054902687402.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
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,4.33396e+84,5.3415,126856,23744,23,163098,1009,2278,430452,46,1691,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 73 places :
Symmetric choice reduction at 0 with 73 rule applications. Total rules 73 place count 1515 transition count 2574
Iterating global reduction 0 with 73 rules applied. Total rules applied 146 place count 1515 transition count 2574
Discarding 47 places :
Symmetric choice reduction at 0 with 47 rule applications. Total rules 193 place count 1468 transition count 2527
Iterating global reduction 0 with 47 rules applied. Total rules applied 240 place count 1468 transition count 2527
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 257 place count 1451 transition count 2510
Iterating global reduction 0 with 17 rules applied. Total rules applied 274 place count 1451 transition count 2510
Applied a total of 274 rules in 320 ms. Remains 1451 /1588 variables (removed 137) and now considering 2510/2647 (removed 137) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11598461966218215025.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3854564061768720740.kers'
[2026-05-23 16:00:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11598461966218215025.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3854564061768720740.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2510 rows 1451 cols 7010 entries
Finished phase 1 with 1388 SingleSign rule and 0 generalized
[2026-05-23 16:00:12] [INFO ] Computed 63 invariants in 11 ms
Computed 63 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-3854564061768720740.kers
Total runtime 15 ms.
[2026-05-23 16:00:13] [INFO ] Implicit Places using invariants in 924 ms returned []
[2026-05-23 16:00:13] [INFO ] Invariant cache hit.
[2026-05-23 16:00:15] [INFO ] Implicit Places using invariants and state equation in 2083 ms returned []
Implicit Place search using SMT with State Equation took 3010 ms to find 0 implicit places.
Skipped dead transition search.
Starting structural reductions in LTL mode, iteration 1 : 1451/1588 places, 2510/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3331 ms. Remains : 1451/1588 places, 2510/2647 transitions.
[2026-05-23 16:00:15] [INFO ] Flatten gal took : 53 ms
[2026-05-23 16:00:15] [INFO ] Flatten gal took : 59 ms
[2026-05-23 16:00:15] [INFO ] Input system was already deterministic with 2510 transitions.
[2026-05-23 16:00:15] [INFO ] Flatten gal took : 57 ms
[2026-05-23 16:00:15] [INFO ] Flatten gal took : 59 ms
[2026-05-23 16:00:15] [INFO ] Time to serialize gal into /tmp/CTLFireability6873106687626717546.gal : 14 ms
[2026-05-23 16:00:15] [INFO ] Time to serialize properties into /tmp/CTLFireability7966640780732897749.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/CTLFireability6873106687626717546.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7966640780732897749.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 16:00:45] [INFO ] Flatten gal took : 35 ms
[2026-05-23 16:00:45] [INFO ] Applying decomposition
[2026-05-23 16:00:45] [INFO ] Flatten gal took : 38 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/graph5049675867432727440.txt' '-o' '/tmp/graph5049675867432727440.bin' '-w' '/tmp/graph5049675867432727440.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5049675867432727440.bin' '-l' '-1' '-v' '-w' '/tmp/graph5049675867432727440.weights' '-q' '0' '-e' '0.001'
[2026-05-23 16:00:46] [INFO ] Decomposing Gal with order
[2026-05-23 16:00:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 16:00:46] [INFO ] Removed a total of 2071 redundant transitions.
[2026-05-23 16:00:46] [INFO ] Flatten gal took : 97 ms
[2026-05-23 16:00:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 98 labels/synchronizations in 25 ms.
[2026-05-23 16:00:46] [INFO ] Time to serialize gal into /tmp/CTLFireability15955636175794620075.gal : 19 ms
[2026-05-23 16:00:46] [INFO ] Time to serialize properties into /tmp/CTLFireability15679236633834140697.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/CTLFireability15955636175794620075.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15679236633834140697.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
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,4.33396e+84,1.44007,31084,3372,20,38545,1017,2276,120287,52,1664,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1588/1588 places, 2647/2647 transitions.
Discarding 71 places :
Symmetric choice reduction at 0 with 71 rule applications. Total rules 71 place count 1517 transition count 2576
Iterating global reduction 0 with 71 rules applied. Total rules applied 142 place count 1517 transition count 2576
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 186 place count 1473 transition count 2532
Iterating global reduction 0 with 44 rules applied. Total rules applied 230 place count 1473 transition count 2532
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 248 place count 1455 transition count 2514
Iterating global reduction 0 with 18 rules applied. Total rules applied 266 place count 1455 transition count 2514
Applied a total of 266 rules in 348 ms. Remains 1455 /1588 variables (removed 133) and now considering 2514/2647 (removed 133) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1669034592702669256.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13351356591072347794.kers'
[2026-05-23 16:01:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1669034592702669256.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13351356591072347794.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 2514 rows 1455 cols 7018 entries
Finished phase 1 with 1392 SingleSign rule and 0 generalized
[2026-05-23 16:01:16] [INFO ] Computed 63 invariants in 10 ms
Computed 63 P flows in 11 ms.
Exported basis to /tmp/petrispot-output-13351356591072347794.kers
Total runtime 15 ms.
[2026-05-23 16:01:17] [INFO ] Implicit Places using invariants in 1015 ms returned []
[2026-05-23 16:01:17] [INFO ] Invariant cache hit.
[2026-05-23 16:01:19] [INFO ] Implicit Places using invariants and state equation in 2005 ms returned []
Implicit Place search using SMT with State Equation took 3022 ms to find 0 implicit places.
Running 2513 sub problems to find dead transitions.
[2026-05-23 16:01:19] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1454/3969 variables, and 0 constraints, problems are : Problem set: 0 solved, 2513 unsolved in 30078 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1455 constraints, PredecessorRefiner: 2513/2512 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2513 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1454/3969 variables, and 0 constraints, problems are : Problem set: 0 solved, 2513 unsolved in 30075 ms.
Refiners :[Positive P Invariants (semi-flows): 0/63 constraints, State Equation: 0/1455 constraints, PredecessorRefiner: 1/2512 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 61113ms problems are : Problem set: 0 solved, 2513 unsolved
Search for dead transitions found 0 dead transitions in 61118ms
Starting structural reductions in LTL mode, iteration 1 : 1455/1588 places, 2514/2647 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 64494 ms. Remains : 1455/1588 places, 2514/2647 transitions.
[2026-05-23 16:02:21] [INFO ] Flatten gal took : 53 ms
[2026-05-23 16:02:21] [INFO ] Flatten gal took : 58 ms
[2026-05-23 16:02:21] [INFO ] Input system was already deterministic with 2514 transitions.
[2026-05-23 16:02:21] [INFO ] Flatten gal took : 57 ms
[2026-05-23 16:02:21] [INFO ] Flatten gal took : 58 ms
[2026-05-23 16:02:21] [INFO ] Time to serialize gal into /tmp/CTLFireability9302364757035988889.gal : 15 ms
[2026-05-23 16:02:21] [INFO ] Time to serialize properties into /tmp/CTLFireability17009479775111007417.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/CTLFireability9302364757035988889.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17009479775111007417.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-23 16:02:51] [INFO ] Flatten gal took : 35 ms
[2026-05-23 16:02:51] [INFO ] Applying decomposition
[2026-05-23 16:02:51] [INFO ] Flatten gal took : 36 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/graph3532046132350159485.txt' '-o' '/tmp/graph3532046132350159485.bin' '-w' '/tmp/graph3532046132350159485.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3532046132350159485.bin' '-l' '-1' '-v' '-w' '/tmp/graph3532046132350159485.weights' '-q' '0' '-e' '0.001'
[2026-05-23 16:02:51] [INFO ] Decomposing Gal with order
[2026-05-23 16:02:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 16:02:51] [INFO ] Removed a total of 2065 redundant transitions.
[2026-05-23 16:02:51] [INFO ] Flatten gal took : 71 ms
[2026-05-23 16:02:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 92 labels/synchronizations in 12 ms.
[2026-05-23 16:02:51] [INFO ] Time to serialize gal into /tmp/CTLFireability1241913342610539241.gal : 12 ms
[2026-05-23 16:02:51] [INFO ] Time to serialize properties into /tmp/CTLFireability6820413676603610565.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/CTLFireability1241913342610539241.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6820413676603610565.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 16:03:22] [INFO ] Flatten gal took : 37 ms
[2026-05-23 16:03:22] [INFO ] Flatten gal took : 38 ms
[2026-05-23 16:03:22] [INFO ] Applying decomposition
[2026-05-23 16:03:22] [INFO ] Flatten gal took : 38 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/graph11225820904407041231.txt' '-o' '/tmp/graph11225820904407041231.bin' '-w' '/tmp/graph11225820904407041231.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11225820904407041231.bin' '-l' '-1' '-v' '-w' '/tmp/graph11225820904407041231.weights' '-q' '0' '-e' '0.001'
[2026-05-23 16:03:22] [INFO ] Decomposing Gal with order
[2026-05-23 16:03:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 16:03:22] [INFO ] Removed a total of 2054 redundant transitions.
[2026-05-23 16:03:22] [INFO ] Flatten gal took : 104 ms
[2026-05-23 16:03:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 74 labels/synchronizations in 20 ms.
[2026-05-23 16:03:22] [INFO ] Time to serialize gal into /tmp/CTLFireability723633056574049681.gal : 21 ms
[2026-05-23 16:03:22] [INFO ] Time to serialize properties into /tmp/CTLFireability11999281141027752592.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/CTLFireability723633056574049681.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11999281141027752592.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 12 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.21589e+87,2.26692,44972,4011,22,70141,1206,2933,172482,59,2348,0
Converting to forward existential form...Done !
original formula: !(A(((EG(E(((i3.u35.p122==1)&&(i15.u157.p563==1)) U (i37.u405.p1457==1))) * (((i7.u68.p256==1)||(i27.u298.p1076==1))||((i29.i1.i2.u327.p1...457
=> equivalent forward existential formula: ([(FwdU(((FwdU(Init,!(!((!(EG(!(!(((i8.i1.i2.u81.p307==1)&&(i15.u153.p551==1)))))) * E(E(TRUE U ((i17.u188.p689=...851
Reverse transition relation is NOT exact ! Due to transitions t138, t163, t274, t326, t379, t429, t513, t564, t706, t756, t972, t1032, t1297, t1346, i0.t14...1516
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found a local SCC at level 2
Fast SCC detection found a local SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Fast SCC detection found an SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found a local SCC at level 2
Fast SCC detection found a local SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Detected timeout of ITS tools.
[2026-05-23 16:33:16] [INFO ] Applying decomposition
[2026-05-23 16:33:17] [INFO ] Flatten gal took : 58 ms
[2026-05-23 16:33:17] [INFO ] Decomposing Gal with order
[2026-05-23 16:33:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 16:33:17] [INFO ] Removed a total of 1645 redundant transitions.
[2026-05-23 16:33:17] [INFO ] Flatten gal took : 91 ms
[2026-05-23 16:33:17] [INFO ] Fuse similar labels procedure discarded/fused a total of 715 labels/synchronizations in 54 ms.
[2026-05-23 16:33:17] [INFO ] Time to serialize gal into /tmp/CTLFireability16452289171899506684.gal : 14 ms
[2026-05-23 16:33:17] [INFO ] Time to serialize properties into /tmp/CTLFireability787826692042493337.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16452289171899506684.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability787826692042493337.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 12 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.21589e+87,0.995165,24120,1231,663,32471,6009,1579,82081,574,24657,0
Converting to forward existential form...Done !
original formula: !(A(((EG(E(((i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u16.p122==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u40.p563==1)) U (i1.i1.i1.i0.i0.i0.i0...744
=> equivalent forward existential formula: ([(FwdU(((FwdU(Init,!(!((!(EG(!(!(((i0.i0.i0.i0.i0.i0.i0.u21.p307==1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u40....1320
Reverse transition relation is NOT exact ! Due to transitions i0.t1346, i0.u27.t1351, i0.i0.u26.t1377, i0.i0.i0.u25.t1404, i0.i0.i0.i0.u24.t1432, i0.i0.i0....3662
Using saturation style SCC detection
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Champagne-PT-H10T2O"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is Champagne-PT-H10T2O, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r050-smll-177946901100162"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Champagne-PT-H10T2O.tgz
mv Champagne-PT-H10T2O execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;