About the Execution of ITS-Tools for JoinFreeModules-PT-1000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8776.428 | 3600000.00 | 3752216.00 | 8573.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r162-smll-177961107700210.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 JoinFreeModules-PT-1000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107700210
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 5.3K Mar 7 15:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Mar 7 15:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Mar 7 15:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Mar 7 15:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Mar 15 11:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 15 11:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 15 11:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 11:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Mar 7 15:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Mar 7 15:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Mar 7 15:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Mar 7 15:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 11:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 11:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 JoinFreeModules-PT-1000-CTLFireability-2024-00
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-01
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-02
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-03
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-04
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-05
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-06
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-07
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-08
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-09
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-10
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-11
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-12
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-13
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-14
FORMULA_NAME JoinFreeModules-PT-1000-CTLFireability-2024-15
=== Now, execution of the tool begins
BK_START 1779763364989
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=JoinFreeModules-PT-1000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202604301425
[2026-05-26 02:42:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-26 02:42:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 02:42:48] [INFO ] Load time of PNML (sax parser for PT used): 819 ms
[2026-05-26 02:42:48] [INFO ] Transformed 5001 places.
[2026-05-26 02:42:48] [INFO ] Transformed 8001 transitions.
[2026-05-26 02:42:48] [INFO ] Parsed PT model containing 5001 places and 8001 transitions and 23002 arcs in 1101 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Reduce places removed 1 places and 0 transitions.
Support contains 102 out of 5000 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 991 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Running 6000 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-4065158853222634990.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-13064577375889291341.kers'
[2026-05-26 02:42:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-4065158853222634990.kers, --Pflows, --basisKERS=/tmp/petrispot-output-13064577375889291341.kers]
Normalized transition count is 8000 out of 8001 initially.
Culled 0 columns in 9 ms.
// Phase 1: matrix 8000 rows 5000 cols 20000 entries
Finished phase 1 with 4000 SingleSign rule and 0 generalized
[2026-05-26 02:42:50] [INFO ] Computed 1000 invariants in 50 ms
Computed 1000 P flows in 52 ms.
Exported basis to /tmp/petrispot-output-13064577375889291341.kers
Total runtime 64 ms.
[2026-05-26 02:42:50] [INFO ] State equation strengthened by 1000 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4000/13001 variables, and 0 constraints, problems are : Problem set: 0 solved, 6000 unsolved in 20387 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1000 constraints, State Equation: 0/5000 constraints, ReadFeed: 0/1000 constraints, PredecessorRefiner: 6000/6000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6000 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4000/13001 variables, and 0 constraints, problems are : Problem set: 0 solved, 6000 unsolved in 20179 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1000 constraints, State Equation: 0/5000 constraints, ReadFeed: 0/1000 constraints, PredecessorRefiner: 0/6000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 45880ms problems are : Problem set: 0 solved, 6000 unsolved
Search for dead transitions found 0 dead transitions in 45986ms
[2026-05-26 02:43:35] [INFO ] Invariant cache hit.
[2026-05-26 02:43:38] [INFO ] Implicit Places using invariants in 2378 ms returned []
[2026-05-26 02:43:38] [INFO ] Invariant cache hit.
[2026-05-26 02:43:44] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:43:44] [INFO ] Implicit Places using invariants and state equation in 6305 ms returned []
Implicit Place search using SMT with State Equation took 8693 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 55845 ms. Remains : 5000/5000 places, 8001/8001 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 401 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:43:45] [INFO ] Invariant cache hit.
[2026-05-26 02:43:46] [INFO ] Implicit Places using invariants in 1599 ms returned []
[2026-05-26 02:43:46] [INFO ] Invariant cache hit.
[2026-05-26 02:43:52] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:43:53] [INFO ] Implicit Places using invariants and state equation in 6515 ms returned []
Implicit Place search using SMT with State Equation took 8117 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8521 ms. Remains : 5000/5000 places, 8001/8001 transitions.
Support contains 102 out of 5000 places after structural reductions.
[2026-05-26 02:43:54] [INFO ] Flatten gal took : 580 ms
[2026-05-26 02:43:54] [INFO ] Flatten gal took : 247 ms
[2026-05-26 02:43:54] [INFO ] Input system was already deterministic with 8001 transitions.
Support contains 100 out of 5000 places (down from 102) after GAL structural reductions.
RANDOM walk for 40063 steps (8 resets) in 2649 ms. (15 steps per ms) remains 75/79 properties
BEST_FIRST walk for 4004 steps (0 resets) in 279 ms. (14 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 309 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 355 ms. (11 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 506 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 303 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 369 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 349 ms. (11 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 562 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 345 ms. (11 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 289 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 240 ms. (16 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 484 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 333 ms. (11 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 326 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 329 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 450 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 488 ms. (8 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 394 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 500 ms. (7 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 366 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 358 ms. (11 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 321 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 324 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 330 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 308 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 413 ms. (9 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 303 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 309 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 304 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 298 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 288 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 288 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 413 ms. (9 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 328 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 323 ms. (12 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 298 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 303 ms. (13 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 263 ms. (15 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 261 ms. (15 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 258 ms. (15 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 418 ms. (9 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 372 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 381 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 373 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 372 ms. (10 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 342 ms. (11 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 237 ms. (16 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 240 ms. (16 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 241 ms. (16 steps per ms) remains 75/75 properties
BEST_FIRST walk for 4004 steps (0 resets) in 239 ms. (16 steps per ms) remains 75/75 properties
Probabilistic random walk after 123251 steps, saw 123146 distinct states, run finished after 15093 ms. (steps per millisecond=8 ) properties seen :8
[2026-05-26 02:44:15] [INFO ] Invariant cache hit.
[2026-05-26 02:44:15] [INFO ] State equation strengthened by 1000 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 67 unsolved
At refinement iteration 1 (OVERLAPS) 299/380 variables, 76/76 constraints. Problems are: Problem set: 0 solved, 67 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/380 variables, 0/76 constraints. Problems are: Problem set: 0 solved, 67 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 608/988 variables, 380/456 constraints. Problems are: Problem set: 0 solved, 67 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/988 variables, 76/532 constraints. Problems are: Problem set: 0 solved, 67 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 988/13001 variables, and 532 constraints, problems are : Problem set: 0 solved, 67 unsolved in 5011 ms.
Refiners :[Positive P Invariants (semi-flows): 76/1000 constraints, State Equation: 380/5000 constraints, ReadFeed: 76/1000 constraints, PredecessorRefiner: 67/67 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 67 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/81 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 67 unsolved
At refinement iteration 1 (OVERLAPS) 299/380 variables, 76/76 constraints. Problems are: Problem set: 0 solved, 67 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/380 variables, 20/96 constraints. Problems are: Problem set: 0 solved, 67 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 380/13001 variables, and 108 constraints, problems are : Problem set: 0 solved, 67 unsolved in 5014 ms.
Refiners :[Positive P Invariants (semi-flows): 76/1000 constraints, State Equation: 0/5000 constraints, ReadFeed: 0/1000 constraints, PredecessorRefiner: 0/67 constraints, Known Traps: 32/32 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10182ms problems are : Problem set: 0 solved, 67 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 81 out of 5000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Graph (complete) has 12000 edges and 5000 vertex of which 380 are kept as prefixes of interest. Removing 4620 places using SCC suffix rule.26 ms
Discarding 4620 places :
Also discarding 7392 output transitions
Drop transitions (Output transitions of discarded places.) removed 7392 transitions
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 380 transition count 608
Applied a total of 2 rules in 142 ms. Remains 380 /5000 variables (removed 4620) and now considering 608/8001 (removed 7393) transitions.
Running 456 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7883609400614729046.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3104643437662021042.kers'
[2026-05-26 02:44:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7883609400614729046.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3104643437662021042.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 608 rows 380 cols 1520 entries
Finished phase 1 with 304 SingleSign rule and 0 generalized
[2026-05-26 02:44:26] [INFO ] Computed 76 invariants in 4 ms
Computed 76 P flows in 5 ms.
Exported basis to /tmp/petrispot-output-3104643437662021042.kers
Total runtime 6 ms.
[2026-05-26 02:44:26] [INFO ] State equation strengthened by 76 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/304 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 456 unsolved
At refinement iteration 1 (OVERLAPS) 76/380 variables, 76/76 constraints. Problems are: Problem set: 0 solved, 456 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 380/988 variables, and 76 constraints, problems are : Problem set: 0 solved, 456 unsolved in 20022 ms.
Refiners :[Positive P Invariants (semi-flows): 76/76 constraints, State Equation: 0/380 constraints, ReadFeed: 0/76 constraints, PredecessorRefiner: 456/456 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 456 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/304 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 456 unsolved
At refinement iteration 1 (OVERLAPS) 76/380 variables, 76/76 constraints. Problems are: Problem set: 0 solved, 456 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/380 variables, 0/76 constraints. Problems are: Problem set: 0 solved, 456 unsolved
At refinement iteration 3 (OVERLAPS) 608/988 variables, 380/456 constraints. Problems are: Problem set: 0 solved, 456 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/988 variables, 76/532 constraints. Problems are: Problem set: 0 solved, 456 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 988/988 variables, and 988 constraints, problems are : Problem set: 0 solved, 456 unsolved in 20041 ms.
Refiners :[Positive P Invariants (semi-flows): 76/76 constraints, State Equation: 380/380 constraints, ReadFeed: 76/76 constraints, PredecessorRefiner: 456/456 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 40145ms problems are : Problem set: 0 solved, 456 unsolved
Search for dead transitions found 0 dead transitions in 40149ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 40294 ms. Remains : 380/5000 places, 608/8001 transitions.
RANDOM walk for 40732 steps (8 resets) in 382 ms. (106 steps per ms) remains 46/67 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 50 ms. (78 steps per ms) remains 46/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/46 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 45/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 44/45 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 47 ms. (83 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 51 ms. (77 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 46 ms. (85 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 53 ms. (74 steps per ms) remains 44/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 43/44 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 42/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 42/42 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 41/42 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 41/41 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 41/41 properties
[2026-05-26 02:45:06] [INFO ] Invariant cache hit.
[2026-05-26 02:45:06] [INFO ] State equation strengthened by 76 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/55 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 215/270 variables, 54/54 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/270 variables, 0/54 constraints. Problems are: Problem set: 0 solved, 41 unsolved
All remaining problems are real, not stopping.
At refinement iteration 3 (OVERLAPS) 432/702 variables, 270/324 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/702 variables, 54/378 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/702 variables, 0/378 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 6 (OVERLAPS) 0/702 variables, 0/378 constraints. Problems are: Problem set: 0 solved, 41 unsolved
No progress, stopping.
After SMT solving in domain Real declared 702/988 variables, and 378 constraints, problems are : Problem set: 0 solved, 41 unsolved in 2496 ms.
Refiners :[Positive P Invariants (semi-flows): 54/76 constraints, State Equation: 270/380 constraints, ReadFeed: 54/76 constraints, PredecessorRefiner: 41/41 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 41 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/55 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 1 (OVERLAPS) 215/270 variables, 54/54 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/270 variables, 20/74 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/270 variables, 4/78 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/270 variables, 0/78 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 5 (OVERLAPS) 432/702 variables, 270/348 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/702 variables, 54/402 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/702 variables, 41/443 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/702 variables, 4/447 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/702 variables, 0/447 constraints. Problems are: Problem set: 0 solved, 41 unsolved
At refinement iteration 10 (OVERLAPS) 0/702 variables, 0/447 constraints. Problems are: Problem set: 0 solved, 41 unsolved
No progress, stopping.
After SMT solving in domain Int declared 702/988 variables, and 447 constraints, problems are : Problem set: 0 solved, 41 unsolved in 14504 ms.
Refiners :[Positive P Invariants (semi-flows): 54/76 constraints, State Equation: 270/380 constraints, ReadFeed: 54/76 constraints, PredecessorRefiner: 41/41 constraints, Known Traps: 28/28 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 17015ms problems are : Problem set: 0 solved, 41 unsolved
Fused 41 Parikh solutions to 8 different solutions.
Finished Parikh walk after 74150 steps, including 2 resets, run visited all 41 properties in 2054 ms. (steps per millisecond=36 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished Parikh walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Parikh walk visited 41 properties in 2064 ms.
[2026-05-26 02:45:26] [INFO ] Flatten gal took : 172 ms
[2026-05-26 02:45:26] [INFO ] Flatten gal took : 174 ms
[2026-05-26 02:45:26] [INFO ] Input system was already deterministic with 8001 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 415 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Running 6000 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-13210122342229661227.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17164955705506896820.kers'
[2026-05-26 02:45:27] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-13210122342229661227.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17164955705506896820.kers]
Normalized transition count is 8000 out of 8001 initially.
Culled 0 columns in 7 ms.
// Phase 1: matrix 8000 rows 5000 cols 20000 entries
Finished phase 1 with 4000 SingleSign rule and 0 generalized
[2026-05-26 02:45:27] [INFO ] Computed 1000 invariants in 36 ms
Computed 1000 P flows in 37 ms.
Exported basis to /tmp/petrispot-output-17164955705506896820.kers
Total runtime 44 ms.
[2026-05-26 02:45:27] [INFO ] State equation strengthened by 1000 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4000/13001 variables, and 0 constraints, problems are : Problem set: 0 solved, 6000 unsolved in 20178 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1000 constraints, State Equation: 0/5000 constraints, ReadFeed: 0/1000 constraints, PredecessorRefiner: 6000/6000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6000 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 4000/13001 variables, and 0 constraints, problems are : Problem set: 0 solved, 6000 unsolved in 20227 ms.
Refiners :[Positive P Invariants (semi-flows): 0/1000 constraints, State Equation: 0/5000 constraints, ReadFeed: 0/1000 constraints, PredecessorRefiner: 0/6000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 45164ms problems are : Problem set: 0 solved, 6000 unsolved
Search for dead transitions found 0 dead transitions in 45178ms
[2026-05-26 02:46:12] [INFO ] Invariant cache hit.
[2026-05-26 02:46:14] [INFO ] Implicit Places using invariants in 2113 ms returned []
[2026-05-26 02:46:14] [INFO ] Invariant cache hit.
[2026-05-26 02:46:21] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:46:21] [INFO ] Implicit Places using invariants and state equation in 6974 ms returned []
Implicit Place search using SMT with State Equation took 9090 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 54700 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:46:22] [INFO ] Flatten gal took : 242 ms
[2026-05-26 02:46:22] [INFO ] Flatten gal took : 213 ms
[2026-05-26 02:46:22] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:46:22] [INFO ] Flatten gal took : 142 ms
[2026-05-26 02:46:23] [INFO ] Flatten gal took : 198 ms
[2026-05-26 02:46:23] [INFO ] Time to serialize gal into /tmp/CTLFireability3598549862474521892.gal : 109 ms
[2026-05-26 02:46:23] [INFO ] Time to serialize properties into /tmp/CTLFireability12090535831633432769.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3598549862474521892.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12090535831633432769.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-26 02:46:53] [INFO ] Flatten gal took : 153 ms
[2026-05-26 02:46:53] [INFO ] Applying decomposition
[2026-05-26 02:46:53] [INFO ] Flatten gal took : 198 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/graph9483396655951466497.txt' '-o' '/tmp/graph9483396655951466497.bin' '-w' '/tmp/graph9483396655951466497.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9483396655951466497.bin' '-l' '-1' '-v' '-w' '/tmp/graph9483396655951466497.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:46:54] [INFO ] Decomposing Gal with order
[2026-05-26 02:46:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:46:56] [INFO ] Flatten gal took : 333 ms
[2026-05-26 02:46:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 293 ms.
[2026-05-26 02:46:56] [INFO ] Time to serialize gal into /tmp/CTLFireability15083938137206538787.gal : 96 ms
[2026-05-26 02:46:56] [INFO ] Time to serialize properties into /tmp/CTLFireability4365493221143814416.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/CTLFireability15083938137206538787.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4365493221143814416.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 422 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:47:27] [INFO ] Invariant cache hit.
[2026-05-26 02:47:29] [INFO ] Implicit Places using invariants in 1856 ms returned []
[2026-05-26 02:47:29] [INFO ] Invariant cache hit.
[2026-05-26 02:47:35] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:47:36] [INFO ] Implicit Places using invariants and state equation in 6760 ms returned []
Implicit Place search using SMT with State Equation took 8621 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 9045 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:47:36] [INFO ] Flatten gal took : 148 ms
[2026-05-26 02:47:36] [INFO ] Flatten gal took : 166 ms
[2026-05-26 02:47:36] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:47:36] [INFO ] Flatten gal took : 133 ms
[2026-05-26 02:47:37] [INFO ] Flatten gal took : 154 ms
[2026-05-26 02:47:37] [INFO ] Time to serialize gal into /tmp/CTLFireability8309105669006131571.gal : 32 ms
[2026-05-26 02:47:37] [INFO ] Time to serialize properties into /tmp/CTLFireability1671182743182814693.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/CTLFireability8309105669006131571.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1671182743182814693.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-26 02:48:07] [INFO ] Flatten gal took : 170 ms
[2026-05-26 02:48:07] [INFO ] Applying decomposition
[2026-05-26 02:48:07] [INFO ] Flatten gal took : 209 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/graph12038334322382589623.txt' '-o' '/tmp/graph12038334322382589623.bin' '-w' '/tmp/graph12038334322382589623.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12038334322382589623.bin' '-l' '-1' '-v' '-w' '/tmp/graph12038334322382589623.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:48:08] [INFO ] Decomposing Gal with order
[2026-05-26 02:48:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:48:10] [INFO ] Flatten gal took : 153 ms
[2026-05-26 02:48:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 279 ms.
[2026-05-26 02:48:10] [INFO ] Time to serialize gal into /tmp/CTLFireability17113697907145748795.gal : 36 ms
[2026-05-26 02:48:10] [INFO ] Time to serialize properties into /tmp/CTLFireability6251386630991997039.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/CTLFireability17113697907145748795.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6251386630991997039.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 845 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:48:41] [INFO ] Invariant cache hit.
[2026-05-26 02:48:42] [INFO ] Implicit Places using invariants in 1488 ms returned []
[2026-05-26 02:48:42] [INFO ] Invariant cache hit.
[2026-05-26 02:48:48] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:48:49] [INFO ] Implicit Places using invariants and state equation in 6660 ms returned []
Implicit Place search using SMT with State Equation took 8152 ms to find 0 implicit places.
[2026-05-26 02:48:50] [INFO ] Redundant transitions in 1440 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10446 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:48:50] [INFO ] Flatten gal took : 118 ms
[2026-05-26 02:48:51] [INFO ] Flatten gal took : 119 ms
[2026-05-26 02:48:51] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:48:51] [INFO ] Flatten gal took : 169 ms
[2026-05-26 02:48:51] [INFO ] Flatten gal took : 175 ms
[2026-05-26 02:48:51] [INFO ] Time to serialize gal into /tmp/CTLFireability3406655922358142206.gal : 41 ms
[2026-05-26 02:48:51] [INFO ] Time to serialize properties into /tmp/CTLFireability9985426866188276758.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/CTLFireability3406655922358142206.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9985426866188276758.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-26 02:49:21] [INFO ] Flatten gal took : 127 ms
[2026-05-26 02:49:21] [INFO ] Applying decomposition
[2026-05-26 02:49:22] [INFO ] Flatten gal took : 119 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/graph17416183639140027075.txt' '-o' '/tmp/graph17416183639140027075.bin' '-w' '/tmp/graph17416183639140027075.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph17416183639140027075.bin' '-l' '-1' '-v' '-w' '/tmp/graph17416183639140027075.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:49:22] [INFO ] Decomposing Gal with order
[2026-05-26 02:49:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:49:24] [INFO ] Flatten gal took : 132 ms
[2026-05-26 02:49:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 103 ms.
[2026-05-26 02:49:24] [INFO ] Time to serialize gal into /tmp/CTLFireability649240094646745804.gal : 33 ms
[2026-05-26 02:49:24] [INFO ] Time to serialize properties into /tmp/CTLFireability14361061839221001604.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/CTLFireability649240094646745804.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14361061839221001604.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 370 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:49:54] [INFO ] Invariant cache hit.
[2026-05-26 02:49:56] [INFO ] Implicit Places using invariants in 1658 ms returned []
[2026-05-26 02:49:56] [INFO ] Invariant cache hit.
[2026-05-26 02:50:02] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:50:02] [INFO ] Implicit Places using invariants and state equation in 6300 ms returned []
Implicit Place search using SMT with State Equation took 7961 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8333 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:50:02] [INFO ] Flatten gal took : 178 ms
[2026-05-26 02:50:02] [INFO ] Flatten gal took : 124 ms
[2026-05-26 02:50:03] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:50:03] [INFO ] Flatten gal took : 126 ms
[2026-05-26 02:50:03] [INFO ] Flatten gal took : 129 ms
[2026-05-26 02:50:03] [INFO ] Time to serialize gal into /tmp/CTLFireability8743877156502523601.gal : 27 ms
[2026-05-26 02:50:03] [INFO ] Time to serialize properties into /tmp/CTLFireability106293988766928583.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/CTLFireability8743877156502523601.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability106293988766928583.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 02:50:33] [INFO ] Flatten gal took : 128 ms
[2026-05-26 02:50:33] [INFO ] Applying decomposition
[2026-05-26 02:50:33] [INFO ] Flatten gal took : 146 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/graph16746496242517425347.txt' '-o' '/tmp/graph16746496242517425347.bin' '-w' '/tmp/graph16746496242517425347.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16746496242517425347.bin' '-l' '-1' '-v' '-w' '/tmp/graph16746496242517425347.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:50:34] [INFO ] Decomposing Gal with order
[2026-05-26 02:50:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:50:35] [INFO ] Flatten gal took : 129 ms
[2026-05-26 02:50:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 98 ms.
[2026-05-26 02:50:35] [INFO ] Time to serialize gal into /tmp/CTLFireability2099535214859082238.gal : 31 ms
[2026-05-26 02:50:35] [INFO ] Time to serialize properties into /tmp/CTLFireability3857589699839163745.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/CTLFireability2099535214859082238.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3857589699839163745.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 297 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:51:06] [INFO ] Invariant cache hit.
[2026-05-26 02:51:07] [INFO ] Implicit Places using invariants in 1734 ms returned []
[2026-05-26 02:51:07] [INFO ] Invariant cache hit.
[2026-05-26 02:51:13] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:51:13] [INFO ] Implicit Places using invariants and state equation in 6027 ms returned []
Implicit Place search using SMT with State Equation took 7765 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8064 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:51:13] [INFO ] Flatten gal took : 120 ms
[2026-05-26 02:51:14] [INFO ] Flatten gal took : 145 ms
[2026-05-26 02:51:14] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:51:14] [INFO ] Flatten gal took : 113 ms
[2026-05-26 02:51:14] [INFO ] Flatten gal took : 120 ms
[2026-05-26 02:51:14] [INFO ] Time to serialize gal into /tmp/CTLFireability9607692661653577827.gal : 24 ms
[2026-05-26 02:51:14] [INFO ] Time to serialize properties into /tmp/CTLFireability4585936147649290218.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/CTLFireability9607692661653577827.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4585936147649290218.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-26 02:51:44] [INFO ] Flatten gal took : 110 ms
[2026-05-26 02:51:44] [INFO ] Applying decomposition
[2026-05-26 02:51:44] [INFO ] Flatten gal took : 150 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/graph12287368651367832903.txt' '-o' '/tmp/graph12287368651367832903.bin' '-w' '/tmp/graph12287368651367832903.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12287368651367832903.bin' '-l' '-1' '-v' '-w' '/tmp/graph12287368651367832903.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:51:45] [INFO ] Decomposing Gal with order
[2026-05-26 02:51:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:51:46] [INFO ] Flatten gal took : 134 ms
[2026-05-26 02:51:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 103 ms.
[2026-05-26 02:51:47] [INFO ] Time to serialize gal into /tmp/CTLFireability3847224279457002992.gal : 30 ms
[2026-05-26 02:51:47] [INFO ] Time to serialize properties into /tmp/CTLFireability7456692303012109846.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/CTLFireability3847224279457002992.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7456692303012109846.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 244 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:52:17] [INFO ] Invariant cache hit.
[2026-05-26 02:52:18] [INFO ] Implicit Places using invariants in 1668 ms returned []
[2026-05-26 02:52:18] [INFO ] Invariant cache hit.
[2026-05-26 02:52:25] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:52:25] [INFO ] Implicit Places using invariants and state equation in 6568 ms returned []
Implicit Place search using SMT with State Equation took 8238 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8482 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:52:25] [INFO ] Flatten gal took : 112 ms
[2026-05-26 02:52:25] [INFO ] Flatten gal took : 121 ms
[2026-05-26 02:52:26] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:52:26] [INFO ] Flatten gal took : 157 ms
[2026-05-26 02:52:26] [INFO ] Flatten gal took : 167 ms
[2026-05-26 02:52:26] [INFO ] Time to serialize gal into /tmp/CTLFireability3877864041294508561.gal : 38 ms
[2026-05-26 02:52:26] [INFO ] Time to serialize properties into /tmp/CTLFireability3393162842924161703.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/CTLFireability3877864041294508561.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3393162842924161703.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-26 02:52:56] [INFO ] Flatten gal took : 111 ms
[2026-05-26 02:52:56] [INFO ] Applying decomposition
[2026-05-26 02:52:56] [INFO ] Flatten gal took : 120 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/graph10055093926713885445.txt' '-o' '/tmp/graph10055093926713885445.bin' '-w' '/tmp/graph10055093926713885445.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10055093926713885445.bin' '-l' '-1' '-v' '-w' '/tmp/graph10055093926713885445.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:52:57] [INFO ] Decomposing Gal with order
[2026-05-26 02:52:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:52:58] [INFO ] Flatten gal took : 122 ms
[2026-05-26 02:52:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 118 ms.
[2026-05-26 02:52:58] [INFO ] Time to serialize gal into /tmp/CTLFireability1493702303049949486.gal : 29 ms
[2026-05-26 02:52:58] [INFO ] Time to serialize properties into /tmp/CTLFireability12921512768162620891.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/CTLFireability1493702303049949486.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12921512768162620891.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 637 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:53:29] [INFO ] Invariant cache hit.
[2026-05-26 02:53:31] [INFO ] Implicit Places using invariants in 1698 ms returned []
[2026-05-26 02:53:31] [INFO ] Invariant cache hit.
[2026-05-26 02:53:36] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:53:37] [INFO ] Implicit Places using invariants and state equation in 6033 ms returned []
Implicit Place search using SMT with State Equation took 7736 ms to find 0 implicit places.
[2026-05-26 02:53:38] [INFO ] Redundant transitions in 987 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 9367 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:53:38] [INFO ] Flatten gal took : 127 ms
[2026-05-26 02:53:38] [INFO ] Flatten gal took : 112 ms
[2026-05-26 02:53:38] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:53:38] [INFO ] Flatten gal took : 119 ms
[2026-05-26 02:53:39] [INFO ] Flatten gal took : 137 ms
[2026-05-26 02:53:39] [INFO ] Time to serialize gal into /tmp/CTLFireability7920413890143831835.gal : 28 ms
[2026-05-26 02:53:39] [INFO ] Time to serialize properties into /tmp/CTLFireability2912164195323997584.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/CTLFireability7920413890143831835.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2912164195323997584.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-26 02:54:09] [INFO ] Flatten gal took : 120 ms
[2026-05-26 02:54:09] [INFO ] Applying decomposition
[2026-05-26 02:54:09] [INFO ] Flatten gal took : 114 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/graph13193216178750654578.txt' '-o' '/tmp/graph13193216178750654578.bin' '-w' '/tmp/graph13193216178750654578.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13193216178750654578.bin' '-l' '-1' '-v' '-w' '/tmp/graph13193216178750654578.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:54:09] [INFO ] Decomposing Gal with order
[2026-05-26 02:54:10] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:54:11] [INFO ] Flatten gal took : 135 ms
[2026-05-26 02:54:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 98 ms.
[2026-05-26 02:54:11] [INFO ] Time to serialize gal into /tmp/CTLFireability6148319202487616967.gal : 32 ms
[2026-05-26 02:54:11] [INFO ] Time to serialize properties into /tmp/CTLFireability16789158508002401416.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/CTLFireability6148319202487616967.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16789158508002401416.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 243 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:54:41] [INFO ] Invariant cache hit.
[2026-05-26 02:54:43] [INFO ] Implicit Places using invariants in 1641 ms returned []
[2026-05-26 02:54:43] [INFO ] Invariant cache hit.
[2026-05-26 02:54:49] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:54:49] [INFO ] Implicit Places using invariants and state equation in 6427 ms returned []
Implicit Place search using SMT with State Equation took 8071 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8315 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:54:49] [INFO ] Flatten gal took : 153 ms
[2026-05-26 02:54:49] [INFO ] Flatten gal took : 112 ms
[2026-05-26 02:54:50] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:54:50] [INFO ] Flatten gal took : 147 ms
[2026-05-26 02:54:50] [INFO ] Flatten gal took : 184 ms
[2026-05-26 02:54:50] [INFO ] Time to serialize gal into /tmp/CTLFireability16658607217081567151.gal : 44 ms
[2026-05-26 02:54:50] [INFO ] Time to serialize properties into /tmp/CTLFireability9663854888632603580.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/CTLFireability16658607217081567151.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9663854888632603580.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-26 02:55:20] [INFO ] Flatten gal took : 172 ms
[2026-05-26 02:55:20] [INFO ] Applying decomposition
[2026-05-26 02:55:21] [INFO ] Flatten gal took : 191 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/graph10095226681029775412.txt' '-o' '/tmp/graph10095226681029775412.bin' '-w' '/tmp/graph10095226681029775412.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10095226681029775412.bin' '-l' '-1' '-v' '-w' '/tmp/graph10095226681029775412.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:55:21] [INFO ] Decomposing Gal with order
[2026-05-26 02:55:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:55:23] [INFO ] Flatten gal took : 121 ms
[2026-05-26 02:55:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 95 ms.
[2026-05-26 02:55:23] [INFO ] Time to serialize gal into /tmp/CTLFireability10946465260234732853.gal : 33 ms
[2026-05-26 02:55:23] [INFO ] Time to serialize properties into /tmp/CTLFireability1394623143172351628.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/CTLFireability10946465260234732853.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1394623143172351628.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 247 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:55:53] [INFO ] Invariant cache hit.
[2026-05-26 02:55:55] [INFO ] Implicit Places using invariants in 1665 ms returned []
[2026-05-26 02:55:55] [INFO ] Invariant cache hit.
[2026-05-26 02:56:00] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:56:01] [INFO ] Implicit Places using invariants and state equation in 6137 ms returned []
Implicit Place search using SMT with State Equation took 7811 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8059 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:56:01] [INFO ] Flatten gal took : 192 ms
[2026-05-26 02:56:01] [INFO ] Flatten gal took : 199 ms
[2026-05-26 02:56:02] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:56:02] [INFO ] Flatten gal took : 181 ms
[2026-05-26 02:56:02] [INFO ] Flatten gal took : 157 ms
[2026-05-26 02:56:02] [INFO ] Time to serialize gal into /tmp/CTLFireability860289819081210039.gal : 36 ms
[2026-05-26 02:56:02] [INFO ] Time to serialize properties into /tmp/CTLFireability13213800380284491362.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/CTLFireability860289819081210039.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13213800380284491362.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-26 02:56:32] [INFO ] Flatten gal took : 115 ms
[2026-05-26 02:56:32] [INFO ] Applying decomposition
[2026-05-26 02:56:32] [INFO ] Flatten gal took : 145 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/graph2819164219336829306.txt' '-o' '/tmp/graph2819164219336829306.bin' '-w' '/tmp/graph2819164219336829306.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2819164219336829306.bin' '-l' '-1' '-v' '-w' '/tmp/graph2819164219336829306.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:56:33] [INFO ] Decomposing Gal with order
[2026-05-26 02:56:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:56:35] [INFO ] Flatten gal took : 129 ms
[2026-05-26 02:56:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 98 ms.
[2026-05-26 02:56:35] [INFO ] Time to serialize gal into /tmp/CTLFireability18032640170708207637.gal : 30 ms
[2026-05-26 02:56:35] [INFO ] Time to serialize properties into /tmp/CTLFireability792583209022510746.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/CTLFireability18032640170708207637.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability792583209022510746.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 312 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:57:05] [INFO ] Invariant cache hit.
[2026-05-26 02:57:07] [INFO ] Implicit Places using invariants in 1770 ms returned []
[2026-05-26 02:57:07] [INFO ] Invariant cache hit.
[2026-05-26 02:57:13] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:57:13] [INFO ] Implicit Places using invariants and state equation in 6634 ms returned []
Implicit Place search using SMT with State Equation took 8407 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8721 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:57:14] [INFO ] Flatten gal took : 178 ms
[2026-05-26 02:57:14] [INFO ] Flatten gal took : 231 ms
[2026-05-26 02:57:14] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:57:14] [INFO ] Flatten gal took : 121 ms
[2026-05-26 02:57:14] [INFO ] Flatten gal took : 152 ms
[2026-05-26 02:57:14] [INFO ] Time to serialize gal into /tmp/CTLFireability10986786563094016033.gal : 39 ms
[2026-05-26 02:57:14] [INFO ] Time to serialize properties into /tmp/CTLFireability8678516811299045823.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/CTLFireability10986786563094016033.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8678516811299045823.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-26 02:57:45] [INFO ] Flatten gal took : 111 ms
[2026-05-26 02:57:45] [INFO ] Applying decomposition
[2026-05-26 02:57:45] [INFO ] Flatten gal took : 131 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/graph9162360096006989610.txt' '-o' '/tmp/graph9162360096006989610.bin' '-w' '/tmp/graph9162360096006989610.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9162360096006989610.bin' '-l' '-1' '-v' '-w' '/tmp/graph9162360096006989610.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:57:45] [INFO ] Decomposing Gal with order
[2026-05-26 02:57:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:57:47] [INFO ] Flatten gal took : 126 ms
[2026-05-26 02:57:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 100 ms.
[2026-05-26 02:57:47] [INFO ] Time to serialize gal into /tmp/CTLFireability15553502717559185091.gal : 28 ms
[2026-05-26 02:57:47] [INFO ] Time to serialize properties into /tmp/CTLFireability14165980525637631562.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/CTLFireability15553502717559185091.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14165980525637631562.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 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 241 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:58:17] [INFO ] Invariant cache hit.
[2026-05-26 02:58:19] [INFO ] Implicit Places using invariants in 1472 ms returned []
[2026-05-26 02:58:19] [INFO ] Invariant cache hit.
[2026-05-26 02:58:24] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:58:25] [INFO ] Implicit Places using invariants and state equation in 6204 ms returned []
Implicit Place search using SMT with State Equation took 7680 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 7923 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:58:25] [INFO ] Flatten gal took : 180 ms
[2026-05-26 02:58:25] [INFO ] Flatten gal took : 195 ms
[2026-05-26 02:58:26] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:58:26] [INFO ] Flatten gal took : 121 ms
[2026-05-26 02:58:26] [INFO ] Flatten gal took : 134 ms
[2026-05-26 02:58:26] [INFO ] Time to serialize gal into /tmp/CTLFireability18007683091212236322.gal : 33 ms
[2026-05-26 02:58:26] [INFO ] Time to serialize properties into /tmp/CTLFireability4999593548255079149.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/CTLFireability18007683091212236322.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4999593548255079149.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-26 02:58:56] [INFO ] Flatten gal took : 127 ms
[2026-05-26 02:58:56] [INFO ] Applying decomposition
[2026-05-26 02:58:56] [INFO ] Flatten gal took : 147 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/graph5609033259512854943.txt' '-o' '/tmp/graph5609033259512854943.bin' '-w' '/tmp/graph5609033259512854943.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5609033259512854943.bin' '-l' '-1' '-v' '-w' '/tmp/graph5609033259512854943.weights' '-q' '0' '-e' '0.001'
[2026-05-26 02:58:57] [INFO ] Decomposing Gal with order
[2026-05-26 02:58:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 02:58:58] [INFO ] Flatten gal took : 131 ms
[2026-05-26 02:58:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 102 ms.
[2026-05-26 02:58:58] [INFO ] Time to serialize gal into /tmp/CTLFireability5458541249940877731.gal : 28 ms
[2026-05-26 02:58:58] [INFO ] Time to serialize properties into /tmp/CTLFireability1284218256480918009.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/CTLFireability5458541249940877731.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1284218256480918009.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 569 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 02:59:29] [INFO ] Invariant cache hit.
[2026-05-26 02:59:31] [INFO ] Implicit Places using invariants in 1873 ms returned []
[2026-05-26 02:59:31] [INFO ] Invariant cache hit.
[2026-05-26 02:59:37] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 02:59:37] [INFO ] Implicit Places using invariants and state equation in 6461 ms returned []
Implicit Place search using SMT with State Equation took 8338 ms to find 0 implicit places.
[2026-05-26 02:59:39] [INFO ] Redundant transitions in 1423 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10336 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 02:59:39] [INFO ] Flatten gal took : 117 ms
[2026-05-26 02:59:39] [INFO ] Flatten gal took : 127 ms
[2026-05-26 02:59:39] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 02:59:39] [INFO ] Flatten gal took : 122 ms
[2026-05-26 02:59:39] [INFO ] Flatten gal took : 177 ms
[2026-05-26 02:59:40] [INFO ] Time to serialize gal into /tmp/CTLFireability313937101546754639.gal : 43 ms
[2026-05-26 02:59:40] [INFO ] Time to serialize properties into /tmp/CTLFireability4792294222065822937.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/CTLFireability313937101546754639.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4792294222065822937.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 03:00:10] [INFO ] Flatten gal took : 112 ms
[2026-05-26 03:00:10] [INFO ] Applying decomposition
[2026-05-26 03:00:10] [INFO ] Flatten gal took : 118 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/graph10451235731103693998.txt' '-o' '/tmp/graph10451235731103693998.bin' '-w' '/tmp/graph10451235731103693998.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph10451235731103693998.bin' '-l' '-1' '-v' '-w' '/tmp/graph10451235731103693998.weights' '-q' '0' '-e' '0.001'
[2026-05-26 03:00:10] [INFO ] Decomposing Gal with order
[2026-05-26 03:00:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 03:00:12] [INFO ] Flatten gal took : 118 ms
[2026-05-26 03:00:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 109 ms.
[2026-05-26 03:00:12] [INFO ] Time to serialize gal into /tmp/CTLFireability16595015974288843502.gal : 38 ms
[2026-05-26 03:00:12] [INFO ] Time to serialize properties into /tmp/CTLFireability6487256657737385946.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/CTLFireability16595015974288843502.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6487256657737385946.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 702 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 03:00:43] [INFO ] Invariant cache hit.
[2026-05-26 03:00:44] [INFO ] Implicit Places using invariants in 1464 ms returned []
[2026-05-26 03:00:44] [INFO ] Invariant cache hit.
[2026-05-26 03:00:51] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 03:00:51] [INFO ] Implicit Places using invariants and state equation in 7010 ms returned []
Implicit Place search using SMT with State Equation took 8478 ms to find 0 implicit places.
[2026-05-26 03:00:52] [INFO ] Redundant transitions in 920 ms returned []
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10109 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 03:00:52] [INFO ] Flatten gal took : 112 ms
[2026-05-26 03:00:53] [INFO ] Flatten gal took : 119 ms
[2026-05-26 03:00:53] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 03:00:53] [INFO ] Flatten gal took : 209 ms
[2026-05-26 03:00:53] [INFO ] Flatten gal took : 198 ms
[2026-05-26 03:00:53] [INFO ] Time to serialize gal into /tmp/CTLFireability11211687336451809460.gal : 37 ms
[2026-05-26 03:00:53] [INFO ] Time to serialize properties into /tmp/CTLFireability7807663802190495945.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/CTLFireability11211687336451809460.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7807663802190495945.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-26 03:01:23] [INFO ] Flatten gal took : 164 ms
[2026-05-26 03:01:23] [INFO ] Applying decomposition
[2026-05-26 03:01:24] [INFO ] Flatten gal took : 190 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/graph5518867822509434598.txt' '-o' '/tmp/graph5518867822509434598.bin' '-w' '/tmp/graph5518867822509434598.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph5518867822509434598.bin' '-l' '-1' '-v' '-w' '/tmp/graph5518867822509434598.weights' '-q' '0' '-e' '0.001'
[2026-05-26 03:01:24] [INFO ] Decomposing Gal with order
[2026-05-26 03:01:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 03:01:26] [INFO ] Flatten gal took : 125 ms
[2026-05-26 03:01:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 98 ms.
[2026-05-26 03:01:26] [INFO ] Time to serialize gal into /tmp/CTLFireability16217651664062114563.gal : 29 ms
[2026-05-26 03:01:26] [INFO ] Time to serialize properties into /tmp/CTLFireability12150263991104553851.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/CTLFireability16217651664062114563.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12150263991104553851.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 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 269 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 03:01:56] [INFO ] Invariant cache hit.
[2026-05-26 03:01:58] [INFO ] Implicit Places using invariants in 1681 ms returned []
[2026-05-26 03:01:58] [INFO ] Invariant cache hit.
[2026-05-26 03:02:03] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 03:02:04] [INFO ] Implicit Places using invariants and state equation in 6129 ms returned []
Implicit Place search using SMT with State Equation took 7817 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8087 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 03:02:04] [INFO ] Flatten gal took : 186 ms
[2026-05-26 03:02:04] [INFO ] Flatten gal took : 197 ms
[2026-05-26 03:02:05] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 03:02:05] [INFO ] Flatten gal took : 177 ms
[2026-05-26 03:02:05] [INFO ] Flatten gal took : 173 ms
[2026-05-26 03:02:05] [INFO ] Time to serialize gal into /tmp/CTLFireability15459219823631917254.gal : 35 ms
[2026-05-26 03:02:05] [INFO ] Time to serialize properties into /tmp/CTLFireability14240574027454283328.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/CTLFireability15459219823631917254.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14240574027454283328.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-26 03:02:35] [INFO ] Flatten gal took : 115 ms
[2026-05-26 03:02:35] [INFO ] Applying decomposition
[2026-05-26 03:02:35] [INFO ] Flatten gal took : 147 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/graph930246830731498595.txt' '-o' '/tmp/graph930246830731498595.bin' '-w' '/tmp/graph930246830731498595.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph930246830731498595.bin' '-l' '-1' '-v' '-w' '/tmp/graph930246830731498595.weights' '-q' '0' '-e' '0.001'
[2026-05-26 03:02:36] [INFO ] Decomposing Gal with order
[2026-05-26 03:02:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 03:02:37] [INFO ] Flatten gal took : 134 ms
[2026-05-26 03:02:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 99 ms.
[2026-05-26 03:02:37] [INFO ] Time to serialize gal into /tmp/CTLFireability10534896058207040465.gal : 30 ms
[2026-05-26 03:02:37] [INFO ] Time to serialize properties into /tmp/CTLFireability13709319261139589965.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/CTLFireability10534896058207040465.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13709319261139589965.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 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 246 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 03:03:08] [INFO ] Invariant cache hit.
[2026-05-26 03:03:09] [INFO ] Implicit Places using invariants in 1714 ms returned []
[2026-05-26 03:03:09] [INFO ] Invariant cache hit.
[2026-05-26 03:03:16] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 03:03:16] [INFO ] Implicit Places using invariants and state equation in 6660 ms returned []
Implicit Place search using SMT with State Equation took 8378 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8625 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 03:03:16] [INFO ] Flatten gal took : 153 ms
[2026-05-26 03:03:16] [INFO ] Flatten gal took : 128 ms
[2026-05-26 03:03:17] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 03:03:17] [INFO ] Flatten gal took : 142 ms
[2026-05-26 03:03:17] [INFO ] Flatten gal took : 117 ms
[2026-05-26 03:03:17] [INFO ] Time to serialize gal into /tmp/CTLFireability9106139862443069325.gal : 28 ms
[2026-05-26 03:03:17] [INFO ] Time to serialize properties into /tmp/CTLFireability10657696817704692949.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/CTLFireability9106139862443069325.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10657696817704692949.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-26 03:03:47] [INFO ] Flatten gal took : 120 ms
[2026-05-26 03:03:47] [INFO ] Applying decomposition
[2026-05-26 03:03:47] [INFO ] Flatten gal took : 137 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/graph16872773921067944794.txt' '-o' '/tmp/graph16872773921067944794.bin' '-w' '/tmp/graph16872773921067944794.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16872773921067944794.bin' '-l' '-1' '-v' '-w' '/tmp/graph16872773921067944794.weights' '-q' '0' '-e' '0.001'
[2026-05-26 03:03:48] [INFO ] Decomposing Gal with order
[2026-05-26 03:03:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 03:03:49] [INFO ] Flatten gal took : 135 ms
[2026-05-26 03:03:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 101 ms.
[2026-05-26 03:03:50] [INFO ] Time to serialize gal into /tmp/CTLFireability8190760838509912374.gal : 28 ms
[2026-05-26 03:03:50] [INFO ] Time to serialize properties into /tmp/CTLFireability10691002464761517825.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/CTLFireability8190760838509912374.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10691002464761517825.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 5000/5000 places, 8001/8001 transitions.
Applied a total of 0 rules in 256 ms. Remains 5000 /5000 variables (removed 0) and now considering 8001/8001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 03:04:20] [INFO ] Invariant cache hit.
[2026-05-26 03:04:22] [INFO ] Implicit Places using invariants in 1809 ms returned []
[2026-05-26 03:04:22] [INFO ] Invariant cache hit.
[2026-05-26 03:04:28] [INFO ] State equation strengthened by 1000 read => feed constraints.
[2026-05-26 03:04:28] [INFO ] Implicit Places using invariants and state equation in 6635 ms returned []
Implicit Place search using SMT with State Equation took 8447 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 8704 ms. Remains : 5000/5000 places, 8001/8001 transitions.
[2026-05-26 03:04:29] [INFO ] Flatten gal took : 183 ms
[2026-05-26 03:04:29] [INFO ] Flatten gal took : 208 ms
[2026-05-26 03:04:29] [INFO ] Input system was already deterministic with 8001 transitions.
[2026-05-26 03:04:29] [INFO ] Flatten gal took : 120 ms
[2026-05-26 03:04:29] [INFO ] Flatten gal took : 127 ms
[2026-05-26 03:04:29] [INFO ] Time to serialize gal into /tmp/CTLFireability7658471784784009655.gal : 48 ms
[2026-05-26 03:04:29] [INFO ] Time to serialize properties into /tmp/CTLFireability8590963801905090960.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/CTLFireability7658471784784009655.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8590963801905090960.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-26 03:05:00] [INFO ] Flatten gal took : 128 ms
[2026-05-26 03:05:00] [INFO ] Applying decomposition
[2026-05-26 03:05:00] [INFO ] Flatten gal took : 126 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/graph4538213998999427096.txt' '-o' '/tmp/graph4538213998999427096.bin' '-w' '/tmp/graph4538213998999427096.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph4538213998999427096.bin' '-l' '-1' '-v' '-w' '/tmp/graph4538213998999427096.weights' '-q' '0' '-e' '0.001'
[2026-05-26 03:05:00] [INFO ] Decomposing Gal with order
[2026-05-26 03:05:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 03:05:02] [INFO ] Flatten gal took : 123 ms
[2026-05-26 03:05:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 106 ms.
[2026-05-26 03:05:02] [INFO ] Time to serialize gal into /tmp/CTLFireability4558675232588787564.gal : 34 ms
[2026-05-26 03:05:02] [INFO ] Time to serialize properties into /tmp/CTLFireability8727473803695364216.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/CTLFireability4558675232588787564.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8727473803695364216.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 03:05:32] [INFO ] Flatten gal took : 116 ms
[2026-05-26 03:05:32] [INFO ] Flatten gal took : 132 ms
[2026-05-26 03:05:32] [INFO ] Applying decomposition
[2026-05-26 03:05:32] [INFO ] Flatten gal took : 149 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/graph2729292739499983408.txt' '-o' '/tmp/graph2729292739499983408.bin' '-w' '/tmp/graph2729292739499983408.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph2729292739499983408.bin' '-l' '-1' '-v' '-w' '/tmp/graph2729292739499983408.weights' '-q' '0' '-e' '0.001'
[2026-05-26 03:05:33] [INFO ] Decomposing Gal with order
[2026-05-26 03:05:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 03:05:34] [INFO ] Flatten gal took : 123 ms
[2026-05-26 03:05:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 91 ms.
[2026-05-26 03:05:34] [INFO ] Time to serialize gal into /tmp/CTLFireability7449033823690473761.gal : 33 ms
[2026-05-26 03:05:34] [INFO ] Time to serialize properties into /tmp/CTLFireability6077381576857321611.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/CTLFireability7449033823690473761.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6077381576857321611.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2026-05-26 03:33:10] [INFO ] Flatten gal took : 160 ms
[2026-05-26 03:33:10] [INFO ] Time to serialize gal into /tmp/CTLFireability10171317463560248162.gal : 32 ms
[2026-05-26 03:33:10] [INFO ] Time to serialize properties into /tmp/CTLFireability11122789779921542163.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/CTLFireability10171317463560248162.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11122789779921542163.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 16 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-1000"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is JoinFreeModules-PT-1000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r162-smll-177961107700210"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-1000.tgz
mv JoinFreeModules-PT-1000 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;