About the Execution of ITS-Tools for CircularTrains-PT-384
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16194.571 | 3600000.00 | 3353352.00 | 113341.90 | 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-177946901200258.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 CircularTrains-PT-384, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r050-smll-177946901200258
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 780K
-rw-r--r-- 1 mcc users 7.1K Mar 5 14:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Mar 5 14:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 5 14:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Mar 5 14:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Mar 15 08:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 08:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 15 08:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 15 08:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 5 14:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Mar 5 14:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Mar 5 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Mar 5 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 08:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 08:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 293K 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 CircularTrains-PT-384-CTLFireability-2024-00
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-01
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-02
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-03
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-04
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-05
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-06
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-07
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-08
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-09
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-10
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-11
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-12
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-13
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-14
FORMULA_NAME CircularTrains-PT-384-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779587641281
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CircularTrains-PT-384
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-24 01:54:03] [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-24 01:54:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 01:54:03] [INFO ] Load time of PNML (sax parser for PT used): 194 ms
[2026-05-24 01:54:03] [INFO ] Transformed 768 places.
[2026-05-24 01:54:03] [INFO ] Transformed 384 transitions.
[2026-05-24 01:54:03] [INFO ] Parsed PT model containing 768 places and 384 transitions and 1536 arcs in 360 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 19 ms.
Support contains 220 out of 768 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 768/768 places, 384/384 transitions.
Applied a total of 0 rules in 115 ms. Remains 768 /768 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2942603902262993605.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15181916817047164673.kers'
[2026-05-24 01:54:04] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2942603902262993605.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15181916817047164673.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 384 rows 768 cols 1536 entries
Finished phase 1 with 0 SingleSign rule and 383 generalized
[2026-05-24 01:54:04] [INFO ] Computed 385 invariants in 23 ms
Computed 385 P flows in 25 ms.
Exported basis to /tmp/petrispot-output-15181916817047164673.kers
Total runtime 26 ms.
[2026-05-24 01:54:06] [INFO ] Implicit Places using invariants in 1804 ms returned [1, 9, 17, 21, 26, 46, 63, 64, 71, 85, 86, 98, 103, 107, 133, 135, 162, 167, 174, 179, 193, 198, 203, 215, 220, 221, 230, 245, 246, 270, 276, 287, 293, 303, 331, 340, 346, 350, 351, 353, 354, 357, 365, 383, 390, 397, 411, 422, 433, 448, 470, 475, 485, 504, 507, 508, 522, 525, 538, 545, 551, 576, 579, 580, 586, 600, 619, 622, 625, 644, 662, 666, 671, 677, 693, 700, 708, 715, 719, 723, 735, 741, 743, 746, 758, 759, 760, 763]
Discarding 88 places :
Implicit Place search using SMT only with invariants took 1903 ms to find 88 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 680/768 places, 384/384 transitions.
Applied a total of 0 rules in 62 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 2108 ms. Remains : 680/768 places, 384/384 transitions.
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 49 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7512118733116261703.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13551698332246053522.kers'
[2026-05-24 01:54:06] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7512118733116261703.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13551698332246053522.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 384 rows 680 cols 1360 entries
Finished phase 1 with 117 SingleSign rule and 266 generalized
[2026-05-24 01:54:06] [INFO ] Computed 297 invariants in 16 ms
Computed 297 P flows in 17 ms.
Exported basis to /tmp/petrispot-output-13551698332246053522.kers
Total runtime 18 ms.
[2026-05-24 01:54:07] [INFO ] Implicit Places using invariants in 1324 ms returned []
[2026-05-24 01:54:07] [INFO ] Invariant cache hit.
[2026-05-24 01:54:08] [INFO ] Implicit Places using invariants and state equation in 1135 ms returned []
Implicit Place search using SMT with State Equation took 2463 ms to find 0 implicit places.
Running 256 sub problems to find dead transitions.
[2026-05-24 01:54:08] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/424 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/424 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 2 (OVERLAPS) 241/665 variables, 249/262 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/665 variables, 16/278 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/665 variables, 0/278 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 5 (OVERLAPS) 15/680 variables, 19/297 constraints. Problems are: Problem set: 0 solved, 256 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 680/1064 variables, and 297 constraints, problems are : Problem set: 0 solved, 256 unsolved in 30027 ms.
Refiners :[Positive P Invariants (semi-flows): 249/249 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 0/680 constraints, PredecessorRefiner: 256/256 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 256 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/424 variables, 13/13 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/424 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 2 (OVERLAPS) 241/665 variables, 249/262 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/665 variables, 16/278 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/665 variables, 0/278 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 5 (OVERLAPS) 15/680 variables, 19/297 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/680 variables, 0/297 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 7 (OVERLAPS) 384/1064 variables, 680/977 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1064 variables, 256/1233 constraints. Problems are: Problem set: 0 solved, 256 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1064/1064 variables, and 1233 constraints, problems are : Problem set: 0 solved, 256 unsolved in 30021 ms.
Refiners :[Positive P Invariants (semi-flows): 249/249 constraints, Generalized P Invariants (flows): 48/48 constraints, State Equation: 680/680 constraints, PredecessorRefiner: 256/256 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60163ms problems are : Problem set: 0 solved, 256 unsolved
Search for dead transitions found 0 dead transitions in 60182ms
Finished structural reductions in LTL mode , in 1 iterations and 62729 ms. Remains : 680/680 places, 384/384 transitions.
Support contains 220 out of 680 places after structural reductions.
[2026-05-24 01:55:09] [INFO ] Flatten gal took : 148 ms
[2026-05-24 01:55:09] [INFO ] Flatten gal took : 78 ms
[2026-05-24 01:55:09] [INFO ] Input system was already deterministic with 384 transitions.
Reduction of identical properties reduced properties to check from 93 to 92
RANDOM walk for 16621 steps (3 resets) in 2330 ms. (7 steps per ms) remains 0/92 properties
[2026-05-24 01:55:10] [INFO ] Flatten gal took : 33 ms
[2026-05-24 01:55:10] [INFO ] Flatten gal took : 35 ms
[2026-05-24 01:55:10] [INFO ] Input system was already deterministic with 384 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 11 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 01:55:10] [INFO ] Invariant cache hit.
[2026-05-24 01:55:11] [INFO ] Implicit Places using invariants in 675 ms returned [6, 27, 37, 42, 52, 94, 95, 121, 142, 165, 225, 268, 357, 365, 378, 398, 399, 424, 443, 449, 451, 480, 541, 559, 569, 574, 577, 578, 601, 615, 640, 652, 659, 663, 671, 676]
Discarding 36 places :
Implicit Place search using SMT only with invariants took 699 ms to find 36 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 644/680 places, 384/384 transitions.
Applied a total of 0 rules in 15 ms. Remains 644 /644 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 725 ms. Remains : 644/680 places, 384/384 transitions.
[2026-05-24 01:55:11] [INFO ] Flatten gal took : 36 ms
[2026-05-24 01:55:11] [INFO ] Flatten gal took : 36 ms
[2026-05-24 01:55:11] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 01:55:11] [INFO ] Flatten gal took : 34 ms
[2026-05-24 01:55:11] [INFO ] Flatten gal took : 32 ms
[2026-05-24 01:55:11] [INFO ] Time to serialize gal into /tmp/CTLFireability11710578341737924127.gal : 27 ms
[2026-05-24 01:55:11] [INFO ] Time to serialize properties into /tmp/CTLFireability16981307899600549411.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/CTLFireability11710578341737924127.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16981307899600549411.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-24 01:55:41] [INFO ] Flatten gal took : 21 ms
[2026-05-24 01:55:41] [INFO ] Applying decomposition
[2026-05-24 01:55:41] [INFO ] Flatten gal took : 39 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/graph7025190901071166672.txt' '-o' '/tmp/graph7025190901071166672.bin' '-w' '/tmp/graph7025190901071166672.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7025190901071166672.bin' '-l' '-1' '-v' '-w' '/tmp/graph7025190901071166672.weights' '-q' '0' '-e' '0.001'
[2026-05-24 01:55:42] [INFO ] Decomposing Gal with order
[2026-05-24 01:55:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 01:55:42] [INFO ] Flatten gal took : 155 ms
[2026-05-24 01:55:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 9 ms.
[2026-05-24 01:55:42] [INFO ] Time to serialize gal into /tmp/CTLFireability17352125193638086310.gal : 18 ms
[2026-05-24 01:55:42] [INFO ] Time to serialize properties into /tmp/CTLFireability14223177308484126975.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/CTLFireability17352125193638086310.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14223177308484126975.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 680/680 places, 384/384 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 0 with 55 rules applied. Total rules applied 55 place count 680 transition count 329
Reduce places removed 55 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 58 rules applied. Total rules applied 113 place count 625 transition count 326
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 116 place count 622 transition count 326
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 30 Pre rules applied. Total rules applied 116 place count 622 transition count 296
Deduced a syphon composed of 30 places in 0 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 3 with 60 rules applied. Total rules applied 176 place count 592 transition count 296
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Deduced a syphon composed of 27 places in 0 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 3 with 54 rules applied. Total rules applied 230 place count 565 transition count 269
Applied a total of 230 rules in 114 ms. Remains 565 /680 variables (removed 115) and now considering 269/384 (removed 115) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7350612847201326965.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14772267963940641244.kers'
[2026-05-24 01:56:12] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7350612847201326965.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14772267963940641244.kers]
Culling duplicate invariants (modulo rational): removing 230 columns.
Culled 230 columns in 0 ms.
// Phase 1: matrix 269 rows 335 cols 670 entries
Finished phase 1 with 193 SingleSign rule and 75 generalized
[2026-05-24 01:56:12] [INFO ] Computed 297 invariants in 2 ms
Computed 297 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-14772267963940641244.kers
Total runtime 4 ms.
[2026-05-24 01:56:13] [INFO ] Implicit Places using invariants in 738 ms returned [5, 24, 34, 37, 46, 68, 83, 105, 122, 141, 190, 223, 252, 260, 298, 303, 314, 331, 332, 353, 370, 375, 377, 399, 445, 459, 466, 470, 473, 474, 496, 507, 530, 541, 547, 552, 557, 562]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 740 ms to find 38 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 527/680 places, 269/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 527 transition count 260
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 18 place count 518 transition count 260
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 18 place count 518 transition count 258
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 22 place count 516 transition count 258
Applied a total of 22 rules in 33 ms. Remains 516 /527 variables (removed 11) and now considering 258/269 (removed 11) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15344758710418939373.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4237922466005011845.kers'
[2026-05-24 01:56:13] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15344758710418939373.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4237922466005011845.kers]
Culling duplicate invariants (modulo rational): removing 252 columns.
Culled 252 columns in 0 ms.
// Phase 1: matrix 258 rows 264 cols 528 entries
Finished phase 1 with 187 SingleSign rule and 70 generalized
[2026-05-24 01:56:13] [INFO ] Computed 259 invariants in 2 ms
Computed 259 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-4237922466005011845.kers
Total runtime 3 ms.
[2026-05-24 01:56:14] [INFO ] Implicit Places using invariants in 780 ms returned []
[2026-05-24 01:56:14] [INFO ] Invariant cache hit.
[2026-05-24 01:56:14] [INFO ] Implicit Places using invariants and state equation in 689 ms returned []
Implicit Place search using SMT with State Equation took 1470 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 516/680 places, 258/384 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 2357 ms. Remains : 516/680 places, 258/384 transitions.
[2026-05-24 01:56:14] [INFO ] Flatten gal took : 12 ms
[2026-05-24 01:56:14] [INFO ] Flatten gal took : 14 ms
[2026-05-24 01:56:14] [INFO ] Input system was already deterministic with 258 transitions.
[2026-05-24 01:56:14] [INFO ] Flatten gal took : 13 ms
[2026-05-24 01:56:14] [INFO ] Flatten gal took : 13 ms
[2026-05-24 01:56:14] [INFO ] Time to serialize gal into /tmp/CTLFireability4815144934218327070.gal : 3 ms
[2026-05-24 01:56:14] [INFO ] Time to serialize properties into /tmp/CTLFireability7843617047594766084.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/CTLFireability4815144934218327070.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7843617047594766084.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-24 01:56:44] [INFO ] Flatten gal took : 17 ms
[2026-05-24 01:56:44] [INFO ] Applying decomposition
[2026-05-24 01:56:45] [INFO ] Flatten gal took : 17 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/graph18103620882967823590.txt' '-o' '/tmp/graph18103620882967823590.bin' '-w' '/tmp/graph18103620882967823590.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18103620882967823590.bin' '-l' '-1' '-v' '-w' '/tmp/graph18103620882967823590.weights' '-q' '0' '-e' '0.001'
[2026-05-24 01:56:45] [INFO ] Decomposing Gal with order
[2026-05-24 01:56:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 01:56:45] [INFO ] Flatten gal took : 57 ms
[2026-05-24 01:56:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2026-05-24 01:56:45] [INFO ] Time to serialize gal into /tmp/CTLFireability297070116521381908.gal : 13 ms
[2026-05-24 01:56:45] [INFO ] Time to serialize properties into /tmp/CTLFireability3153176963392810699.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/CTLFireability297070116521381908.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3153176963392810699.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 59 transitions
Trivial Post-agglo rules discarded 59 transitions
Performed 59 trivial Post agglomeration. Transition count delta: 59
Iterating post reduction 0 with 59 rules applied. Total rules applied 59 place count 680 transition count 325
Reduce places removed 59 places and 0 transitions.
Iterating post reduction 1 with 59 rules applied. Total rules applied 118 place count 621 transition count 325
Performed 28 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 28 Pre rules applied. Total rules applied 118 place count 621 transition count 297
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 2 with 56 rules applied. Total rules applied 174 place count 593 transition count 297
Performed 29 Post agglomeration using F-continuation condition.Transition count delta: 29
Deduced a syphon composed of 29 places in 0 ms
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 58 rules applied. Total rules applied 232 place count 564 transition count 268
Applied a total of 232 rules in 60 ms. Remains 564 /680 variables (removed 116) and now considering 268/384 (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-4773754926574984304.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-954687357311357396.kers'
[2026-05-24 01:57:15] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4773754926574984304.kers, --Pflows, --basisKERS=/tmp/petrispot-output-954687357311357396.kers]
Culling duplicate invariants (modulo rational): removing 232 columns.
Culled 232 columns in 0 ms.
// Phase 1: matrix 268 rows 332 cols 664 entries
Finished phase 1 with 192 SingleSign rule and 75 generalized
[2026-05-24 01:57:15] [INFO ] Computed 297 invariants in 12 ms
Computed 297 P flows in 18 ms.
Exported basis to /tmp/petrispot-output-954687357311357396.kers
Total runtime 19 ms.
[2026-05-24 01:57:16] [INFO ] Implicit Places using invariants in 1008 ms returned [5, 24, 34, 37, 46, 68, 83, 84, 105, 122, 141, 190, 223, 252, 260, 297, 302, 313, 330, 331, 352, 369, 374, 376, 399, 445, 458, 465, 469, 472, 473, 495, 506, 529, 540, 546, 549, 551, 556]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 1012 ms to find 39 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 525/680 places, 268/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 525 transition count 257
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 22 place count 514 transition count 257
Applied a total of 22 rules in 24 ms. Remains 514 /525 variables (removed 11) and now considering 257/268 (removed 11) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14781471956561626770.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3314749970786427831.kers'
[2026-05-24 01:57:16] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14781471956561626770.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3314749970786427831.kers]
Culling duplicate invariants (modulo rational): removing 254 columns.
Culled 254 columns in 0 ms.
// Phase 1: matrix 257 rows 260 cols 520 entries
Finished phase 1 with 186 SingleSign rule and 70 generalized
[2026-05-24 01:57:16] [INFO ] Computed 258 invariants in 1 ms
Computed 258 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-3314749970786427831.kers
Total runtime 2 ms.
[2026-05-24 01:57:17] [INFO ] Implicit Places using invariants in 810 ms returned []
[2026-05-24 01:57:17] [INFO ] Invariant cache hit.
[2026-05-24 01:57:18] [INFO ] Implicit Places using invariants and state equation in 909 ms returned []
Implicit Place search using SMT with State Equation took 1721 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 514/680 places, 257/384 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 2817 ms. Remains : 514/680 places, 257/384 transitions.
[2026-05-24 01:57:18] [INFO ] Flatten gal took : 21 ms
[2026-05-24 01:57:18] [INFO ] Flatten gal took : 14 ms
[2026-05-24 01:57:18] [INFO ] Input system was already deterministic with 257 transitions.
[2026-05-24 01:57:18] [INFO ] Flatten gal took : 13 ms
[2026-05-24 01:57:18] [INFO ] Flatten gal took : 13 ms
[2026-05-24 01:57:18] [INFO ] Time to serialize gal into /tmp/CTLFireability18041834320010164691.gal : 3 ms
[2026-05-24 01:57:18] [INFO ] Time to serialize properties into /tmp/CTLFireability7703087615845250053.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/CTLFireability18041834320010164691.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7703087615845250053.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-24 01:57:48] [INFO ] Flatten gal took : 9 ms
[2026-05-24 01:57:48] [INFO ] Applying decomposition
[2026-05-24 01:57:48] [INFO ] Flatten gal took : 8 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/graph16673759710172488326.txt' '-o' '/tmp/graph16673759710172488326.bin' '-w' '/tmp/graph16673759710172488326.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16673759710172488326.bin' '-l' '-1' '-v' '-w' '/tmp/graph16673759710172488326.weights' '-q' '0' '-e' '0.001'
[2026-05-24 01:57:48] [INFO ] Decomposing Gal with order
[2026-05-24 01:57:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 01:57:48] [INFO ] Flatten gal took : 37 ms
[2026-05-24 01:57:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2026-05-24 01:57:48] [INFO ] Time to serialize gal into /tmp/CTLFireability13587267032844401025.gal : 12 ms
[2026-05-24 01:57:48] [INFO ] Time to serialize properties into /tmp/CTLFireability5335876543047075871.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/CTLFireability13587267032844401025.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5335876543047075871.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 10 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1767650365169680568.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8737064713336332784.kers'
[2026-05-24 01:58:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1767650365169680568.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8737064713336332784.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 384 rows 680 cols 1360 entries
Finished phase 1 with 117 SingleSign rule and 266 generalized
[2026-05-24 01:58:18] [INFO ] Computed 297 invariants in 9 ms
Computed 297 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-8737064713336332784.kers
Total runtime 10 ms.
[2026-05-24 01:58:19] [INFO ] Implicit Places using invariants in 972 ms returned [6, 27, 37, 42, 52, 77, 94, 95, 121, 142, 165, 225, 268, 299, 310, 357, 365, 378, 398, 399, 424, 443, 449, 451, 480, 541, 559, 569, 574, 577, 578, 601, 615, 640, 652, 659, 663, 665, 671, 676]
Discarding 40 places :
Implicit Place search using SMT only with invariants took 984 ms to find 40 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 640/680 places, 384/384 transitions.
Applied a total of 0 rules in 13 ms. Remains 640 /640 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1009 ms. Remains : 640/680 places, 384/384 transitions.
[2026-05-24 01:58:19] [INFO ] Flatten gal took : 22 ms
[2026-05-24 01:58:19] [INFO ] Flatten gal took : 19 ms
[2026-05-24 01:58:19] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 01:58:19] [INFO ] Flatten gal took : 36 ms
[2026-05-24 01:58:20] [INFO ] Flatten gal took : 51 ms
[2026-05-24 01:58:20] [INFO ] Time to serialize gal into /tmp/CTLFireability18309928561748551539.gal : 5 ms
[2026-05-24 01:58:20] [INFO ] Time to serialize properties into /tmp/CTLFireability12851073184492558716.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/CTLFireability18309928561748551539.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12851073184492558716.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-24 01:58:50] [INFO ] Flatten gal took : 17 ms
[2026-05-24 01:58:50] [INFO ] Applying decomposition
[2026-05-24 01:58:50] [INFO ] Flatten gal took : 17 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/graph6137897424776723272.txt' '-o' '/tmp/graph6137897424776723272.bin' '-w' '/tmp/graph6137897424776723272.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6137897424776723272.bin' '-l' '-1' '-v' '-w' '/tmp/graph6137897424776723272.weights' '-q' '0' '-e' '0.001'
[2026-05-24 01:58:50] [INFO ] Decomposing Gal with order
[2026-05-24 01:58:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 01:58:50] [INFO ] Flatten gal took : 26 ms
[2026-05-24 01:58:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 01:58:50] [INFO ] Time to serialize gal into /tmp/CTLFireability11988848618641546738.gal : 8 ms
[2026-05-24 01:58:50] [INFO ] Time to serialize properties into /tmp/CTLFireability9808674366223760581.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/CTLFireability11988848618641546738.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9808674366223760581.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 17 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 01:59:20] [INFO ] Invariant cache hit.
[2026-05-24 01:59:21] [INFO ] Implicit Places using invariants in 791 ms returned [6, 52, 77, 95, 121, 142, 165, 225, 268, 299, 310, 357, 365, 398, 399, 424, 443, 449, 451, 480, 541, 559, 569, 574, 577, 578, 601, 615, 640, 652, 659, 663, 665, 671, 676]
Discarding 35 places :
Implicit Place search using SMT only with invariants took 796 ms to find 35 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 645/680 places, 384/384 transitions.
Applied a total of 0 rules in 13 ms. Remains 645 /645 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 827 ms. Remains : 645/680 places, 384/384 transitions.
[2026-05-24 01:59:21] [INFO ] Flatten gal took : 15 ms
[2026-05-24 01:59:21] [INFO ] Flatten gal took : 16 ms
[2026-05-24 01:59:21] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 01:59:21] [INFO ] Flatten gal took : 15 ms
[2026-05-24 01:59:21] [INFO ] Flatten gal took : 16 ms
[2026-05-24 01:59:21] [INFO ] Time to serialize gal into /tmp/CTLFireability1418703567478605662.gal : 4 ms
[2026-05-24 01:59:21] [INFO ] Time to serialize properties into /tmp/CTLFireability13384142478073356625.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/CTLFireability1418703567478605662.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13384142478073356625.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-24 01:59:51] [INFO ] Flatten gal took : 10 ms
[2026-05-24 01:59:51] [INFO ] Applying decomposition
[2026-05-24 01:59:51] [INFO ] Flatten gal took : 9 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/graph10563188855856252072.txt' '-o' '/tmp/graph10563188855856252072.bin' '-w' '/tmp/graph10563188855856252072.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10563188855856252072.bin' '-l' '-1' '-v' '-w' '/tmp/graph10563188855856252072.weights' '-q' '0' '-e' '0.001'
[2026-05-24 01:59:51] [INFO ] Decomposing Gal with order
[2026-05-24 01:59:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 01:59:51] [INFO ] Flatten gal took : 17 ms
[2026-05-24 01:59:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 01:59:51] [INFO ] Time to serialize gal into /tmp/CTLFireability17404685479657024704.gal : 5 ms
[2026-05-24 01:59:51] [INFO ] Time to serialize properties into /tmp/CTLFireability17331864992106411458.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/CTLFireability17404685479657024704.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17331864992106411458.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 680 transition count 326
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 116 place count 622 transition count 326
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 116 place count 622 transition count 296
Deduced a syphon composed of 30 places in 1 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 176 place count 592 transition count 296
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 2 with 56 rules applied. Total rules applied 232 place count 564 transition count 268
Applied a total of 232 rules in 68 ms. Remains 564 /680 variables (removed 116) and now considering 268/384 (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-321113882468447447.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15560594535936349951.kers'
[2026-05-24 02:00:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-321113882468447447.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15560594535936349951.kers]
Culling duplicate invariants (modulo rational): removing 232 columns.
Culled 232 columns in 1 ms.
// Phase 1: matrix 268 rows 332 cols 664 entries
Finished phase 1 with 193 SingleSign rule and 74 generalized
[2026-05-24 02:00:21] [INFO ] Computed 297 invariants in 4 ms
Computed 297 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-15560594535936349951.kers
Total runtime 6 ms.
[2026-05-24 02:00:22] [INFO ] Implicit Places using invariants in 963 ms returned [5, 24, 34, 37, 46, 68, 83, 84, 105, 122, 141, 190, 223, 252, 260, 297, 302, 313, 330, 331, 353, 370, 375, 377, 399, 445, 458, 465, 469, 472, 473, 495, 506, 529, 540, 546, 549, 551, 556, 561]
Discarding 40 places :
Implicit Place search using SMT only with invariants took 965 ms to find 40 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 524/680 places, 268/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 524 transition count 257
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 22 place count 513 transition count 257
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 22 place count 513 transition count 256
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24 place count 512 transition count 256
Applied a total of 24 rules in 22 ms. Remains 512 /524 variables (removed 12) and now considering 256/268 (removed 12) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11037505508265138767.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7247430201780624003.kers'
[2026-05-24 02:00:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11037505508265138767.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7247430201780624003.kers]
Culling duplicate invariants (modulo rational): removing 256 columns.
Culled 256 columns in 0 ms.
// Phase 1: matrix 256 rows 256 cols 512 entries
Finished phase 1 with 184 SingleSign rule and 71 generalized
[2026-05-24 02:00:22] [INFO ] Computed 257 invariants in 3 ms
Computed 257 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-7247430201780624003.kers
Total runtime 4 ms.
[2026-05-24 02:00:23] [INFO ] Implicit Places using invariants in 783 ms returned []
[2026-05-24 02:00:23] [INFO ] Invariant cache hit.
[2026-05-24 02:00:24] [INFO ] Implicit Places using invariants and state equation in 859 ms returned []
Implicit Place search using SMT with State Equation took 1646 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 512/680 places, 256/384 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 2704 ms. Remains : 512/680 places, 256/384 transitions.
[2026-05-24 02:00:24] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:00:24] [INFO ] Flatten gal took : 7 ms
[2026-05-24 02:00:24] [INFO ] Input system was already deterministic with 256 transitions.
[2026-05-24 02:00:24] [INFO ] Flatten gal took : 7 ms
[2026-05-24 02:00:24] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:00:24] [INFO ] Time to serialize gal into /tmp/CTLFireability18392018546393960772.gal : 3 ms
[2026-05-24 02:00:24] [INFO ] Time to serialize properties into /tmp/CTLFireability3099168112993736728.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/CTLFireability18392018546393960772.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3099168112993736728.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-24 02:00:54] [INFO ] Flatten gal took : 7 ms
[2026-05-24 02:00:54] [INFO ] Applying decomposition
[2026-05-24 02:00:54] [INFO ] Flatten gal took : 7 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/graph15646364180545632714.txt' '-o' '/tmp/graph15646364180545632714.bin' '-w' '/tmp/graph15646364180545632714.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15646364180545632714.bin' '-l' '-1' '-v' '-w' '/tmp/graph15646364180545632714.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:00:54] [INFO ] Decomposing Gal with order
[2026-05-24 02:00:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:00:54] [INFO ] Flatten gal took : 32 ms
[2026-05-24 02:00:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 19 ms.
[2026-05-24 02:00:54] [INFO ] Time to serialize gal into /tmp/CTLFireability13479306346303209857.gal : 7 ms
[2026-05-24 02:00:54] [INFO ] Time to serialize properties into /tmp/CTLFireability11052068934614480876.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/CTLFireability13479306346303209857.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11052068934614480876.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 21 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-2799356885602646245.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15874020962251845533.kers'
[2026-05-24 02:01:24] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-2799356885602646245.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15874020962251845533.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 384 rows 680 cols 1360 entries
Finished phase 1 with 117 SingleSign rule and 266 generalized
[2026-05-24 02:01:24] [INFO ] Computed 297 invariants in 9 ms
Computed 297 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-15874020962251845533.kers
Total runtime 10 ms.
[2026-05-24 02:01:25] [INFO ] Implicit Places using invariants in 684 ms returned [6, 37, 42, 52, 77, 94, 95, 121, 142, 225, 268, 299, 310, 357, 378, 398, 424, 443, 449, 480, 541, 559, 569, 574, 577, 578, 601, 640, 652, 659, 663, 665, 676]
Discarding 33 places :
Implicit Place search using SMT only with invariants took 703 ms to find 33 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 647/680 places, 384/384 transitions.
Applied a total of 0 rules in 10 ms. Remains 647 /647 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 735 ms. Remains : 647/680 places, 384/384 transitions.
[2026-05-24 02:01:25] [INFO ] Flatten gal took : 10 ms
[2026-05-24 02:01:25] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:01:25] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:01:25] [INFO ] Flatten gal took : 10 ms
[2026-05-24 02:01:25] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:01:25] [INFO ] Time to serialize gal into /tmp/CTLFireability6088771204806160076.gal : 3 ms
[2026-05-24 02:01:25] [INFO ] Time to serialize properties into /tmp/CTLFireability10969760595972787959.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/CTLFireability6088771204806160076.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10969760595972787959.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-24 02:01:55] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:01:55] [INFO ] Applying decomposition
[2026-05-24 02:01:55] [INFO ] Flatten gal took : 9 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/graph86250883600478764.txt' '-o' '/tmp/graph86250883600478764.bin' '-w' '/tmp/graph86250883600478764.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph86250883600478764.bin' '-l' '-1' '-v' '-w' '/tmp/graph86250883600478764.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:01:55] [INFO ] Decomposing Gal with order
[2026-05-24 02:01:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:01:55] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:01:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:01:55] [INFO ] Time to serialize gal into /tmp/CTLFireability6669807033673093294.gal : 6 ms
[2026-05-24 02:01:55] [INFO ] Time to serialize properties into /tmp/CTLFireability14710497498897419847.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/CTLFireability6669807033673093294.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14710497498897419847.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 14 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 02:02:25] [INFO ] Invariant cache hit.
[2026-05-24 02:02:26] [INFO ] Implicit Places using invariants in 868 ms returned [6, 27, 37, 42, 52, 77, 94, 121, 142, 165, 225, 268, 299, 310, 357, 365, 378, 399, 424, 443, 449, 451, 480, 541, 559, 569, 574, 577, 578, 601, 615, 640, 659, 663, 665, 671, 676]
Discarding 37 places :
Implicit Place search using SMT only with invariants took 877 ms to find 37 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 643/680 places, 384/384 transitions.
Applied a total of 0 rules in 14 ms. Remains 643 /643 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 912 ms. Remains : 643/680 places, 384/384 transitions.
[2026-05-24 02:02:26] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:02:26] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:02:26] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:02:26] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:02:26] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:02:26] [INFO ] Time to serialize gal into /tmp/CTLFireability9490534368433670316.gal : 3 ms
[2026-05-24 02:02:26] [INFO ] Time to serialize properties into /tmp/CTLFireability8800369909155034211.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/CTLFireability9490534368433670316.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8800369909155034211.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-24 02:02:57] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:02:57] [INFO ] Applying decomposition
[2026-05-24 02:02:57] [INFO ] Flatten gal took : 9 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/graph674147362966647680.txt' '-o' '/tmp/graph674147362966647680.bin' '-w' '/tmp/graph674147362966647680.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph674147362966647680.bin' '-l' '-1' '-v' '-w' '/tmp/graph674147362966647680.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:02:57] [INFO ] Decomposing Gal with order
[2026-05-24 02:02:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:02:57] [INFO ] Flatten gal took : 17 ms
[2026-05-24 02:02:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:02:57] [INFO ] Time to serialize gal into /tmp/CTLFireability12263137696838734002.gal : 5 ms
[2026-05-24 02:02:57] [INFO ] Time to serialize properties into /tmp/CTLFireability7458787226339921664.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/CTLFireability12263137696838734002.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7458787226339921664.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 680 transition count 326
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 116 place count 622 transition count 326
Performed 30 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 30 Pre rules applied. Total rules applied 116 place count 622 transition count 296
Deduced a syphon composed of 30 places in 1 ms
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 2 with 60 rules applied. Total rules applied 176 place count 592 transition count 296
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 2 with 56 rules applied. Total rules applied 232 place count 564 transition count 268
Applied a total of 232 rules in 41 ms. Remains 564 /680 variables (removed 116) and now considering 268/384 (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-14618558964901921293.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13256064605133579381.kers'
[2026-05-24 02:03:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14618558964901921293.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13256064605133579381.kers]
Culling duplicate invariants (modulo rational): removing 232 columns.
Culled 232 columns in 0 ms.
// Phase 1: matrix 268 rows 332 cols 664 entries
Finished phase 1 with 195 SingleSign rule and 72 generalized
[2026-05-24 02:03:27] [INFO ] Computed 297 invariants in 3 ms
Computed 297 P flows in 4 ms.
Exported basis to /tmp/petrispot-output-13256064605133579381.kers
Total runtime 4 ms.
[2026-05-24 02:03:28] [INFO ] Implicit Places using invariants in 882 ms returned [5, 24, 34, 37, 46, 68, 83, 84, 105, 122, 141, 190, 223, 252, 260, 297, 302, 314, 331, 332, 353, 370, 375, 377, 399, 445, 458, 465, 469, 472, 473, 495, 506, 529, 540, 546, 549, 551, 556, 561]
Discarding 40 places :
Implicit Place search using SMT only with invariants took 884 ms to find 40 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 524/680 places, 268/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 524 transition count 257
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 22 place count 513 transition count 257
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 22 place count 513 transition count 256
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24 place count 512 transition count 256
Applied a total of 24 rules in 22 ms. Remains 512 /524 variables (removed 12) and now considering 256/268 (removed 12) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15774113590489455458.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-1314626646862007575.kers'
[2026-05-24 02:03:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15774113590489455458.kers, --Pflows, --basisKERS=/tmp/petrispot-output-1314626646862007575.kers]
Culling duplicate invariants (modulo rational): removing 256 columns.
Culled 256 columns in 0 ms.
// Phase 1: matrix 256 rows 256 cols 512 entries
Finished phase 1 with 184 SingleSign rule and 71 generalized
[2026-05-24 02:03:28] [INFO ] Computed 257 invariants in 2 ms
Computed 257 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-1314626646862007575.kers
Total runtime 4 ms.
[2026-05-24 02:03:28] [INFO ] Implicit Places using invariants in 733 ms returned []
[2026-05-24 02:03:28] [INFO ] Invariant cache hit.
[2026-05-24 02:03:29] [INFO ] Implicit Places using invariants and state equation in 922 ms returned []
Implicit Place search using SMT with State Equation took 1660 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 512/680 places, 256/384 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 2608 ms. Remains : 512/680 places, 256/384 transitions.
[2026-05-24 02:03:29] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:03:29] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:03:29] [INFO ] Input system was already deterministic with 256 transitions.
[2026-05-24 02:03:29] [INFO ] Flatten gal took : 11 ms
[2026-05-24 02:03:29] [INFO ] Flatten gal took : 10 ms
[2026-05-24 02:03:29] [INFO ] Time to serialize gal into /tmp/CTLFireability7670411244235096799.gal : 3 ms
[2026-05-24 02:03:29] [INFO ] Time to serialize properties into /tmp/CTLFireability2331004866781545944.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/CTLFireability7670411244235096799.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2331004866781545944.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-24 02:03:59] [INFO ] Flatten gal took : 7 ms
[2026-05-24 02:03:59] [INFO ] Applying decomposition
[2026-05-24 02:04:00] [INFO ] Flatten gal took : 6 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/graph17021366927767295311.txt' '-o' '/tmp/graph17021366927767295311.bin' '-w' '/tmp/graph17021366927767295311.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17021366927767295311.bin' '-l' '-1' '-v' '-w' '/tmp/graph17021366927767295311.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:04:00] [INFO ] Decomposing Gal with order
[2026-05-24 02:04:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:04:00] [INFO ] Flatten gal took : 21 ms
[2026-05-24 02:04:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2026-05-24 02:04:00] [INFO ] Time to serialize gal into /tmp/CTLFireability7479738653379671852.gal : 9 ms
[2026-05-24 02:04:00] [INFO ] Time to serialize properties into /tmp/CTLFireability80176323739947751.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/CTLFireability7479738653379671852.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability80176323739947751.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 -...260
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 9 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6741288215138458503.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7467335973976464098.kers'
[2026-05-24 02:04:30] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6741288215138458503.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7467335973976464098.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 384 rows 680 cols 1360 entries
Finished phase 1 with 117 SingleSign rule and 266 generalized
[2026-05-24 02:04:30] [INFO ] Computed 297 invariants in 9 ms
Computed 297 P flows in 9 ms.
Exported basis to /tmp/petrispot-output-7467335973976464098.kers
Total runtime 10 ms.
[2026-05-24 02:04:31] [INFO ] Implicit Places using invariants in 875 ms returned [27, 37, 42, 52, 77, 95, 142, 165, 268, 299, 310, 357, 365, 378, 399, 424, 443, 449, 451, 480, 541, 559, 574, 578, 601, 615, 652, 659, 663, 665, 671, 676]
Discarding 32 places :
Implicit Place search using SMT only with invariants took 877 ms to find 32 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 648/680 places, 384/384 transitions.
Applied a total of 0 rules in 12 ms. Remains 648 /648 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 904 ms. Remains : 648/680 places, 384/384 transitions.
[2026-05-24 02:04:31] [INFO ] Flatten gal took : 13 ms
[2026-05-24 02:04:31] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:04:31] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:04:31] [INFO ] Flatten gal took : 15 ms
[2026-05-24 02:04:31] [INFO ] Flatten gal took : 15 ms
[2026-05-24 02:04:31] [INFO ] Time to serialize gal into /tmp/CTLFireability4787725372571490795.gal : 4 ms
[2026-05-24 02:04:31] [INFO ] Time to serialize properties into /tmp/CTLFireability6580460692116059657.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/CTLFireability4787725372571490795.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6580460692116059657.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-24 02:05:01] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:05:01] [INFO ] Applying decomposition
[2026-05-24 02:05:01] [INFO ] Flatten gal took : 20 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/graph16098411572055085679.txt' '-o' '/tmp/graph16098411572055085679.bin' '-w' '/tmp/graph16098411572055085679.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16098411572055085679.bin' '-l' '-1' '-v' '-w' '/tmp/graph16098411572055085679.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:05:01] [INFO ] Decomposing Gal with order
[2026-05-24 02:05:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:05:01] [INFO ] Flatten gal took : 12 ms
[2026-05-24 02:05:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:05:01] [INFO ] Time to serialize gal into /tmp/CTLFireability9882356508560195699.gal : 4 ms
[2026-05-24 02:05:01] [INFO ] Time to serialize properties into /tmp/CTLFireability3393762826329335302.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/CTLFireability9882356508560195699.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3393762826329335302.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 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 8 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 02:05:31] [INFO ] Invariant cache hit.
[2026-05-24 02:05:32] [INFO ] Implicit Places using invariants in 851 ms returned [27, 37, 42, 77, 94, 95, 121, 142, 165, 225, 299, 310, 357, 365, 378, 398, 399, 424, 443, 449, 451, 480, 541, 559, 569, 574, 577, 601, 615, 640, 659, 663, 665, 671, 676]
Discarding 35 places :
Implicit Place search using SMT only with invariants took 852 ms to find 35 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 645/680 places, 384/384 transitions.
Applied a total of 0 rules in 8 ms. Remains 645 /645 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 868 ms. Remains : 645/680 places, 384/384 transitions.
[2026-05-24 02:05:32] [INFO ] Flatten gal took : 7 ms
[2026-05-24 02:05:32] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:05:32] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:05:32] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:05:32] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:05:32] [INFO ] Time to serialize gal into /tmp/CTLFireability7251782062569658648.gal : 2 ms
[2026-05-24 02:05:32] [INFO ] Time to serialize properties into /tmp/CTLFireability371132764120869056.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/CTLFireability7251782062569658648.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability371132764120869056.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 02:06:02] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:06:02] [INFO ] Applying decomposition
[2026-05-24 02:06:02] [INFO ] Flatten gal took : 9 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/graph17209700359329470996.txt' '-o' '/tmp/graph17209700359329470996.bin' '-w' '/tmp/graph17209700359329470996.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17209700359329470996.bin' '-l' '-1' '-v' '-w' '/tmp/graph17209700359329470996.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:06:02] [INFO ] Decomposing Gal with order
[2026-05-24 02:06:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:06:02] [INFO ] Flatten gal took : 12 ms
[2026-05-24 02:06:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:06:02] [INFO ] Time to serialize gal into /tmp/CTLFireability2679262470225320494.gal : 4 ms
[2026-05-24 02:06:02] [INFO ] Time to serialize properties into /tmp/CTLFireability8899929610153358041.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/CTLFireability2679262470225320494.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8899929610153358041.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 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 8 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 02:06:32] [INFO ] Invariant cache hit.
[2026-05-24 02:06:33] [INFO ] Implicit Places using invariants in 896 ms returned [6, 27, 37, 42, 52, 77, 94, 95, 121, 142, 165, 225, 268, 299, 310, 357, 365, 378, 398, 399, 424, 443, 449, 451, 480, 559, 574, 577, 578, 601, 615, 640, 652, 659, 663, 665, 671, 676]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 909 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 642/680 places, 384/384 transitions.
Applied a total of 0 rules in 23 ms. Remains 642 /642 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 952 ms. Remains : 642/680 places, 384/384 transitions.
[2026-05-24 02:06:33] [INFO ] Flatten gal took : 12 ms
[2026-05-24 02:06:33] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:06:33] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:06:33] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:06:33] [INFO ] Flatten gal took : 15 ms
[2026-05-24 02:06:33] [INFO ] Time to serialize gal into /tmp/CTLFireability7859616512376219692.gal : 3 ms
[2026-05-24 02:06:33] [INFO ] Time to serialize properties into /tmp/CTLFireability17455157466264456974.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/CTLFireability7859616512376219692.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17455157466264456974.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-24 02:07:03] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:07:03] [INFO ] Applying decomposition
[2026-05-24 02:07:03] [INFO ] Flatten gal took : 25 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/graph2975887728432053965.txt' '-o' '/tmp/graph2975887728432053965.bin' '-w' '/tmp/graph2975887728432053965.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2975887728432053965.bin' '-l' '-1' '-v' '-w' '/tmp/graph2975887728432053965.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:07:03] [INFO ] Decomposing Gal with order
[2026-05-24 02:07:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:07:03] [INFO ] Flatten gal took : 22 ms
[2026-05-24 02:07:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 02:07:03] [INFO ] Time to serialize gal into /tmp/CTLFireability9971599144344712215.gal : 5 ms
[2026-05-24 02:07:03] [INFO ] Time to serialize properties into /tmp/CTLFireability2359228372527990721.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/CTLFireability9971599144344712215.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2359228372527990721.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 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 18 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 02:07:34] [INFO ] Invariant cache hit.
[2026-05-24 02:07:35] [INFO ] Implicit Places using invariants in 1011 ms returned [6, 27, 42, 52, 77, 94, 95, 121, 142, 165, 225, 268, 299, 310, 365, 378, 398, 399, 424, 443, 449, 451, 480, 541, 559, 569, 574, 577, 578, 601, 615, 640, 652, 659, 663, 665, 671, 676]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 1013 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 642/680 places, 384/384 transitions.
Applied a total of 0 rules in 9 ms. Remains 642 /642 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1051 ms. Remains : 642/680 places, 384/384 transitions.
[2026-05-24 02:07:35] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:07:35] [INFO ] Flatten gal took : 8 ms
[2026-05-24 02:07:35] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:07:35] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:07:35] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:07:35] [INFO ] Time to serialize gal into /tmp/CTLFireability17518578845066157000.gal : 2 ms
[2026-05-24 02:07:35] [INFO ] Time to serialize properties into /tmp/CTLFireability5142545967451545158.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/CTLFireability17518578845066157000.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5142545967451545158.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-24 02:08:05] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:08:05] [INFO ] Applying decomposition
[2026-05-24 02:08:05] [INFO ] Flatten gal took : 9 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/graph6084951650679429042.txt' '-o' '/tmp/graph6084951650679429042.bin' '-w' '/tmp/graph6084951650679429042.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6084951650679429042.bin' '-l' '-1' '-v' '-w' '/tmp/graph6084951650679429042.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:08:05] [INFO ] Decomposing Gal with order
[2026-05-24 02:08:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:08:05] [INFO ] Flatten gal took : 24 ms
[2026-05-24 02:08:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:08:05] [INFO ] Time to serialize gal into /tmp/CTLFireability375805650423810015.gal : 4 ms
[2026-05-24 02:08:05] [INFO ] Time to serialize properties into /tmp/CTLFireability1860350543646341053.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/CTLFireability375805650423810015.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1860350543646341053.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 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 8 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
[2026-05-24 02:08:35] [INFO ] Invariant cache hit.
[2026-05-24 02:08:36] [INFO ] Implicit Places using invariants in 985 ms returned [6, 27, 37, 42, 52, 77, 94, 95, 121, 165, 225, 268, 310, 357, 365, 378, 398, 399, 449, 451, 480, 541, 569, 574, 577, 578, 601, 615, 640, 652, 663, 665, 671, 676]
Discarding 34 places :
Implicit Place search using SMT only with invariants took 1006 ms to find 34 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 646/680 places, 384/384 transitions.
Applied a total of 0 rules in 10 ms. Remains 646 /646 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1024 ms. Remains : 646/680 places, 384/384 transitions.
[2026-05-24 02:08:36] [INFO ] Flatten gal took : 12 ms
[2026-05-24 02:08:36] [INFO ] Flatten gal took : 13 ms
[2026-05-24 02:08:36] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:08:36] [INFO ] Flatten gal took : 39 ms
[2026-05-24 02:08:36] [INFO ] Flatten gal took : 13 ms
[2026-05-24 02:08:36] [INFO ] Time to serialize gal into /tmp/CTLFireability8692236405545275620.gal : 3 ms
[2026-05-24 02:08:36] [INFO ] Time to serialize properties into /tmp/CTLFireability4964604035837336120.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/CTLFireability8692236405545275620.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4964604035837336120.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-24 02:09:06] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:09:06] [INFO ] Applying decomposition
[2026-05-24 02:09:06] [INFO ] Flatten gal took : 8 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/graph3971954208316494628.txt' '-o' '/tmp/graph3971954208316494628.bin' '-w' '/tmp/graph3971954208316494628.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3971954208316494628.bin' '-l' '-1' '-v' '-w' '/tmp/graph3971954208316494628.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:09:06] [INFO ] Decomposing Gal with order
[2026-05-24 02:09:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:09:06] [INFO ] Flatten gal took : 13 ms
[2026-05-24 02:09:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:09:06] [INFO ] Time to serialize gal into /tmp/CTLFireability14613388520375873154.gal : 4 ms
[2026-05-24 02:09:06] [INFO ] Time to serialize properties into /tmp/CTLFireability17117971222019817546.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/CTLFireability14613388520375873154.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17117971222019817546.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 680/680 places, 384/384 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 0 with 55 rules applied. Total rules applied 55 place count 680 transition count 329
Reduce places removed 55 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 56 rules applied. Total rules applied 111 place count 625 transition count 328
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 112 place count 624 transition count 328
Performed 32 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 32 Pre rules applied. Total rules applied 112 place count 624 transition count 296
Deduced a syphon composed of 32 places in 0 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 3 with 64 rules applied. Total rules applied 176 place count 592 transition count 296
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 0 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 3 with 56 rules applied. Total rules applied 232 place count 564 transition count 268
Applied a total of 232 rules in 34 ms. Remains 564 /680 variables (removed 116) and now considering 268/384 (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-17783680857567073177.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-16978670824851545026.kers'
[2026-05-24 02:09:36] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-17783680857567073177.kers, --Pflows, --basisKERS=/tmp/petrispot-output-16978670824851545026.kers]
Culling duplicate invariants (modulo rational): removing 232 columns.
Culled 232 columns in 0 ms.
// Phase 1: matrix 268 rows 332 cols 664 entries
Finished phase 1 with 192 SingleSign rule and 75 generalized
[2026-05-24 02:09:36] [INFO ] Computed 297 invariants in 2 ms
Computed 297 P flows in 3 ms.
Exported basis to /tmp/petrispot-output-16978670824851545026.kers
Total runtime 3 ms.
[2026-05-24 02:09:37] [INFO ] Implicit Places using invariants in 851 ms returned [5, 24, 34, 37, 46, 68, 83, 84, 105, 122, 141, 190, 223, 252, 260, 297, 302, 313, 330, 331, 352, 369, 374, 376, 398, 444, 457, 464, 468, 471, 472, 494, 505, 528, 539, 545, 548, 550, 555, 560]
Discarding 40 places :
Implicit Place search using SMT only with invariants took 853 ms to find 40 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 524/680 places, 268/384 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 524 transition count 258
Reduce places removed 10 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 11 rules applied. Total rules applied 21 place count 514 transition count 257
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 22 place count 513 transition count 257
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 22 place count 513 transition count 256
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 24 place count 512 transition count 256
Applied a total of 24 rules in 16 ms. Remains 512 /524 variables (removed 12) and now considering 256/268 (removed 12) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12677088717067726899.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-9483295904370721124.kers'
[2026-05-24 02:09:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12677088717067726899.kers, --Pflows, --basisKERS=/tmp/petrispot-output-9483295904370721124.kers]
Culling duplicate invariants (modulo rational): removing 256 columns.
Culled 256 columns in 0 ms.
// Phase 1: matrix 256 rows 256 cols 512 entries
Finished phase 1 with 184 SingleSign rule and 71 generalized
[2026-05-24 02:09:37] [INFO ] Computed 257 invariants in 1 ms
Computed 257 P flows in 2 ms.
Exported basis to /tmp/petrispot-output-9483295904370721124.kers
Total runtime 3 ms.
[2026-05-24 02:09:38] [INFO ] Implicit Places using invariants in 602 ms returned []
[2026-05-24 02:09:38] [INFO ] Invariant cache hit.
[2026-05-24 02:09:39] [INFO ] Implicit Places using invariants and state equation in 830 ms returned []
Implicit Place search using SMT with State Equation took 1434 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 512/680 places, 256/384 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 2337 ms. Remains : 512/680 places, 256/384 transitions.
[2026-05-24 02:09:39] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:09:39] [INFO ] Flatten gal took : 15 ms
[2026-05-24 02:09:39] [INFO ] Input system was already deterministic with 256 transitions.
[2026-05-24 02:09:39] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:09:39] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:09:39] [INFO ] Time to serialize gal into /tmp/CTLFireability16470060367439236004.gal : 1 ms
[2026-05-24 02:09:39] [INFO ] Time to serialize properties into /tmp/CTLFireability16640486354909922505.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/CTLFireability16470060367439236004.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16640486354909922505.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-24 02:10:09] [INFO ] Flatten gal took : 6 ms
[2026-05-24 02:10:09] [INFO ] Applying decomposition
[2026-05-24 02:10:09] [INFO ] Flatten gal took : 7 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/graph11780135477459186159.txt' '-o' '/tmp/graph11780135477459186159.bin' '-w' '/tmp/graph11780135477459186159.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11780135477459186159.bin' '-l' '-1' '-v' '-w' '/tmp/graph11780135477459186159.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:10:09] [INFO ] Decomposing Gal with order
[2026-05-24 02:10:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:10:09] [INFO ] Flatten gal took : 13 ms
[2026-05-24 02:10:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:10:09] [INFO ] Time to serialize gal into /tmp/CTLFireability10055963309049566258.gal : 11 ms
[2026-05-24 02:10:09] [INFO ] Time to serialize properties into /tmp/CTLFireability29382904834023437.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/CTLFireability10055963309049566258.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability29382904834023437.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 : 680/680 places, 384/384 transitions.
Applied a total of 0 rules in 8 ms. Remains 680 /680 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1848753925820960374.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-8703420321618400512.kers'
[2026-05-24 02:10:39] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1848753925820960374.kers, --Pflows, --basisKERS=/tmp/petrispot-output-8703420321618400512.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 384 rows 680 cols 1360 entries
Finished phase 1 with 117 SingleSign rule and 266 generalized
[2026-05-24 02:10:39] [INFO ] Computed 297 invariants in 9 ms
Computed 297 P flows in 10 ms.
Exported basis to /tmp/petrispot-output-8703420321618400512.kers
Total runtime 12 ms.
[2026-05-24 02:10:40] [INFO ] Implicit Places using invariants in 858 ms returned [6, 27, 37, 42, 52, 77, 94, 95, 121, 142, 165, 225, 268, 310, 357, 378, 398, 399, 424, 443, 451, 541, 559, 569, 577, 578, 615, 640, 652, 659, 663, 665, 671, 676]
Discarding 34 places :
Implicit Place search using SMT only with invariants took 873 ms to find 34 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 646/680 places, 384/384 transitions.
Applied a total of 0 rules in 10 ms. Remains 646 /646 variables (removed 0) and now considering 384/384 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 895 ms. Remains : 646/680 places, 384/384 transitions.
[2026-05-24 02:10:40] [INFO ] Flatten gal took : 12 ms
[2026-05-24 02:10:40] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:10:40] [INFO ] Input system was already deterministic with 384 transitions.
[2026-05-24 02:10:40] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:10:40] [INFO ] Flatten gal took : 14 ms
[2026-05-24 02:10:40] [INFO ] Time to serialize gal into /tmp/CTLFireability2447436341529628229.gal : 4 ms
[2026-05-24 02:10:40] [INFO ] Time to serialize properties into /tmp/CTLFireability7338313928584013576.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/CTLFireability2447436341529628229.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7338313928584013576.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-24 02:11:10] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:11:10] [INFO ] Applying decomposition
[2026-05-24 02:11:10] [INFO ] Flatten gal took : 9 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/graph11224882532315306128.txt' '-o' '/tmp/graph11224882532315306128.bin' '-w' '/tmp/graph11224882532315306128.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11224882532315306128.bin' '-l' '-1' '-v' '-w' '/tmp/graph11224882532315306128.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:11:10] [INFO ] Decomposing Gal with order
[2026-05-24 02:11:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:11:10] [INFO ] Flatten gal took : 12 ms
[2026-05-24 02:11:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:11:10] [INFO ] Time to serialize gal into /tmp/CTLFireability11265179013801584869.gal : 4 ms
[2026-05-24 02:11:10] [INFO ] Time to serialize properties into /tmp/CTLFireability12695267664809921292.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/CTLFireability11265179013801584869.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12695267664809921292.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 02:11:40] [INFO ] Flatten gal took : 9 ms
[2026-05-24 02:11:40] [INFO ] Flatten gal took : 10 ms
[2026-05-24 02:11:40] [INFO ] Applying decomposition
[2026-05-24 02:11:40] [INFO ] Flatten gal took : 9 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/graph2371744258023545345.txt' '-o' '/tmp/graph2371744258023545345.bin' '-w' '/tmp/graph2371744258023545345.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2371744258023545345.bin' '-l' '-1' '-v' '-w' '/tmp/graph2371744258023545345.weights' '-q' '0' '-e' '0.001'
[2026-05-24 02:11:40] [INFO ] Decomposing Gal with order
[2026-05-24 02:11:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 02:11:40] [INFO ] Flatten gal took : 13 ms
[2026-05-24 02:11:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 02:11:40] [INFO ] Time to serialize gal into /tmp/CTLFireability5813714465979222727.gal : 5 ms
[2026-05-24 02:11:40] [INFO ] Time to serialize properties into /tmp/CTLFireability12216778568313662704.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/CTLFireability5813714465979222727.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12216778568313662704.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 16 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 02:37:36] [INFO ] Flatten gal took : 327 ms
[2026-05-24 02:37:37] [INFO ] Time to serialize gal into /tmp/CTLFireability10196760268973793574.gal : 87 ms
[2026-05-24 02:37:37] [INFO ] Time to serialize properties into /tmp/CTLFireability6356543661724982948.ctl : 45 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/CTLFireability10196760268973793574.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6356543661724982948.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 16 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.63766e+88,139.209,2093164,2,139739,5,1.19458e+07,6,0,3107,1.2594e+07,0
Converting to forward existential form...Done !
original formula: (AX(((AF((((F9<1)||(Section_8<1))||((Section_32<1)||(F33<1)))) + (((((Section_99<1)||(F100<1))&&((F119<1)||(Section_118<1)))&&(((F311<1)|...368
=> equivalent forward existential formula: (([(((EY(Init) * !(((Section_98<1)||(F99<1)))) * !(!(EG(!((((F9<1)||(Section_8<1))||((Section_32<1)||(F33<1)))))...576
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
(forward)formula 0,0,417.616,6045120,1,0,9,4.81121e+07,10,2,13537,1.2594e+07,5
FORMULA CircularTrains-PT-384-CTLFireability-2024-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is FALSE !
***************************************
original formula: (EG((((F190<1)||(Section_189<1))&&((F357<1)||(Section_356<1)))) + EG((A(EG((((F83>=1)&&(Section_82>=1))&&((F300>=1)&&(Section_299>=1)))) ...289
=> equivalent forward existential formula: ([FwdG(Init,(((F190<1)||(Section_189<1))&&((F357<1)||(Section_356<1))))] != FALSE + [FwdG(Init,(!((E(!(!((E(!(((...1034
Hit Full ! (commute/partial/dont) 378/0/6
Hit Full ! (commute/partial/dont) 378/0/6
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="CircularTrains-PT-384"
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 CircularTrains-PT-384, 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-177946901200258"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-384.tgz
mv CircularTrains-PT-384 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 ;