About the Execution of ITS-Tools for JoinFreeModules-PT-5000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16175.863 | 3600000.00 | 4133127.00 | 32839.50 | ????????T???T??? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2026-input.r162-smll-177961107800225.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is JoinFreeModules-PT-5000, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r162-smll-177961107800225
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 7.1K Mar 7 16:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Mar 7 16:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Mar 7 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Mar 7 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Mar 15 11:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 15 11:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 15 11:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 15 11:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 7 16:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Mar 7 16:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Mar 7 16:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Mar 7 16:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 15 11:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 15 11:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 16M Mar 3 18:30 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-00
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-01
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-02
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-03
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-04
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-05
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-06
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-07
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-08
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-09
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-10
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-11
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-12
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-13
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-14
FORMULA_NAME JoinFreeModules-PT-5000-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779784451170
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=JoinFreeModules-PT-5000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-26 08:34:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-26 08:34:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-26 08:34:15] [INFO ] Load time of PNML (sax parser for PT used): 1556 ms
[2026-05-26 08:34:15] [INFO ] Transformed 25001 places.
[2026-05-26 08:34:15] [INFO ] Transformed 40001 transitions.
[2026-05-26 08:34:15] [INFO ] Parsed PT model containing 25001 places and 40001 transitions and 115002 arcs in 2096 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 35 ms.
Reduce places removed 1 places and 0 transitions.
Support contains 144 out of 25000 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 9946 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Running 30000 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-9701540050347464248.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-52143298423238215.kers'
[2026-05-26 08:34:26] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-9701540050347464248.kers, --Pflows, --basisKERS=/tmp/petrispot-output-52143298423238215.kers]
Normalized transition count is 40000 out of 40001 initially.
Culled 0 columns in 63 ms.
// Phase 1: matrix 40000 rows 25000 cols 100000 entries
Finished phase 1 with 20000 SingleSign rule and 0 generalized
[2026-05-26 08:34:27] [INFO ] Computed 5000 invariants in 315 ms
Computed 5000 P flows in 319 ms.
Exported basis to /tmp/petrispot-output-52143298423238215.kers
Total runtime 375 ms.
[2026-05-26 08:34:27] [INFO ] State equation strengthened by 5000 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 20000/65001 variables, and 0 constraints, problems are : Problem set: 0 solved, 30000 unsolved in 20975 ms.
Refiners :[Positive P Invariants (semi-flows): 0/5000 constraints, State Equation: 0/25000 constraints, ReadFeed: 0/5000 constraints, PredecessorRefiner: 30000/30000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 30000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 20000/65001 variables, and 0 constraints, problems are : Problem set: 0 solved, 30000 unsolved in 20537 ms.
Refiners :[Positive P Invariants (semi-flows): 0/5000 constraints, State Equation: 0/25000 constraints, ReadFeed: 0/5000 constraints, PredecessorRefiner: 0/30000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 160597ms problems are : Problem set: 0 solved, 30000 unsolved
Search for dead transitions found 0 dead transitions in 160813ms
[2026-05-26 08:37:07] [INFO ] Invariant cache hit.
[2026-05-26 08:37:23] [INFO ] Implicit Places using invariants in 15773 ms returned []
Implicit Place search using SMT only with invariants took 15785 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 186801 ms. Remains : 25000/25000 places, 40001/40001 transitions.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 8475 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 08:37:31] [INFO ] Invariant cache hit.
[2026-05-26 08:37:46] [INFO ] Implicit Places using invariants in 15267 ms returned []
Implicit Place search using SMT only with invariants took 15269 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 23748 ms. Remains : 25000/25000 places, 40001/40001 transitions.
Support contains 144 out of 25000 places after structural reductions.
[2026-05-26 08:37:49] [INFO ] Flatten gal took : 1815 ms
[2026-05-26 08:37:50] [INFO ] Flatten gal took : 913 ms
[2026-05-26 08:37:52] [INFO ] Input system was already deterministic with 40001 transitions.
RANDOM walk for 42517 steps (6 resets) in 13300 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2519 ms. (1 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2558 ms. (1 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1895 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 2290 ms. (1 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1675 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1456 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1830 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1941 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1570 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1487 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1206 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1803 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1206 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1385 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1742 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1230 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1576 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1524 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1756 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1524 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1530 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1387 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1457 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1684 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1271 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1202 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1387 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1469 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1486 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1602 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1268 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1234 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1212 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1441 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1447 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1460 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1599 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1254 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1196 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1229 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1418 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1445 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1485 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1590 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1266 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1188 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1198 ms. (3 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1430 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1455 ms. (2 steps per ms) remains 82/82 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1467 ms. (2 steps per ms) remains 82/82 properties
Probabilistic random walk after 91028 steps, saw 90973 distinct states, run finished after 92637 ms. (steps per millisecond=0 ) properties seen :9
[2026-05-26 08:39:49] [INFO ] Invariant cache hit.
[2026-05-26 08:39:49] [INFO ] State equation strengthened by 5000 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/125 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 73 unsolved
At refinement iteration 1 (OVERLAPS) 490/615 variables, 123/123 constraints. Problems are: Problem set: 0 solved, 73 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/615 variables, 0/123 constraints. Problems are: Problem set: 0 solved, 73 unsolved
At refinement iteration 3 (OVERLAPS) 984/1599 variables, 615/738 constraints. Problems are: Problem set: 0 solved, 73 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1599 variables, 123/861 constraints. Problems are: Problem set: 0 solved, 73 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1599/65001 variables, and 861 constraints, problems are : Problem set: 0 solved, 73 unsolved in 6166 ms.
Refiners :[Positive P Invariants (semi-flows): 123/5000 constraints, State Equation: 615/25000 constraints, ReadFeed: 123/5000 constraints, PredecessorRefiner: 73/73 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 73 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 125/65001 variables, and 0 constraints, problems are : Problem set: 0 solved, 73 unsolved in 5024 ms.
Refiners :[Positive P Invariants (semi-flows): 0/5000 constraints, State Equation: 0/25000 constraints, ReadFeed: 0/5000 constraints, PredecessorRefiner: 0/73 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 17658ms problems are : Problem set: 0 solved, 73 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 125 out of 25000 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Graph (complete) has 60000 edges and 25000 vertex of which 615 are kept as prefixes of interest. Removing 24385 places using SCC suffix rule.94 ms
Discarding 24385 places :
Also discarding 39016 output transitions
Drop transitions (Output transitions of discarded places.) removed 39016 transitions
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 615 transition count 984
Applied a total of 2 rules in 506 ms. Remains 615 /25000 variables (removed 24385) and now considering 984/40001 (removed 39017) transitions.
Running 738 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7649389802668344047.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2556186304098906764.kers'
[2026-05-26 08:40:07] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7649389802668344047.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2556186304098906764.kers]
Culled 0 columns in 0 ms.
// Phase 1: matrix 984 rows 615 cols 2460 entries
Finished phase 1 with 492 SingleSign rule and 0 generalized
[2026-05-26 08:40:07] [INFO ] Computed 123 invariants in 5 ms
Computed 123 P flows in 6 ms.
Exported basis to /tmp/petrispot-output-2556186304098906764.kers
Total runtime 7 ms.
[2026-05-26 08:40:07] [INFO ] State equation strengthened by 123 read => feed constraints.
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 492/1599 variables, and 0 constraints, problems are : Problem set: 0 solved, 738 unsolved in 20038 ms.
Refiners :[Positive P Invariants (semi-flows): 0/123 constraints, State Equation: 0/615 constraints, ReadFeed: 0/123 constraints, PredecessorRefiner: 738/738 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 738 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/492 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 738 unsolved
At refinement iteration 1 (OVERLAPS) 123/615 variables, 123/123 constraints. Problems are: Problem set: 0 solved, 738 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 615/1599 variables, and 123 constraints, problems are : Problem set: 0 solved, 738 unsolved in 20027 ms.
Refiners :[Positive P Invariants (semi-flows): 123/123 constraints, State Equation: 0/615 constraints, ReadFeed: 0/123 constraints, PredecessorRefiner: 0/738 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 40249ms problems are : Problem set: 0 solved, 738 unsolved
Search for dead transitions found 0 dead transitions in 40253ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 40767 ms. Remains : 615/25000 places, 984/40001 transitions.
[2026-05-26 08:40:49] [INFO ] Flatten gal took : 1537 ms
[2026-05-26 08:40:51] [INFO ] Flatten gal took : 1846 ms
[2026-05-26 08:40:53] [INFO ] Input system was already deterministic with 40001 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 19715 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Running 30000 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12902888267437049017.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-17429763653310934705.kers'
[2026-05-26 08:41:22] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12902888267437049017.kers, --Pflows, --basisKERS=/tmp/petrispot-output-17429763653310934705.kers]
Normalized transition count is 40000 out of 40001 initially.
Culled 0 columns in 39 ms.
// Phase 1: matrix 40000 rows 25000 cols 100000 entries
Finished phase 1 with 20000 SingleSign rule and 0 generalized
[2026-05-26 08:41:22] [INFO ] Computed 5000 invariants in 229 ms
Computed 5000 P flows in 231 ms.
Exported basis to /tmp/petrispot-output-17429763653310934705.kers
Total runtime 276 ms.
[2026-05-26 08:41:23] [INFO ] State equation strengthened by 5000 read => feed constraints.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 20000/65001 variables, and 0 constraints, problems are : Problem set: 0 solved, 30000 unsolved in 20576 ms.
Refiners :[Positive P Invariants (semi-flows): 0/5000 constraints, State Equation: 0/25000 constraints, ReadFeed: 0/5000 constraints, PredecessorRefiner: 30000/30000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 30000 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 20000/65001 variables, and 0 constraints, problems are : Problem set: 0 solved, 30000 unsolved in 20655 ms.
Refiners :[Positive P Invariants (semi-flows): 0/5000 constraints, State Equation: 0/25000 constraints, ReadFeed: 0/5000 constraints, PredecessorRefiner: 0/30000 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 164607ms problems are : Problem set: 0 solved, 30000 unsolved
Search for dead transitions found 0 dead transitions in 164696ms
[2026-05-26 08:44:07] [INFO ] Invariant cache hit.
[2026-05-26 08:44:24] [INFO ] Implicit Places using invariants in 17296 ms returned []
Implicit Place search using SMT only with invariants took 17301 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 201800 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 08:44:25] [INFO ] Flatten gal took : 650 ms
[2026-05-26 08:44:26] [INFO ] Flatten gal took : 725 ms
[2026-05-26 08:44:27] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 08:44:28] [INFO ] Flatten gal took : 680 ms
[2026-05-26 08:44:28] [INFO ] Flatten gal took : 744 ms
[2026-05-26 08:44:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality12240473275635133674.gal : 250 ms
[2026-05-26 08:44:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality700386600137882520.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12240473275635133674.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality700386600137882520.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
Detected timeout of ITS tools.
[2026-05-26 08:45:00] [INFO ] Flatten gal took : 919 ms
[2026-05-26 08:45:00] [INFO ] Applying decomposition
[2026-05-26 08:45:00] [INFO ] Flatten gal took : 654 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9183179547404358869.txt' '-o' '/tmp/graph9183179547404358869.bin' '-w' '/tmp/graph9183179547404358869.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9183179547404358869.bin' '-l' '-1' '-v' '-w' '/tmp/graph9183179547404358869.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:45:03] [INFO ] Decomposing Gal with order
[2026-05-26 08:45:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:46:43] [INFO ] Flatten gal took : 965 ms
[2026-05-26 08:46:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2687 ms.
[2026-05-26 08:46:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality520024019621126775.gal : 226 ms
[2026-05-26 08:46:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality9885300850575549657.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality520024019621126775.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9885300850575549657.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 6807 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 08:47:23] [INFO ] Invariant cache hit.
[2026-05-26 08:47:39] [INFO ] Implicit Places using invariants in 15950 ms returned []
Implicit Place search using SMT only with invariants took 15952 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22762 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 08:47:40] [INFO ] Flatten gal took : 737 ms
[2026-05-26 08:47:40] [INFO ] Flatten gal took : 669 ms
[2026-05-26 08:47:41] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 08:47:42] [INFO ] Flatten gal took : 766 ms
[2026-05-26 08:47:43] [INFO ] Flatten gal took : 620 ms
[2026-05-26 08:47:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality6962072904290770150.gal : 134 ms
[2026-05-26 08:47:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality4050998006704694429.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6962072904290770150.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4050998006704694429.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
Detected timeout of ITS tools.
[2026-05-26 08:48:14] [INFO ] Flatten gal took : 585 ms
[2026-05-26 08:48:14] [INFO ] Applying decomposition
[2026-05-26 08:48:14] [INFO ] Flatten gal took : 704 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7013642822643321650.txt' '-o' '/tmp/graph7013642822643321650.bin' '-w' '/tmp/graph7013642822643321650.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7013642822643321650.bin' '-l' '-1' '-v' '-w' '/tmp/graph7013642822643321650.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:48:16] [INFO ] Decomposing Gal with order
[2026-05-26 08:48:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:49:55] [INFO ] Flatten gal took : 710 ms
[2026-05-26 08:49:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2535 ms.
[2026-05-26 08:49:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality1149300032810165490.gal : 165 ms
[2026-05-26 08:49:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality8264487970583876485.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1149300032810165490.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8264487970583876485.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 6444 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 08:50:35] [INFO ] Invariant cache hit.
[2026-05-26 08:50:51] [INFO ] Implicit Places using invariants in 16201 ms returned []
Implicit Place search using SMT only with invariants took 16206 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22655 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 08:50:52] [INFO ] Flatten gal took : 1034 ms
[2026-05-26 08:50:53] [INFO ] Flatten gal took : 856 ms
[2026-05-26 08:50:54] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 08:50:55] [INFO ] Flatten gal took : 686 ms
[2026-05-26 08:50:56] [INFO ] Flatten gal took : 836 ms
[2026-05-26 08:50:56] [INFO ] Time to serialize gal into /tmp/CTLCardinality16646524865780793523.gal : 161 ms
[2026-05-26 08:50:56] [INFO ] Time to serialize properties into /tmp/CTLCardinality12016137918765400753.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16646524865780793523.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12016137918765400753.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
Detected timeout of ITS tools.
[2026-05-26 08:51:27] [INFO ] Flatten gal took : 950 ms
[2026-05-26 08:51:27] [INFO ] Applying decomposition
[2026-05-26 08:51:28] [INFO ] Flatten gal took : 695 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13252780261349336378.txt' '-o' '/tmp/graph13252780261349336378.bin' '-w' '/tmp/graph13252780261349336378.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13252780261349336378.bin' '-l' '-1' '-v' '-w' '/tmp/graph13252780261349336378.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:51:30] [INFO ] Decomposing Gal with order
[2026-05-26 08:51:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:53:11] [INFO ] Removed a total of 3 redundant transitions.
[2026-05-26 08:53:11] [INFO ] Flatten gal took : 856 ms
[2026-05-26 08:53:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 4628 ms.
[2026-05-26 08:53:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality11414175542799713008.gal : 147 ms
[2026-05-26 08:53:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality4427118105846616473.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11414175542799713008.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4427118105846616473.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 5933 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 08:53:52] [INFO ] Invariant cache hit.
[2026-05-26 08:54:08] [INFO ] Implicit Places using invariants in 15403 ms returned []
Implicit Place search using SMT only with invariants took 15404 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 21339 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 08:54:09] [INFO ] Flatten gal took : 670 ms
[2026-05-26 08:54:09] [INFO ] Flatten gal took : 900 ms
[2026-05-26 08:54:11] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 08:54:11] [INFO ] Flatten gal took : 707 ms
[2026-05-26 08:54:12] [INFO ] Flatten gal took : 693 ms
[2026-05-26 08:54:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality3043142096467683827.gal : 127 ms
[2026-05-26 08:54:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality11672111041809986563.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3043142096467683827.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11672111041809986563.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 08:54:43] [INFO ] Flatten gal took : 823 ms
[2026-05-26 08:54:43] [INFO ] Applying decomposition
[2026-05-26 08:54:44] [INFO ] Flatten gal took : 679 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph8088958959203390375.txt' '-o' '/tmp/graph8088958959203390375.bin' '-w' '/tmp/graph8088958959203390375.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8088958959203390375.bin' '-l' '-1' '-v' '-w' '/tmp/graph8088958959203390375.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:54:45] [INFO ] Decomposing Gal with order
[2026-05-26 08:54:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 08:56:25] [INFO ] Flatten gal took : 897 ms
[2026-05-26 08:56:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2487 ms.
[2026-05-26 08:56:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality15063649337606201386.gal : 149 ms
[2026-05-26 08:56:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality6021356369239403800.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15063649337606201386.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6021356369239403800.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 2268 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 08:57:01] [INFO ] Invariant cache hit.
[2026-05-26 08:57:18] [INFO ] Implicit Places using invariants in 17104 ms returned []
Implicit Place search using SMT only with invariants took 17109 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 19380 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 08:57:18] [INFO ] Flatten gal took : 631 ms
[2026-05-26 08:57:19] [INFO ] Flatten gal took : 676 ms
[2026-05-26 08:57:20] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 08:57:21] [INFO ] Flatten gal took : 637 ms
[2026-05-26 08:57:22] [INFO ] Flatten gal took : 770 ms
[2026-05-26 08:57:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality3186598905121421437.gal : 116 ms
[2026-05-26 08:57:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality4616229084638170725.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3186598905121421437.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4616229084638170725.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
Detected timeout of ITS tools.
[2026-05-26 08:57:53] [INFO ] Flatten gal took : 858 ms
[2026-05-26 08:57:53] [INFO ] Applying decomposition
[2026-05-26 08:57:54] [INFO ] Flatten gal took : 707 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11568166757559434957.txt' '-o' '/tmp/graph11568166757559434957.bin' '-w' '/tmp/graph11568166757559434957.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11568166757559434957.bin' '-l' '-1' '-v' '-w' '/tmp/graph11568166757559434957.weights' '-q' '0' '-e' '0.001'
[2026-05-26 08:57:55] [INFO ] Decomposing Gal with order
[2026-05-26 08:58:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:00:07] [INFO ] Flatten gal took : 815 ms
[2026-05-26 09:00:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2358 ms.
[2026-05-26 09:00:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality5246923908642624319.gal : 170 ms
[2026-05-26 09:00:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality6852564522883929788.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5246923908642624319.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6852564522883929788.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 8436 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:00:48] [INFO ] Invariant cache hit.
[2026-05-26 09:01:05] [INFO ] Implicit Places using invariants in 16496 ms returned []
Implicit Place search using SMT only with invariants took 16498 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 24941 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:01:06] [INFO ] Flatten gal took : 722 ms
[2026-05-26 09:01:06] [INFO ] Flatten gal took : 711 ms
[2026-05-26 09:01:08] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:01:08] [INFO ] Flatten gal took : 724 ms
[2026-05-26 09:01:09] [INFO ] Flatten gal took : 715 ms
[2026-05-26 09:01:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality11121019736655690815.gal : 128 ms
[2026-05-26 09:01:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality4900127193892024821.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11121019736655690815.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4900127193892024821.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 09:01:40] [INFO ] Flatten gal took : 836 ms
[2026-05-26 09:01:40] [INFO ] Applying decomposition
[2026-05-26 09:01:41] [INFO ] Flatten gal took : 840 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph18221772749271451242.txt' '-o' '/tmp/graph18221772749271451242.bin' '-w' '/tmp/graph18221772749271451242.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph18221772749271451242.bin' '-l' '-1' '-v' '-w' '/tmp/graph18221772749271451242.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:01:43] [INFO ] Decomposing Gal with order
[2026-05-26 09:01:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:03:51] [INFO ] Removed a total of 1 redundant transitions.
[2026-05-26 09:03:52] [INFO ] Flatten gal took : 845 ms
[2026-05-26 09:03:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 5312 ms.
[2026-05-26 09:03:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality583556768039430964.gal : 172 ms
[2026-05-26 09:03:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality12138254498810919402.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality583556768039430964.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12138254498810919402.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 6803 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:04:35] [INFO ] Invariant cache hit.
[2026-05-26 09:04:51] [INFO ] Implicit Places using invariants in 15870 ms returned []
Implicit Place search using SMT only with invariants took 15871 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22676 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:04:51] [INFO ] Flatten gal took : 661 ms
[2026-05-26 09:04:52] [INFO ] Flatten gal took : 697 ms
[2026-05-26 09:04:53] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:04:54] [INFO ] Flatten gal took : 660 ms
[2026-05-26 09:04:55] [INFO ] Flatten gal took : 689 ms
[2026-05-26 09:04:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality2975668397660653197.gal : 129 ms
[2026-05-26 09:04:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality10569925440365878822.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2975668397660653197.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10569925440365878822.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 09:05:26] [INFO ] Flatten gal took : 857 ms
[2026-05-26 09:05:26] [INFO ] Applying decomposition
[2026-05-26 09:05:27] [INFO ] Flatten gal took : 702 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12587648152136592857.txt' '-o' '/tmp/graph12587648152136592857.bin' '-w' '/tmp/graph12587648152136592857.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12587648152136592857.bin' '-l' '-1' '-v' '-w' '/tmp/graph12587648152136592857.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:05:28] [INFO ] Decomposing Gal with order
[2026-05-26 09:05:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:07:18] [INFO ] Removed a total of 3 redundant transitions.
[2026-05-26 09:07:19] [INFO ] Flatten gal took : 765 ms
[2026-05-26 09:07:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 4870 ms.
[2026-05-26 09:07:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality17689183259934720977.gal : 150 ms
[2026-05-26 09:07:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality6669531918414040551.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17689183259934720977.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6669531918414040551.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 6427 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:08:01] [INFO ] Invariant cache hit.
[2026-05-26 09:08:17] [INFO ] Implicit Places using invariants in 16561 ms returned []
Implicit Place search using SMT only with invariants took 16562 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 22993 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:08:18] [INFO ] Flatten gal took : 684 ms
[2026-05-26 09:08:19] [INFO ] Flatten gal took : 716 ms
[2026-05-26 09:08:20] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:08:21] [INFO ] Flatten gal took : 656 ms
[2026-05-26 09:08:21] [INFO ] Flatten gal took : 693 ms
[2026-05-26 09:08:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality6328477797041554477.gal : 126 ms
[2026-05-26 09:08:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality10165438632165550620.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6328477797041554477.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10165438632165550620.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 09:08:52] [INFO ] Flatten gal took : 675 ms
[2026-05-26 09:08:52] [INFO ] Applying decomposition
[2026-05-26 09:08:53] [INFO ] Flatten gal took : 855 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph12363581197945945558.txt' '-o' '/tmp/graph12363581197945945558.bin' '-w' '/tmp/graph12363581197945945558.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph12363581197945945558.bin' '-l' '-1' '-v' '-w' '/tmp/graph12363581197945945558.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:08:55] [INFO ] Decomposing Gal with order
[2026-05-26 09:09:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:10:51] [INFO ] Removed a total of 1 redundant transitions.
[2026-05-26 09:10:52] [INFO ] Flatten gal took : 819 ms
[2026-05-26 09:10:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 5745 ms.
[2026-05-26 09:10:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality4181833130441266522.gal : 159 ms
[2026-05-26 09:10:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality10421013850296036443.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4181833130441266522.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10421013850296036443.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 13502 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:11:42] [INFO ] Invariant cache hit.
[2026-05-26 09:11:58] [INFO ] Implicit Places using invariants in 16185 ms returned []
Implicit Place search using SMT only with invariants took 16187 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 29693 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:11:58] [INFO ] Flatten gal took : 658 ms
[2026-05-26 09:11:59] [INFO ] Flatten gal took : 701 ms
[2026-05-26 09:12:00] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:12:02] [INFO ] Flatten gal took : 1127 ms
[2026-05-26 09:12:03] [INFO ] Flatten gal took : 949 ms
[2026-05-26 09:12:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality503594267032039688.gal : 200 ms
[2026-05-26 09:12:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15325669495176110854.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality503594267032039688.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15325669495176110854.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
RANDOM walk for 42518 steps (7 resets) in 15944 ms. (2 steps per ms) remains 1/1 properties
BEST_FIRST walk for 33004 steps (0 resets) in 20627 ms. (1 steps per ms) remains 1/1 properties
Probabilistic random walk after 58010 steps, saw 58004 distinct states, run finished after 27062 ms. (steps per millisecond=2 ) properties seen :0
[2026-05-26 09:12:38] [INFO ] Invariant cache hit.
[2026-05-26 09:12:38] [INFO ] State equation strengthened by 5000 read => feed constraints.
Loading property file /tmp/ReachabilityCardinality15325669495176110854.prop.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/5 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 8/13 variables, 5/7 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/13 variables, 1/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/13 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 0/13 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 13/65001 variables, and 8 constraints, problems are : Problem set: 0 solved, 1 unsolved in 526 ms.
Refiners :[Positive P Invariants (semi-flows): 1/5000 constraints, State Equation: 5/25000 constraints, ReadFeed: 1/5000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 4/5 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/5 variables, 1/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/5 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 8/13 variables, 5/8 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/13 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/13 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/13 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 0/13 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 13/65001 variables, and 10 constraints, problems are : Problem set: 0 solved, 1 unsolved in 372 ms.
Refiners :[Positive P Invariants (semi-flows): 1/5000 constraints, State Equation: 5/25000 constraints, ReadFeed: 1/5000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 1045ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 414 steps, including 0 resets, run visited all 1 properties in 202 ms. (steps per millisecond=2 )
FORMULA JoinFreeModules-PT-5000-CTLCardinality-2024-08 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 242 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 7011 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:12:46] [INFO ] Invariant cache hit.
[2026-05-26 09:13:04] [INFO ] Implicit Places using invariants in 17731 ms returned []
Implicit Place search using SMT only with invariants took 17736 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 24749 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:13:05] [INFO ] Flatten gal took : 710 ms
[2026-05-26 09:13:05] [INFO ] Flatten gal took : 729 ms
[2026-05-26 09:13:07] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:13:08] [INFO ] Flatten gal took : 755 ms
[2026-05-26 09:13:08] [INFO ] Flatten gal took : 727 ms
[2026-05-26 09:13:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality6068937909103868327.gal : 134 ms
[2026-05-26 09:13:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality13030319956433991603.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6068937909103868327.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13030319956433991603.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 09:13:39] [INFO ] Flatten gal took : 849 ms
[2026-05-26 09:13:39] [INFO ] Applying decomposition
[2026-05-26 09:13:40] [INFO ] Flatten gal took : 688 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph13549252344945588088.txt' '-o' '/tmp/graph13549252344945588088.bin' '-w' '/tmp/graph13549252344945588088.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph13549252344945588088.bin' '-l' '-1' '-v' '-w' '/tmp/graph13549252344945588088.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:13:43] [INFO ] Decomposing Gal with order
[2026-05-26 09:13:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:15:54] [INFO ] Flatten gal took : 806 ms
[2026-05-26 09:15:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3417 ms.
[2026-05-26 09:15:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality14418647329575991694.gal : 156 ms
[2026-05-26 09:15:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality13155359688162128236.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14418647329575991694.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13155359688162128236.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 12839 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:16:41] [INFO ] Invariant cache hit.
[2026-05-26 09:17:00] [INFO ] Implicit Places using invariants in 18725 ms returned []
Implicit Place search using SMT only with invariants took 18730 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 31585 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:17:03] [INFO ] Flatten gal took : 2168 ms
[2026-05-26 09:17:03] [INFO ] Flatten gal took : 777 ms
[2026-05-26 09:17:05] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:17:07] [INFO ] Flatten gal took : 742 ms
[2026-05-26 09:17:07] [INFO ] Flatten gal took : 750 ms
[2026-05-26 09:17:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality63971922705799107.gal : 316 ms
[2026-05-26 09:17:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality13090430497634646789.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality63971922705799107.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13090430497634646789.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
Detected timeout of ITS tools.
[2026-05-26 09:17:39] [INFO ] Flatten gal took : 812 ms
[2026-05-26 09:17:39] [INFO ] Applying decomposition
[2026-05-26 09:17:39] [INFO ] Flatten gal took : 669 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9231294746513566562.txt' '-o' '/tmp/graph9231294746513566562.bin' '-w' '/tmp/graph9231294746513566562.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9231294746513566562.bin' '-l' '-1' '-v' '-w' '/tmp/graph9231294746513566562.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:17:42] [INFO ] Decomposing Gal with order
[2026-05-26 09:17:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:19:58] [INFO ] Flatten gal took : 751 ms
[2026-05-26 09:20:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3935 ms.
[2026-05-26 09:20:03] [INFO ] Time to serialize gal into /tmp/CTLCardinality2570166287653922670.gal : 251 ms
[2026-05-26 09:20:03] [INFO ] Time to serialize properties into /tmp/CTLCardinality7657088094913072314.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2570166287653922670.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7657088094913072314.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 11814 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:20:45] [INFO ] Invariant cache hit.
[2026-05-26 09:21:04] [INFO ] Implicit Places using invariants in 19487 ms returned []
Implicit Place search using SMT only with invariants took 19490 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 31324 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:21:07] [INFO ] Flatten gal took : 2050 ms
[2026-05-26 09:21:08] [INFO ] Flatten gal took : 696 ms
[2026-05-26 09:21:10] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:21:11] [INFO ] Flatten gal took : 702 ms
[2026-05-26 09:21:12] [INFO ] Flatten gal took : 792 ms
[2026-05-26 09:21:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality15028082483051840907.gal : 202 ms
[2026-05-26 09:21:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality3669180774020977291.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15028082483051840907.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3669180774020977291.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 09:21:43] [INFO ] Flatten gal took : 689 ms
[2026-05-26 09:21:43] [INFO ] Applying decomposition
[2026-05-26 09:21:44] [INFO ] Flatten gal took : 833 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph8624729266132191529.txt' '-o' '/tmp/graph8624729266132191529.bin' '-w' '/tmp/graph8624729266132191529.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph8624729266132191529.bin' '-l' '-1' '-v' '-w' '/tmp/graph8624729266132191529.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:21:47] [INFO ] Decomposing Gal with order
[2026-05-26 09:21:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:23:46] [INFO ] Removed a total of 2 redundant transitions.
[2026-05-26 09:23:46] [INFO ] Flatten gal took : 914 ms
[2026-05-26 09:23:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 5798 ms.
[2026-05-26 09:23:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality2302295809616223613.gal : 189 ms
[2026-05-26 09:23:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality14525682263799936610.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2302295809616223613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14525682263799936610.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 19262 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:24:42] [INFO ] Invariant cache hit.
[2026-05-26 09:25:01] [INFO ] Implicit Places using invariants in 18336 ms returned []
Implicit Place search using SMT only with invariants took 18337 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 37605 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:25:01] [INFO ] Flatten gal took : 767 ms
[2026-05-26 09:25:02] [INFO ] Flatten gal took : 702 ms
[2026-05-26 09:25:03] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:25:05] [INFO ] Flatten gal took : 1167 ms
[2026-05-26 09:25:07] [INFO ] Flatten gal took : 1397 ms
[2026-05-26 09:25:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3465289272656470915.gal : 291 ms
[2026-05-26 09:25:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5621971470756373681.prop : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3465289272656470915.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5621971470756373681.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
RANDOM walk for 42519 steps (7 resets) in 19418 ms. (2 steps per ms) remains 1/1 properties
BEST_FIRST walk for 26004 steps (0 resets) in 20808 ms. (1 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality5621971470756373681.prop.
Probabilistic random walk after 66014 steps, saw 65991 distinct states, run finished after 30264 ms. (steps per millisecond=2 ) properties seen :0
[2026-05-26 09:25:45] [INFO ] Invariant cache hit.
[2026-05-26 09:25:45] [INFO ] State equation strengthened by 5000 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 8/10 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (OVERLAPS) 16/26 variables, 10/14 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/26 variables, 2/16 constraints. Problems are: Problem set: 0 solved, 1 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/26 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (OVERLAPS) 0/26 variables, 0/16 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Real declared 26/65001 variables, and 16 constraints, problems are : Problem set: 0 solved, 1 unsolved in 671 ms.
Refiners :[Positive P Invariants (semi-flows): 2/5000 constraints, State Equation: 10/25000 constraints, ReadFeed: 2/5000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 2/2 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (OVERLAPS) 8/10 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/10 variables, 2/4 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/10 variables, 1/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/10 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 16/26 variables, 10/15 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/26 variables, 2/17 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/26 variables, 1/18 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/26 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 0/26 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 1 unsolved
No progress, stopping.
After SMT solving in domain Int declared 26/65001 variables, and 18 constraints, problems are : Problem set: 0 solved, 1 unsolved in 451 ms.
Refiners :[Positive P Invariants (semi-flows): 2/5000 constraints, State Equation: 10/25000 constraints, ReadFeed: 2/5000 constraints, PredecessorRefiner: 1/1 constraints, Known Traps: 3/3 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 1598ms problems are : Problem set: 0 solved, 1 unsolved
Finished Parikh walk after 9993 steps, including 0 resets, run visited all 1 properties in 2920 ms. (steps per millisecond=3 )
FORMULA JoinFreeModules-PT-5000-CTLCardinality-2024-12 TRUE TECHNIQUES PARIKH_WALK
Parikh walk visited 1 properties in 2940 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 8214 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:25:58] [INFO ] Invariant cache hit.
[2026-05-26 09:26:17] [INFO ] Implicit Places using invariants in 19301 ms returned []
Implicit Place search using SMT only with invariants took 19303 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 27520 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:26:18] [INFO ] Flatten gal took : 650 ms
[2026-05-26 09:26:19] [INFO ] Flatten gal took : 832 ms
[2026-05-26 09:26:20] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:26:21] [INFO ] Flatten gal took : 746 ms
[2026-05-26 09:26:22] [INFO ] Flatten gal took : 705 ms
[2026-05-26 09:26:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality12169214693410919594.gal : 135 ms
[2026-05-26 09:26:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality11912022196694466485.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12169214693410919594.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11912022196694466485.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
Detected timeout of ITS tools.
[2026-05-26 09:26:53] [INFO ] Flatten gal took : 898 ms
[2026-05-26 09:26:53] [INFO ] Applying decomposition
[2026-05-26 09:26:54] [INFO ] Flatten gal took : 749 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph16180950617650485315.txt' '-o' '/tmp/graph16180950617650485315.bin' '-w' '/tmp/graph16180950617650485315.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16180950617650485315.bin' '-l' '-1' '-v' '-w' '/tmp/graph16180950617650485315.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:26:55] [INFO ] Decomposing Gal with order
[2026-05-26 09:27:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:29:04] [INFO ] Removed a total of 2 redundant transitions.
[2026-05-26 09:29:05] [INFO ] Flatten gal took : 968 ms
[2026-05-26 09:29:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 5628 ms.
[2026-05-26 09:29:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality3137169392800355715.gal : 158 ms
[2026-05-26 09:29:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality15039167814531963708.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3137169392800355715.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15039167814531963708.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 25000/25000 places, 40001/40001 transitions.
Applied a total of 0 rules in 13268 ms. Remains 25000 /25000 variables (removed 0) and now considering 40001/40001 (removed 0) transitions.
Skipped dead transition search.
[2026-05-26 09:29:54] [INFO ] Invariant cache hit.
[2026-05-26 09:30:12] [INFO ] Implicit Places using invariants in 17470 ms returned []
Implicit Place search using SMT only with invariants took 17476 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in SI_CTL mode , in 1 iterations and 30748 ms. Remains : 25000/25000 places, 40001/40001 transitions.
[2026-05-26 09:30:13] [INFO ] Flatten gal took : 854 ms
[2026-05-26 09:30:13] [INFO ] Flatten gal took : 761 ms
[2026-05-26 09:30:15] [INFO ] Input system was already deterministic with 40001 transitions.
[2026-05-26 09:30:16] [INFO ] Flatten gal took : 851 ms
[2026-05-26 09:30:17] [INFO ] Flatten gal took : 883 ms
[2026-05-26 09:30:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality4371404320922357174.gal : 154 ms
[2026-05-26 09:30:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality17503017705893114121.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4371404320922357174.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17503017705893114121.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
Detected timeout of ITS tools.
[2026-05-26 09:30:48] [INFO ] Flatten gal took : 810 ms
[2026-05-26 09:30:48] [INFO ] Applying decomposition
[2026-05-26 09:30:49] [INFO ] Flatten gal took : 724 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph7798851102888663336.txt' '-o' '/tmp/graph7798851102888663336.bin' '-w' '/tmp/graph7798851102888663336.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph7798851102888663336.bin' '-l' '-1' '-v' '-w' '/tmp/graph7798851102888663336.weights' '-q' '0' '-e' '0.001'
[2026-05-26 09:30:51] [INFO ] Decomposing Gal with order
[2026-05-26 09:30:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-26 09:33:43] [INFO ] Flatten gal took : 722 ms
[2026-05-26 09:33:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2556 ms.
[2026-05-26 09:33:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality3078860772574148823.gal : 156 ms
[2026-05-26 09:33:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality12432529195566589414.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3078860772574148823.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12432529195566589414.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-5000"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is JoinFreeModules-PT-5000, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r162-smll-177961107800225"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-5000.tgz
mv JoinFreeModules-PT-5000 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;