About the Execution of ITS-Tools for ResAllocation-PT-R100C002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ????????TT?????? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r184-tall-174889263700186.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is ResAllocation-PT-R100C002, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-tall-174889263700186
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 8.5K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 9 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 422K May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2023-12
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2023-13
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2023-14
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2023-15
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-00
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-01
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-02
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-03
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-04
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-05
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-06
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-07
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-08
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-09
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-10
FORMULA_NAME ResAllocation-PT-R100C002-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748973106837
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ResAllocation-PT-R100C002
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-06-03 17:51: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]
[2025-06-03 17:51:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 17:51:48] [INFO ] Load time of PNML (sax parser for PT used): 114 ms
[2025-06-03 17:51:48] [INFO ] Transformed 400 places.
[2025-06-03 17:51:48] [INFO ] Transformed 202 transitions.
[2025-06-03 17:51:48] [INFO ] Found NUPN structural information;
[2025-06-03 17:51:48] [INFO ] Parsed PT model containing 400 places and 202 transitions and 1000 arcs in 203 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 11 ms.
Support contains 213 out of 400 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 400/400 places, 202/202 transitions.
Applied a total of 0 rules in 21 ms. Remains 400 /400 variables (removed 0) and now considering 202/202 (removed 0) transitions.
// Phase 1: matrix 202 rows 400 cols
[2025-06-03 17:51:48] [INFO ] Computed 200 invariants in 15 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:51:48] [INFO ] Implicit Places using invariants in 440 ms returned [207, 209, 213, 215, 217, 219, 225, 227, 229, 237, 239, 243, 245, 251, 253, 255, 257, 259, 261, 267, 271, 281, 283, 289, 291, 293, 295, 301, 315, 325, 331, 333, 337, 339, 341, 343, 345, 349, 353, 357, 359, 361, 365, 369, 371, 375, 377, 379, 381, 385, 391, 393, 395, 397, 399]
Discarding 55 places :
Implicit Place search using SMT only with invariants took 494 ms to find 55 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 345/400 places, 202/202 transitions.
Applied a total of 0 rules in 9 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 540 ms. Remains : 345/400 places, 202/202 transitions.
Support contains 213 out of 345 places after structural reductions.
[2025-06-03 17:51:49] [INFO ] Flatten gal took : 45 ms
[2025-06-03 17:51:49] [INFO ] Flatten gal took : 31 ms
[2025-06-03 17:51:49] [INFO ] Input system was already deterministic with 202 transitions.
Support contains 208 out of 345 places (down from 213) after GAL structural reductions.
Reduction of identical properties reduced properties to check from 91 to 88
RANDOM walk for 40000 steps (12 resets) in 2228 ms. (17 steps per ms) remains 36/88 properties
BEST_FIRST walk for 4004 steps (8 resets) in 45 ms. (87 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 79 ms. (50 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 37 ms. (105 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 23 ms. (166 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 22 ms. (174 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 20 ms. (190 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 23 ms. (166 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 28 ms. (138 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4002 steps (8 resets) in 22 ms. (174 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 26 ms. (148 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 32 ms. (121 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 36/36 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 36/36 properties
// Phase 1: matrix 202 rows 345 cols
[2025-06-03 17:51:50] [INFO ] Computed 145 invariants in 4 ms
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/98 variables, 98/98 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/98 variables, 8/106 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/98 variables, 0/106 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 3 (OVERLAPS) 102/200 variables, 72/178 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/200 variables, 102/280 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/200 variables, 0/280 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 6 (OVERLAPS) 11/211 variables, 11/291 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/211 variables, 11/302 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/211 variables, 0/302 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 9 (OVERLAPS) 152/363 variables, 211/513 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/363 variables, 0/513 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 11 (OVERLAPS) 110/473 variables, 82/595 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/473 variables, 82/677 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/473 variables, 30/707 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/473 variables, 0/707 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 15 (OVERLAPS) 24/497 variables, 18/725 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/497 variables, 18/743 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/497 variables, 8/751 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 18 (INCLUDED_ONLY) 0/497 variables, 0/751 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 19 (OVERLAPS) 11/508 variables, 7/758 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/508 variables, 7/765 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/508 variables, 3/768 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/508 variables, 0/768 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 23 (OVERLAPS) 12/520 variables, 8/776 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/520 variables, 8/784 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/520 variables, 4/788 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/520 variables, 0/788 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 27 (OVERLAPS) 12/532 variables, 8/796 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/532 variables, 8/804 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/532 variables, 4/808 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/532 variables, 0/808 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 31 (OVERLAPS) 11/543 variables, 7/815 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/543 variables, 7/822 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/543 variables, 3/825 constraints. Problems are: Problem set: 0 solved, 36 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 543/547 variables, and 825 constraints, problems are : Problem set: 0 solved, 36 unsolved in 5010 ms.
Refiners :[Domain max(s): 341/345 constraints, Positive P Invariants (semi-flows): 143/145 constraints, State Equation: 341/345 constraints, PredecessorRefiner: 36/36 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 36 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/98 variables, 98/98 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/98 variables, 8/106 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/98 variables, 0/106 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 3 (OVERLAPS) 102/200 variables, 72/178 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/200 variables, 102/280 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/200 variables, 0/280 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 6 (OVERLAPS) 11/211 variables, 11/291 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/211 variables, 11/302 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/211 variables, 0/302 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 9 (OVERLAPS) 152/363 variables, 211/513 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/363 variables, 10/523 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/363 variables, 0/523 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 12 (OVERLAPS) 110/473 variables, 82/605 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/473 variables, 82/687 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/473 variables, 30/717 constraints. Problems are: Problem set: 0 solved, 36 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/473 variables, 26/743 constraints. Problems are: Problem set: 0 solved, 36 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:51:57] [INFO ] Deduced a trap composed of 4 places in 48 ms of which 6 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:51:57] [INFO ] Deduced a trap composed of 4 places in 32 ms of which 2 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/473 variables, 2/745 constraints. Problems are: Problem set: 0 solved, 36 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:51:58] [INFO ] Deduced a trap composed of 4 places in 28 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:51:58] [INFO ] Deduced a trap composed of 4 places in 33 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:51:59] [INFO ] Deduced a trap composed of 4 places in 26 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:51:59] [INFO ] Deduced a trap composed of 4 places in 35 ms of which 1 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 473/547 variables, and 749 constraints, problems are : Problem set: 0 solved, 36 unsolved in 5015 ms.
Refiners :[Domain max(s): 293/345 constraints, Positive P Invariants (semi-flows): 121/145 constraints, State Equation: 293/345 constraints, PredecessorRefiner: 36/36 constraints, Known Traps: 6/6 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 10068ms problems are : Problem set: 0 solved, 36 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 98 out of 345 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 345/345 places, 202/202 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 344 transition count 201
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 344 transition count 200
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 5 place count 342 transition count 200
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 341 transition count 199
Free-agglomeration rule applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 8 place count 341 transition count 198
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 10 place count 339 transition count 198
Applied a total of 10 rules in 68 ms. Remains 339 /345 variables (removed 6) and now considering 198/202 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 68 ms. Remains : 339/345 places, 198/202 transitions.
RANDOM walk for 40000 steps (16 resets) in 850 ms. (47 steps per ms) remains 34/36 properties
BEST_FIRST walk for 4003 steps (8 resets) in 24 ms. (160 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 19 ms. (200 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 20 ms. (190 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (8 resets) in 25 ms. (153 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (8 resets) in 25 ms. (153 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 21 ms. (181 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (8 resets) in 21 ms. (181 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 20 ms. (190 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4002 steps (8 resets) in 22 ms. (174 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 21 ms. (181 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4003 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 34/34 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 34/34 properties
Interrupted probabilistic random walk after 238081 steps, run timeout after 3001 ms. (steps per millisecond=79 ) properties seen :12 out of 34
Probabilistic random walk after 238081 steps, saw 105260 distinct states, run finished after 3006 ms. (steps per millisecond=79 ) properties seen :12
// Phase 1: matrix 198 rows 339 cols
[2025-06-03 17:52:03] [INFO ] Computed 143 invariants in 2 ms
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/55 variables, 55/55 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/55 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 2 (OVERLAPS) 69/124 variables, 44/99 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/124 variables, 69/168 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/124 variables, 0/168 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 5 (OVERLAPS) 12/136 variables, 12/180 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/136 variables, 12/192 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/136 variables, 0/192 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 8 (OVERLAPS) 100/236 variables, 136/328 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/236 variables, 0/328 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 10 (OVERLAPS) 80/316 variables, 54/382 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/316 variables, 54/436 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/316 variables, 20/456 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/316 variables, 0/456 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 14 (OVERLAPS) 44/360 variables, 30/486 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/360 variables, 30/516 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/360 variables, 12/528 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/360 variables, 0/528 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 18 (OVERLAPS) 40/400 variables, 26/554 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/400 variables, 26/580 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/400 variables, 12/592 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/400 variables, 0/592 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 22 (OVERLAPS) 42/442 variables, 28/620 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/442 variables, 28/648 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/442 variables, 14/662 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/442 variables, 0/662 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 26 (OVERLAPS) 40/482 variables, 26/688 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/482 variables, 26/714 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/482 variables, 12/726 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/482 variables, 0/726 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 30 (OVERLAPS) 33/515 variables, 21/747 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/515 variables, 21/768 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/515 variables, 9/777 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/515 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 34 (OVERLAPS) 22/537 variables, 18/795 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/537 variables, 18/813 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/537 variables, 8/821 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/537 variables, 0/821 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 38 (OVERLAPS) 0/537 variables, 0/821 constraints. Problems are: Problem set: 0 solved, 22 unsolved
No progress, stopping.
After SMT solving in domain Real declared 537/537 variables, and 821 constraints, problems are : Problem set: 0 solved, 22 unsolved in 4015 ms.
Refiners :[Domain max(s): 339/339 constraints, Positive P Invariants (semi-flows): 143/143 constraints, State Equation: 339/339 constraints, PredecessorRefiner: 22/22 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/55 variables, 55/55 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/55 variables, 0/55 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 2 (OVERLAPS) 69/124 variables, 44/99 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/124 variables, 69/168 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/124 variables, 0/168 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 5 (OVERLAPS) 12/136 variables, 12/180 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/136 variables, 12/192 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/136 variables, 0/192 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 8 (OVERLAPS) 100/236 variables, 136/328 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/236 variables, 8/336 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/236 variables, 0/336 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 11 (OVERLAPS) 80/316 variables, 54/390 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/316 variables, 54/444 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/316 variables, 20/464 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/316 variables, 14/478 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:08] [INFO ] Deduced a trap composed of 4 places in 33 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:08] [INFO ] Deduced a trap composed of 4 places in 24 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:08] [INFO ] Deduced a trap composed of 4 places in 29 ms of which 1 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/316 variables, 3/481 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:08] [INFO ] Deduced a trap composed of 4 places in 27 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:09] [INFO ] Deduced a trap composed of 4 places in 30 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:09] [INFO ] Deduced a trap composed of 4 places in 36 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:09] [INFO ] Deduced a trap composed of 4 places in 22 ms of which 2 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/316 variables, 4/485 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/316 variables, 0/485 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 18 (OVERLAPS) 44/360 variables, 30/515 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/360 variables, 30/545 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/360 variables, 12/557 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:10] [INFO ] Deduced a trap composed of 4 places in 32 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:10] [INFO ] Deduced a trap composed of 4 places in 29 ms of which 2 ms to minimize.
At refinement iteration 21 (INCLUDED_ONLY) 0/360 variables, 2/559 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 22 (INCLUDED_ONLY) 0/360 variables, 0/559 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 23 (OVERLAPS) 40/400 variables, 26/585 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/400 variables, 26/611 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/400 variables, 12/623 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:12] [INFO ] Deduced a trap composed of 4 places in 27 ms of which 1 ms to minimize.
At refinement iteration 26 (INCLUDED_ONLY) 0/400 variables, 1/624 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/400 variables, 0/624 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 28 (OVERLAPS) 42/442 variables, 28/652 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/442 variables, 28/680 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/442 variables, 14/694 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/442 variables, 0/694 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 32 (OVERLAPS) 40/482 variables, 26/720 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/482 variables, 26/746 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/482 variables, 12/758 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/482 variables, 0/758 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 36 (OVERLAPS) 33/515 variables, 21/779 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/515 variables, 21/800 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/515 variables, 9/809 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/515 variables, 0/809 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 40 (OVERLAPS) 22/537 variables, 18/827 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/537 variables, 18/845 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 42 (INCLUDED_ONLY) 0/537 variables, 8/853 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:21] [INFO ] Deduced a trap composed of 4 places in 37 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:22] [INFO ] Deduced a trap composed of 4 places in 43 ms of which 3 ms to minimize.
At refinement iteration 43 (INCLUDED_ONLY) 0/537 variables, 2/855 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:25] [INFO ] Deduced a trap composed of 5 places in 37 ms of which 2 ms to minimize.
At refinement iteration 44 (INCLUDED_ONLY) 0/537 variables, 1/856 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/537 variables, 0/856 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:35] [INFO ] Deduced a trap composed of 4 places in 37 ms of which 1 ms to minimize.
At refinement iteration 46 (OVERLAPS) 0/537 variables, 1/857 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/537 variables, 0/857 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:40] [INFO ] Deduced a trap composed of 4 places in 38 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:41] [INFO ] Deduced a trap composed of 5 places in 33 ms of which 2 ms to minimize.
At refinement iteration 48 (OVERLAPS) 0/537 variables, 2/859 constraints. Problems are: Problem set: 0 solved, 22 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:52:43] [INFO ] Deduced a trap composed of 4 places in 37 ms of which 2 ms to minimize.
At refinement iteration 49 (INCLUDED_ONLY) 0/537 variables, 1/860 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/537 variables, 0/860 constraints. Problems are: Problem set: 0 solved, 22 unsolved
At refinement iteration 51 (OVERLAPS) 0/537 variables, 0/860 constraints. Problems are: Problem set: 0 solved, 22 unsolved
No progress, stopping.
After SMT solving in domain Int declared 537/537 variables, and 860 constraints, problems are : Problem set: 0 solved, 22 unsolved in 43917 ms.
Refiners :[Domain max(s): 339/339 constraints, Positive P Invariants (semi-flows): 143/143 constraints, State Equation: 339/339 constraints, PredecessorRefiner: 22/22 constraints, Known Traps: 17/17 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 47955ms problems are : Problem set: 0 solved, 22 unsolved
Fused 22 Parikh solutions to 18 different solutions.
Parikh walk visited 2 properties in 9537 ms.
Support contains 49 out of 339 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 339/339 places, 198/198 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 337 transition count 197
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 337 transition count 196
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 6 place count 335 transition count 196
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 3 rules applied. Total rules applied 9 place count 333 transition count 195
Free-agglomeration rule applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 10 place count 333 transition count 194
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 12 place count 331 transition count 194
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 15 place count 329 transition count 193
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 16 place count 329 transition count 192
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 18 place count 327 transition count 192
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 20 place count 326 transition count 191
Free-agglomeration rule applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 21 place count 326 transition count 190
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 23 place count 324 transition count 190
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 25 place count 323 transition count 189
Free-agglomeration rule applied 1 times.
Iterating global reduction 4 with 1 rules applied. Total rules applied 26 place count 323 transition count 188
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 28 place count 321 transition count 188
Applied a total of 28 rules in 102 ms. Remains 321 /339 variables (removed 18) and now considering 188/198 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 102 ms. Remains : 321/339 places, 188/198 transitions.
RANDOM walk for 40000 steps (16 resets) in 495 ms. (80 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16 ms. (235 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 18 ms. (210 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 20 ms. (190 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 13 ms. (285 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 13 ms. (285 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 14 ms. (266 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16 ms. (235 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 12 ms. (307 steps per ms) remains 20/20 properties
BEST_FIRST walk for 4003 steps (8 resets) in 15 ms. (250 steps per ms) remains 20/20 properties
Interrupted probabilistic random walk after 339097 steps, run timeout after 3001 ms. (steps per millisecond=112 ) properties seen :0 out of 20
Probabilistic random walk after 339097 steps, saw 93656 distinct states, run finished after 3001 ms. (steps per millisecond=112 ) properties seen :0
// Phase 1: matrix 188 rows 321 cols
[2025-06-03 17:53:04] [INFO ] Computed 135 invariants in 1 ms
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/49 variables, 49/49 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/49 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 2 (OVERLAPS) 63/112 variables, 40/89 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/112 variables, 63/152 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/112 variables, 0/152 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 5 (OVERLAPS) 8/120 variables, 8/160 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/120 variables, 8/168 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/120 variables, 0/168 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 8 (OVERLAPS) 92/212 variables, 120/288 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/212 variables, 0/288 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 10 (OVERLAPS) 76/288 variables, 52/340 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/288 variables, 52/392 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/288 variables, 20/412 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/288 variables, 0/412 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 14 (OVERLAPS) 39/327 variables, 27/439 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/327 variables, 27/466 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/327 variables, 11/477 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/327 variables, 0/477 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 18 (OVERLAPS) 34/361 variables, 22/499 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/361 variables, 22/521 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/361 variables, 10/531 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/361 variables, 0/531 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 22 (OVERLAPS) 36/397 variables, 24/555 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/397 variables, 24/579 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/397 variables, 12/591 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 25 (INCLUDED_ONLY) 0/397 variables, 0/591 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 26 (OVERLAPS) 33/430 variables, 21/612 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 27 (INCLUDED_ONLY) 0/430 variables, 21/633 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/430 variables, 9/642 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/430 variables, 0/642 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 30 (OVERLAPS) 33/463 variables, 21/663 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 31 (INCLUDED_ONLY) 0/463 variables, 21/684 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/463 variables, 9/693 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/463 variables, 0/693 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 34 (OVERLAPS) 30/493 variables, 22/715 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 35 (INCLUDED_ONLY) 0/493 variables, 22/737 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/493 variables, 10/747 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/493 variables, 0/747 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 38 (OVERLAPS) 12/505 variables, 8/755 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 39 (INCLUDED_ONLY) 0/505 variables, 8/763 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/505 variables, 4/767 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/505 variables, 0/767 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 42 (OVERLAPS) 4/509 variables, 4/771 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 43 (INCLUDED_ONLY) 0/509 variables, 4/775 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/509 variables, 2/777 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 45 (INCLUDED_ONLY) 0/509 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 46 (OVERLAPS) 0/509 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 20 unsolved
No progress, stopping.
After SMT solving in domain Real declared 509/509 variables, and 777 constraints, problems are : Problem set: 0 solved, 20 unsolved in 2063 ms.
Refiners :[Domain max(s): 321/321 constraints, Positive P Invariants (semi-flows): 135/135 constraints, State Equation: 321/321 constraints, PredecessorRefiner: 20/20 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/49 variables, 49/49 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/49 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 2 (OVERLAPS) 63/112 variables, 40/89 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/112 variables, 63/152 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/112 variables, 0/152 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 5 (OVERLAPS) 8/120 variables, 8/160 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/120 variables, 8/168 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/120 variables, 0/168 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 8 (OVERLAPS) 92/212 variables, 120/288 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/212 variables, 7/295 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/212 variables, 0/295 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 11 (OVERLAPS) 76/288 variables, 52/347 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/288 variables, 52/399 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/288 variables, 20/419 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/288 variables, 13/432 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:07] [INFO ] Deduced a trap composed of 4 places in 24 ms of which 1 ms to minimize.
At refinement iteration 15 (INCLUDED_ONLY) 0/288 variables, 1/433 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:07] [INFO ] Deduced a trap composed of 4 places in 19 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:07] [INFO ] Deduced a trap composed of 4 places in 22 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:07] [INFO ] Deduced a trap composed of 4 places in 23 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:07] [INFO ] Deduced a trap composed of 4 places in 20 ms of which 1 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:07] [INFO ] Deduced a trap composed of 4 places in 18 ms of which 2 ms to minimize.
At refinement iteration 16 (INCLUDED_ONLY) 0/288 variables, 5/438 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/288 variables, 0/438 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 18 (OVERLAPS) 39/327 variables, 27/465 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 19 (INCLUDED_ONLY) 0/327 variables, 27/492 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 20 (INCLUDED_ONLY) 0/327 variables, 11/503 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 21 (INCLUDED_ONLY) 0/327 variables, 0/503 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 22 (OVERLAPS) 34/361 variables, 22/525 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 23 (INCLUDED_ONLY) 0/361 variables, 22/547 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 24 (INCLUDED_ONLY) 0/361 variables, 10/557 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:09] [INFO ] Deduced a trap composed of 4 places in 28 ms of which 2 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:09] [INFO ] Deduced a trap composed of 4 places in 30 ms of which 2 ms to minimize.
At refinement iteration 25 (INCLUDED_ONLY) 0/361 variables, 2/559 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 26 (INCLUDED_ONLY) 0/361 variables, 0/559 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 27 (OVERLAPS) 36/397 variables, 24/583 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 28 (INCLUDED_ONLY) 0/397 variables, 24/607 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 29 (INCLUDED_ONLY) 0/397 variables, 12/619 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 30 (INCLUDED_ONLY) 0/397 variables, 0/619 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 31 (OVERLAPS) 33/430 variables, 21/640 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 32 (INCLUDED_ONLY) 0/430 variables, 21/661 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 33 (INCLUDED_ONLY) 0/430 variables, 9/670 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 34 (INCLUDED_ONLY) 0/430 variables, 0/670 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 35 (OVERLAPS) 33/463 variables, 21/691 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 36 (INCLUDED_ONLY) 0/463 variables, 21/712 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 37 (INCLUDED_ONLY) 0/463 variables, 9/721 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 38 (INCLUDED_ONLY) 0/463 variables, 0/721 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 39 (OVERLAPS) 30/493 variables, 22/743 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 40 (INCLUDED_ONLY) 0/493 variables, 22/765 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 41 (INCLUDED_ONLY) 0/493 variables, 10/775 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:14] [INFO ] Deduced a trap composed of 4 places in 35 ms of which 2 ms to minimize.
At refinement iteration 42 (INCLUDED_ONLY) 0/493 variables, 1/776 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:15] [INFO ] Deduced a trap composed of 4 places in 23 ms of which 2 ms to minimize.
At refinement iteration 43 (INCLUDED_ONLY) 0/493 variables, 1/777 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 44 (INCLUDED_ONLY) 0/493 variables, 0/777 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 45 (OVERLAPS) 12/505 variables, 8/785 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 46 (INCLUDED_ONLY) 0/505 variables, 8/793 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 47 (INCLUDED_ONLY) 0/505 variables, 4/797 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 48 (INCLUDED_ONLY) 0/505 variables, 0/797 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 49 (OVERLAPS) 4/509 variables, 4/801 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 50 (INCLUDED_ONLY) 0/509 variables, 4/805 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 51 (INCLUDED_ONLY) 0/509 variables, 2/807 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 52 (INCLUDED_ONLY) 0/509 variables, 0/807 constraints. Problems are: Problem set: 0 solved, 20 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-06-03 17:53:25] [INFO ] Deduced a trap composed of 4 places in 51 ms of which 3 ms to minimize.
At refinement iteration 53 (OVERLAPS) 0/509 variables, 1/808 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 54 (INCLUDED_ONLY) 0/509 variables, 0/808 constraints. Problems are: Problem set: 0 solved, 20 unsolved
At refinement iteration 55 (OVERLAPS) 0/509 variables, 0/808 constraints. Problems are: Problem set: 0 solved, 20 unsolved
No progress, stopping.
After SMT solving in domain Int declared 509/509 variables, and 808 constraints, problems are : Problem set: 0 solved, 20 unsolved in 29105 ms.
Refiners :[Domain max(s): 321/321 constraints, Positive P Invariants (semi-flows): 135/135 constraints, State Equation: 321/321 constraints, PredecessorRefiner: 20/20 constraints, Known Traps: 11/11 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 31179ms problems are : Problem set: 0 solved, 20 unsolved
Fused 20 Parikh solutions to 16 different solutions.
Parikh walk visited 16 properties in 31549 ms.
Support contains 18 out of 321 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 321/321 places, 188/188 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 320 transition count 187
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 320 transition count 186
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 5 place count 318 transition count 186
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 317 transition count 185
Free-agglomeration rule applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 8 place count 317 transition count 184
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 10 place count 315 transition count 184
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 314 transition count 183
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 13 place count 314 transition count 182
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 15 place count 312 transition count 182
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 17 place count 311 transition count 181
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 3 with 1 rules applied. Total rules applied 18 place count 311 transition count 180
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 21 place count 308 transition count 180
Applied a total of 21 rules in 55 ms. Remains 308 /321 variables (removed 13) and now considering 180/188 (removed 8) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 55 ms. Remains : 308/321 places, 180/188 transitions.
[2025-06-03 17:54:07] [INFO ] Flatten gal took : 16 ms
[2025-06-03 17:54:07] [INFO ] Flatten gal took : 16 ms
[2025-06-03 17:54:07] [INFO ] Input system was already deterministic with 202 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
// Phase 1: matrix 202 rows 345 cols
[2025-06-03 17:54:07] [INFO ] Computed 145 invariants in 1 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:54:07] [INFO ] Implicit Places using invariants in 204 ms returned [201, 203, 205, 209, 215, 217, 222, 224, 226, 234, 244, 246, 249, 252, 254, 256, 258, 270, 272, 275, 277, 279, 281, 283, 285, 288, 290, 292, 297, 299, 303, 310, 313, 316, 321, 324, 334, 337]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 205 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 307/345 places, 202/202 transitions.
Applied a total of 0 rules in 3 ms. Remains 307 /307 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 210 ms. Remains : 307/345 places, 202/202 transitions.
[2025-06-03 17:54:07] [INFO ] Flatten gal took : 13 ms
[2025-06-03 17:54:07] [INFO ] Flatten gal took : 12 ms
[2025-06-03 17:54:07] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 17:54:07] [INFO ] Flatten gal took : 11 ms
[2025-06-03 17:54:07] [INFO ] Flatten gal took : 11 ms
[2025-06-03 17:54:07] [INFO ] Time to serialize gal into /tmp/CTLFireability13177393392781857141.gal : 6 ms
[2025-06-03 17:54:07] [INFO ] Time to serialize properties into /tmp/CTLFireability4015711433949214177.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13177393392781857141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4015711433949214177.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.474395,22652,2,817,5,88822,6,0,1433,108032,0
Converting to forward existential form...Done !
original formula: (AG(AF(E(A(((p_0_62==1)&&(r_0_63==1)) U ((p_0_51==1)&&(r_0_52==1))) U (((r_0_24==1)&&(r_1_24==1))&&(p_1_25==1))))) + ((E(((EG(E((((r_0_86...670
=> equivalent forward existential formula: [FwdG(FwdU((Init * !(((E(((EG(E((((r_0_86==1)&&(r_1_86==1))&&(p_1_87==1)) U ((p_0_66==1)&&(r_0_67==1)))) + (((r_...1086
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 17:54:38] [INFO ] Flatten gal took : 14 ms
[2025-06-03 17:54:38] [INFO ] Applying decomposition
[2025-06-03 17:54:38] [INFO ] Flatten gal took : 11 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5821963842156583394.txt' '-o' '/tmp/graph5821963842156583394.bin' '-w' '/tmp/graph5821963842156583394.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5821963842156583394.bin' '-l' '-1' '-v' '-w' '/tmp/graph5821963842156583394.weights' '-q' '0' '-e' '0.001'
[2025-06-03 17:54:38] [INFO ] Decomposing Gal with order
[2025-06-03 17:54:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 17:54:38] [INFO ] Flatten gal took : 48 ms
[2025-06-03 17:54:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2025-06-03 17:54:38] [INFO ] Time to serialize gal into /tmp/CTLFireability1956815643373697792.gal : 6 ms
[2025-06-03 17:54:38] [INFO ] Time to serialize properties into /tmp/CTLFireability13885974556441822405.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1956815643373697792.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13885974556441822405.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.34156,18712,146,11,38558,49,321,41753,21,76,0
Converting to forward existential form...Done !
original formula: (AG(AF(E(A(((i8.u62.p_0_62==1)&&(i8.u63.r_0_63==1)) U ((i6.u51.p_0_51==1)&&(i7.i0.i0.u52.r_0_52==1))) U (((i3.i0.i1.u24.r_0_24==1)&&(i3.i...1139
=> equivalent forward existential formula: [FwdG(FwdU((Init * !(((E(((EG(E((((i11.i0.i0.u86.r_0_86==1)&&(i11.i0.i0.u105.r_1_86==1))&&(i11.i0.i1.u87.p_1_87=...1733
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i12.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 4 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 17:55:08] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:55:08] [INFO ] Implicit Places using invariants in 204 ms returned [201, 203, 205, 209, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 270, 272, 275, 279, 283, 288, 292, 294, 297, 303, 313, 316, 321, 328, 334, 337]
Discarding 37 places :
Implicit Place search using SMT only with invariants took 205 ms to find 37 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 308/345 places, 202/202 transitions.
Applied a total of 0 rules in 15 ms. Remains 308 /308 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 224 ms. Remains : 308/345 places, 202/202 transitions.
[2025-06-03 17:55:08] [INFO ] Flatten gal took : 11 ms
[2025-06-03 17:55:08] [INFO ] Flatten gal took : 10 ms
[2025-06-03 17:55:08] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 17:55:08] [INFO ] Flatten gal took : 10 ms
[2025-06-03 17:55:08] [INFO ] Flatten gal took : 12 ms
[2025-06-03 17:55:08] [INFO ] Time to serialize gal into /tmp/CTLFireability9172229126981621637.gal : 2 ms
[2025-06-03 17:55:08] [INFO ] Time to serialize properties into /tmp/CTLFireability12798279688646527600.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9172229126981621637.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12798279688646527600.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.520719,22860,2,820,5,90076,6,0,1437,109355,0
Converting to forward existential form...Done !
original formula: (EF(((AX((((r_0_94==1)&&(r_1_94==1))&&(p_1_95==1))) * EG(((p_0_27==1)&&(r_0_28==1)))) * (((r_0_59!=1)||(r_1_59!=1))||(p_1_60!=1)))) * AF(...619
=> equivalent forward existential formula: ([(Init * !(E(TRUE U ((!(EX(!((((r_0_94==1)&&(r_1_94==1))&&(p_1_95==1))))) * EG(((p_0_27==1)&&(r_0_28==1)))) * (...866
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 17:55:38] [INFO ] Flatten gal took : 9 ms
[2025-06-03 17:55:38] [INFO ] Applying decomposition
[2025-06-03 17:55:38] [INFO ] Flatten gal took : 8 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2209860739732579580.txt' '-o' '/tmp/graph2209860739732579580.bin' '-w' '/tmp/graph2209860739732579580.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2209860739732579580.bin' '-l' '-1' '-v' '-w' '/tmp/graph2209860739732579580.weights' '-q' '0' '-e' '0.001'
[2025-06-03 17:55:38] [INFO ] Decomposing Gal with order
[2025-06-03 17:55:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 17:55:38] [INFO ] Flatten gal took : 20 ms
[2025-06-03 17:55:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 17:55:38] [INFO ] Time to serialize gal into /tmp/CTLFireability7471555437717086897.gal : 7 ms
[2025-06-03 17:55:38] [INFO ] Time to serialize properties into /tmp/CTLFireability7394027585726618486.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7471555437717086897.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7394027585726618486.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.350771,18428,180,11,38111,60,290,41335,21,84,0
Converting to forward existential form...Done !
original formula: (EF(((AX((((i13.u94.r_0_94==1)&&(i13.u107.r_1_94==1))&&(i13.u95.p_1_95==1))) * EG(((i3.i1.i0.u27.p_0_27==1)&&(i3.i1.i0.u28.r_0_28==1)))) ...936
=> equivalent forward existential formula: ([(Init * !(E(TRUE U ((!(EX(!((((i13.u94.r_0_94==1)&&(i13.u107.r_1_94==1))&&(i13.u95.p_1_95==1))))) * EG(((i3.i1...1239
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i13.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 4 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 17:56:08] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:56:09] [INFO ] Implicit Places using invariants in 242 ms returned [203, 205, 215, 217, 222, 224, 226, 230, 236, 244, 246, 249, 252, 254, 258, 262, 270, 272, 275, 277, 279, 281, 283, 285, 290, 292, 294, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 339]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 243 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 307/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 307 /307 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 250 ms. Remains : 307/345 places, 202/202 transitions.
[2025-06-03 17:56:09] [INFO ] Flatten gal took : 9 ms
[2025-06-03 17:56:09] [INFO ] Flatten gal took : 9 ms
[2025-06-03 17:56:09] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 17:56:09] [INFO ] Flatten gal took : 10 ms
[2025-06-03 17:56:09] [INFO ] Flatten gal took : 9 ms
[2025-06-03 17:56:09] [INFO ] Time to serialize gal into /tmp/CTLFireability7362441720878898141.gal : 1 ms
[2025-06-03 17:56:09] [INFO ] Time to serialize properties into /tmp/CTLFireability8722921956864881487.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7362441720878898141.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8722921956864881487.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.459046,22616,2,816,5,88036,6,0,1433,107153,0
Converting to forward existential form...Done !
original formula: A((E(AF(((!((p_0_88==1)&&(r_0_89==1)))||((p_0_27==1)&&(r_0_28==1)))) U AF(((((r_0_0==1)&&(r_1_0==1))&&((p_1_1==1)&&(r_0_43==1))) * (((r_1...509
=> equivalent forward existential formula: [((Init * !(EG(!((((r_0_5==1)&&(r_1_5==1))&&(p_1_6==1)))))) * !(E(!((((r_0_5==1)&&(r_1_5==1))&&(p_1_6==1))) U (!...823
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 17:56:39] [INFO ] Flatten gal took : 8 ms
[2025-06-03 17:56:39] [INFO ] Applying decomposition
[2025-06-03 17:56:39] [INFO ] Flatten gal took : 7 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2308042635533233592.txt' '-o' '/tmp/graph2308042635533233592.bin' '-w' '/tmp/graph2308042635533233592.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2308042635533233592.bin' '-l' '-1' '-v' '-w' '/tmp/graph2308042635533233592.weights' '-q' '0' '-e' '0.001'
[2025-06-03 17:56:39] [INFO ] Decomposing Gal with order
[2025-06-03 17:56:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 17:56:39] [INFO ] Flatten gal took : 13 ms
[2025-06-03 17:56:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 17:56:39] [INFO ] Time to serialize gal into /tmp/CTLFireability10980938637738153576.gal : 3 ms
[2025-06-03 17:56:39] [INFO ] Time to serialize properties into /tmp/CTLFireability3004204571871573631.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10980938637738153576.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3004204571871573631.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.339154,18764,164,11,39164,59,324,41101,20,84,0
Converting to forward existential form...Done !
original formula: A((E(AF(((!((i12.u88.p_0_88==1)&&(i12.u89.r_0_89==1)))||((i3.i1.i0.u27.p_0_27==1)&&(i3.i1.i1.u28.r_0_28==1)))) U AF(((((i0.u0.r_0_0==1)&&...812
=> equivalent forward existential formula: [((Init * !(EG(!((((i1.u5.r_0_5==1)&&(i1.u101.r_1_5==1))&&(i1.u6.p_1_6==1)))))) * !(E(!((((i1.u5.r_0_5==1)&&(i1....1246
Reverse transition relation is NOT exact ! Due to transitions i0.t101, i14.u99.t100, Intersection with reachable at each step enabled. (destroyed/reverse/...184
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 5 rules applied. Total rules applied 5 place count 342 transition count 200
Applied a total of 5 rules in 13 ms. Remains 342 /345 variables (removed 3) and now considering 200/202 (removed 2) transitions.
// Phase 1: matrix 200 rows 342 cols
[2025-06-03 17:57:09] [INFO ] Computed 144 invariants in 5 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:57:09] [INFO ] Implicit Places using invariants in 207 ms returned [200, 202, 206, 212, 214, 219, 221, 223, 227, 231, 233, 241, 243, 246, 249, 253, 259, 261, 267, 269, 272, 274, 276, 278, 282, 285, 287, 289, 291, 294, 296, 300, 307, 310, 313, 318, 321, 325, 331, 336]
Discarding 40 places :
Implicit Place search using SMT only with invariants took 208 ms to find 40 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 302/345 places, 200/202 transitions.
Applied a total of 0 rules in 6 ms. Remains 302 /302 variables (removed 0) and now considering 200/200 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 227 ms. Remains : 302/345 places, 200/202 transitions.
[2025-06-03 17:57:09] [INFO ] Flatten gal took : 7 ms
[2025-06-03 17:57:09] [INFO ] Flatten gal took : 7 ms
[2025-06-03 17:57:09] [INFO ] Input system was already deterministic with 200 transitions.
[2025-06-03 17:57:09] [INFO ] Flatten gal took : 7 ms
[2025-06-03 17:57:09] [INFO ] Flatten gal took : 7 ms
[2025-06-03 17:57:09] [INFO ] Time to serialize gal into /tmp/CTLFireability11979347456300913185.gal : 1 ms
[2025-06-03 17:57:09] [INFO ] Time to serialize properties into /tmp/CTLFireability3097850687887299489.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11979347456300913185.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3097850687887299489.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.33825e+31,0.401792,21856,2,798,5,85731,6,0,1411,104351,0
Converting to forward existential form...Done !
original formula: (E(EF(EG(A(((p_0_60==1)&&(r_0_61==1)) U ((p_0_19==1)&&(r_0_20==1))))) U (((r_0_93==1)&&(r_1_93==1))&&(p_1_94==1))) + (AF(((((((r_0_37==1)...349
=> equivalent forward existential formula: ([FwdG((Init * !(E(E(TRUE U EG(!((E(!(((p_0_19==1)&&(r_0_20==1))) U (!(((p_0_60==1)&&(r_0_61==1))) * !(((p_0_19=...732
Reverse transition relation is NOT exact ! Due to transitions t198, t199, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 17:57:39] [INFO ] Flatten gal took : 10 ms
[2025-06-03 17:57:39] [INFO ] Applying decomposition
[2025-06-03 17:57:39] [INFO ] Flatten gal took : 7 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph6987338795192395553.txt' '-o' '/tmp/graph6987338795192395553.bin' '-w' '/tmp/graph6987338795192395553.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6987338795192395553.bin' '-l' '-1' '-v' '-w' '/tmp/graph6987338795192395553.weights' '-q' '0' '-e' '0.001'
[2025-06-03 17:57:39] [INFO ] Decomposing Gal with order
[2025-06-03 17:57:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 17:57:39] [INFO ] Flatten gal took : 14 ms
[2025-06-03 17:57:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 17:57:39] [INFO ] Time to serialize gal into /tmp/CTLFireability6680885335383385011.gal : 2 ms
[2025-06-03 17:57:39] [INFO ] Time to serialize properties into /tmp/CTLFireability11662972070647218197.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6680885335383385011.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11662972070647218197.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.33825e+31,0.353209,17272,153,11,35456,52,315,35576,18,71,0
Converting to forward existential form...Done !
original formula: (E(EF(EG(A(((i8.u60.p_0_60==1)&&(i8.u61.r_0_61==1)) U ((i3.u19.p_0_19==1)&&(i3.u20.r_0_20==1))))) U (((i12.u93.r_0_93==1)&&(i12.u102.r_1_...575
=> equivalent forward existential formula: ([FwdG((Init * !(E(E(TRUE U EG(!((E(!(((i3.u19.p_0_19==1)&&(i3.u20.r_0_20==1))) U (!(((i8.u60.p_0_60==1)&&(i8.u6...1067
Reverse transition relation is NOT exact ! Due to transitions i0.t199, i13.t198, Intersection with reachable at each step enabled. (destroyed/reverse/inte...180
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 3 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
// Phase 1: matrix 202 rows 345 cols
[2025-06-03 17:58:09] [INFO ] Computed 145 invariants in 3 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:58:10] [INFO ] Implicit Places using invariants in 219 ms returned [201, 203, 205, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 270, 272, 275, 277, 279, 281, 283, 285, 288, 290, 292, 294, 297, 299, 303, 310, 313, 316, 324, 328, 334, 337, 339]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 222 ms to find 43 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 302/345 places, 202/202 transitions.
Applied a total of 0 rules in 1 ms. Remains 302 /302 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 226 ms. Remains : 302/345 places, 202/202 transitions.
[2025-06-03 17:58:10] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:10] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:10] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 17:58:10] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:10] [INFO ] Flatten gal took : 7 ms
[2025-06-03 17:58:10] [INFO ] Time to serialize gal into /tmp/CTLFireability10569070415979115059.gal : 1 ms
[2025-06-03 17:58:10] [INFO ] Time to serialize properties into /tmp/CTLFireability18167671659429727466.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10569070415979115059.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18167671659429727466.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.461878,22208,2,802,5,86961,6,0,1413,105745,0
Converting to forward existential form...Done !
original formula: EF((((r_0_81==1)&&(r_1_81==1)) * ((p_1_82==1) * AX(EF(((((r_0_5==0)||(r_1_5==0))||((p_1_6==0)||(p_0_43==0)))||(r_0_44==0)))))))
=> equivalent forward existential formula: [(((FwdU(Init,TRUE) * ((r_0_81==1)&&(r_1_81==1))) * (p_1_82==1)) * !(EX(!(E(TRUE U ((((r_0_5==0)||(r_1_5==0))||(...209
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
(forward)formula 0,1,0.998148,33948,1,0,418,234117,427,208,9354,105745,415
FORMULA ResAllocation-PT-R100C002-CTLFireability-2025-04 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 4 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 17:58:11] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:58:11] [INFO ] Implicit Places using invariants in 189 ms returned [201, 203, 205, 209, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 270, 272, 275, 277, 279, 281, 283, 285, 288, 292, 294, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 337, 339]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 190 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 301/345 places, 202/202 transitions.
Applied a total of 0 rules in 1 ms. Remains 301 /301 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 195 ms. Remains : 301/345 places, 202/202 transitions.
[2025-06-03 17:58:11] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:11] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:11] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 17:58:11] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:11] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:11] [INFO ] Time to serialize gal into /tmp/CTLFireability17453502346707790738.gal : 1 ms
[2025-06-03 17:58:11] [INFO ] Time to serialize properties into /tmp/CTLFireability13049042509795157686.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17453502346707790738.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13049042509795157686.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.493687,22196,2,799,5,86766,6,0,1409,105526,0
Converting to forward existential form...Done !
original formula: AX((EF((EF(((((r_0_59==1)&&(r_1_59==1))&&(p_1_60==1))||((p_0_17==1)&&(r_0_18==1)))) + AG(((p_0_93==0)||(r_0_94==0))))) + AX(EX(((p_0_21==...175
=> equivalent forward existential formula: [(EY((EY(Init) * !(E(TRUE U (E(TRUE U ((((r_0_59==1)&&(r_1_59==1))&&(p_1_60==1))||((p_0_17==1)&&(r_0_18==1)))) +...249
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
(forward)formula 0,1,3.38504,105460,1,0,807,595462,428,406,9530,612837,907
FORMULA ResAllocation-PT-R100C002-CTLFireability-2025-05 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 5 rules applied. Total rules applied 5 place count 342 transition count 200
Applied a total of 5 rules in 10 ms. Remains 342 /345 variables (removed 3) and now considering 200/202 (removed 2) transitions.
// Phase 1: matrix 200 rows 342 cols
[2025-06-03 17:58:14] [INFO ] Computed 144 invariants in 3 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:58:14] [INFO ] Implicit Places using invariants in 194 ms returned [200, 202, 206, 212, 214, 219, 221, 223, 227, 231, 233, 241, 243, 246, 249, 251, 253, 255, 259, 261, 267, 269, 272, 274, 276, 278, 280, 282, 285, 287, 289, 291, 294, 296, 300, 307, 310, 313, 318, 321, 325, 331, 334, 336]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 195 ms to find 44 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 298/345 places, 200/202 transitions.
Applied a total of 0 rules in 6 ms. Remains 298 /298 variables (removed 0) and now considering 200/200 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 211 ms. Remains : 298/345 places, 200/202 transitions.
[2025-06-03 17:58:14] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:14] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:15] [INFO ] Input system was already deterministic with 200 transitions.
[2025-06-03 17:58:15] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:15] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:58:15] [INFO ] Time to serialize gal into /tmp/CTLFireability2228032303743882517.gal : 1 ms
[2025-06-03 17:58:15] [INFO ] Time to serialize properties into /tmp/CTLFireability11060778353443387760.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2228032303743882517.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11060778353443387760.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.33825e+31,0.446909,21584,2,786,5,84259,6,0,1395,102579,0
Converting to forward existential form...Done !
original formula: EG(AF(((p_0_73==1)&&(r_0_74==1))))
=> equivalent forward existential formula: [FwdG(Init,!(EG(!(((p_0_73==1)&&(r_0_74==1))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions t198, t199, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 17:58:45] [INFO ] Flatten gal took : 12 ms
[2025-06-03 17:58:45] [INFO ] Applying decomposition
[2025-06-03 17:58:45] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph6196320791449544600.txt' '-o' '/tmp/graph6196320791449544600.bin' '-w' '/tmp/graph6196320791449544600.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6196320791449544600.bin' '-l' '-1' '-v' '-w' '/tmp/graph6196320791449544600.weights' '-q' '0' '-e' '0.001'
[2025-06-03 17:58:45] [INFO ] Decomposing Gal with order
[2025-06-03 17:58:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 17:58:45] [INFO ] Flatten gal took : 9 ms
[2025-06-03 17:58:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 17:58:45] [INFO ] Time to serialize gal into /tmp/CTLFireability9342606670737465913.gal : 2 ms
[2025-06-03 17:58:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1259806857497936336.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9342606670737465913.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1259806857497936336.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.33825e+31,0.337308,16636,101,11,34228,50,273,31771,18,67,0
Converting to forward existential form...Done !
original formula: EG(AF(((i10.i1.i1.u73.p_0_73==1)&&(i10.i1.i1.u74.r_0_74==1))))
=> equivalent forward existential formula: [FwdG(Init,!(EG(!(((i10.i1.i1.u73.p_0_73==1)&&(i10.i1.i1.u74.r_0_74==1))))))] != FALSE
Reverse transition relation is NOT exact ! Due to transitions i0.t199, i14.t198, Intersection with reachable at each step enabled. (destroyed/reverse/inte...180
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
// Phase 1: matrix 202 rows 345 cols
[2025-06-03 17:59:15] [INFO ] Computed 145 invariants in 2 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 17:59:15] [INFO ] Implicit Places using invariants in 196 ms returned [201, 203, 205, 209, 215, 224, 226, 230, 234, 236, 244, 249, 252, 254, 256, 258, 262, 264, 270, 272, 275, 277, 279, 281, 283, 285, 288, 290, 292, 294, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 337]
Discarding 41 places :
Implicit Place search using SMT only with invariants took 197 ms to find 41 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 304/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 304 /304 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 201 ms. Remains : 304/345 places, 202/202 transitions.
[2025-06-03 17:59:15] [INFO ] Flatten gal took : 5 ms
[2025-06-03 17:59:15] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:59:15] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 17:59:15] [INFO ] Flatten gal took : 5 ms
[2025-06-03 17:59:15] [INFO ] Flatten gal took : 5 ms
[2025-06-03 17:59:15] [INFO ] Time to serialize gal into /tmp/CTLFireability6192007811117842395.gal : 1 ms
[2025-06-03 17:59:15] [INFO ] Time to serialize properties into /tmp/CTLFireability8135417925982867611.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6192007811117842395.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8135417925982867611.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.45769,22496,2,808,5,87341,6,0,1421,106279,0
Converting to forward existential form...Done !
original formula: AG((AF(EG((((r_0_15==1)&&(r_1_15==1))&&(p_1_16==1)))) * (((EX((((r_0_32==1)&&(r_1_32==1))&&(p_1_33==1))) + (p_0_72==0)) + ((r_0_73==0)||(...343
=> equivalent forward existential formula: ([FwdG(FwdU(Init,TRUE),!(EG((((r_0_15==1)&&(r_1_15==1))&&(p_1_16==1)))))] = FALSE * [(EY((((FwdU(Init,TRUE) * !(...518
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 17:59:45] [INFO ] Flatten gal took : 6 ms
[2025-06-03 17:59:45] [INFO ] Applying decomposition
[2025-06-03 17:59:45] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9083731811182153782.txt' '-o' '/tmp/graph9083731811182153782.bin' '-w' '/tmp/graph9083731811182153782.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9083731811182153782.bin' '-l' '-1' '-v' '-w' '/tmp/graph9083731811182153782.weights' '-q' '0' '-e' '0.001'
[2025-06-03 17:59:45] [INFO ] Decomposing Gal with order
[2025-06-03 17:59:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 17:59:45] [INFO ] Flatten gal took : 9 ms
[2025-06-03 17:59:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 17:59:45] [INFO ] Time to serialize gal into /tmp/CTLFireability11809282475968062594.gal : 3 ms
[2025-06-03 17:59:45] [INFO ] Time to serialize properties into /tmp/CTLFireability17130988006162987658.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11809282475968062594.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17130988006162987658.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.303107,16392,138,11,33734,57,276,31019,21,79,0
Converting to forward existential form...Done !
original formula: AG((AF(EG((((i2.u15.r_0_15==1)&&(i2.u101.r_1_15==1))&&(i2.u16.p_1_16==1)))) * (((EX((((i5.u32.r_0_32==1)&&(i5.u102.r_1_32==1))&&(i5.u33.p...528
=> equivalent forward existential formula: ([FwdG(FwdU(Init,TRUE),!(EG((((i2.u15.r_0_15==1)&&(i2.u101.r_1_15==1))&&(i2.u16.p_1_16==1)))))] = FALSE * [(EY((...755
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i14.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 3 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 18:00:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:00:15] [INFO ] Implicit Places using invariants in 196 ms returned [201, 205, 209, 215, 217, 222, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 272, 275, 277, 279, 281, 283, 285, 288, 290, 292, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 337, 339]
Discarding 41 places :
Implicit Place search using SMT only with invariants took 197 ms to find 41 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 304/345 places, 202/202 transitions.
Applied a total of 0 rules in 1 ms. Remains 304 /304 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 201 ms. Remains : 304/345 places, 202/202 transitions.
[2025-06-03 18:00:15] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:00:15] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:00:15] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:00:15] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:00:15] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:00:15] [INFO ] Time to serialize gal into /tmp/CTLFireability17081443033077054178.gal : 1 ms
[2025-06-03 18:00:15] [INFO ] Time to serialize properties into /tmp/CTLFireability8185375997003562722.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17081443033077054178.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8185375997003562722.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.444721,22500,2,808,5,87237,6,0,1421,106071,0
Converting to forward existential form...Done !
original formula: E(AF(!(E(!(((p_0_10==1)&&(r_0_11==1))) U EF((((r_0_61==1)&&(r_1_61==1))&&(p_1_62==1)))))) U EX(!(((E(((p_0_22==1)&&(r_0_23==1)) U ((p_0_9...410
=> equivalent forward existential formula: ([((EY(FwdU(Init,!(EG(!(!(E(!(((p_0_10==1)&&(r_0_11==1))) U E(TRUE U (((r_0_61==1)&&(r_1_61==1))&&(p_1_62==1))))...788
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Using saturation style SCC detection
Detected timeout of ITS tools.
[2025-06-03 18:00:45] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:00:45] [INFO ] Applying decomposition
[2025-06-03 18:00:45] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9775760565123789993.txt' '-o' '/tmp/graph9775760565123789993.bin' '-w' '/tmp/graph9775760565123789993.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9775760565123789993.bin' '-l' '-1' '-v' '-w' '/tmp/graph9775760565123789993.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:00:45] [INFO ] Decomposing Gal with order
[2025-06-03 18:00:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:00:45] [INFO ] Flatten gal took : 9 ms
[2025-06-03 18:00:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:00:45] [INFO ] Time to serialize gal into /tmp/CTLFireability13051848597342963844.gal : 2 ms
[2025-06-03 18:00:45] [INFO ] Time to serialize properties into /tmp/CTLFireability5423511904319184247.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13051848597342963844.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5423511904319184247.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.299746,16340,120,11,33351,56,285,30528,21,77,0
Converting to forward existential form...Done !
original formula: E(AF(!(E(!(((i2.u10.p_0_10==1)&&(i2.u11.r_0_11==1))) U EF((((i9.i1.i0.u61.r_0_61==1)&&(i9.i1.i0.u103.r_1_61==1))&&(i9.i1.i1.u62.p_1_62==1...611
=> equivalent forward existential formula: ([((EY(FwdU(Init,!(EG(!(!(E(!(((i2.u10.p_0_10==1)&&(i2.u11.r_0_11==1))) U E(TRUE U (((i9.i1.i0.u61.r_0_61==1)&&(...1126
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i14.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 18:01:15] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:01:16] [INFO ] Implicit Places using invariants in 203 ms returned [201, 203, 205, 209, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 270, 272, 275, 277, 281, 283, 285, 288, 290, 292, 294, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 337, 339]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 217 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 301/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 301 /301 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 221 ms. Remains : 301/345 places, 202/202 transitions.
[2025-06-03 18:01:16] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:01:16] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:01:16] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:01:16] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:01:16] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:01:16] [INFO ] Time to serialize gal into /tmp/CTLFireability18431217107316784631.gal : 1 ms
[2025-06-03 18:01:16] [INFO ] Time to serialize properties into /tmp/CTLFireability10677678030819858561.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18431217107316784631.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10677678030819858561.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.426157,22212,2,799,5,86724,6,0,1409,105478,0
Converting to forward existential form...Done !
original formula: EG((AX(EX((((p_0_44==0)||(r_0_45==0))&&(((r_0_53==0)||(r_1_53==0))||(p_1_54==0))))) + ((p_0_79==1)&&(r_0_80==1))))
=> equivalent forward existential formula: [FwdG(Init,(!(EX(!(EX((((p_0_44==0)||(r_0_45==0))&&(((r_0_53==0)||(r_1_53==0))||(p_1_54==0))))))) + ((p_0_79==1)...181
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:01:46] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:01:46] [INFO ] Applying decomposition
[2025-06-03 18:01:46] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph5348721338347849305.txt' '-o' '/tmp/graph5348721338347849305.bin' '-w' '/tmp/graph5348721338347849305.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5348721338347849305.bin' '-l' '-1' '-v' '-w' '/tmp/graph5348721338347849305.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:01:46] [INFO ] Decomposing Gal with order
[2025-06-03 18:01:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:01:46] [INFO ] Flatten gal took : 9 ms
[2025-06-03 18:01:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:01:46] [INFO ] Time to serialize gal into /tmp/CTLFireability7674143040619953346.gal : 2 ms
[2025-06-03 18:01:46] [INFO ] Time to serialize properties into /tmp/CTLFireability5071081656692523824.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7674143040619953346.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5071081656692523824.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.310072,17016,122,11,35122,51,284,33594,21,73,0
Converting to forward existential form...Done !
original formula: EG((AX(EX((((i6.i0.i1.u44.p_0_44==0)||(i6.i0.i1.u45.r_0_45==0))&&(((i7.u53.r_0_53==0)||(i7.u100.r_1_53==0))||(i7.u54.p_1_54==0))))) + ((i...208
=> equivalent forward existential formula: [FwdG(Init,(!(EX(!(EX((((i6.i0.i1.u44.p_0_44==0)||(i6.i0.i1.u45.r_0_45==0))&&(((i7.u53.r_0_53==0)||(i7.u100.r_1_...257
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i13.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 5 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 18:02:16] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:02:16] [INFO ] Implicit Places using invariants in 202 ms returned [201, 203, 209, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 270, 272, 275, 279, 281, 283, 285, 288, 290, 292, 294, 299, 303, 310, 313, 316, 321, 324, 328, 337, 339]
Discarding 41 places :
Implicit Place search using SMT only with invariants took 204 ms to find 41 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 304/345 places, 202/202 transitions.
Applied a total of 0 rules in 1 ms. Remains 304 /304 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 210 ms. Remains : 304/345 places, 202/202 transitions.
[2025-06-03 18:02:16] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:02:16] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:02:16] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:02:16] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:02:16] [INFO ] Flatten gal took : 17 ms
[2025-06-03 18:02:16] [INFO ] Time to serialize gal into /tmp/CTLFireability9228759988499007144.gal : 2 ms
[2025-06-03 18:02:16] [INFO ] Time to serialize properties into /tmp/CTLFireability7654776977259851111.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9228759988499007144.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7654776977259851111.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.494217,22596,2,808,5,87827,6,0,1421,106727,0
Converting to forward existential form...Done !
original formula: (EF((((((((p_0_97==0)||(r_0_98==0))||((p_0_84==1)&&(r_0_85==1)))&&(p_0_56==1))&&(r_0_57==1))||(((r_0_52==1)&&(r_1_52==1))&&(p_1_53==1)))|...448
=> equivalent forward existential formula: ([(Init * !(E(TRUE U (((((((p_0_97==0)||(r_0_98==0))||((p_0_84==1)&&(r_0_85==1)))&&(p_0_56==1))&&(r_0_57==1))||(...665
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:02:46] [INFO ] Flatten gal took : 10 ms
[2025-06-03 18:02:46] [INFO ] Applying decomposition
[2025-06-03 18:02:46] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9852262604514890569.txt' '-o' '/tmp/graph9852262604514890569.bin' '-w' '/tmp/graph9852262604514890569.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9852262604514890569.bin' '-l' '-1' '-v' '-w' '/tmp/graph9852262604514890569.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:02:46] [INFO ] Decomposing Gal with order
[2025-06-03 18:02:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:02:46] [INFO ] Flatten gal took : 9 ms
[2025-06-03 18:02:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:02:46] [INFO ] Time to serialize gal into /tmp/CTLFireability15748549230852402130.gal : 3 ms
[2025-06-03 18:02:46] [INFO ] Time to serialize properties into /tmp/CTLFireability12766149022176335648.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15748549230852402130.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12766149022176335648.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.344413,18692,147,11,38962,53,306,41063,21,75,0
Converting to forward existential form...Done !
original formula: (EF((((((((i13.u97.p_0_97==0)||(i13.u98.r_0_98==0))||((i11.u84.p_0_84==1)&&(i11.u85.r_0_85==1)))&&(i7.u56.p_0_56==1))&&(i7.u57.r_0_57==1)...671
=> equivalent forward existential formula: ([(Init * !(E(TRUE U (((((((i13.u97.p_0_97==0)||(i13.u98.r_0_98==0))||((i11.u84.p_0_84==1)&&(i11.u85.r_0_85==1))...940
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i13.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 3 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 18:03:16] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:03:16] [INFO ] Implicit Places using invariants in 199 ms returned [201, 203, 205, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 262, 264, 270, 275, 277, 279, 281, 283, 285, 288, 290, 292, 294, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 337, 339]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 200 ms to find 43 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 302/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 302 /302 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 205 ms. Remains : 302/345 places, 202/202 transitions.
[2025-06-03 18:03:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:03:17] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:03:17] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:03:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:03:17] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:03:17] [INFO ] Time to serialize gal into /tmp/CTLFireability10772682253005159444.gal : 1 ms
[2025-06-03 18:03:17] [INFO ] Time to serialize properties into /tmp/CTLFireability16003043156958389904.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10772682253005159444.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16003043156958389904.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.466662,22076,2,802,5,86688,6,0,1413,105489,0
Converting to forward existential form...Done !
original formula: A(!((AX(EF(((p_0_89==1)&&(r_0_90==1)))) * (((p_0_58==1)&&(r_0_59==1))||(!((p_0_59==1)&&(r_0_60==1)))))) U E(!(((E(((p_0_95==1)&&(r_0_96==...337
=> equivalent forward existential formula: [((Init * !(EG(!(E(!(((E(((p_0_95==1)&&(r_0_96==1)) U ((p_0_24==1)&&(r_0_25==1))) * (p_0_40==1)) * ((r_0_41==1)&...850
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:03:47] [INFO ] Flatten gal took : 11 ms
[2025-06-03 18:03:47] [INFO ] Applying decomposition
[2025-06-03 18:03:47] [INFO ] Flatten gal took : 5 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9288008046101180304.txt' '-o' '/tmp/graph9288008046101180304.bin' '-w' '/tmp/graph9288008046101180304.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9288008046101180304.bin' '-l' '-1' '-v' '-w' '/tmp/graph9288008046101180304.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:03:47] [INFO ] Decomposing Gal with order
[2025-06-03 18:03:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:03:47] [INFO ] Flatten gal took : 9 ms
[2025-06-03 18:03:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:03:47] [INFO ] Time to serialize gal into /tmp/CTLFireability8781139632402952413.gal : 2 ms
[2025-06-03 18:03:47] [INFO ] Time to serialize properties into /tmp/CTLFireability324994890815536915.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8781139632402952413.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability324994890815536915.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.325946,17524,137,11,36346,52,294,35461,21,74,0
Converting to forward existential form...Done !
original formula: A(!((AX(EF(((i13.u89.p_0_89==1)&&(i13.u90.r_0_90==1)))) * (((i9.u58.p_0_58==1)&&(i9.u59.r_0_59==1))||(!((i9.u59.p_0_59==1)&&(i9.u60.r_0_6...511
=> equivalent forward existential formula: [((Init * !(EG(!(E(!(((E(((i14.u95.p_0_95==1)&&(i14.u96.r_0_96==1)) U ((i4.i0.i0.u24.p_0_24==1)&&(i4.i0.i1.u25.r...1284
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i14.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 18:04:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:04:17] [INFO ] Implicit Places using invariants in 190 ms returned [201, 203, 205, 209, 215, 217, 222, 224, 226, 230, 234, 236, 244, 246, 249, 254, 256, 258, 262, 264, 270, 272, 275, 277, 279, 281, 283, 285, 288, 290, 292, 294, 297, 299, 303, 310, 313, 316, 321, 324, 328, 334, 337, 339]
Discarding 44 places :
Implicit Place search using SMT only with invariants took 191 ms to find 44 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 301/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 301 /301 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 195 ms. Remains : 301/345 places, 202/202 transitions.
[2025-06-03 18:04:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:04:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:04:17] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:04:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:04:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:04:17] [INFO ] Time to serialize gal into /tmp/CTLFireability3426661231061073548.gal : 1 ms
[2025-06-03 18:04:17] [INFO ] Time to serialize properties into /tmp/CTLFireability4935403766712366051.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability3426661231061073548.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4935403766712366051.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.484966,22092,2,799,5,86605,6,0,1409,105342,0
Converting to forward existential form...Done !
original formula: AF((EF(((p_0_45==1)&&(r_0_46==1))) * ((EX((A(((p_0_55==1)&&(r_0_56==1)) U ((p_0_21==1)&&(r_0_22==1))) + (((p_0_9==1)&&(r_0_10==1))&&((p_0...307
=> equivalent forward existential formula: [FwdG(Init,!((E(TRUE U ((p_0_45==1)&&(r_0_46==1))) * ((EX((!((E(!(((p_0_21==1)&&(r_0_22==1))) U (!(((p_0_55==1)&...457
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:04:47] [INFO ] Flatten gal took : 16 ms
[2025-06-03 18:04:47] [INFO ] Applying decomposition
[2025-06-03 18:04:47] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9272495337386267938.txt' '-o' '/tmp/graph9272495337386267938.bin' '-w' '/tmp/graph9272495337386267938.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9272495337386267938.bin' '-l' '-1' '-v' '-w' '/tmp/graph9272495337386267938.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:04:47] [INFO ] Decomposing Gal with order
[2025-06-03 18:04:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:04:47] [INFO ] Flatten gal took : 10 ms
[2025-06-03 18:04:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:04:47] [INFO ] Time to serialize gal into /tmp/CTLFireability11276980013009292704.gal : 2 ms
[2025-06-03 18:04:47] [INFO ] Time to serialize properties into /tmp/CTLFireability14845558197888180707.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11276980013009292704.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14845558197888180707.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.310678,16752,112,11,34428,51,290,31063,21,73,0
Converting to forward existential form...Done !
original formula: AF((EF(((i6.i1.i0.u45.p_0_45==1)&&(i6.i1.i1.u46.r_0_46==1))) * ((EX((A(((i8.i0.i0.u55.p_0_55==1)&&(i8.i0.i0.u56.r_0_56==1)) U ((i3.i0.i0....488
=> equivalent forward existential formula: [FwdG(Init,!((E(TRUE U ((i6.i1.i0.u45.p_0_45==1)&&(i6.i1.i1.u46.r_0_46==1))) * ((EX((!((E(!(((i3.i0.i0.u21.p_0_2...690
Reverse transition relation is NOT exact ! Due to transitions i0.i0.i0.u0.t101, i13.u99.t100, Intersection with reachable at each step enabled. (destroyed...193
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 5 rules applied. Total rules applied 5 place count 342 transition count 200
Applied a total of 5 rules in 15 ms. Remains 342 /345 variables (removed 3) and now considering 200/202 (removed 2) transitions.
// Phase 1: matrix 200 rows 342 cols
[2025-06-03 18:05:17] [INFO ] Computed 144 invariants in 3 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:05:17] [INFO ] Implicit Places using invariants in 211 ms returned [200, 202, 206, 212, 214, 219, 221, 223, 227, 231, 233, 241, 243, 246, 249, 251, 253, 255, 259, 261, 269, 272, 274, 276, 278, 280, 282, 285, 287, 289, 291, 294, 296, 300, 307, 310, 313, 318, 321, 325, 331, 334, 336]
Discarding 43 places :
Implicit Place search using SMT only with invariants took 212 ms to find 43 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 299/345 places, 200/202 transitions.
Applied a total of 0 rules in 5 ms. Remains 299 /299 variables (removed 0) and now considering 200/200 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 232 ms. Remains : 299/345 places, 200/202 transitions.
[2025-06-03 18:05:17] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:05:17] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:05:17] [INFO ] Input system was already deterministic with 200 transitions.
[2025-06-03 18:05:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:05:17] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:05:17] [INFO ] Time to serialize gal into /tmp/CTLFireability2772958824636751563.gal : 1 ms
[2025-06-03 18:05:17] [INFO ] Time to serialize properties into /tmp/CTLFireability3688100367128281223.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2772958824636751563.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3688100367128281223.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.33825e+31,0.410577,21612,2,789,5,84594,6,0,1399,102958,0
Converting to forward existential form...Done !
original formula: EF(((AF((((r_0_48==1)&&(r_1_48==1))&&(p_1_49==1))) * (p_0_51==1)) * (r_0_52==1)))
=> equivalent forward existential formula: [(((FwdU(Init,TRUE) * (r_0_52==1)) * (p_0_51==1)) * !(EG(!((((r_0_48==1)&&(r_1_48==1))&&(p_1_49==1))))))] != FAL...157
Reverse transition relation is NOT exact ! Due to transitions t198, t199, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:05:47] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:05:47] [INFO ] Applying decomposition
[2025-06-03 18:05:47] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12357251540429794608.txt' '-o' '/tmp/graph12357251540429794608.bin' '-w' '/tmp/graph12357251540429794608.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12357251540429794608.bin' '-l' '-1' '-v' '-w' '/tmp/graph12357251540429794608.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:05:47] [INFO ] Decomposing Gal with order
[2025-06-03 18:05:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:05:47] [INFO ] Flatten gal took : 8 ms
[2025-06-03 18:05:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:05:48] [INFO ] Time to serialize gal into /tmp/CTLFireability4040664006250537432.gal : 2 ms
[2025-06-03 18:05:48] [INFO ] Time to serialize properties into /tmp/CTLFireability6594860882041135740.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4040664006250537432.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6594860882041135740.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.33825e+31,0.331216,17748,125,11,36734,49,283,37732,18,67,0
Converting to forward existential form...Done !
original formula: EF(((AF((((i6.i1.i1.u48.r_0_48==1)&&(i6.i1.i1.u99.r_1_48==1))&&(i7.u49.p_1_49==1))) * (i7.u51.p_0_51==1)) * (i7.u52.r_0_52==1)))
=> equivalent forward existential formula: [(((FwdU(Init,TRUE) * (i7.u52.r_0_52==1)) * (i7.u51.p_0_51==1)) * !(EG(!((((i6.i1.i1.u48.r_0_48==1)&&(i6.i1.i1.u...204
Reverse transition relation is NOT exact ! Due to transitions i0.t199, i13.t198, Intersection with reachable at each step enabled. (destroyed/reverse/inte...180
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 2 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
// Phase 1: matrix 202 rows 345 cols
[2025-06-03 18:06:18] [INFO ] Computed 145 invariants in 3 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:06:18] [INFO ] Implicit Places using invariants in 185 ms returned [201, 203, 205, 209, 217, 222, 224, 230, 234, 236, 244, 246, 249, 252, 254, 256, 258, 264, 270, 272, 275, 277, 281, 283, 285, 288, 290, 294, 297, 299, 310, 316, 321, 324, 328, 334, 337, 339]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 186 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 307/345 places, 202/202 transitions.
Applied a total of 0 rules in 1 ms. Remains 307 /307 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 189 ms. Remains : 307/345 places, 202/202 transitions.
[2025-06-03 18:06:18] [INFO ] Flatten gal took : 4 ms
[2025-06-03 18:06:18] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:06:18] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:06:18] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:06:18] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:06:18] [INFO ] Time to serialize gal into /tmp/CTLFireability4580870672889525916.gal : 1 ms
[2025-06-03 18:06:18] [INFO ] Time to serialize properties into /tmp/CTLFireability5392915264614604808.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4580870672889525916.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5392915264614604808.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.4855,22732,2,817,5,88647,6,0,1433,107664,0
Converting to forward existential form...Done !
original formula: EX(EG(((E((((((r_0_75==1)&&(r_1_75==1))&&(p_1_76==1))||((p_0_22==1)&&(r_0_23==1)))&&((((r_0_60==1)&&(r_1_60==1))&&(p_1_61==1))||((p_0_91=...465
=> equivalent forward existential formula: [FwdG(EY(Init),((E((((((r_0_75==1)&&(r_1_75==1))&&(p_1_76==1))||((p_0_22==1)&&(r_0_23==1)))&&((((r_0_60==1)&&(r_...619
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:06:48] [INFO ] Flatten gal took : 15 ms
[2025-06-03 18:06:48] [INFO ] Applying decomposition
[2025-06-03 18:06:48] [INFO ] Flatten gal took : 9 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph13629376567430499434.txt' '-o' '/tmp/graph13629376567430499434.bin' '-w' '/tmp/graph13629376567430499434.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13629376567430499434.bin' '-l' '-1' '-v' '-w' '/tmp/graph13629376567430499434.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:06:48] [INFO ] Decomposing Gal with order
[2025-06-03 18:06:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:06:48] [INFO ] Flatten gal took : 10 ms
[2025-06-03 18:06:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:06:48] [INFO ] Time to serialize gal into /tmp/CTLFireability917229600720624243.gal : 2 ms
[2025-06-03 18:06:48] [INFO ] Time to serialize properties into /tmp/CTLFireability7646999115741627899.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability917229600720624243.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7646999115741627899.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.331938,17992,140,11,37228,58,309,37767,21,80,0
Converting to forward existential form...Done !
original formula: EX(EG(((E((((((i11.i0.i1.u75.r_0_75==1)&&(i11.i0.i1.u106.r_1_75==1))&&(i11.i1.i0.u76.p_1_76==1))||((i3.u22.p_0_22==1)&&(i3.u23.r_0_23==1)...751
=> equivalent forward existential formula: [FwdG(EY(Init),((E((((((i11.i0.i1.u75.r_0_75==1)&&(i11.i0.i1.u106.r_1_75==1))&&(i11.i1.i0.u76.p_1_76==1))||((i3....961
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i14.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 345/345 places, 202/202 transitions.
Applied a total of 0 rules in 5 ms. Remains 345 /345 variables (removed 0) and now considering 202/202 (removed 0) transitions.
[2025-06-03 18:07:18] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 18:07:18] [INFO ] Implicit Places using invariants in 191 ms returned [201, 203, 205, 215, 217, 222, 224, 226, 230, 234, 236, 246, 249, 252, 254, 258, 262, 264, 270, 277, 279, 281, 283, 285, 288, 290, 292, 294, 297, 299, 303, 310, 313, 316, 324, 328, 334, 337, 339]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 192 ms to find 39 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 306/345 places, 202/202 transitions.
Applied a total of 0 rules in 1 ms. Remains 306 /306 variables (removed 0) and now considering 202/202 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 199 ms. Remains : 306/345 places, 202/202 transitions.
[2025-06-03 18:07:18] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:07:18] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:07:18] [INFO ] Input system was already deterministic with 202 transitions.
[2025-06-03 18:07:18] [INFO ] Flatten gal took : 5 ms
[2025-06-03 18:07:18] [INFO ] Flatten gal took : 6 ms
[2025-06-03 18:07:18] [INFO ] Time to serialize gal into /tmp/CTLFireability8284851357447580274.gal : 1 ms
[2025-06-03 18:07:18] [INFO ] Time to serialize properties into /tmp/CTLFireability1901344832305821908.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8284851357447580274.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1901344832305821908.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.49473,22612,2,814,5,88050,6,0,1429,107109,0
Converting to forward existential form...Done !
original formula: AF((((!(E((EF((((r_0_5==1)&&(r_1_5==1))&&(p_1_6==1))) + AG((((r_0_81==1)&&(r_1_81==1))&&(p_1_82==1)))) U (((r_0_51==1)&&(r_1_51==1))&&(p_...448
=> equivalent forward existential formula: [FwdG(Init,!((((!(E((E(TRUE U (((r_0_5==1)&&(r_1_5==1))&&(p_1_6==1))) + !(E(TRUE U !((((r_0_81==1)&&(r_1_81==1))...739
Reverse transition relation is NOT exact ! Due to transitions t100, t101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/t...173
Detected timeout of ITS tools.
[2025-06-03 18:07:48] [INFO ] Flatten gal took : 13 ms
[2025-06-03 18:07:48] [INFO ] Applying decomposition
[2025-06-03 18:07:48] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8603628872428872746.txt' '-o' '/tmp/graph8603628872428872746.bin' '-w' '/tmp/graph8603628872428872746.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8603628872428872746.bin' '-l' '-1' '-v' '-w' '/tmp/graph8603628872428872746.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:07:48] [INFO ] Decomposing Gal with order
[2025-06-03 18:07:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:07:48] [INFO ] Flatten gal took : 9 ms
[2025-06-03 18:07:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:07:48] [INFO ] Time to serialize gal into /tmp/CTLFireability2328324831780452566.gal : 2 ms
[2025-06-03 18:07:48] [INFO ] Time to serialize properties into /tmp/CTLFireability17623002133023924915.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2328324831780452566.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17623002133023924915.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.350963,17388,162,11,36098,57,312,33987,21,79,0
Converting to forward existential form...Done !
original formula: AF((((!(E((EF((((i0.u5.r_0_5==1)&&(i0.u100.r_1_5==1))&&(i1.u6.p_1_6==1))) + AG((((i12.i0.i0.u81.r_0_81==1)&&(i12.i0.i0.u105.r_1_81==1))&&...727
=> equivalent forward existential formula: [FwdG(Init,!((((!(E((E(TRUE U (((i0.u5.r_0_5==1)&&(i0.u100.r_1_5==1))&&(i1.u6.p_1_6==1))) + !(E(TRUE U !((((i12....1178
Reverse transition relation is NOT exact ! Due to transitions i0.u0.t101, i14.u99.t100, Intersection with reachable at each step enabled. (destroyed/rever...187
Detected timeout of ITS tools.
[2025-06-03 18:08:18] [INFO ] Flatten gal took : 7 ms
[2025-06-03 18:08:18] [INFO ] Flatten gal took : 7 ms
[2025-06-03 18:08:18] [INFO ] Applying decomposition
[2025-06-03 18:08:18] [INFO ] Flatten gal took : 6 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10734742812786500276.txt' '-o' '/tmp/graph10734742812786500276.bin' '-w' '/tmp/graph10734742812786500276.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10734742812786500276.bin' '-l' '-1' '-v' '-w' '/tmp/graph10734742812786500276.weights' '-q' '0' '-e' '0.001'
[2025-06-03 18:08:18] [INFO ] Decomposing Gal with order
[2025-06-03 18:08:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:08:18] [INFO ] Flatten gal took : 10 ms
[2025-06-03 18:08:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1 ms.
[2025-06-03 18:08:18] [INFO ] Time to serialize gal into /tmp/CTLFireability6259662818648715255.gal : 2 ms
[2025-06-03 18:08:18] [INFO ] Time to serialize properties into /tmp/CTLFireability17717528629192081103.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6259662818648715255.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17717528629192081103.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.555081,26424,488,13,55338,117,421,78203,20,156,0
Converting to forward existential form...Done !
original formula: (AG(AF(E(A(((i8.u62.p_0_62==1)&&(i8.u63.r_0_63==1)) U ((i6.u51.p_0_51==1)&&(i7.u52.r_0_52==1))) U (((i3.u24.r_0_24==1)&&(i3.u111.r_1_24==...1003
=> equivalent forward existential formula: [FwdG(FwdU((Init * !(((E(((EG(E((((i11.i0.i0.u86.r_0_86==1)&&(i11.i0.i0.u141.r_1_86==1))&&(i11.i0.i0.u87.p_1_87=...1549
Reverse transition relation is NOT exact ! Due to transitions i12.u99.t100, i13.t101, Intersection with reachable at each step enabled. (destroyed/reverse...185
Detected timeout of ITS tools.
[2025-06-03 18:33:49] [INFO ] Applying decomposition
[2025-06-03 18:33:49] [INFO ] Flatten gal took : 7 ms
[2025-06-03 18:33:49] [INFO ] Decomposing Gal with order
[2025-06-03 18:33:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 18:33:49] [INFO ] Flatten gal took : 11 ms
[2025-06-03 18:33:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 0 ms.
[2025-06-03 18:33:49] [INFO ] Time to serialize gal into /tmp/CTLFireability10623644564603469482.gal : 2 ms
[2025-06-03 18:33:49] [INFO ] Time to serialize properties into /tmp/CTLFireability8546256497637029677.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10623644564603469482.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8546256497637029677.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.46502e+31,0.999327,53868,657,13,121502,388,706,131937,20,274,0
Converting to forward existential form...Done !
original formula: (AG(AF(E(A(((u38.p_0_62==1)&&(u37.r_0_63==1)) U ((u49.p_0_51==1)&&(u48.r_0_52==1))) U (((u76.r_0_24==1)&&(u125.r_1_24==1))&&(u75.p_1_25==...829
=> equivalent forward existential formula: [FwdG(FwdU((Init * !(((E(((EG(E((((u14.r_0_86==1)&&(u187.r_1_86==1))&&(u13.p_1_87==1)) U ((u34.p_0_66==1)&&(u33....1303
Reverse transition relation is NOT exact ! Due to transitions t101, u1.t100, Intersection with reachable at each step enabled. (destroyed/reverse/intersec...176
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ResAllocation-PT-R100C002"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is ResAllocation-PT-R100C002, 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 r184-tall-174889263700186"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ResAllocation-PT-R100C002.tgz
mv ResAllocation-PT-R100C002 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 ;