About the Execution of ITS-Tools for CircularTrains-PT-768
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | [undef] | Time out reached |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r030-smll-174853813900434.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is CircularTrains-PT-768, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-smll-174853813900434
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.7K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 591K May 29 14:32 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-768-CTLFireability-2023-12
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2023-13
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2023-14
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2023-15
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-00
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-01
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-02
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-03
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-04
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-05
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-06
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-07
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-08
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-09
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-10
FORMULA_NAME CircularTrains-PT-768-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748915132648
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-768
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-03 01:45:35] [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]
[2025-06-03 01:45:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 01:45:35] [INFO ] Load time of PNML (sax parser for PT used): 269 ms
[2025-06-03 01:45:35] [INFO ] Transformed 1536 places.
[2025-06-03 01:45:35] [INFO ] Transformed 768 transitions.
[2025-06-03 01:45:35] [INFO ] Parsed PT model containing 1536 places and 768 transitions and 3072 arcs in 488 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 16 ms.
Support contains 128 out of 1536 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1536/1536 places, 768/768 transitions.
Applied a total of 0 rules in 258 ms. Remains 1536 /1536 variables (removed 0) and now considering 768/768 (removed 0) transitions.
// Phase 1: matrix 768 rows 1536 cols
[2025-06-03 01:45:36] [INFO ] Computed 769 invariants in 139 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:45:39] [INFO ] Implicit Places using invariants in 3285 ms returned [3, 14, 18, 29, 35, 45, 47, 59, 75, 79, 81, 83, 85, 90, 96, 102, 106, 110, 111, 125, 128, 138, 144, 149, 150, 152, 158, 163, 173, 180, 187, 193, 196, 197, 198, 224, 228, 243, 244, 247, 248, 250, 255, 259, 273, 276, 296, 304, 312, 318, 325, 330, 333, 339, 350, 353, 355, 361, 368, 380, 381, 389, 402, 409, 419, 420, 421, 438, 451, 453, 463, 464, 471, 473, 499, 509, 516, 519, 530, 531, 533, 535, 544, 549, 557, 558, 577, 578, 580, 600, 606, 612, 622, 633, 658, 661, 662, 665, 666, 669, 671, 677, 679, 681, 688, 689, 693, 694, 696, 697, 699, 705, 709, 711, 715, 716, 725, 732, 750, 761, 767, 770, 776, 780, 793, 804, 807, 810, 811, 817, 820, 839, 843, 846, 856, 872, 874, 883, 884, 885, 887, 905, 929, 934, 942, 943, 948, 952, 953, 970, 973, 975, 977, 991, 997, 1005, 1009, 1013, 1017, 1018, 1019, 1020, 1042, 1046, 1059, 1071, 1073, 1078, 1079, 1087, 1088, 1094, 1096, 1101, 1150, 1157, 1160, 1162, 1163, 1168, 1178, 1182, 1185, 1198, 1204, 1209, 1211, 1216, 1228, 1229, 1244, 1247, 1252, 1261, 1262, 1266, 1273, 1292, 1299, 1300, 1305, 1306, 1329, 1335, 1337, 1338, 1339, 1350, 1354, 1356, 1360, 1362, 1373, 1378, 1379, 1385, 1391, 1409, 1430, 1438, 1446, 1450, 1453, 1472, 1476, 1484, 1487, 1488, 1493, 1495, 1497, 1507, 1512, 1513, 1515, 1517, 1525, 1527, 1531]
Discarding 239 places :
Implicit Place search using SMT only with invariants took 3350 ms to find 239 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1297/1536 places, 768/768 transitions.
Applied a total of 0 rules in 210 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 3843 ms. Remains : 1297/1536 places, 768/768 transitions.
Support contains 128 out of 1297 places after structural reductions.
[2025-06-03 01:45:40] [INFO ] Flatten gal took : 155 ms
[2025-06-03 01:45:40] [INFO ] Flatten gal took : 95 ms
[2025-06-03 01:45:40] [INFO ] Input system was already deterministic with 768 transitions.
RANDOM walk for 17994 steps (3 resets) in 2362 ms. (7 steps per ms) remains 0/46 properties
[2025-06-03 01:45:41] [INFO ] Flatten gal took : 52 ms
[2025-06-03 01:45:41] [INFO ] Flatten gal took : 54 ms
[2025-06-03 01:45:41] [INFO ] Input system was already deterministic with 768 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 221 transitions
Trivial Post-agglo rules discarded 221 transitions
Performed 221 trivial Post agglomeration. Transition count delta: 221
Iterating post reduction 0 with 221 rules applied. Total rules applied 221 place count 1297 transition count 547
Reduce places removed 221 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 222 rules applied. Total rules applied 443 place count 1076 transition count 546
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 444 place count 1075 transition count 546
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 17 Pre rules applied. Total rules applied 444 place count 1075 transition count 529
Deduced a syphon composed of 17 places in 1 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 478 place count 1058 transition count 529
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 1 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 512 place count 1041 transition count 512
Applied a total of 512 rules in 353 ms. Remains 1041 /1297 variables (removed 256) and now considering 512/768 (removed 256) transitions.
// Phase 1: matrix 512 rows 1041 cols
[2025-06-03 01:45:42] [INFO ] Computed 530 invariants in 39 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:45:43] [INFO ] Implicit Places using invariants in 1514 ms returned [67, 107, 279, 325, 380, 434, 458, 637, 725, 760, 765, 768, 779, 782, 876, 994, 1012]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 1516 ms to find 17 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1024/1297 places, 512/768 transitions.
Applied a total of 0 rules in 68 ms. Remains 1024 /1024 variables (removed 0) and now considering 512/512 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1942 ms. Remains : 1024/1297 places, 512/768 transitions.
[2025-06-03 01:45:43] [INFO ] Flatten gal took : 33 ms
[2025-06-03 01:45:43] [INFO ] Flatten gal took : 33 ms
[2025-06-03 01:45:43] [INFO ] Input system was already deterministic with 512 transitions.
[2025-06-03 01:45:43] [INFO ] Flatten gal took : 31 ms
[2025-06-03 01:45:43] [INFO ] Flatten gal took : 29 ms
[2025-06-03 01:45:43] [INFO ] Time to serialize gal into /tmp/CTLFireability9571558448765483057.gal : 26 ms
[2025-06-03 01:45:43] [INFO ] Time to serialize properties into /tmp/CTLFireability17927646720553722959.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9571558448765483057.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17927646720553722959.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:46:13] [INFO ] Flatten gal took : 28 ms
[2025-06-03 01:46:13] [INFO ] Applying decomposition
[2025-06-03 01:46:13] [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.202505121319/bin/convert-linux64' '-i' '/tmp/graph13910267386470032762.txt' '-o' '/tmp/graph13910267386470032762.bin' '-w' '/tmp/graph13910267386470032762.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13910267386470032762.bin' '-l' '-1' '-v' '-w' '/tmp/graph13910267386470032762.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:46:14] [INFO ] Decomposing Gal with order
[2025-06-03 01:46:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:46:14] [INFO ] Flatten gal took : 127 ms
[2025-06-03 01:46:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 15 ms.
[2025-06-03 01:46:14] [INFO ] Time to serialize gal into /tmp/CTLFireability16520498745096289096.gal : 20 ms
[2025-06-03 01:46:14] [INFO ] Time to serialize properties into /tmp/CTLFireability4228819709068239453.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16520498745096289096.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4228819709068239453.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 34 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
// Phase 1: matrix 768 rows 1297 cols
[2025-06-03 01:46:44] [INFO ] Computed 530 invariants in 30 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:46:46] [INFO ] Implicit Places using invariants in 1433 ms returned [80, 129, 350, 406, 475, 537, 562, 796, 906, 947, 954, 957, 973, 978, 1238, 1259]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 1436 ms to find 16 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1297 places, 768/768 transitions.
Applied a total of 0 rules in 32 ms. Remains 1281 /1281 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1502 ms. Remains : 1281/1297 places, 768/768 transitions.
[2025-06-03 01:46:46] [INFO ] Flatten gal took : 27 ms
[2025-06-03 01:46:46] [INFO ] Flatten gal took : 32 ms
[2025-06-03 01:46:46] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:46:46] [INFO ] Flatten gal took : 31 ms
[2025-06-03 01:46:46] [INFO ] Flatten gal took : 32 ms
[2025-06-03 01:46:46] [INFO ] Time to serialize gal into /tmp/CTLFireability10082449309805430160.gal : 6 ms
[2025-06-03 01:46:46] [INFO ] Time to serialize properties into /tmp/CTLFireability7487154610630876516.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10082449309805430160.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7487154610630876516.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:47:16] [INFO ] Flatten gal took : 30 ms
[2025-06-03 01:47:16] [INFO ] Applying decomposition
[2025-06-03 01:47:16] [INFO ] Flatten gal took : 29 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9608321316951311962.txt' '-o' '/tmp/graph9608321316951311962.bin' '-w' '/tmp/graph9608321316951311962.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9608321316951311962.bin' '-l' '-1' '-v' '-w' '/tmp/graph9608321316951311962.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:47:16] [INFO ] Decomposing Gal with order
[2025-06-03 01:47:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:47:16] [INFO ] Flatten gal took : 48 ms
[2025-06-03 01:47:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 01:47:17] [INFO ] Time to serialize gal into /tmp/CTLFireability15936882310793032030.gal : 11 ms
[2025-06-03 01:47:17] [INFO ] Time to serialize properties into /tmp/CTLFireability9529253167346810978.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15936882310793032030.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9529253167346810978.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 34 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2025-06-03 01:47:47] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:47:48] [INFO ] Implicit Places using invariants in 1866 ms returned [80, 129, 350, 406, 475, 537, 796, 906, 947, 954, 957, 973, 978, 1101, 1238, 1259]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 1869 ms to find 16 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1297 places, 768/768 transitions.
Applied a total of 0 rules in 31 ms. Remains 1281 /1281 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1935 ms. Remains : 1281/1297 places, 768/768 transitions.
[2025-06-03 01:47:49] [INFO ] Flatten gal took : 26 ms
[2025-06-03 01:47:49] [INFO ] Flatten gal took : 82 ms
[2025-06-03 01:47:49] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:47:49] [INFO ] Flatten gal took : 38 ms
[2025-06-03 01:47:49] [INFO ] Flatten gal took : 39 ms
[2025-06-03 01:47:49] [INFO ] Time to serialize gal into /tmp/CTLFireability12320034998847697850.gal : 11 ms
[2025-06-03 01:47:49] [INFO ] Time to serialize properties into /tmp/CTLFireability18175042521564639639.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12320034998847697850.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18175042521564639639.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:48:19] [INFO ] Flatten gal took : 23 ms
[2025-06-03 01:48:19] [INFO ] Applying decomposition
[2025-06-03 01:48:19] [INFO ] Flatten gal took : 23 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph848628641922570681.txt' '-o' '/tmp/graph848628641922570681.bin' '-w' '/tmp/graph848628641922570681.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph848628641922570681.bin' '-l' '-1' '-v' '-w' '/tmp/graph848628641922570681.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:48:19] [INFO ] Decomposing Gal with order
[2025-06-03 01:48:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:48:19] [INFO ] Flatten gal took : 43 ms
[2025-06-03 01:48:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 01:48:19] [INFO ] Time to serialize gal into /tmp/CTLFireability14238368164484946592.gal : 22 ms
[2025-06-03 01:48:19] [INFO ] Time to serialize properties into /tmp/CTLFireability18177275305947050236.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14238368164484946592.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18177275305947050236.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 33 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2025-06-03 01:48:49] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:48:51] [INFO ] Implicit Places using invariants in 1777 ms returned [80, 350, 406, 475, 537, 562, 796, 906, 947, 954, 957, 973, 978, 1101, 1238]
Discarding 15 places :
Implicit Place search using SMT only with invariants took 1784 ms to find 15 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1282/1297 places, 768/768 transitions.
Applied a total of 0 rules in 52 ms. Remains 1282 /1282 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1869 ms. Remains : 1282/1297 places, 768/768 transitions.
[2025-06-03 01:48:51] [INFO ] Flatten gal took : 36 ms
[2025-06-03 01:48:51] [INFO ] Flatten gal took : 37 ms
[2025-06-03 01:48:51] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:48:52] [INFO ] Flatten gal took : 37 ms
[2025-06-03 01:48:52] [INFO ] Flatten gal took : 40 ms
[2025-06-03 01:48:52] [INFO ] Time to serialize gal into /tmp/CTLFireability13252007440885988793.gal : 10 ms
[2025-06-03 01:48:52] [INFO ] Time to serialize properties into /tmp/CTLFireability11855333046235716845.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13252007440885988793.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11855333046235716845.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:49:22] [INFO ] Flatten gal took : 24 ms
[2025-06-03 01:49:22] [INFO ] Applying decomposition
[2025-06-03 01:49:22] [INFO ] Flatten gal took : 24 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph6348106330087260166.txt' '-o' '/tmp/graph6348106330087260166.bin' '-w' '/tmp/graph6348106330087260166.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6348106330087260166.bin' '-l' '-1' '-v' '-w' '/tmp/graph6348106330087260166.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:49:22] [INFO ] Decomposing Gal with order
[2025-06-03 01:49:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:49:22] [INFO ] Flatten gal took : 38 ms
[2025-06-03 01:49:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 01:49:22] [INFO ] Time to serialize gal into /tmp/CTLFireability16380943041149850781.gal : 8 ms
[2025-06-03 01:49:22] [INFO ] Time to serialize properties into /tmp/CTLFireability12778466027456390293.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16380943041149850781.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12778466027456390293.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 33 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2025-06-03 01:49:52] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:49:54] [INFO ] Implicit Places using invariants in 1916 ms returned [80, 129, 350, 406, 475, 537, 562, 796, 906, 947, 954, 957, 973, 978, 1101, 1238, 1259]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 1918 ms to find 17 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1280/1297 places, 768/768 transitions.
Applied a total of 0 rules in 50 ms. Remains 1280 /1280 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 2001 ms. Remains : 1280/1297 places, 768/768 transitions.
[2025-06-03 01:49:54] [INFO ] Flatten gal took : 35 ms
[2025-06-03 01:49:54] [INFO ] Flatten gal took : 38 ms
[2025-06-03 01:49:54] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:49:54] [INFO ] Flatten gal took : 36 ms
[2025-06-03 01:49:54] [INFO ] Flatten gal took : 36 ms
[2025-06-03 01:49:54] [INFO ] Time to serialize gal into /tmp/CTLFireability291355921494159724.gal : 11 ms
[2025-06-03 01:49:54] [INFO ] Time to serialize properties into /tmp/CTLFireability249431027418289507.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability291355921494159724.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability249431027418289507.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...281
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 01:50:24] [INFO ] Flatten gal took : 23 ms
[2025-06-03 01:50:24] [INFO ] Applying decomposition
[2025-06-03 01:50:24] [INFO ] Flatten gal took : 22 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17455527734022884134.txt' '-o' '/tmp/graph17455527734022884134.bin' '-w' '/tmp/graph17455527734022884134.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17455527734022884134.bin' '-l' '-1' '-v' '-w' '/tmp/graph17455527734022884134.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:50:24] [INFO ] Decomposing Gal with order
[2025-06-03 01:50:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:50:25] [INFO ] Flatten gal took : 33 ms
[2025-06-03 01:50:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 01:50:25] [INFO ] Time to serialize gal into /tmp/CTLFireability17625137155874453215.gal : 17 ms
[2025-06-03 01:50:25] [INFO ] Time to serialize properties into /tmp/CTLFireability948115849371107168.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17625137155874453215.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability948115849371107168.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 SI_CTL mode, iteration 0 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 221 transitions
Trivial Post-agglo rules discarded 221 transitions
Performed 221 trivial Post agglomeration. Transition count delta: 221
Iterating post reduction 0 with 221 rules applied. Total rules applied 221 place count 1297 transition count 547
Reduce places removed 221 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 222 rules applied. Total rules applied 443 place count 1076 transition count 546
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 444 place count 1075 transition count 546
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 17 Pre rules applied. Total rules applied 444 place count 1075 transition count 529
Deduced a syphon composed of 17 places in 1 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 478 place count 1058 transition count 529
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 1 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 512 place count 1041 transition count 512
Applied a total of 512 rules in 108 ms. Remains 1041 /1297 variables (removed 256) and now considering 512/768 (removed 256) transitions.
// Phase 1: matrix 512 rows 1041 cols
[2025-06-03 01:50:55] [INFO ] Computed 530 invariants in 18 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:50:57] [INFO ] Implicit Places using invariants in 1729 ms returned [67, 107, 279, 325, 380, 434, 458, 637, 725, 760, 765, 768, 779, 782, 876, 994, 1012]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 1733 ms to find 17 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1024/1297 places, 512/768 transitions.
Applied a total of 0 rules in 49 ms. Remains 1024 /1024 variables (removed 0) and now considering 512/512 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1892 ms. Remains : 1024/1297 places, 512/768 transitions.
[2025-06-03 01:50:57] [INFO ] Flatten gal took : 26 ms
[2025-06-03 01:50:57] [INFO ] Flatten gal took : 34 ms
[2025-06-03 01:50:57] [INFO ] Input system was already deterministic with 512 transitions.
[2025-06-03 01:50:57] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:50:57] [INFO ] Flatten gal took : 17 ms
[2025-06-03 01:50:57] [INFO ] Time to serialize gal into /tmp/CTLFireability616677943301290724.gal : 4 ms
[2025-06-03 01:50:57] [INFO ] Time to serialize properties into /tmp/CTLFireability5619844781394070242.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability616677943301290724.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5619844781394070242.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:51:27] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:51:27] [INFO ] Applying decomposition
[2025-06-03 01:51:27] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph374293695008239958.txt' '-o' '/tmp/graph374293695008239958.bin' '-w' '/tmp/graph374293695008239958.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph374293695008239958.bin' '-l' '-1' '-v' '-w' '/tmp/graph374293695008239958.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:51:27] [INFO ] Decomposing Gal with order
[2025-06-03 01:51:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:51:27] [INFO ] Flatten gal took : 34 ms
[2025-06-03 01:51:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2025-06-03 01:51:27] [INFO ] Time to serialize gal into /tmp/CTLFireability316391260602903173.gal : 10 ms
[2025-06-03 01:51:27] [INFO ] Time to serialize properties into /tmp/CTLFireability7979818602731054744.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability316391260602903173.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7979818602731054744.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 214 transitions
Trivial Post-agglo rules discarded 214 transitions
Performed 214 trivial Post agglomeration. Transition count delta: 214
Iterating post reduction 0 with 214 rules applied. Total rules applied 214 place count 1297 transition count 554
Reduce places removed 214 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 216 rules applied. Total rules applied 430 place count 1083 transition count 552
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 432 place count 1081 transition count 552
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 22 Pre rules applied. Total rules applied 432 place count 1081 transition count 530
Deduced a syphon composed of 22 places in 0 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 3 with 44 rules applied. Total rules applied 476 place count 1059 transition count 530
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 510 place count 1042 transition count 513
Applied a total of 510 rules in 83 ms. Remains 1042 /1297 variables (removed 255) and now considering 513/768 (removed 255) transitions.
// Phase 1: matrix 513 rows 1042 cols
[2025-06-03 01:51:57] [INFO ] Computed 530 invariants in 15 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:51:59] [INFO ] Implicit Places using invariants in 1528 ms returned [67, 107, 279, 325, 380, 435, 459, 726, 761, 766, 769, 780, 783, 877, 995, 1013]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 1539 ms to find 16 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1026/1297 places, 513/768 transitions.
Applied a total of 0 rules in 45 ms. Remains 1026 /1026 variables (removed 0) and now considering 513/513 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1669 ms. Remains : 1026/1297 places, 513/768 transitions.
[2025-06-03 01:51:59] [INFO ] Flatten gal took : 21 ms
[2025-06-03 01:51:59] [INFO ] Flatten gal took : 17 ms
[2025-06-03 01:51:59] [INFO ] Input system was already deterministic with 513 transitions.
[2025-06-03 01:51:59] [INFO ] Flatten gal took : 32 ms
[2025-06-03 01:51:59] [INFO ] Flatten gal took : 21 ms
[2025-06-03 01:51:59] [INFO ] Time to serialize gal into /tmp/CTLFireability13036850443753487943.gal : 3 ms
[2025-06-03 01:51:59] [INFO ] Time to serialize properties into /tmp/CTLFireability14692667203581336006.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13036850443753487943.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14692667203581336006.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:52:29] [INFO ] Flatten gal took : 17 ms
[2025-06-03 01:52:29] [INFO ] Applying decomposition
[2025-06-03 01:52:29] [INFO ] Flatten gal took : 18 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5331983833760643199.txt' '-o' '/tmp/graph5331983833760643199.bin' '-w' '/tmp/graph5331983833760643199.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5331983833760643199.bin' '-l' '-1' '-v' '-w' '/tmp/graph5331983833760643199.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:52:29] [INFO ] Decomposing Gal with order
[2025-06-03 01:52:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:52:29] [INFO ] Flatten gal took : 41 ms
[2025-06-03 01:52:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2025-06-03 01:52:29] [INFO ] Time to serialize gal into /tmp/CTLFireability14642478275281826769.gal : 7 ms
[2025-06-03 01:52:29] [INFO ] Time to serialize properties into /tmp/CTLFireability1062968168361560440.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14642478275281826769.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1062968168361560440.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 44 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
// Phase 1: matrix 768 rows 1297 cols
[2025-06-03 01:52:59] [INFO ] Computed 530 invariants in 15 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:53:01] [INFO ] Implicit Places using invariants in 1711 ms returned [80, 129, 350, 406, 475, 537, 562, 796, 947, 954, 957, 973, 978, 1101, 1238, 1259]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 1723 ms to find 16 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1297 places, 768/768 transitions.
Applied a total of 0 rules in 68 ms. Remains 1281 /1281 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1836 ms. Remains : 1281/1297 places, 768/768 transitions.
[2025-06-03 01:53:01] [INFO ] Flatten gal took : 33 ms
[2025-06-03 01:53:01] [INFO ] Flatten gal took : 35 ms
[2025-06-03 01:53:01] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:53:01] [INFO ] Flatten gal took : 34 ms
[2025-06-03 01:53:01] [INFO ] Flatten gal took : 34 ms
[2025-06-03 01:53:01] [INFO ] Time to serialize gal into /tmp/CTLFireability13374791674397477268.gal : 7 ms
[2025-06-03 01:53:02] [INFO ] Time to serialize properties into /tmp/CTLFireability2628713279124138908.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13374791674397477268.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2628713279124138908.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:53:32] [INFO ] Flatten gal took : 22 ms
[2025-06-03 01:53:32] [INFO ] Applying decomposition
[2025-06-03 01:53:32] [INFO ] Flatten gal took : 21 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17068307217863011147.txt' '-o' '/tmp/graph17068307217863011147.bin' '-w' '/tmp/graph17068307217863011147.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17068307217863011147.bin' '-l' '-1' '-v' '-w' '/tmp/graph17068307217863011147.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:53:32] [INFO ] Decomposing Gal with order
[2025-06-03 01:53:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:53:32] [INFO ] Flatten gal took : 29 ms
[2025-06-03 01:53:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 01:53:32] [INFO ] Time to serialize gal into /tmp/CTLFireability7901933688617164651.gal : 7 ms
[2025-06-03 01:53:32] [INFO ] Time to serialize properties into /tmp/CTLFireability10485600234640571981.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7901933688617164651.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10485600234640571981.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 218 transitions
Trivial Post-agglo rules discarded 218 transitions
Performed 218 trivial Post agglomeration. Transition count delta: 218
Iterating post reduction 0 with 218 rules applied. Total rules applied 218 place count 1297 transition count 550
Reduce places removed 218 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 220 rules applied. Total rules applied 438 place count 1079 transition count 548
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 440 place count 1077 transition count 548
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 15 Pre rules applied. Total rules applied 440 place count 1077 transition count 533
Deduced a syphon composed of 15 places in 0 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 3 with 30 rules applied. Total rules applied 470 place count 1062 transition count 533
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 504 place count 1045 transition count 516
Applied a total of 504 rules in 95 ms. Remains 1045 /1297 variables (removed 252) and now considering 516/768 (removed 252) transitions.
// Phase 1: matrix 516 rows 1045 cols
[2025-06-03 01:54:02] [INFO ] Computed 530 invariants in 10 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:54:04] [INFO ] Implicit Places using invariants in 1478 ms returned [67, 107, 327, 382, 436, 460, 640, 728, 763, 768, 782, 879, 1016]
Discarding 13 places :
Implicit Place search using SMT only with invariants took 1482 ms to find 13 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1032/1297 places, 516/768 transitions.
Applied a total of 0 rules in 60 ms. Remains 1032 /1032 variables (removed 0) and now considering 516/516 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1639 ms. Remains : 1032/1297 places, 516/768 transitions.
[2025-06-03 01:54:04] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:54:04] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:54:04] [INFO ] Input system was already deterministic with 516 transitions.
[2025-06-03 01:54:04] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:54:04] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:54:04] [INFO ] Time to serialize gal into /tmp/CTLFireability13805974995188850255.gal : 2 ms
[2025-06-03 01:54:04] [INFO ] Time to serialize properties into /tmp/CTLFireability17740175957364014597.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13805974995188850255.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17740175957364014597.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:54:34] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:54:34] [INFO ] Applying decomposition
[2025-06-03 01:54:34] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8344426465302598849.txt' '-o' '/tmp/graph8344426465302598849.bin' '-w' '/tmp/graph8344426465302598849.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8344426465302598849.bin' '-l' '-1' '-v' '-w' '/tmp/graph8344426465302598849.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:54:34] [INFO ] Decomposing Gal with order
[2025-06-03 01:54:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:54:34] [INFO ] Flatten gal took : 80 ms
[2025-06-03 01:54:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2025-06-03 01:54:34] [INFO ] Time to serialize gal into /tmp/CTLFireability4017518763339774300.gal : 8 ms
[2025-06-03 01:54:34] [INFO ] Time to serialize properties into /tmp/CTLFireability11684550239475549360.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4017518763339774300.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11684550239475549360.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 33 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
// Phase 1: matrix 768 rows 1297 cols
[2025-06-03 01:55:04] [INFO ] Computed 530 invariants in 14 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:55:06] [INFO ] Implicit Places using invariants in 1869 ms returned [80, 129, 350, 406, 475, 537, 562, 796, 906, 947, 954, 957, 973, 978, 1101, 1238, 1259]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 1873 ms to find 17 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1280/1297 places, 768/768 transitions.
Applied a total of 0 rules in 45 ms. Remains 1280 /1280 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1960 ms. Remains : 1280/1297 places, 768/768 transitions.
[2025-06-03 01:55:06] [INFO ] Flatten gal took : 31 ms
[2025-06-03 01:55:06] [INFO ] Flatten gal took : 35 ms
[2025-06-03 01:55:06] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:55:06] [INFO ] Flatten gal took : 34 ms
[2025-06-03 01:55:06] [INFO ] Flatten gal took : 35 ms
[2025-06-03 01:55:06] [INFO ] Time to serialize gal into /tmp/CTLFireability16033989950444755588.gal : 6 ms
[2025-06-03 01:55:06] [INFO ] Time to serialize properties into /tmp/CTLFireability10192286044659440154.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16033989950444755588.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10192286044659440154.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:55:36] [INFO ] Flatten gal took : 22 ms
[2025-06-03 01:55:36] [INFO ] Applying decomposition
[2025-06-03 01:55:36] [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.202505121319/bin/convert-linux64' '-i' '/tmp/graph15969162093308594156.txt' '-o' '/tmp/graph15969162093308594156.bin' '-w' '/tmp/graph15969162093308594156.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph15969162093308594156.bin' '-l' '-1' '-v' '-w' '/tmp/graph15969162093308594156.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:55:37] [INFO ] Decomposing Gal with order
[2025-06-03 01:55:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:55:37] [INFO ] Flatten gal took : 46 ms
[2025-06-03 01:55:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 01:55:37] [INFO ] Time to serialize gal into /tmp/CTLFireability4871049974702921503.gal : 7 ms
[2025-06-03 01:55:37] [INFO ] Time to serialize properties into /tmp/CTLFireability16619200716338815545.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4871049974702921503.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16619200716338815545.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 222 transitions
Trivial Post-agglo rules discarded 222 transitions
Performed 222 trivial Post agglomeration. Transition count delta: 222
Iterating post reduction 0 with 222 rules applied. Total rules applied 222 place count 1297 transition count 546
Reduce places removed 222 places and 0 transitions.
Iterating post reduction 1 with 222 rules applied. Total rules applied 444 place count 1075 transition count 546
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 15 Pre rules applied. Total rules applied 444 place count 1075 transition count 531
Deduced a syphon composed of 15 places in 0 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 2 with 30 rules applied. Total rules applied 474 place count 1060 transition count 531
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 508 place count 1043 transition count 514
Applied a total of 508 rules in 83 ms. Remains 1043 /1297 variables (removed 254) and now considering 514/768 (removed 254) transitions.
// Phase 1: matrix 514 rows 1043 cols
[2025-06-03 01:56:07] [INFO ] Computed 530 invariants in 10 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:56:08] [INFO ] Implicit Places using invariants in 1240 ms returned [67, 107, 280, 381, 435, 459, 638, 727, 762, 770, 781, 784, 878, 996, 1014]
Discarding 15 places :
Implicit Place search using SMT only with invariants took 1250 ms to find 15 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1028/1297 places, 514/768 transitions.
Applied a total of 0 rules in 24 ms. Remains 1028 /1028 variables (removed 0) and now considering 514/514 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1357 ms. Remains : 1028/1297 places, 514/768 transitions.
[2025-06-03 01:56:08] [INFO ] Flatten gal took : 14 ms
[2025-06-03 01:56:08] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:56:08] [INFO ] Input system was already deterministic with 514 transitions.
[2025-06-03 01:56:08] [INFO ] Flatten gal took : 15 ms
[2025-06-03 01:56:08] [INFO ] Flatten gal took : 15 ms
[2025-06-03 01:56:08] [INFO ] Time to serialize gal into /tmp/CTLFireability2667524505643940472.gal : 3 ms
[2025-06-03 01:56:08] [INFO ] Time to serialize properties into /tmp/CTLFireability9601619507031228388.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2667524505643940472.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9601619507031228388.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:56:38] [INFO ] Flatten gal took : 17 ms
[2025-06-03 01:56:38] [INFO ] Applying decomposition
[2025-06-03 01:56:38] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12363162658538919287.txt' '-o' '/tmp/graph12363162658538919287.bin' '-w' '/tmp/graph12363162658538919287.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12363162658538919287.bin' '-l' '-1' '-v' '-w' '/tmp/graph12363162658538919287.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:56:38] [INFO ] Decomposing Gal with order
[2025-06-03 01:56:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:56:38] [INFO ] Flatten gal took : 26 ms
[2025-06-03 01:56:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2025-06-03 01:56:38] [INFO ] Time to serialize gal into /tmp/CTLFireability10012768444451320476.gal : 9 ms
[2025-06-03 01:56:38] [INFO ] Time to serialize properties into /tmp/CTLFireability5266475937952319461.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10012768444451320476.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5266475937952319461.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 221 transitions
Trivial Post-agglo rules discarded 221 transitions
Performed 221 trivial Post agglomeration. Transition count delta: 221
Iterating post reduction 0 with 221 rules applied. Total rules applied 221 place count 1297 transition count 547
Reduce places removed 221 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 222 rules applied. Total rules applied 443 place count 1076 transition count 546
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 444 place count 1075 transition count 546
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 16 Pre rules applied. Total rules applied 444 place count 1075 transition count 530
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 3 with 32 rules applied. Total rules applied 476 place count 1059 transition count 530
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 510 place count 1042 transition count 513
Applied a total of 510 rules in 91 ms. Remains 1042 /1297 variables (removed 255) and now considering 513/768 (removed 255) transitions.
// Phase 1: matrix 513 rows 1042 cols
[2025-06-03 01:57:09] [INFO ] Computed 530 invariants in 9 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:57:10] [INFO ] Implicit Places using invariants in 1449 ms returned [107, 280, 326, 381, 435, 459, 638, 726, 761, 766, 769, 780, 783, 877, 995, 1013]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 1467 ms to find 16 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1026/1297 places, 513/768 transitions.
Applied a total of 0 rules in 24 ms. Remains 1026 /1026 variables (removed 0) and now considering 513/513 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1582 ms. Remains : 1026/1297 places, 513/768 transitions.
[2025-06-03 01:57:10] [INFO ] Flatten gal took : 29 ms
[2025-06-03 01:57:10] [INFO ] Flatten gal took : 18 ms
[2025-06-03 01:57:10] [INFO ] Input system was already deterministic with 513 transitions.
[2025-06-03 01:57:10] [INFO ] Flatten gal took : 16 ms
[2025-06-03 01:57:10] [INFO ] Flatten gal took : 50 ms
[2025-06-03 01:57:10] [INFO ] Time to serialize gal into /tmp/CTLFireability15975348170918493895.gal : 3 ms
[2025-06-03 01:57:10] [INFO ] Time to serialize properties into /tmp/CTLFireability3591466419294478156.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15975348170918493895.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3591466419294478156.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:57:40] [INFO ] Flatten gal took : 15 ms
[2025-06-03 01:57:40] [INFO ] Applying decomposition
[2025-06-03 01:57:40] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph3482293233666463975.txt' '-o' '/tmp/graph3482293233666463975.bin' '-w' '/tmp/graph3482293233666463975.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph3482293233666463975.bin' '-l' '-1' '-v' '-w' '/tmp/graph3482293233666463975.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:57:40] [INFO ] Decomposing Gal with order
[2025-06-03 01:57:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:57:41] [INFO ] Flatten gal took : 33 ms
[2025-06-03 01:57:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2025-06-03 01:57:41] [INFO ] Time to serialize gal into /tmp/CTLFireability6780424439689838789.gal : 12 ms
[2025-06-03 01:57:41] [INFO ] Time to serialize properties into /tmp/CTLFireability14403258615273166754.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6780424439689838789.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14403258615273166754.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 218 transitions
Trivial Post-agglo rules discarded 218 transitions
Performed 218 trivial Post agglomeration. Transition count delta: 218
Iterating post reduction 0 with 218 rules applied. Total rules applied 218 place count 1297 transition count 550
Reduce places removed 218 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 220 rules applied. Total rules applied 438 place count 1079 transition count 548
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 440 place count 1077 transition count 548
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 19 Pre rules applied. Total rules applied 440 place count 1077 transition count 529
Deduced a syphon composed of 19 places in 0 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 3 with 38 rules applied. Total rules applied 478 place count 1058 transition count 529
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 3 with 34 rules applied. Total rules applied 512 place count 1041 transition count 512
Applied a total of 512 rules in 107 ms. Remains 1041 /1297 variables (removed 256) and now considering 512/768 (removed 256) transitions.
// Phase 1: matrix 512 rows 1041 cols
[2025-06-03 01:58:11] [INFO ] Computed 530 invariants in 10 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:58:13] [INFO ] Implicit Places using invariants in 1717 ms returned [67, 107, 279, 325, 380, 434, 458, 637, 725, 760, 765, 768, 779, 782, 876, 994, 1012]
Discarding 17 places :
Implicit Place search using SMT only with invariants took 1719 ms to find 17 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1024/1297 places, 512/768 transitions.
Applied a total of 0 rules in 39 ms. Remains 1024 /1024 variables (removed 0) and now considering 512/512 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 1865 ms. Remains : 1024/1297 places, 512/768 transitions.
[2025-06-03 01:58:13] [INFO ] Flatten gal took : 26 ms
[2025-06-03 01:58:13] [INFO ] Flatten gal took : 28 ms
[2025-06-03 01:58:13] [INFO ] Input system was already deterministic with 512 transitions.
[2025-06-03 01:58:13] [INFO ] Flatten gal took : 27 ms
[2025-06-03 01:58:13] [INFO ] Flatten gal took : 28 ms
[2025-06-03 01:58:13] [INFO ] Time to serialize gal into /tmp/CTLFireability16544539624950155276.gal : 5 ms
[2025-06-03 01:58:13] [INFO ] Time to serialize properties into /tmp/CTLFireability7880638328351978092.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16544539624950155276.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7880638328351978092.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:58:43] [INFO ] Flatten gal took : 40 ms
[2025-06-03 01:58:43] [INFO ] Applying decomposition
[2025-06-03 01:58:43] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10927617633642675206.txt' '-o' '/tmp/graph10927617633642675206.bin' '-w' '/tmp/graph10927617633642675206.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10927617633642675206.bin' '-l' '-1' '-v' '-w' '/tmp/graph10927617633642675206.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:58:43] [INFO ] Decomposing Gal with order
[2025-06-03 01:58:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:58:43] [INFO ] Flatten gal took : 25 ms
[2025-06-03 01:58:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 01:58:43] [INFO ] Time to serialize gal into /tmp/CTLFireability14268522798466019000.gal : 8 ms
[2025-06-03 01:58:43] [INFO ] Time to serialize properties into /tmp/CTLFireability13657518684589979603.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14268522798466019000.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13657518684589979603.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
// Phase 1: matrix 768 rows 1297 cols
[2025-06-03 01:59:13] [INFO ] Computed 530 invariants in 18 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 01:59:15] [INFO ] Implicit Places using invariants in 1738 ms returned [80, 129, 350, 406, 475, 537, 562, 796, 906, 954, 957, 978, 1101, 1238, 1259]
Discarding 15 places :
Implicit Place search using SMT only with invariants took 1759 ms to find 15 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1282/1297 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1282 /1282 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1816 ms. Remains : 1282/1297 places, 768/768 transitions.
[2025-06-03 01:59:15] [INFO ] Flatten gal took : 29 ms
[2025-06-03 01:59:15] [INFO ] Flatten gal took : 20 ms
[2025-06-03 01:59:15] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 01:59:15] [INFO ] Flatten gal took : 21 ms
[2025-06-03 01:59:15] [INFO ] Flatten gal took : 21 ms
[2025-06-03 01:59:15] [INFO ] Time to serialize gal into /tmp/CTLFireability9846372930386524783.gal : 4 ms
[2025-06-03 01:59:15] [INFO ] Time to serialize properties into /tmp/CTLFireability6082725522960749587.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9846372930386524783.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6082725522960749587.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 01:59:45] [INFO ] Flatten gal took : 20 ms
[2025-06-03 01:59:45] [INFO ] Applying decomposition
[2025-06-03 01:59:45] [INFO ] Flatten gal took : 21 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph18367901613112550445.txt' '-o' '/tmp/graph18367901613112550445.bin' '-w' '/tmp/graph18367901613112550445.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph18367901613112550445.bin' '-l' '-1' '-v' '-w' '/tmp/graph18367901613112550445.weights' '-q' '0' '-e' '0.001'
[2025-06-03 01:59:45] [INFO ] Decomposing Gal with order
[2025-06-03 01:59:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 01:59:45] [INFO ] Flatten gal took : 26 ms
[2025-06-03 01:59:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 01:59:45] [INFO ] Time to serialize gal into /tmp/CTLFireability4362072114416392529.gal : 6 ms
[2025-06-03 01:59:45] [INFO ] Time to serialize properties into /tmp/CTLFireability3930267337567345341.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4362072114416392529.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3930267337567345341.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 SI_CTL mode, iteration 0 : 1297/1297 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 222 transitions
Trivial Post-agglo rules discarded 222 transitions
Performed 222 trivial Post agglomeration. Transition count delta: 222
Iterating post reduction 0 with 222 rules applied. Total rules applied 222 place count 1297 transition count 546
Reduce places removed 222 places and 0 transitions.
Iterating post reduction 1 with 222 rules applied. Total rules applied 444 place count 1075 transition count 546
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 16 Pre rules applied. Total rules applied 444 place count 1075 transition count 530
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 2 with 32 rules applied. Total rules applied 476 place count 1059 transition count 530
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 0 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 510 place count 1042 transition count 513
Applied a total of 510 rules in 82 ms. Remains 1042 /1297 variables (removed 255) and now considering 513/768 (removed 255) transitions.
// Phase 1: matrix 513 rows 1042 cols
[2025-06-03 02:00:16] [INFO ] Computed 530 invariants in 10 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:00:18] [INFO ] Implicit Places using invariants in 2165 ms returned [67, 107, 279, 325, 380, 458, 638, 726, 761, 766, 769, 780, 783, 877, 995, 1013]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 2178 ms to find 16 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1026/1297 places, 513/768 transitions.
Applied a total of 0 rules in 48 ms. Remains 1026 /1026 variables (removed 0) and now considering 513/513 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 2310 ms. Remains : 1026/1297 places, 513/768 transitions.
[2025-06-03 02:00:18] [INFO ] Flatten gal took : 26 ms
[2025-06-03 02:00:18] [INFO ] Flatten gal took : 17 ms
[2025-06-03 02:00:18] [INFO ] Input system was already deterministic with 513 transitions.
[2025-06-03 02:00:18] [INFO ] Flatten gal took : 17 ms
[2025-06-03 02:00:18] [INFO ] Flatten gal took : 27 ms
[2025-06-03 02:00:18] [INFO ] Time to serialize gal into /tmp/CTLFireability18386956525053249422.gal : 3 ms
[2025-06-03 02:00:18] [INFO ] Time to serialize properties into /tmp/CTLFireability18359247427571251513.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18386956525053249422.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18359247427571251513.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 02:00:48] [INFO ] Flatten gal took : 17 ms
[2025-06-03 02:00:48] [INFO ] Applying decomposition
[2025-06-03 02:00:48] [INFO ] Flatten gal took : 16 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph1056644745644204946.txt' '-o' '/tmp/graph1056644745644204946.bin' '-w' '/tmp/graph1056644745644204946.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1056644745644204946.bin' '-l' '-1' '-v' '-w' '/tmp/graph1056644745644204946.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:00:48] [INFO ] Decomposing Gal with order
[2025-06-03 02:00:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:00:48] [INFO ] Flatten gal took : 28 ms
[2025-06-03 02:00:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2025-06-03 02:00:48] [INFO ] Time to serialize gal into /tmp/CTLFireability6075790184715827840.gal : 8 ms
[2025-06-03 02:00:48] [INFO ] Time to serialize properties into /tmp/CTLFireability7556314711048128308.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6075790184715827840.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7556314711048128308.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 1297/1297 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1297 /1297 variables (removed 0) and now considering 768/768 (removed 0) transitions.
// Phase 1: matrix 768 rows 1297 cols
[2025-06-03 02:01:18] [INFO ] Computed 530 invariants in 14 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 02:01:20] [INFO ] Implicit Places using invariants in 1728 ms returned [80, 129, 350, 406, 537, 562, 796, 906, 947, 954, 957, 973, 978, 1101, 1238, 1259]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 1745 ms to find 16 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1297 places, 768/768 transitions.
Applied a total of 0 rules in 37 ms. Remains 1281 /1281 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1810 ms. Remains : 1281/1297 places, 768/768 transitions.
[2025-06-03 02:01:20] [INFO ] Flatten gal took : 19 ms
[2025-06-03 02:01:20] [INFO ] Flatten gal took : 21 ms
[2025-06-03 02:01:20] [INFO ] Input system was already deterministic with 768 transitions.
[2025-06-03 02:01:20] [INFO ] Flatten gal took : 33 ms
[2025-06-03 02:01:20] [INFO ] Flatten gal took : 34 ms
[2025-06-03 02:01:20] [INFO ] Time to serialize gal into /tmp/CTLFireability14303454208787009910.gal : 6 ms
[2025-06-03 02:01:20] [INFO ] Time to serialize properties into /tmp/CTLFireability6615380137979599343.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14303454208787009910.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6615380137979599343.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 02:01:50] [INFO ] Flatten gal took : 20 ms
[2025-06-03 02:01:50] [INFO ] Applying decomposition
[2025-06-03 02:01:50] [INFO ] Flatten gal took : 19 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5383220326855218109.txt' '-o' '/tmp/graph5383220326855218109.bin' '-w' '/tmp/graph5383220326855218109.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5383220326855218109.bin' '-l' '-1' '-v' '-w' '/tmp/graph5383220326855218109.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:01:50] [INFO ] Decomposing Gal with order
[2025-06-03 02:01:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:01:50] [INFO ] Flatten gal took : 24 ms
[2025-06-03 02:01:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 02:01:50] [INFO ] Time to serialize gal into /tmp/CTLFireability17715016316265472864.gal : 6 ms
[2025-06-03 02:01:50] [INFO ] Time to serialize properties into /tmp/CTLFireability6348065108193634434.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17715016316265472864.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6348065108193634434.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-06-03 02:02:20] [INFO ] Flatten gal took : 25 ms
[2025-06-03 02:02:21] [INFO ] Flatten gal took : 22 ms
[2025-06-03 02:02:21] [INFO ] Applying decomposition
[2025-06-03 02:02:21] [INFO ] Flatten gal took : 23 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12853269436133517482.txt' '-o' '/tmp/graph12853269436133517482.bin' '-w' '/tmp/graph12853269436133517482.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12853269436133517482.bin' '-l' '-1' '-v' '-w' '/tmp/graph12853269436133517482.weights' '-q' '0' '-e' '0.001'
[2025-06-03 02:02:21] [INFO ] Decomposing Gal with order
[2025-06-03 02:02:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 02:02:21] [INFO ] Flatten gal took : 42 ms
[2025-06-03 02:02:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 02:02:21] [INFO ] Time to serialize gal into /tmp/CTLFireability14268052956836168804.gal : 9 ms
[2025-06-03 02:02:21] [INFO ] Time to serialize properties into /tmp/CTLFireability14199028602348414001.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14268052956836168804.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14199028602348414001.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2025-06-03 02:28:00] [INFO ] Flatten gal took : 410 ms
[2025-06-03 02:28:00] [INFO ] Time to serialize gal into /tmp/CTLFireability442346829476526428.gal : 75 ms
[2025-06-03 02:28:00] [INFO ] Time to serialize properties into /tmp/CTLFireability2701507766317719886.ctl : 43 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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability442346829476526428.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2701507766317719886.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
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,3.40389e+177,726.922,3658116,2,486571,5,2.18606e+07,6,0,5959,2.2149e+07,0
Converting to forward existential form...Done !
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.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /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-768"
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-5832"
echo " Executing tool itstools"
echo " Input is CircularTrains-PT-768, 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 r030-smll-174853813900434"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-768.tgz
mv CircularTrains-PT-768 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 ;