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 |
| 16198.004 | 3600000.00 | 3643036.00 | 25699.40 | ?FT????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r050-smll-177946901200265.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is CircularTrains-PT-768, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r050-smll-177946901200265
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.8K Mar 5 14:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Mar 5 14:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Mar 5 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Mar 5 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 15 08:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 08:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 15 08:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 08:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 5 14:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Mar 5 14:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Mar 5 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Mar 5 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 15 08:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 08:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 591K Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-00
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-01
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-02
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-03
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-04
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-05
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-06
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-07
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-08
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-09
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-10
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-11
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-12
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-13
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-14
FORMULA_NAME CircularTrains-PT-768-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779594257481
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
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
CTLCardinality PT
Running Version 202604301425
[2026-05-24 03:44:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-24 03:44:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-24 03:44:20] [INFO ] Load time of PNML (sax parser for PT used): 318 ms
[2026-05-24 03:44:20] [INFO ] Transformed 1536 places.
[2026-05-24 03:44:20] [INFO ] Transformed 768 transitions.
[2026-05-24 03:44:20] [INFO ] Parsed PT model containing 1536 places and 768 transitions and 3072 arcs in 552 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 35 ms.
Support contains 154 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 368 ms. Remains 1536 /1536 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-5262484960563564882.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11286859349033838102.kers'
[2026-05-24 03:44:21] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-5262484960563564882.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11286859349033838102.kers]
Culled 0 columns in 2 ms.
// Phase 1: matrix 768 rows 1536 cols 3072 entries
Finished phase 1 with 0 SingleSign rule and 767 generalized
[2026-05-24 03:44:21] [INFO ] Computed 769 invariants in 52 ms
Computed 769 P flows in 54 ms.
Exported basis to /tmp/petrispot-output-11286859349033838102.kers
Total runtime 56 ms.
[2026-05-24 03:44:24] [INFO ] Implicit Places using invariants in 3778 ms returned [3, 14, 18, 29, 35, 45, 47, 59, 79, 81, 83, 85, 90, 94, 96, 102, 106, 110, 111, 125, 128, 138, 144, 149, 150, 152, 155, 158, 163, 173, 180, 187, 193, 196, 197, 198, 224, 228, 243, 244, 248, 250, 255, 259, 273, 276, 296, 304, 312, 318, 330, 333, 339, 350, 353, 361, 380, 381, 389, 402, 409, 414, 419, 420, 421, 438, 451, 463, 464, 471, 473, 480, 499, 509, 516, 519, 530, 531, 533, 535, 544, 557, 558, 561, 577, 578, 600, 606, 612, 622, 630, 656, 658, 661, 662, 665, 666, 669, 671, 677, 679, 681, 688, 689, 693, 694, 696, 697, 705, 709, 711, 715, 716, 725, 732, 750, 761, 767, 770, 780, 793, 804, 807, 810, 811, 817, 820, 839, 843, 846, 856, 872, 874, 883, 884, 885, 887, 905, 929, 934, 940, 942, 948, 952, 953, 970, 973, 975, 977, 991, 1005, 1009, 1017, 1018, 1019, 1020, 1042, 1059, 1071, 1072, 1078, 1079, 1087, 1088, 1094, 1096, 1101, 1121, 1128, 1131, 1147, 1150, 1157, 1160, 1162, 1168, 1178, 1182, 1185, 1198, 1204, 1209, 1211, 1216, 1228, 1229, 1244, 1247, 1252, 1261, 1262, 1266, 1273, 1292, 1300, 1305, 1306, 1329, 1338, 1339, 1350, 1354, 1356, 1360, 1362, 1373, 1378, 1379, 1385, 1391, 1409, 1438, 1450, 1453, 1461, 1472, 1476, 1484, 1485, 1487, 1488, 1493, 1495, 1497, 1507, 1512, 1513, 1515, 1517, 1525, 1527]
Discarding 231 places :
Implicit Place search using SMT only with invariants took 3856 ms to find 231 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1305/1536 places, 768/768 transitions.
Applied a total of 0 rules in 117 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 4374 ms. Remains : 1305/1536 places, 768/768 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 216 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8790298916185599958.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2545723347195778056.kers'
[2026-05-24 03:44:25] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8790298916185599958.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2545723347195778056.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 768 rows 1305 cols 2610 entries
Finished phase 1 with 253 SingleSign rule and 514 generalized
[2026-05-24 03:44:25] [INFO ] Computed 538 invariants in 36 ms
Computed 538 P flows in 37 ms.
Exported basis to /tmp/petrispot-output-2545723347195778056.kers
Total runtime 38 ms.
[2026-05-24 03:44:27] [INFO ] Implicit Places using invariants in 2166 ms returned []
[2026-05-24 03:44:27] [INFO ] Invariant cache hit.
[2026-05-24 03:44:30] [INFO ] Implicit Places using invariants and state equation in 2879 ms returned []
Implicit Place search using SMT with State Equation took 5048 ms to find 0 implicit places.
Running 512 sub problems to find dead transitions.
[2026-05-24 03:44:30] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/793 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 512 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 793/2073 variables, and 8 constraints, problems are : Problem set: 0 solved, 512 unsolved in 30055 ms.
Refiners :[Positive P Invariants (semi-flows): 0/513 constraints, Generalized P Invariants (flows): 8/25 constraints, State Equation: 0/1305 constraints, PredecessorRefiner: 512/512 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 512 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/793 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 512 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/793 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 512 unsolved
At refinement iteration 2 (OVERLAPS) 506/1299 variables, 513/521 constraints. Problems are: Problem set: 0 solved, 512 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1299 variables, 9/530 constraints. Problems are: Problem set: 0 solved, 512 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1299/2073 variables, and 530 constraints, problems are : Problem set: 0 solved, 512 unsolved in 30027 ms.
Refiners :[Positive P Invariants (semi-flows): 513/513 constraints, Generalized P Invariants (flows): 17/25 constraints, State Equation: 0/1305 constraints, PredecessorRefiner: 0/512 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 60371ms problems are : Problem set: 0 solved, 512 unsolved
Search for dead transitions found 0 dead transitions in 60400ms
Finished structural reductions in LTL mode , in 1 iterations and 65707 ms. Remains : 1305/1305 places, 768/768 transitions.
Support contains 154 out of 1305 places after structural reductions.
[2026-05-24 03:45:31] [INFO ] Flatten gal took : 147 ms
[2026-05-24 03:45:31] [INFO ] Flatten gal took : 78 ms
[2026-05-24 03:45:31] [INFO ] Input system was already deterministic with 768 transitions.
RANDOM walk for 40000 steps (8 resets) in 3055 ms. (13 steps per ms) remains 13/90 properties
BEST_FIRST walk for 40004 steps (8 resets) in 575 ms. (69 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 585 ms. (68 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 568 ms. (70 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 505 ms. (79 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 540 ms. (73 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 556 ms. (71 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 461 ms. (86 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 490 ms. (81 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 676 ms. (59 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 646 ms. (61 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 637 ms. (62 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 649 ms. (61 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 598 ms. (66 steps per ms) remains 13/13 properties
[2026-05-24 03:45:34] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/22 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Problem AtomicPropp0 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp52 is UNSAT
Problem AtomicPropp53 is UNSAT
Problem AtomicPropp54 is UNSAT
Problem AtomicPropp66 is UNSAT
Problem AtomicPropp68 is UNSAT
Problem AtomicPropp69 is UNSAT
Problem AtomicPropp77 is UNSAT
After SMT solving in domain Real declared 67/2073 variables, and 23 constraints, problems are : Problem set: 13 solved, 0 unsolved in 141 ms.
Refiners :[Positive P Invariants (semi-flows): 23/513 constraints, Generalized P Invariants (flows): 0/25 constraints, State Equation: 0/1305 constraints, PredecessorRefiner: 13/13 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 167ms problems are : Problem set: 13 solved, 0 unsolved
Skipping Parikh replay, no witness traces provided.
Successfully simplified 13 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA CircularTrains-PT-768-CTLCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CircularTrains-PT-768-CTLCardinality-2024-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-24 03:45:34] [INFO ] Flatten gal took : 69 ms
[2026-05-24 03:45:34] [INFO ] Flatten gal took : 77 ms
[2026-05-24 03:45:35] [INFO ] Input system was already deterministic with 768 transitions.
Support contains 112 out of 1305 places (down from 115) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 49 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:45:35] [INFO ] Invariant cache hit.
[2026-05-24 03:45:36] [INFO ] Implicit Places using invariants in 1718 ms returned [67, 207, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1722 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1305 places, 768/768 transitions.
Applied a total of 0 rules in 166 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 1939 ms. Remains : 1281/1305 places, 768/768 transitions.
[2026-05-24 03:45:37] [INFO ] Flatten gal took : 43 ms
[2026-05-24 03:45:37] [INFO ] Flatten gal took : 41 ms
[2026-05-24 03:45:37] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:45:37] [INFO ] Flatten gal took : 61 ms
[2026-05-24 03:45:37] [INFO ] Flatten gal took : 55 ms
[2026-05-24 03:45:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality13711350217848681045.gal : 38 ms
[2026-05-24 03:45:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality3720065591021756790.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13711350217848681045.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3720065591021756790.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:46:07] [INFO ] Flatten gal took : 29 ms
[2026-05-24 03:46:07] [INFO ] Applying decomposition
[2026-05-24 03:46:07] [INFO ] Flatten gal took : 28 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph5872889430256717967.txt' '-o' '/tmp/graph5872889430256717967.bin' '-w' '/tmp/graph5872889430256717967.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5872889430256717967.bin' '-l' '-1' '-v' '-w' '/tmp/graph5872889430256717967.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:46:07] [INFO ] Decomposing Gal with order
[2026-05-24 03:46:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:46:08] [INFO ] Flatten gal took : 140 ms
[2026-05-24 03:46:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 7 ms.
[2026-05-24 03:46:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality5174822985765339785.gal : 16 ms
[2026-05-24 03:46:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality10774339642990275835.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5174822985765339785.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10774339642990275835.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 66 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:46:38] [INFO ] Invariant cache hit.
[2026-05-24 03:46:40] [INFO ] Implicit Places using invariants in 1737 ms returned [67, 207, 275, 312, 386, 468, 494, 542, 591, 657, 801, 861, 889, 913, 981, 988, 1105, 1106, 1139, 1219, 1234, 1300]
Discarding 22 places :
Implicit Place search using SMT only with invariants took 1738 ms to find 22 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1283/1305 places, 768/768 transitions.
Applied a total of 0 rules in 58 ms. Remains 1283 /1283 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1864 ms. Remains : 1283/1305 places, 768/768 transitions.
[2026-05-24 03:46:40] [INFO ] Flatten gal took : 41 ms
[2026-05-24 03:46:40] [INFO ] Flatten gal took : 42 ms
[2026-05-24 03:46:40] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:46:40] [INFO ] Flatten gal took : 37 ms
[2026-05-24 03:46:40] [INFO ] Flatten gal took : 38 ms
[2026-05-24 03:46:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality8642550555864865182.gal : 7 ms
[2026-05-24 03:46:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality10517959965978853390.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8642550555864865182.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10517959965978853390.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:47:10] [INFO ] Flatten gal took : 36 ms
[2026-05-24 03:47:10] [INFO ] Applying decomposition
[2026-05-24 03:47:11] [INFO ] Flatten gal took : 26 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph15630190036654368484.txt' '-o' '/tmp/graph15630190036654368484.bin' '-w' '/tmp/graph15630190036654368484.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15630190036654368484.bin' '-l' '-1' '-v' '-w' '/tmp/graph15630190036654368484.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:47:11] [INFO ] Decomposing Gal with order
[2026-05-24 03:47:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:47:11] [INFO ] Flatten gal took : 77 ms
[2026-05-24 03:47:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2026-05-24 03:47:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality16434334042778973093.gal : 12 ms
[2026-05-24 03:47:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality6506176158095666050.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16434334042778973093.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6506176158095666050.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 33 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:47:41] [INFO ] Invariant cache hit.
[2026-05-24 03:47:43] [INFO ] Implicit Places using invariants in 1766 ms returned [67, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 23 places :
Implicit Place search using SMT only with invariants took 1768 ms to find 23 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1282/1305 places, 768/768 transitions.
Applied a total of 0 rules in 32 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 1833 ms. Remains : 1282/1305 places, 768/768 transitions.
[2026-05-24 03:47:43] [INFO ] Flatten gal took : 23 ms
[2026-05-24 03:47:43] [INFO ] Flatten gal took : 26 ms
[2026-05-24 03:47:43] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:47:43] [INFO ] Flatten gal took : 24 ms
[2026-05-24 03:47:43] [INFO ] Flatten gal took : 26 ms
[2026-05-24 03:47:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality12150229291082830525.gal : 7 ms
[2026-05-24 03:47:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality2955722684052840046.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12150229291082830525.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2955722684052840046.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:48:13] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:48:13] [INFO ] Applying decomposition
[2026-05-24 03:48:13] [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.202604301425/bin/convert-linux64' '-i' '/tmp/graph7083821166983917926.txt' '-o' '/tmp/graph7083821166983917926.bin' '-w' '/tmp/graph7083821166983917926.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7083821166983917926.bin' '-l' '-1' '-v' '-w' '/tmp/graph7083821166983917926.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:48:14] [INFO ] Decomposing Gal with order
[2026-05-24 03:48:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:48:14] [INFO ] Flatten gal took : 47 ms
[2026-05-24 03:48:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2026-05-24 03:48:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality14262506870878074903.gal : 16 ms
[2026-05-24 03:48:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality14099039120265218848.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14262506870878074903.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14099039120265218848.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 32 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:48:44] [INFO ] Invariant cache hit.
[2026-05-24 03:48:46] [INFO ] Implicit Places using invariants in 1900 ms returned [67, 207, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 25 places :
Implicit Place search using SMT only with invariants took 1902 ms to find 25 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1280/1305 places, 768/768 transitions.
Applied a total of 0 rules in 31 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 1965 ms. Remains : 1280/1305 places, 768/768 transitions.
[2026-05-24 03:48:46] [INFO ] Flatten gal took : 19 ms
[2026-05-24 03:48:46] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:48:46] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:48:46] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:48:46] [INFO ] Flatten gal took : 24 ms
[2026-05-24 03:48:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality15146375725833991286.gal : 7 ms
[2026-05-24 03:48:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality189538013325725725.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15146375725833991286.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality189538013325725725.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:49:16] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:49:16] [INFO ] Applying decomposition
[2026-05-24 03:49:16] [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.202604301425/bin/convert-linux64' '-i' '/tmp/graph2722483482945618853.txt' '-o' '/tmp/graph2722483482945618853.bin' '-w' '/tmp/graph2722483482945618853.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2722483482945618853.bin' '-l' '-1' '-v' '-w' '/tmp/graph2722483482945618853.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:49:16] [INFO ] Decomposing Gal with order
[2026-05-24 03:49:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:49:16] [INFO ] Flatten gal took : 35 ms
[2026-05-24 03:49:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:49:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality9154179293983906660.gal : 11 ms
[2026-05-24 03:49:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality4792929323628526944.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9154179293983906660.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4792929323628526944.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 32 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:49:47] [INFO ] Invariant cache hit.
[2026-05-24 03:49:48] [INFO ] Implicit Places using invariants in 1809 ms returned [67, 207, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 25 places :
Implicit Place search using SMT only with invariants took 1811 ms to find 25 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1280/1305 places, 768/768 transitions.
Applied a total of 0 rules in 32 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 1877 ms. Remains : 1280/1305 places, 768/768 transitions.
[2026-05-24 03:49:48] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:49:48] [INFO ] Flatten gal took : 20 ms
[2026-05-24 03:49:48] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:49:48] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:49:48] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:49:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality12785806326112845034.gal : 5 ms
[2026-05-24 03:49:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality13044332348142170164.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12785806326112845034.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13044332348142170164.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:50:19] [INFO ] Flatten gal took : 19 ms
[2026-05-24 03:50:19] [INFO ] Applying decomposition
[2026-05-24 03:50:19] [INFO ] Flatten gal took : 19 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10703798492288609867.txt' '-o' '/tmp/graph10703798492288609867.bin' '-w' '/tmp/graph10703798492288609867.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10703798492288609867.bin' '-l' '-1' '-v' '-w' '/tmp/graph10703798492288609867.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:50:19] [INFO ] Decomposing Gal with order
[2026-05-24 03:50:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:50:19] [INFO ] Flatten gal took : 32 ms
[2026-05-24 03:50:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:50:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality7493091716454016098.gal : 9 ms
[2026-05-24 03:50:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality6576588627634540362.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7493091716454016098.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6576588627634540362.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 32 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:50:49] [INFO ] Invariant cache hit.
[2026-05-24 03:50:51] [INFO ] Implicit Places using invariants in 1889 ms returned [67, 207, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1300]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1890 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1305 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 1953 ms. Remains : 1281/1305 places, 768/768 transitions.
[2026-05-24 03:50:51] [INFO ] Flatten gal took : 17 ms
[2026-05-24 03:50:51] [INFO ] Flatten gal took : 19 ms
[2026-05-24 03:50:51] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:50:51] [INFO ] Flatten gal took : 20 ms
[2026-05-24 03:50:51] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:50:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality11276285873471802902.gal : 5 ms
[2026-05-24 03:50:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality2650123258200115522.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11276285873471802902.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2650123258200115522.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:51:21] [INFO ] Flatten gal took : 19 ms
[2026-05-24 03:51:21] [INFO ] Applying decomposition
[2026-05-24 03:51:21] [INFO ] Flatten gal took : 20 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph2119317291472800969.txt' '-o' '/tmp/graph2119317291472800969.bin' '-w' '/tmp/graph2119317291472800969.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2119317291472800969.bin' '-l' '-1' '-v' '-w' '/tmp/graph2119317291472800969.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:51:21] [INFO ] Decomposing Gal with order
[2026-05-24 03:51:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:51:21] [INFO ] Flatten gal took : 30 ms
[2026-05-24 03:51:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:51:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality5572590214290272702.gal : 7 ms
[2026-05-24 03:51:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality11942799363505845454.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5572590214290272702.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11942799363505845454.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 208 transitions
Trivial Post-agglo rules discarded 208 transitions
Performed 208 trivial Post agglomeration. Transition count delta: 208
Iterating post reduction 0 with 208 rules applied. Total rules applied 208 place count 1305 transition count 560
Reduce places removed 208 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 209 rules applied. Total rules applied 417 place count 1097 transition count 559
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 418 place count 1096 transition count 559
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 22 Pre rules applied. Total rules applied 418 place count 1096 transition count 537
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 462 place count 1074 transition count 537
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
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 506 place count 1052 transition count 515
Applied a total of 506 rules in 202 ms. Remains 1052 /1305 variables (removed 253) and now considering 515/768 (removed 253) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-11495330591065107730.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10575293936328827808.kers'
[2026-05-24 03:51:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11495330591065107730.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10575293936328827808.kers]
Culling duplicate invariants (modulo rational): removing 506 columns.
Culled 506 columns in 1 ms.
// Phase 1: matrix 515 rows 546 cols 1092 entries
Finished phase 1 with 378 SingleSign rule and 136 generalized
[2026-05-24 03:51:52] [INFO ] Computed 538 invariants in 6 ms
Computed 538 P flows in 7 ms.
Exported basis to /tmp/petrispot-output-10575293936328827808.kers
Total runtime 8 ms.
[2026-05-24 03:51:53] [INFO ] Implicit Places using invariants in 1608 ms returned [57, 166, 219, 241, 251, 312, 380, 398, 441, 481, 534, 644, 685, 715, 734, 787, 882, 883, 910, 912, 979, 992, 1048]
Discarding 23 places :
Implicit Place search using SMT only with invariants took 1610 ms to find 23 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 1029/1305 places, 515/768 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1029 transition count 513
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1027 transition count 513
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 4 place count 1027 transition count 512
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 6 place count 1026 transition count 512
Applied a total of 6 rules in 59 ms. Remains 1026 /1029 variables (removed 3) and now considering 512/515 (removed 3) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1611522991496906730.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14805846437462362840.kers'
[2026-05-24 03:51:53] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1611522991496906730.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14805846437462362840.kers]
Culling duplicate invariants (modulo rational): removing 512 columns.
Culled 512 columns in 1 ms.
// Phase 1: matrix 512 rows 514 cols 1028 entries
Finished phase 1 with 374 SingleSign rule and 137 generalized
[2026-05-24 03:51:53] [INFO ] Computed 515 invariants in 4 ms
Computed 515 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-14805846437462362840.kers
Total runtime 6 ms.
[2026-05-24 03:51:55] [INFO ] Implicit Places using invariants in 1645 ms returned []
[2026-05-24 03:51:55] [INFO ] Invariant cache hit.
[2026-05-24 03:51:57] [INFO ] Implicit Places using invariants and state equation in 2074 ms returned []
Implicit Place search using SMT with State Equation took 3722 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 1026/1305 places, 512/768 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 5593 ms. Remains : 1026/1305 places, 512/768 transitions.
[2026-05-24 03:51:57] [INFO ] Flatten gal took : 14 ms
[2026-05-24 03:51:57] [INFO ] Flatten gal took : 16 ms
[2026-05-24 03:51:57] [INFO ] Input system was already deterministic with 512 transitions.
[2026-05-24 03:51:57] [INFO ] Flatten gal took : 24 ms
[2026-05-24 03:51:57] [INFO ] Flatten gal took : 25 ms
[2026-05-24 03:51:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality13876715092700567682.gal : 5 ms
[2026-05-24 03:51:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality10933623456016413767.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13876715092700567682.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10933623456016413767.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:52:27] [INFO ] Flatten gal took : 15 ms
[2026-05-24 03:52:27] [INFO ] Applying decomposition
[2026-05-24 03:52:27] [INFO ] Flatten gal took : 14 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph3036251156704674738.txt' '-o' '/tmp/graph3036251156704674738.bin' '-w' '/tmp/graph3036251156704674738.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3036251156704674738.bin' '-l' '-1' '-v' '-w' '/tmp/graph3036251156704674738.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:52:27] [INFO ] Decomposing Gal with order
[2026-05-24 03:52:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:52:27] [INFO ] Flatten gal took : 30 ms
[2026-05-24 03:52:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2026-05-24 03:52:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality13156270054820269009.gal : 7 ms
[2026-05-24 03:52:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality7268267576348196709.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13156270054820269009.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7268267576348196709.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15892439962388335907.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10075179597525083217.kers'
[2026-05-24 03:52:58] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15892439962388335907.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10075179597525083217.kers]
Culled 0 columns in 1 ms.
// Phase 1: matrix 768 rows 1305 cols 2610 entries
Finished phase 1 with 253 SingleSign rule and 514 generalized
[2026-05-24 03:52:58] [INFO ] Computed 538 invariants in 21 ms
Computed 538 P flows in 21 ms.
Exported basis to /tmp/petrispot-output-10075179597525083217.kers
Total runtime 22 ms.
[2026-05-24 03:52:59] [INFO ] Implicit Places using invariants in 1805 ms returned [67, 207, 275, 300, 312, 386, 542, 591, 847, 861, 889, 988, 1105, 1137, 1139, 1219, 1234, 1300]
Discarding 18 places :
Implicit Place search using SMT only with invariants took 1808 ms to find 18 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1287/1305 places, 768/768 transitions.
Applied a total of 0 rules in 31 ms. Remains 1287 /1287 variables (removed 0) and now considering 768/768 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 1868 ms. Remains : 1287/1305 places, 768/768 transitions.
[2026-05-24 03:52:59] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:52:59] [INFO ] Flatten gal took : 21 ms
[2026-05-24 03:53:00] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:53:00] [INFO ] Flatten gal took : 19 ms
[2026-05-24 03:53:00] [INFO ] Flatten gal took : 19 ms
[2026-05-24 03:53:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality10635255848203027127.gal : 4 ms
[2026-05-24 03:53:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality13186450851480811744.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10635255848203027127.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13186450851480811744.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:53:30] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:53:30] [INFO ] Applying decomposition
[2026-05-24 03:53:30] [INFO ] Flatten gal took : 18 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph2048700927158527084.txt' '-o' '/tmp/graph2048700927158527084.bin' '-w' '/tmp/graph2048700927158527084.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2048700927158527084.bin' '-l' '-1' '-v' '-w' '/tmp/graph2048700927158527084.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:53:30] [INFO ] Decomposing Gal with order
[2026-05-24 03:53:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:53:30] [INFO ] Flatten gal took : 28 ms
[2026-05-24 03:53:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:53:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality12399105405864522897.gal : 6 ms
[2026-05-24 03:53:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality1374004102932321941.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12399105405864522897.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1374004102932321941.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 29 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:54:00] [INFO ] Invariant cache hit.
[2026-05-24 03:54:02] [INFO ] Implicit Places using invariants in 1959 ms returned [67, 207, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1961 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1305 places, 768/768 transitions.
Applied a total of 0 rules in 30 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 2021 ms. Remains : 1281/1305 places, 768/768 transitions.
[2026-05-24 03:54:02] [INFO ] Flatten gal took : 16 ms
[2026-05-24 03:54:02] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:54:02] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:54:02] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:54:02] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:54:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality2080032691408049185.gal : 4 ms
[2026-05-24 03:54:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality16213628828052940424.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2080032691408049185.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16213628828052940424.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:54:32] [INFO ] Flatten gal took : 28 ms
[2026-05-24 03:54:32] [INFO ] Applying decomposition
[2026-05-24 03:54:32] [INFO ] Flatten gal took : 28 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12542025048283631465.txt' '-o' '/tmp/graph12542025048283631465.bin' '-w' '/tmp/graph12542025048283631465.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12542025048283631465.bin' '-l' '-1' '-v' '-w' '/tmp/graph12542025048283631465.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:54:32] [INFO ] Decomposing Gal with order
[2026-05-24 03:54:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:54:32] [INFO ] Flatten gal took : 39 ms
[2026-05-24 03:54:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 03:54:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality14886798503040545507.gal : 8 ms
[2026-05-24 03:54:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality1668268814683088898.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14886798503040545507.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1668268814683088898.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 29 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:55:03] [INFO ] Invariant cache hit.
[2026-05-24 03:55:04] [INFO ] Implicit Places using invariants in 1669 ms returned [67, 207, 275, 300, 312, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1670 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1305 places, 768/768 transitions.
Applied a total of 0 rules in 28 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 1728 ms. Remains : 1281/1305 places, 768/768 transitions.
[2026-05-24 03:55:04] [INFO ] Flatten gal took : 16 ms
[2026-05-24 03:55:04] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:55:04] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:55:04] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:55:04] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:55:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality10872841231448035939.gal : 4 ms
[2026-05-24 03:55:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality6156083605445372960.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10872841231448035939.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6156083605445372960.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:55:34] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:55:34] [INFO ] Applying decomposition
[2026-05-24 03:55:35] [INFO ] Flatten gal took : 19 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10999136228283116320.txt' '-o' '/tmp/graph10999136228283116320.bin' '-w' '/tmp/graph10999136228283116320.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10999136228283116320.bin' '-l' '-1' '-v' '-w' '/tmp/graph10999136228283116320.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:55:35] [INFO ] Decomposing Gal with order
[2026-05-24 03:55:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:55:35] [INFO ] Flatten gal took : 32 ms
[2026-05-24 03:55:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:55:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality4972153913872589835.gal : 8 ms
[2026-05-24 03:55:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality16605550529406520151.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4972153913872589835.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16605550529406520151.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 29 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:56:05] [INFO ] Invariant cache hit.
[2026-05-24 03:56:06] [INFO ] Implicit Places using invariants in 1590 ms returned [67, 207, 275, 300, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1592 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1305 places, 768/768 transitions.
Applied a total of 0 rules in 27 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 1649 ms. Remains : 1281/1305 places, 768/768 transitions.
[2026-05-24 03:56:06] [INFO ] Flatten gal took : 15 ms
[2026-05-24 03:56:06] [INFO ] Flatten gal took : 17 ms
[2026-05-24 03:56:07] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:56:07] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:56:07] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:56:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality15720647000301891017.gal : 4 ms
[2026-05-24 03:56:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality16960065304491638676.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15720647000301891017.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16960065304491638676.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:56:37] [INFO ] Flatten gal took : 17 ms
[2026-05-24 03:56:37] [INFO ] Applying decomposition
[2026-05-24 03:56:37] [INFO ] Flatten gal took : 17 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph6922386761286843461.txt' '-o' '/tmp/graph6922386761286843461.bin' '-w' '/tmp/graph6922386761286843461.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6922386761286843461.bin' '-l' '-1' '-v' '-w' '/tmp/graph6922386761286843461.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:56:37] [INFO ] Decomposing Gal with order
[2026-05-24 03:56:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:56:37] [INFO ] Flatten gal took : 24 ms
[2026-05-24 03:56:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:56:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality12496560970079834658.gal : 11 ms
[2026-05-24 03:56:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality15946286543115790466.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12496560970079834658.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15946286543115790466.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:57:07] [INFO ] Invariant cache hit.
[2026-05-24 03:57:09] [INFO ] Implicit Places using invariants in 1904 ms returned [67, 207, 275, 300, 312, 386, 468, 494, 542, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1905 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1281/1305 places, 768/768 transitions.
Applied a total of 0 rules in 28 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 1961 ms. Remains : 1281/1305 places, 768/768 transitions.
[2026-05-24 03:57:09] [INFO ] Flatten gal took : 15 ms
[2026-05-24 03:57:09] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:57:09] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:57:09] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:57:09] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:57:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality7543810895316810287.gal : 4 ms
[2026-05-24 03:57:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality1124548747922810928.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7543810895316810287.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1124548747922810928.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:57:39] [INFO ] Flatten gal took : 28 ms
[2026-05-24 03:57:39] [INFO ] Applying decomposition
[2026-05-24 03:57:39] [INFO ] Flatten gal took : 18 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph5090500852306682934.txt' '-o' '/tmp/graph5090500852306682934.bin' '-w' '/tmp/graph5090500852306682934.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5090500852306682934.bin' '-l' '-1' '-v' '-w' '/tmp/graph5090500852306682934.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:57:39] [INFO ] Decomposing Gal with order
[2026-05-24 03:57:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:57:39] [INFO ] Flatten gal took : 41 ms
[2026-05-24 03:57:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2026-05-24 03:57:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality973922886265944124.gal : 9 ms
[2026-05-24 03:57:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality12028417288357881737.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality973922886265944124.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12028417288357881737.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:58:09] [INFO ] Invariant cache hit.
[2026-05-24 03:58:11] [INFO ] Implicit Places using invariants in 1817 ms returned [67, 207, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1139, 1219, 1234, 1300]
Discarding 25 places :
Implicit Place search using SMT only with invariants took 1829 ms to find 25 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1280/1305 places, 768/768 transitions.
Applied a total of 0 rules in 30 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 1888 ms. Remains : 1280/1305 places, 768/768 transitions.
[2026-05-24 03:58:11] [INFO ] Flatten gal took : 16 ms
[2026-05-24 03:58:11] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:58:11] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:58:11] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:58:11] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:58:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality5502967331196071071.gal : 4 ms
[2026-05-24 03:58:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality9198237139870185515.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5502967331196071071.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9198237139870185515.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:58:42] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:58:42] [INFO ] Applying decomposition
[2026-05-24 03:58:42] [INFO ] Flatten gal took : 19 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph16648714557036035666.txt' '-o' '/tmp/graph16648714557036035666.bin' '-w' '/tmp/graph16648714557036035666.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16648714557036035666.bin' '-l' '-1' '-v' '-w' '/tmp/graph16648714557036035666.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:58:42] [INFO ] Decomposing Gal with order
[2026-05-24 03:58:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:58:42] [INFO ] Flatten gal took : 31 ms
[2026-05-24 03:58:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 03:58:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality15511300436840152670.gal : 6 ms
[2026-05-24 03:58:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality8925927277801453005.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15511300436840152670.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8925927277801453005.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 1305/1305 places, 768/768 transitions.
Applied a total of 0 rules in 28 ms. Remains 1305 /1305 variables (removed 0) and now considering 768/768 (removed 0) transitions.
[2026-05-24 03:59:12] [INFO ] Invariant cache hit.
[2026-05-24 03:59:14] [INFO ] Implicit Places using invariants in 1762 ms returned [207, 275, 300, 312, 386, 468, 494, 542, 591, 657, 801, 847, 861, 889, 913, 981, 988, 1105, 1106, 1137, 1219, 1234, 1300]
Discarding 23 places :
Implicit Place search using SMT only with invariants took 1764 ms to find 23 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1282/1305 places, 768/768 transitions.
Applied a total of 0 rules in 41 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 1833 ms. Remains : 1282/1305 places, 768/768 transitions.
[2026-05-24 03:59:14] [INFO ] Flatten gal took : 24 ms
[2026-05-24 03:59:14] [INFO ] Flatten gal took : 28 ms
[2026-05-24 03:59:14] [INFO ] Input system was already deterministic with 768 transitions.
[2026-05-24 03:59:14] [INFO ] Flatten gal took : 27 ms
[2026-05-24 03:59:14] [INFO ] Flatten gal took : 28 ms
[2026-05-24 03:59:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality9369041318280847572.gal : 6 ms
[2026-05-24 03:59:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality17564076614013021078.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9369041318280847572.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17564076614013021078.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 03:59:44] [INFO ] Flatten gal took : 18 ms
[2026-05-24 03:59:44] [INFO ] Applying decomposition
[2026-05-24 03:59:44] [INFO ] Flatten gal took : 18 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7415199322426431861.txt' '-o' '/tmp/graph7415199322426431861.bin' '-w' '/tmp/graph7415199322426431861.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7415199322426431861.bin' '-l' '-1' '-v' '-w' '/tmp/graph7415199322426431861.weights' '-q' '0' '-e' '0.001'
[2026-05-24 03:59:44] [INFO ] Decomposing Gal with order
[2026-05-24 03:59:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 03:59:44] [INFO ] Flatten gal took : 26 ms
[2026-05-24 03:59:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 03:59:44] [INFO ] Time to serialize gal into /tmp/CTLCardinality11478580711460812841.gal : 8 ms
[2026-05-24 03:59:44] [INFO ] Time to serialize properties into /tmp/CTLCardinality16685960317130167590.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11478580711460812841.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16685960317130167590.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-24 04:00:14] [INFO ] Flatten gal took : 28 ms
[2026-05-24 04:00:14] [INFO ] Flatten gal took : 19 ms
[2026-05-24 04:00:14] [INFO ] Applying decomposition
[2026-05-24 04:00:14] [INFO ] Flatten gal took : 18 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12561540724875082381.txt' '-o' '/tmp/graph12561540724875082381.bin' '-w' '/tmp/graph12561540724875082381.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12561540724875082381.bin' '-l' '-1' '-v' '-w' '/tmp/graph12561540724875082381.weights' '-q' '0' '-e' '0.001'
[2026-05-24 04:00:14] [INFO ] Decomposing Gal with order
[2026-05-24 04:00:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-24 04:00:14] [INFO ] Flatten gal took : 29 ms
[2026-05-24 04:00:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2026-05-24 04:00:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality16018867721918472807.gal : 7 ms
[2026-05-24 04:00:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality12452955483957092595.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16018867721918472807.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12452955483957092595.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 14 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,725.594,3634680,2,499134,5,2.15248e+07,6,0,5991,2.18995e+07,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2026-05-24 04:25:37] [INFO ] Flatten gal took : 804 ms
[2026-05-24 04:25:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality17458289447303275019.gal : 96 ms
[2026-05-24 04:25:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality12007535964119596917.ctl : 37 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17458289447303275019.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12007535964119596917.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 14 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,739.041,3682492,2,489901,5,2.19774e+07,6,0,5991,2.2317e+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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CircularTrains-PT-768"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is CircularTrains-PT-768, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r050-smll-177946901200265"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;