About the Execution of ITS-Tools for DatabaseWithMutex-PT-40
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8093.888 | 3600000.00 | 3981859.00 | 9505.60 | ?T?F?TT????????? | 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.r082-smll-177946993500073.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 DatabaseWithMutex-PT-40, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-smll-177946993500073
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 84M
-rw-r--r-- 1 mcc users 2.2M Mar 5 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 8.6M Mar 5 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Mar 5 14:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 7.1M Mar 5 14:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 935K Mar 15 08:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M Mar 15 08:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 943K Mar 15 08:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.4M Mar 15 08:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0M Mar 5 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12M Mar 5 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4M Mar 5 14:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21M Mar 5 14:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 146K Mar 15 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 346K Mar 15 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 17M 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 DatabaseWithMutex-PT-40-CTLCardinality-2024-00
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-01
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-02
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-03
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-04
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-05
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-06
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-07
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-08
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-09
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-10
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-11
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-12
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-13
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-14
FORMULA_NAME DatabaseWithMutex-PT-40-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1779539497620
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DatabaseWithMutex-PT-40
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202604301425
[2026-05-23 12:31:39] [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-23 12:31:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-23 12:31:41] [INFO ] Load time of PNML (sax parser for PT used): 1604 ms
[2026-05-23 12:31:41] [INFO ] Transformed 12920 places.
[2026-05-23 12:31:41] [INFO ] Transformed 12800 transitions.
[2026-05-23 12:31:41] [INFO ] Found NUPN structural information;
[2026-05-23 12:31:41] [INFO ] Parsed PT model containing 12920 places and 12800 transitions and 156800 arcs in 1999 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 353 ms.
Support contains 12920 out of 12920 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 152 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-6937717481306998383.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6086802025679821612.kers'
[2026-05-23 12:31:43] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-6937717481306998383.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6086802025679821612.kers]
Culled 0 columns in 60 ms.
// Phase 1: matrix 12800 rows 12920 cols 156800 entries
Finished phase 1 with 9600 SingleSign rule and 1600 generalized
[2026-05-23 12:31:44] [INFO ] Computed 1720 invariants in 759 ms
Computed 1720 P flows in 761 ms.
Exported basis to /tmp/petrispot-output-6086802025679821612.kers
Total runtime 793 ms.
[2026-05-23 12:31:53] [INFO ] Implicit Places using invariants in 9968 ms returned []
Implicit Place search using SMT only with invariants took 10076 ms to find 0 implicit places.
Running 11200 sub problems to find dead transitions.
[2026-05-23 12:31:53] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/12880 variables, 12880/12880 constraints. Problems are: Problem set: 0 solved, 11200 unsolved
SMT process timed out in 59637ms, After SMT, problems are : Problem set: 0 solved, 11200 unsolved
Search for dead transitions found 0 dead transitions in 59823ms
Finished structural reductions in LTL mode , in 1 iterations and 70252 ms. Remains : 12920/12920 places, 12800/12800 transitions.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 90 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 12:32:53] [INFO ] Invariant cache hit.
[2026-05-23 12:33:00] [INFO ] Implicit Places using invariants in 7262 ms returned []
Implicit Place search using SMT only with invariants took 7264 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 7360 ms. Remains : 12920/12920 places, 12800/12800 transitions.
Support contains 12920 out of 12920 places after structural reductions.
[2026-05-23 12:33:03] [INFO ] Flatten gal took : 2264 ms
[2026-05-23 12:33:05] [INFO ] Flatten gal took : 1696 ms
[2026-05-23 12:33:08] [INFO ] Input system was already deterministic with 12800 transitions.
RANDOM walk for 40000 steps (8 resets) in 52273 ms. (0 steps per ms) remains 26/72 properties
BEST_FIRST walk for 4004 steps (0 resets) in 318 ms. (12 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 470 ms. (8 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 36 ms. (108 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 227 ms. (17 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 233 ms. (17 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 42 ms. (93 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 225 ms. (17 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 413 ms. (9 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 794 ms. (5 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 214 ms. (18 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 210 ms. (18 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 1116 ms. (3 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 35 ms. (111 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 373 ms. (10 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 217 ms. (18 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 34 ms. (114 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 27 ms. (143 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 23 ms. (166 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 28 ms. (138 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 19 ms. (200 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 25 ms. (154 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 20 ms. (190 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 21 ms. (182 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 24 ms. (160 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 21 ms. (182 steps per ms) remains 26/26 properties
BEST_FIRST walk for 4004 steps (0 resets) in 20 ms. (190 steps per ms) remains 26/26 properties
[2026-05-23 12:33:23] [INFO ] Invariant cache hit.
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp10 is UNSAT
Problem AtomicPropp14 is UNSAT
Problem AtomicPropp28 is UNSAT
At refinement iteration 0 (INCLUDED_ONLY) 0/9721 variables, 9721/9721 constraints. Problems are: Problem set: 6 solved, 20 unsolved
SMT process timed out in 5317ms, After SMT, problems are : Problem set: 6 solved, 20 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 9641 out of 12920 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Performed 1599 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1599 Pre rules applied. Total rules applied 0 place count 12920 transition count 11201
Deduced a syphon composed of 1599 places in 10 ms
Reduce places removed 1599 places and 0 transitions.
Iterating global reduction 0 with 3198 rules applied. Total rules applied 3198 place count 11321 transition count 11201
Applied a total of 3198 rules in 2666 ms. Remains 11321 /12920 variables (removed 1599) and now considering 11201/12800 (removed 1599) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2671 ms. Remains : 11321/12920 places, 11201/12800 transitions.
RANDOM walk for 40000 steps (8 resets) in 31893 ms. (1 steps per ms) remains 17/20 properties
BEST_FIRST walk for 4004 steps (0 resets) in 164 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 165 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 162 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 163 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 165 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 165 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 909 ms. (4 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 308 ms. (12 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 164 ms. (24 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 17 ms. (222 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 19 ms. (200 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 18 ms. (210 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 17 ms. (222 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 17 ms. (222 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 17 ms. (222 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 17 ms. (222 steps per ms) remains 17/17 properties
BEST_FIRST walk for 4004 steps (0 resets) in 16 ms. (235 steps per ms) remains 17/17 properties
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10063752452588248909.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6983506216776743650.kers'
[2026-05-23 12:33:40] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10063752452588248909.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6983506216776743650.kers]
Culled 0 columns in 37 ms.
// Phase 1: matrix 11201 rows 11321 cols 153602 entries
Finished phase 1 with 8001 SingleSign rule and 1600 generalized
[2026-05-23 12:33:41] [INFO ] Computed 1720 invariants in 620 ms
Computed 1720 P flows in 622 ms.
Exported basis to /tmp/petrispot-output-6983506216776743650.kers
Total runtime 656 ms.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/9640 variables, 9640/9640 constraints. Problems are: Problem set: 0 solved, 17 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/9640 variables, 0/9640 constraints. Problems are: Problem set: 0 solved, 17 unsolved
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp38 is UNSAT
At refinement iteration 2 (OVERLAPS) 87/9727 variables, 87/9727 constraints. Problems are: Problem set: 4 solved, 13 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/9727 variables, 87/9814 constraints. Problems are: Problem set: 4 solved, 13 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/9727 variables, 0/9814 constraints. Problems are: Problem set: 4 solved, 13 unsolved
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp29 is UNSAT
At refinement iteration 5 (OVERLAPS) 1594/11321 variables, 1633/11447 constraints. Problems are: Problem set: 6 solved, 11 unsolved
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp9 is UNSAT
At refinement iteration 6 (INCLUDED_ONLY) 0/11321 variables, 1594/13041 constraints. Problems are: Problem set: 7 solved, 10 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 11321/22522 variables, and 13041 constraints, problems are : Problem set: 7 solved, 10 unsolved in 45049 ms.
Refiners :[Domain max(s): 11321/11321 constraints, Positive P Invariants (semi-flows): 87/87 constraints, Generalized P Invariants (flows): 1633/1633 constraints, State Equation: 0/11321 constraints, PredecessorRefiner: 17/8 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 7 solved, 10 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/8040 variables, 8040/8040 constraints. Problems are: Problem set: 7 solved, 10 unsolved
SMT process timed out in 102675ms, After SMT, problems are : Problem set: 7 solved, 10 unsolved
Fused 10 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 8040 out of 11321 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11321/11321 places, 11201/11201 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 11321 transition count 11200
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 11320 transition count 11200
Free-agglomeration rule (complex) applied 1600 times.
Iterating global reduction 0 with 1600 rules applied. Total rules applied 1602 place count 11320 transition count 9600
Reduce places removed 1640 places and 0 transitions.
Iterating post reduction 0 with 1640 rules applied. Total rules applied 3242 place count 9680 transition count 9600
Applied a total of 3242 rules in 3519 ms. Remains 9680 /11321 variables (removed 1641) and now considering 9600/11201 (removed 1601) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3519 ms. Remains : 9680/11321 places, 9600/11201 transitions.
Successfully simplified 13 atomic propositions for a total of 16 simplifications.
FORMULA DatabaseWithMutex-PT-40-CTLCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-PT-40-CTLCardinality-2024-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2026-05-23 12:35:28] [INFO ] Flatten gal took : 1300 ms
[2026-05-23 12:35:29] [INFO ] Flatten gal took : 1363 ms
[2026-05-23 12:35:31] [INFO ] Input system was already deterministic with 12800 transitions.
Support contains 11325 out of 12920 places (down from 12920) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 5192 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-15130782219908123612.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14797622168966608260.kers'
[2026-05-23 12:35:37] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-15130782219908123612.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14797622168966608260.kers]
Culled 0 columns in 56 ms.
// Phase 1: matrix 12800 rows 12920 cols 156800 entries
Finished phase 1 with 9600 SingleSign rule and 1600 generalized
[2026-05-23 12:35:38] [INFO ] Computed 1720 invariants in 952 ms
Computed 1720 P flows in 953 ms.
Exported basis to /tmp/petrispot-output-14797622168966608260.kers
Total runtime 985 ms.
[2026-05-23 12:36:16] [INFO ] Performed 654/12920 implicitness test of which 93 returned IMPLICIT in 30 seconds.
[2026-05-23 12:36:46] [INFO ] Performed 1438/12920 implicitness test of which 188 returned IMPLICIT in 60 seconds.
[2026-05-23 12:37:16] [INFO ] Performed 2065/12920 implicitness test of which 265 returned IMPLICIT in 90 seconds.
[2026-05-23 12:37:46] [INFO ] Performed 2663/12920 implicitness test of which 346 returned IMPLICIT in 120 seconds.
[2026-05-23 12:38:16] [INFO ] Performed 3356/12920 implicitness test of which 435 returned IMPLICIT in 150 seconds.
[2026-05-23 12:38:18] [INFO ] Implicit Places using invariants in 161119 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530, 2535, 2537, 2541, 2547, 2553, 2554, 2559, 2574, 2575, 2576, 2593, 2594, 2608, 2618, 2623, 2654, 2658, 2665, 2670, 2672, 2683, 2684, 2685, 2688, 2691, 2693, 2696, 2702, 2710, 2716, 2723, 2732, 2733, 2758, 2761, 2787, 2795, 2804, 2809, 2826, 2845, 2854, 2855, 2866, 2869, 2871, 2873, 2874, 2875, 2878, 2885, 2893, 2897, 2902, 2906, 2917, 2918, 2921, 2929, 2934, 2935, 2942, 2945, 2962, 2974, 2978, 2980, 2985, 2989, 2992, 2995, 3005, 3008, 3019, 3032, 3036, 3043, 3048, 3061, 3062, 3085, 3115, 3122, 3123, 3141, 3143, 3162, 3179, 3186, 3201, 3219, 3223, 3235, 3240, 3266, 3267, 3275, 3283, 3292, 3296, 3305, 3325, 3329, 3333, 3341, 3343, 3369, 3371, 3378, 3390, 3393, 3396, 3398, 3408, 3416, 3418, 3423, 3425]
Discarding 447 places :
Implicit Place search using SMT only with invariants took 161227 ms to find 447 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12473/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 3887 ms. Remains 12473 /12473 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 170307 ms. Remains : 12473/12920 places, 12800/12800 transitions.
[2026-05-23 12:38:24] [INFO ] Flatten gal took : 1848 ms
[2026-05-23 12:38:25] [INFO ] Flatten gal took : 1539 ms
[2026-05-23 12:38:27] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 12:38:29] [INFO ] Flatten gal took : 1405 ms
[2026-05-23 12:38:30] [INFO ] Flatten gal took : 1417 ms
[2026-05-23 12:38:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality2354754561174159510.gal : 432 ms
[2026-05-23 12:38:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality2986711537157282912.ctl : 13 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/CTLCardinality2354754561174159510.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2986711537157282912.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 12:39:03] [INFO ] Flatten gal took : 1711 ms
[2026-05-23 12:39:03] [INFO ] Applying decomposition
[2026-05-23 12:39:04] [INFO ] Flatten gal took : 1332 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/graph3567647621541720728.txt' '-o' '/tmp/graph3567647621541720728.bin' '-w' '/tmp/graph3567647621541720728.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3567647621541720728.bin' '-l' '-1' '-v' '-w' '/tmp/graph3567647621541720728.weights' '-q' '0' '-e' '0.001'
[2026-05-23 12:39:12] [INFO ] Decomposing Gal with order
[2026-05-23 12:39:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 12:39:44] [INFO ] Removed a total of 128117 redundant transitions.
[2026-05-23 12:39:45] [INFO ] Flatten gal took : 8107 ms
[2026-05-23 12:40:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 1594 labels/synchronizations in 4490 ms.
[2026-05-23 12:40:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality14389293416256062730.gal : 411 ms
[2026-05-23 12:40:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality16929854884398075133.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/CTLCardinality14389293416256062730.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16929854884398075133.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 SI_CTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Performed 1600 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1600 Pre rules applied. Total rules applied 0 place count 12920 transition count 11200
Deduced a syphon composed of 1600 places in 5 ms
Reduce places removed 1600 places and 0 transitions.
Iterating global reduction 0 with 3200 rules applied. Total rules applied 3200 place count 11320 transition count 11200
Applied a total of 3200 rules in 2950 ms. Remains 11320 /12920 variables (removed 1600) and now considering 11200/12800 (removed 1600) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14875567060952706786.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11143741753042085450.kers'
[2026-05-23 12:40:42] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14875567060952706786.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11143741753042085450.kers]
Culled 0 columns in 35 ms.
// Phase 1: matrix 11200 rows 11320 cols 153600 entries
Finished phase 1 with 8000 SingleSign rule and 1600 generalized
[2026-05-23 12:40:42] [INFO ] Computed 1720 invariants in 564 ms
Computed 1720 P flows in 565 ms.
Exported basis to /tmp/petrispot-output-11143741753042085450.kers
Total runtime 595 ms.
[2026-05-23 12:41:19] [INFO ] Performed 8871/11320 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-23 12:41:28] [INFO ] Implicit Places using invariants in 46026 ms returned []
Implicit Place search using SMT only with invariants took 46034 ms to find 0 implicit places.
Running 9600 sub problems to find dead transitions.
[2026-05-23 12:41:28] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/11280 variables, 11280/11280 constraints. Problems are: Problem set: 0 solved, 9600 unsolved
SMT process timed out in 52269ms, After SMT, problems are : Problem set: 0 solved, 9600 unsolved
Search for dead transitions found 0 dead transitions in 52468ms
Starting structural reductions in SI_CTL mode, iteration 1 : 11320/12920 places, 11200/12800 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 101580 ms. Remains : 11320/12920 places, 11200/12800 transitions.
[2026-05-23 12:42:23] [INFO ] Flatten gal took : 2144 ms
[2026-05-23 12:42:24] [INFO ] Flatten gal took : 1613 ms
[2026-05-23 12:42:26] [INFO ] Input system was already deterministic with 11200 transitions.
RANDOM walk for 482 steps (0 resets) in 184 ms. (2 steps per ms) remains 0/1 properties
FORMULA DatabaseWithMutex-PT-40-CTLCardinality-2024-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-23 12:42:29] [INFO ] Flatten gal took : 1868 ms
[2026-05-23 12:42:31] [INFO ] Flatten gal took : 1532 ms
[2026-05-23 12:42:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3832693434050141540.gal : 186 ms
[2026-05-23 12:42:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11381193737505416033.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/ReachabilityCardinality3832693434050141540.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality11381193737505416033.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 2064 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-908329082268143752.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-6770349922238061989.kers'
[2026-05-23 12:42:33] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-908329082268143752.kers, --Pflows, --basisKERS=/tmp/petrispot-output-6770349922238061989.kers]
Culled 0 columns in 65 ms.
// Phase 1: matrix 12800 rows 12920 cols 156800 entries
Finished phase 1 with 9600 SingleSign rule and 1600 generalized
[2026-05-23 12:42:34] [INFO ] Computed 1720 invariants in 778 ms
Computed 1720 P flows in 780 ms.
Exported basis to /tmp/petrispot-output-6770349922238061989.kers
Total runtime 831 ms.
[2026-05-23 12:43:12] [INFO ] Performed 876/12920 implicitness test of which 115 returned IMPLICIT in 30 seconds.
[2026-05-23 12:43:53] [INFO ] Performed 1341/12920 implicitness test of which 173 returned IMPLICIT in 71 seconds.
[2026-05-23 12:44:23] [INFO ] Performed 1987/12920 implicitness test of which 250 returned IMPLICIT in 101 seconds.
[2026-05-23 12:44:54] [INFO ] Performed 2575/12920 implicitness test of which 338 returned IMPLICIT in 131 seconds.
[2026-05-23 12:45:14] [INFO ] Implicit Places using invariants in 160965 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530, 2535, 2537, 2541, 2547, 2553, 2554, 2559, 2574, 2575, 2576, 2593, 2594, 2608, 2618, 2623, 2654, 2658, 2665, 2670, 2672, 2683, 2684, 2685, 2688, 2691, 2693, 2696, 2702, 2710, 2716, 2723, 2732, 2733, 2758, 2761, 2787, 2795, 2804, 2809, 2826, 2845, 2854, 2855, 2866, 2869, 2871, 2873, 2874, 2875, 2878, 2885, 2893, 2897, 2902]
Discarding 383 places :
Implicit Place search using SMT only with invariants took 161041 ms to find 383 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12537/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1722 ms. Remains 12537 /12537 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 164829 ms. Remains : 12537/12920 places, 12800/12800 transitions.
[2026-05-23 12:45:17] [INFO ] Flatten gal took : 1424 ms
[2026-05-23 12:45:19] [INFO ] Flatten gal took : 1574 ms
[2026-05-23 12:45:21] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 12:45:22] [INFO ] Flatten gal took : 1453 ms
[2026-05-23 12:45:24] [INFO ] Flatten gal took : 1409 ms
[2026-05-23 12:45:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality6108506663497551802.gal : 193 ms
[2026-05-23 12:45:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality13211462401836737156.ctl : 8 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/CTLCardinality6108506663497551802.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13211462401836737156.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 12:45:56] [INFO ] Flatten gal took : 1802 ms
[2026-05-23 12:45:56] [INFO ] Applying decomposition
[2026-05-23 12:45:58] [INFO ] Flatten gal took : 1759 ms
[2026-05-23 12:46:16] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph11260983142029138353.txt' '-o' '/tmp/graph11260983142029138353.bin' '-w' '/tmp/graph11260983142029138353.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:771)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
[2026-05-23 12:46:18] [INFO ] Flatten gal took : 1865 ms
[2026-05-23 12:46:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality14046128831261248194.gal : 194 ms
[2026-05-23 12:46:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality3392451032812135851.ctl : 11 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/CTLCardinality14046128831261248194.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3392451032812135851.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 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 585 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 12:46:49] [INFO ] Invariant cache hit.
[2026-05-23 12:47:08] [INFO ] Implicit Places using invariants in 19087 ms returned []
Implicit Place search using SMT only with invariants took 19097 ms to find 0 implicit places.
Running 11200 sub problems to find dead transitions.
[2026-05-23 12:47:08] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/12880 variables, 12880/12880 constraints. Problems are: Problem set: 0 solved, 11200 unsolved
SMT process timed out in 61000ms, After SMT, problems are : Problem set: 0 solved, 11200 unsolved
Search for dead transitions found 0 dead transitions in 61067ms
Finished structural reductions in LTL mode , in 1 iterations and 80796 ms. Remains : 12920/12920 places, 12800/12800 transitions.
[2026-05-23 12:48:11] [INFO ] Flatten gal took : 1435 ms
[2026-05-23 12:48:13] [INFO ] Flatten gal took : 1444 ms
[2026-05-23 12:48:15] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 12:48:17] [INFO ] Flatten gal took : 1566 ms
[2026-05-23 12:48:19] [INFO ] Flatten gal took : 1457 ms
[2026-05-23 12:48:19] [INFO ] Time to serialize gal into /tmp/CTLCardinality15904920614319384448.gal : 207 ms
[2026-05-23 12:48:19] [INFO ] Time to serialize properties into /tmp/CTLCardinality16153501070470594056.ctl : 10 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/CTLCardinality15904920614319384448.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16153501070470594056.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 12:48:51] [INFO ] Flatten gal took : 1826 ms
[2026-05-23 12:48:51] [INFO ] Applying decomposition
[2026-05-23 12:48:52] [INFO ] Flatten gal took : 1682 ms
[2026-05-23 12:49:20] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1277265695170060000.txt' '-o' '/tmp/graph1277265695170060000.bin' '-w' '/tmp/graph1277265695170060000.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:771)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
[2026-05-23 12:49:21] [INFO ] Flatten gal took : 1654 ms
[2026-05-23 12:49:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality4366842909980079916.gal : 191 ms
[2026-05-23 12:49:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality14289690943994004135.ctl : 35 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/CTLCardinality4366842909980079916.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14289690943994004135.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 : 12920/12920 places, 12800/12800 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1600 transitions
Trivial Post-agglo rules discarded 1600 transitions
Performed 1600 trivial Post agglomeration. Transition count delta: 1600
Iterating post reduction 0 with 1600 rules applied. Total rules applied 1600 place count 12920 transition count 11200
Reduce places removed 1640 places and 0 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1600 transitions
Trivial Post-agglo rules discarded 1600 transitions
Performed 1600 trivial Post agglomeration. Transition count delta: 1600
Iterating post reduction 1 with 3240 rules applied. Total rules applied 4840 place count 11280 transition count 9600
Reduce places removed 1600 places and 0 transitions.
Performed 1600 Post agglomeration using F-continuation condition.Transition count delta: 1600
Iterating post reduction 2 with 3200 rules applied. Total rules applied 8040 place count 9680 transition count 8000
Reduce places removed 1600 places and 0 transitions.
Iterating post reduction 3 with 1600 rules applied. Total rules applied 9640 place count 8080 transition count 8000
Applied a total of 9640 rules in 5371 ms. Remains 8080 /12920 variables (removed 4840) and now considering 8000/12800 (removed 4800) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-1686686518306191436.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-3154931355412516162.kers'
[2026-05-23 12:49:57] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-1686686518306191436.kers, --Pflows, --basisKERS=/tmp/petrispot-output-3154931355412516162.kers]
Culled 0 columns in 34 ms.
// Phase 1: matrix 8000 rows 8080 cols 144000 entries
Finished phase 1 with 4800 SingleSign rule and 1600 generalized
[2026-05-23 12:49:58] [INFO ] Computed 1680 invariants in 511 ms
Computed 1680 P flows in 513 ms.
Exported basis to /tmp/petrispot-output-3154931355412516162.kers
Total runtime 538 ms.
[2026-05-23 12:50:33] [INFO ] Performed 524/8080 implicitness test of which 106 returned IMPLICIT in 30 seconds.
[2026-05-23 12:51:03] [INFO ] Performed 859/8080 implicitness test of which 173 returned IMPLICIT in 60 seconds.
[2026-05-23 12:51:33] [INFO ] Performed 1198/8080 implicitness test of which 238 returned IMPLICIT in 90 seconds.
[2026-05-23 12:52:03] [INFO ] Performed 1811/8080 implicitness test of which 371 returned IMPLICIT in 120 seconds.
[2026-05-23 12:52:33] [INFO ] Performed 2416/8080 implicitness test of which 491 returned IMPLICIT in 150 seconds.
[2026-05-23 12:52:38] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160764 ms
Discarding 516 places :
Implicit Place search using SMT only with invariants took 160829 ms to find 516 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 7564/12920 places, 8000/12800 transitions.
Applied a total of 0 rules in 2100 ms. Remains 7564 /7564 variables (removed 0) and now considering 8000/8000 (removed 0) transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 168304 ms. Remains : 7564/12920 places, 8000/12800 transitions.
[2026-05-23 12:52:41] [INFO ] Flatten gal took : 1250 ms
[2026-05-23 12:52:42] [INFO ] Flatten gal took : 1301 ms
[2026-05-23 12:52:44] [INFO ] Input system was already deterministic with 8000 transitions.
RANDOM walk for 251 steps (0 resets) in 404 ms. (0 steps per ms) remains 0/1 properties
FORMULA DatabaseWithMutex-PT-40-CTLCardinality-2024-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2026-05-23 12:52:46] [INFO ] Flatten gal took : 1575 ms
[2026-05-23 12:52:48] [INFO ] Flatten gal took : 1382 ms
[2026-05-23 12:52:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4625488312255110447.gal : 175 ms
[2026-05-23 12:52:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4191640755989671868.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4625488312255110447.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4191640755989671868.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
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
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 2238 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-7273753603162385835.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4716799542168082416.kers'
[2026-05-23 12:52:50] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-7273753603162385835.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4716799542168082416.kers]
Culled 0 columns in 56 ms.
// Phase 1: matrix 12800 rows 12920 cols 156800 entries
Finished phase 1 with 9600 SingleSign rule and 1600 generalized
[2026-05-23 12:52:51] [INFO ] Computed 1720 invariants in 873 ms
Computed 1720 P flows in 874 ms.
Exported basis to /tmp/petrispot-output-4716799542168082416.kers
Total runtime 926 ms.
[2026-05-23 12:53:29] [INFO ] Performed 642/12920 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-23 12:53:59] [INFO ] Performed 1310/12920 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-23 12:54:29] [INFO ] Performed 2030/12920 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-23 12:55:00] [INFO ] Performed 2698/12920 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2026-05-23 12:55:00] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2026-05-23 12:55:00] [INFO ] Implicit Places using invariants in 129262 ms returned []
Implicit Place search using SMT only with invariants took 129263 ms to find 0 implicit places.
Skipped dead transition search.
Finished structural reductions in LTL mode , in 1 iterations and 131517 ms. Remains : 12920/12920 places, 12800/12800 transitions.
[2026-05-23 12:55:01] [INFO ] Flatten gal took : 1814 ms
[2026-05-23 12:55:03] [INFO ] Flatten gal took : 1444 ms
[2026-05-23 12:55:05] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 12:55:07] [INFO ] Flatten gal took : 1516 ms
[2026-05-23 12:55:09] [INFO ] Flatten gal took : 1763 ms
[2026-05-23 12:55:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality5139482131089339030.gal : 265 ms
[2026-05-23 12:55:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality15367973696745185872.ctl : 11 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/CTLCardinality5139482131089339030.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15367973696745185872.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 12:55:40] [INFO ] Flatten gal took : 1428 ms
[2026-05-23 12:55:40] [INFO ] Applying decomposition
[2026-05-23 12:55:42] [INFO ] Flatten gal took : 1464 ms
[2026-05-23 12:56:03] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph10519602544647786308.txt' '-o' '/tmp/graph10519602544647786308.bin' '-w' '/tmp/graph10519602544647786308.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:771)
at fr.lip6.move.gal.application.Application.start(Application.java:195)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:44)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:219)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:149)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:115)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:467)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:298)
at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103)
at java.base/java.lang.reflect.Method.invoke(Method.java:580)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:615)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:563)
at org.eclipse.equinox.launcher.Main.run(Main.java:1415)
at org.eclipse.equinox.launcher.Main.main(Main.java:1387)
[2026-05-23 12:56:04] [INFO ] Flatten gal took : 1605 ms
[2026-05-23 12:56:05] [INFO ] Time to serialize gal into /tmp/CTLCardinality15815895102293465057.gal : 274 ms
[2026-05-23 12:56:05] [INFO ] Time to serialize properties into /tmp/CTLCardinality16618815321988665146.ctl : 33 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/CTLCardinality15815895102293465057.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16618815321988665146.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 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1559 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 12:56:36] [INFO ] Invariant cache hit.
[2026-05-23 12:57:20] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 36 seconds.
[2026-05-23 12:57:52] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 68 seconds.
[2026-05-23 12:58:27] [INFO ] Performed 1499/12920 implicitness test of which 195 returned IMPLICIT in 103 seconds.
[2026-05-23 12:58:57] [INFO ] Performed 2215/12920 implicitness test of which 280 returned IMPLICIT in 133 seconds.
[2026-05-23 12:59:16] [INFO ] Implicit Places using invariants in 160077 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530]
Discarding 329 places :
Implicit Place search using SMT only with invariants took 160198 ms to find 329 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12591/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1525 ms. Remains 12591 /12591 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 163284 ms. Remains : 12591/12920 places, 12800/12800 transitions.
[2026-05-23 12:59:19] [INFO ] Flatten gal took : 1383 ms
[2026-05-23 12:59:21] [INFO ] Flatten gal took : 1395 ms
[2026-05-23 12:59:23] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 12:59:25] [INFO ] Flatten gal took : 1711 ms
[2026-05-23 12:59:26] [INFO ] Flatten gal took : 1498 ms
[2026-05-23 12:59:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality11937239514218199966.gal : 181 ms
[2026-05-23 12:59:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality14343727053115866692.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/CTLCardinality11937239514218199966.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14343727053115866692.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 12:59:58] [INFO ] Flatten gal took : 1859 ms
[2026-05-23 12:59:58] [INFO ] Applying decomposition
[2026-05-23 13:00:00] [INFO ] Flatten gal took : 1338 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/graph3222936336063707023.txt' '-o' '/tmp/graph3222936336063707023.bin' '-w' '/tmp/graph3222936336063707023.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3222936336063707023.bin' '-l' '-1' '-v' '-w' '/tmp/graph3222936336063707023.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:00:02] [INFO ] Decomposing Gal with order
[2026-05-23 13:00:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:00:27] [INFO ] Removed a total of 123449 redundant transitions.
[2026-05-23 13:00:27] [INFO ] Flatten gal took : 3184 ms
[2026-05-23 13:00:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1799 ms.
[2026-05-23 13:00:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality6318410179953225744.gal : 272 ms
[2026-05-23 13:00:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality15594806945673340753.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/CTLCardinality6318410179953225744.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15594806945673340753.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1692 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:01:02] [INFO ] Invariant cache hit.
[2026-05-23 13:01:39] [INFO ] Performed 634/12920 implicitness test of which 89 returned IMPLICIT in 30 seconds.
[2026-05-23 13:02:09] [INFO ] Performed 1164/12920 implicitness test of which 155 returned IMPLICIT in 60 seconds.
[2026-05-23 13:02:44] [INFO ] Performed 1499/12920 implicitness test of which 195 returned IMPLICIT in 94 seconds.
[2026-05-23 13:03:14] [INFO ] Performed 2109/12920 implicitness test of which 270 returned IMPLICIT in 124 seconds.
[2026-05-23 13:03:42] [INFO ] Implicit Places using invariants in 160064 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530, 2535, 2537, 2541, 2547, 2553, 2554, 2559, 2574, 2575, 2576, 2593, 2594]
Discarding 341 places :
Implicit Place search using SMT only with invariants took 160145 ms to find 341 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12579/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1610 ms. Remains 12579 /12579 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 163448 ms. Remains : 12579/12920 places, 12800/12800 transitions.
[2026-05-23 13:03:45] [INFO ] Flatten gal took : 1408 ms
[2026-05-23 13:03:47] [INFO ] Flatten gal took : 1359 ms
[2026-05-23 13:03:49] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:03:50] [INFO ] Flatten gal took : 1561 ms
[2026-05-23 13:03:52] [INFO ] Flatten gal took : 1535 ms
[2026-05-23 13:03:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality11761317580366354658.gal : 168 ms
[2026-05-23 13:03:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality14506532522996970933.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/CTLCardinality11761317580366354658.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14506532522996970933.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:04:24] [INFO ] Flatten gal took : 1583 ms
[2026-05-23 13:04:24] [INFO ] Applying decomposition
[2026-05-23 13:04:25] [INFO ] Flatten gal took : 1389 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/graph16608895244450402601.txt' '-o' '/tmp/graph16608895244450402601.bin' '-w' '/tmp/graph16608895244450402601.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph16608895244450402601.bin' '-l' '-1' '-v' '-w' '/tmp/graph16608895244450402601.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:04:28] [INFO ] Decomposing Gal with order
[2026-05-23 13:04:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:04:48] [INFO ] Removed a total of 123461 redundant transitions.
[2026-05-23 13:04:49] [INFO ] Flatten gal took : 2757 ms
[2026-05-23 13:04:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 798 ms.
[2026-05-23 13:04:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality16927108486929994417.gal : 183 ms
[2026-05-23 13:04:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality14338652749377329268.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/CTLCardinality16927108486929994417.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14338652749377329268.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1611 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:05:22] [INFO ] Invariant cache hit.
[2026-05-23 13:06:05] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 35 seconds.
[2026-05-23 13:06:37] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 67 seconds.
[2026-05-23 13:07:07] [INFO ] Performed 1493/12920 implicitness test of which 194 returned IMPLICIT in 97 seconds.
[2026-05-23 13:07:37] [INFO ] Performed 2046/12920 implicitness test of which 260 returned IMPLICIT in 127 seconds.
[2026-05-23 13:08:02] [INFO ] Implicit Places using invariants in 160057 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530]
Discarding 329 places :
Implicit Place search using SMT only with invariants took 160095 ms to find 329 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12591/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1556 ms. Remains 12591 /12591 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 163268 ms. Remains : 12591/12920 places, 12800/12800 transitions.
[2026-05-23 13:08:05] [INFO ] Flatten gal took : 1276 ms
[2026-05-23 13:08:06] [INFO ] Flatten gal took : 1401 ms
[2026-05-23 13:08:08] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:08:10] [INFO ] Flatten gal took : 1486 ms
[2026-05-23 13:08:11] [INFO ] Flatten gal took : 1438 ms
[2026-05-23 13:08:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality17832212278603767288.gal : 178 ms
[2026-05-23 13:08:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality6396433352217183632.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/CTLCardinality17832212278603767288.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6396433352217183632.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:08:43] [INFO ] Flatten gal took : 1419 ms
[2026-05-23 13:08:43] [INFO ] Applying decomposition
[2026-05-23 13:08:45] [INFO ] Flatten gal took : 1518 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/graph15036846222378941547.txt' '-o' '/tmp/graph15036846222378941547.bin' '-w' '/tmp/graph15036846222378941547.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15036846222378941547.bin' '-l' '-1' '-v' '-w' '/tmp/graph15036846222378941547.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:08:47] [INFO ] Decomposing Gal with order
[2026-05-23 13:08:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:09:13] [INFO ] Removed a total of 123449 redundant transitions.
[2026-05-23 13:09:14] [INFO ] Flatten gal took : 2612 ms
[2026-05-23 13:09:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 762 ms.
[2026-05-23 13:09:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality9585937991299651568.gal : 191 ms
[2026-05-23 13:09:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality9368088197123375005.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/CTLCardinality9585937991299651568.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9368088197123375005.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 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1475 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:09:47] [INFO ] Invariant cache hit.
[2026-05-23 13:10:29] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 35 seconds.
[2026-05-23 13:11:01] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 66 seconds.
[2026-05-23 13:11:31] [INFO ] Performed 1463/12920 implicitness test of which 193 returned IMPLICIT in 97 seconds.
[2026-05-23 13:12:01] [INFO ] Performed 2026/12920 implicitness test of which 255 returned IMPLICIT in 127 seconds.
[2026-05-23 13:12:27] [INFO ] Implicit Places using invariants in 160062 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530]
Discarding 329 places :
Implicit Place search using SMT only with invariants took 160107 ms to find 329 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12591/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1607 ms. Remains 12591 /12591 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 163192 ms. Remains : 12591/12920 places, 12800/12800 transitions.
[2026-05-23 13:12:30] [INFO ] Flatten gal took : 1453 ms
[2026-05-23 13:12:32] [INFO ] Flatten gal took : 1429 ms
[2026-05-23 13:12:33] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:12:35] [INFO ] Flatten gal took : 1468 ms
[2026-05-23 13:12:37] [INFO ] Flatten gal took : 1430 ms
[2026-05-23 13:12:37] [INFO ] Time to serialize gal into /tmp/CTLCardinality12018772217846527649.gal : 165 ms
[2026-05-23 13:12:37] [INFO ] Time to serialize properties into /tmp/CTLCardinality6184623322942029043.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/CTLCardinality12018772217846527649.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6184623322942029043.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:13:08] [INFO ] Flatten gal took : 1433 ms
[2026-05-23 13:13:08] [INFO ] Applying decomposition
[2026-05-23 13:13:10] [INFO ] Flatten gal took : 1458 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/graph6984135729629866122.txt' '-o' '/tmp/graph6984135729629866122.bin' '-w' '/tmp/graph6984135729629866122.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph6984135729629866122.bin' '-l' '-1' '-v' '-w' '/tmp/graph6984135729629866122.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:13:13] [INFO ] Decomposing Gal with order
[2026-05-23 13:13:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:13:37] [INFO ] Removed a total of 123449 redundant transitions.
[2026-05-23 13:13:37] [INFO ] Flatten gal took : 2770 ms
[2026-05-23 13:13:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 747 ms.
[2026-05-23 13:13:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality12742646435690131547.gal : 158 ms
[2026-05-23 13:13:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality17404958532605204054.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/CTLCardinality12742646435690131547.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17404958532605204054.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1407 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:14:10] [INFO ] Invariant cache hit.
[2026-05-23 13:14:54] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 36 seconds.
[2026-05-23 13:15:25] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 67 seconds.
[2026-05-23 13:15:55] [INFO ] Performed 1463/12920 implicitness test of which 193 returned IMPLICIT in 97 seconds.
[2026-05-23 13:16:26] [INFO ] Performed 2059/12920 implicitness test of which 263 returned IMPLICIT in 128 seconds.
[2026-05-23 13:16:50] [INFO ] Implicit Places using invariants in 160053 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530, 2535, 2537, 2541, 2547, 2553, 2554, 2559, 2574, 2575, 2576]
Discarding 339 places :
Implicit Place search using SMT only with invariants took 160107 ms to find 339 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12581/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1442 ms. Remains 12581 /12581 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 162962 ms. Remains : 12581/12920 places, 12800/12800 transitions.
[2026-05-23 13:16:54] [INFO ] Flatten gal took : 1847 ms
[2026-05-23 13:16:55] [INFO ] Flatten gal took : 1483 ms
[2026-05-23 13:16:57] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:16:59] [INFO ] Flatten gal took : 1626 ms
[2026-05-23 13:17:01] [INFO ] Flatten gal took : 1395 ms
[2026-05-23 13:17:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality15192342191712204189.gal : 176 ms
[2026-05-23 13:17:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality14721762664915812558.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/CTLCardinality15192342191712204189.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14721762664915812558.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:17:32] [INFO ] Flatten gal took : 1642 ms
[2026-05-23 13:17:32] [INFO ] Applying decomposition
[2026-05-23 13:17:34] [INFO ] Flatten gal took : 1487 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/graph9289756621363051697.txt' '-o' '/tmp/graph9289756621363051697.bin' '-w' '/tmp/graph9289756621363051697.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph9289756621363051697.bin' '-l' '-1' '-v' '-w' '/tmp/graph9289756621363051697.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:17:37] [INFO ] Decomposing Gal with order
[2026-05-23 13:17:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:18:02] [INFO ] Removed a total of 123459 redundant transitions.
[2026-05-23 13:18:03] [INFO ] Flatten gal took : 2707 ms
[2026-05-23 13:18:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 694 ms.
[2026-05-23 13:18:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality10245900771481120320.gal : 172 ms
[2026-05-23 13:18:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality7426157583500569688.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/CTLCardinality10245900771481120320.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7426157583500569688.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1404 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:18:35] [INFO ] Invariant cache hit.
[2026-05-23 13:19:18] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 35 seconds.
[2026-05-23 13:19:50] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 66 seconds.
[2026-05-23 13:20:25] [INFO ] Performed 1499/12920 implicitness test of which 195 returned IMPLICIT in 102 seconds.
[2026-05-23 13:20:55] [INFO ] Performed 2139/12920 implicitness test of which 273 returned IMPLICIT in 132 seconds.
[2026-05-23 13:21:16] [INFO ] Implicit Places using invariants in 160070 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530]
Discarding 329 places :
Implicit Place search using SMT only with invariants took 160115 ms to find 329 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12591/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1575 ms. Remains 12591 /12591 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 163098 ms. Remains : 12591/12920 places, 12800/12800 transitions.
[2026-05-23 13:21:19] [INFO ] Flatten gal took : 1518 ms
[2026-05-23 13:21:20] [INFO ] Flatten gal took : 1454 ms
[2026-05-23 13:21:22] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:21:24] [INFO ] Flatten gal took : 1420 ms
[2026-05-23 13:21:25] [INFO ] Flatten gal took : 1376 ms
[2026-05-23 13:21:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality10443841640524297839.gal : 174 ms
[2026-05-23 13:21:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality6404749152748254653.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/CTLCardinality10443841640524297839.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6404749152748254653.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:21:57] [INFO ] Flatten gal took : 1587 ms
[2026-05-23 13:21:57] [INFO ] Applying decomposition
[2026-05-23 13:21:58] [INFO ] Flatten gal took : 1444 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/graph14165137042096848903.txt' '-o' '/tmp/graph14165137042096848903.bin' '-w' '/tmp/graph14165137042096848903.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph14165137042096848903.bin' '-l' '-1' '-v' '-w' '/tmp/graph14165137042096848903.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:22:01] [INFO ] Decomposing Gal with order
[2026-05-23 13:22:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:22:25] [INFO ] Removed a total of 123449 redundant transitions.
[2026-05-23 13:22:25] [INFO ] Flatten gal took : 2511 ms
[2026-05-23 13:22:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 717 ms.
[2026-05-23 13:22:26] [INFO ] Time to serialize gal into /tmp/CTLCardinality1254223212893695580.gal : 182 ms
[2026-05-23 13:22:26] [INFO ] Time to serialize properties into /tmp/CTLCardinality8207063776316578660.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/CTLCardinality1254223212893695580.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8207063776316578660.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 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1365 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:22:58] [INFO ] Invariant cache hit.
[2026-05-23 13:23:41] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 35 seconds.
[2026-05-23 13:24:13] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 67 seconds.
[2026-05-23 13:24:47] [INFO ] Performed 1499/12920 implicitness test of which 195 returned IMPLICIT in 102 seconds.
[2026-05-23 13:25:17] [INFO ] Performed 2164/12920 implicitness test of which 276 returned IMPLICIT in 132 seconds.
[2026-05-23 13:25:38] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160087 ms
Discarding 329 places :
Implicit Place search using SMT only with invariants took 160150 ms to find 329 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12591/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1373 ms. Remains 12591 /12591 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 162894 ms. Remains : 12591/12920 places, 12800/12800 transitions.
[2026-05-23 13:25:41] [INFO ] Flatten gal took : 1547 ms
[2026-05-23 13:25:42] [INFO ] Flatten gal took : 1567 ms
[2026-05-23 13:25:44] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:25:46] [INFO ] Flatten gal took : 1548 ms
[2026-05-23 13:25:47] [INFO ] Flatten gal took : 1378 ms
[2026-05-23 13:25:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality5247997398995995497.gal : 169 ms
[2026-05-23 13:25:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality11212499074885204276.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/CTLCardinality5247997398995995497.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11212499074885204276.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:26:19] [INFO ] Flatten gal took : 1599 ms
[2026-05-23 13:26:19] [INFO ] Applying decomposition
[2026-05-23 13:26:21] [INFO ] Flatten gal took : 1454 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/graph11513708313334742180.txt' '-o' '/tmp/graph11513708313334742180.bin' '-w' '/tmp/graph11513708313334742180.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph11513708313334742180.bin' '-l' '-1' '-v' '-w' '/tmp/graph11513708313334742180.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:26:23] [INFO ] Decomposing Gal with order
[2026-05-23 13:26:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:26:47] [INFO ] Removed a total of 123449 redundant transitions.
[2026-05-23 13:26:47] [INFO ] Flatten gal took : 2483 ms
[2026-05-23 13:26:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 747 ms.
[2026-05-23 13:26:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality17019006592444534882.gal : 156 ms
[2026-05-23 13:26:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality9929483027765865648.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/CTLCardinality17019006592444534882.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9929483027765865648.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1619 ms. Remains 12920 /12920 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
[2026-05-23 13:27:20] [INFO ] Invariant cache hit.
[2026-05-23 13:28:04] [INFO ] Performed 642/12920 implicitness test of which 90 returned IMPLICIT in 36 seconds.
[2026-05-23 13:28:36] [INFO ] Performed 1030/12920 implicitness test of which 132 returned IMPLICIT in 67 seconds.
[2026-05-23 13:29:06] [INFO ] Performed 1495/12920 implicitness test of which 195 returned IMPLICIT in 97 seconds.
[2026-05-23 13:29:36] [INFO ] Performed 2059/12920 implicitness test of which 263 returned IMPLICIT in 128 seconds.
[2026-05-23 13:30:00] [INFO ] Implicit Places using invariants in 160064 ms returned [2, 10, 15, 17, 22, 25, 34, 47, 69, 82, 88, 92, 101, 107, 113, 118, 131, 137, 139, 147, 148, 160, 162, 176, 185, 188, 192, 203, 210, 221, 227, 231, 236, 237, 244, 287, 290, 299, 300, 303, 308, 310, 317, 322, 327, 336, 338, 340, 342, 347, 348, 361, 364, 366, 384, 387, 390, 392, 394, 396, 400, 404, 405, 410, 420, 437, 439, 462, 468, 470, 478, 479, 485, 494, 498, 502, 505, 508, 511, 521, 532, 567, 568, 575, 584, 596, 618, 629, 633, 635, 648, 652, 654, 666, 677, 679, 683, 688, 708, 710, 730, 752, 778, 784, 785, 805, 836, 841, 846, 854, 858, 859, 870, 872, 876, 881, 904, 913, 924, 925, 926, 931, 939, 949, 969, 974, 986, 989, 992, 994, 1018, 1029, 1039, 1040, 1053, 1054, 1058, 1060, 1062, 1063, 1064, 1068, 1074, 1085, 1099, 1112, 1119, 1123, 1125, 1132, 1136, 1139, 1143, 1147, 1156, 1170, 1171, 1182, 1192, 1193, 1197, 1216, 1222, 1229, 1236, 1248, 1254, 1257, 1261, 1296, 1308, 1316, 1320, 1350, 1351, 1353, 1355, 1359, 1363, 1381, 1385, 1388, 1391, 1409, 1414, 1420, 1435, 1437, 1440, 1442, 1445, 1450, 1458, 1493, 1495, 1502, 1512, 1519, 1535, 1547, 1563, 1567, 1577, 1595, 1598, 1604, 1612, 1623, 1630, 1631, 1633, 1634, 1635, 1652, 1663, 1680, 1694, 1696, 1704, 1717, 1728, 1730, 1740, 1745, 1750, 1761, 1769, 1771, 1777, 1785, 1791, 1797, 1809, 1811, 1817, 1823, 1830, 1859, 1887, 1902, 1904, 1909, 1911, 1912, 1917, 1930, 1941, 1942, 1955, 1987, 1989, 1990, 1992, 2020, 2021, 2028, 2031, 2033, 2042, 2046, 2047, 2050, 2057, 2063, 2065, 2066, 2070, 2099, 2106, 2108, 2115, 2133, 2139, 2140, 2151, 2164, 2165, 2171, 2176, 2177, 2217, 2219, 2222, 2223, 2225, 2231, 2242, 2244, 2255, 2258, 2259, 2263, 2266, 2272, 2289, 2292, 2303, 2316, 2319, 2323, 2324, 2334, 2341, 2345, 2346, 2350, 2356, 2365, 2371, 2381, 2384, 2390, 2405, 2411, 2416, 2419, 2425, 2431, 2434, 2439, 2446, 2461, 2472, 2487, 2504, 2510, 2522, 2527, 2530]
Discarding 329 places :
Implicit Place search using SMT only with invariants took 160136 ms to find 329 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 12591/12920 places, 12800/12800 transitions.
Applied a total of 0 rules in 1547 ms. Remains 12591 /12591 variables (removed 0) and now considering 12800/12800 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 163304 ms. Remains : 12591/12920 places, 12800/12800 transitions.
[2026-05-23 13:30:03] [INFO ] Flatten gal took : 1444 ms
[2026-05-23 13:30:05] [INFO ] Flatten gal took : 1414 ms
[2026-05-23 13:30:07] [INFO ] Input system was already deterministic with 12800 transitions.
[2026-05-23 13:30:08] [INFO ] Flatten gal took : 1613 ms
[2026-05-23 13:30:10] [INFO ] Flatten gal took : 1410 ms
[2026-05-23 13:30:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality5771094081877931995.gal : 176 ms
[2026-05-23 13:30:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality12144437638275311114.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/CTLCardinality5771094081877931995.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12144437638275311114.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2026-05-23 13:30:42] [INFO ] Flatten gal took : 1676 ms
[2026-05-23 13:30:42] [INFO ] Applying decomposition
[2026-05-23 13:30:43] [INFO ] Flatten gal took : 1447 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/graph15318035328507634258.txt' '-o' '/tmp/graph15318035328507634258.bin' '-w' '/tmp/graph15318035328507634258.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15318035328507634258.bin' '-l' '-1' '-v' '-w' '/tmp/graph15318035328507634258.weights' '-q' '0' '-e' '0.001'
[2026-05-23 13:30:46] [INFO ] Decomposing Gal with order
[2026-05-23 13:30:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 13:31:10] [INFO ] Removed a total of 123449 redundant transitions.
[2026-05-23 13:31:10] [INFO ] Flatten gal took : 2680 ms
[2026-05-23 13:31:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 736 ms.
[2026-05-23 13:31:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality3609769909981432037.gal : 206 ms
[2026-05-23 13:31:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality7614286207044385786.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/CTLCardinality3609769909981432037.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7614286207044385786.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.
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="DatabaseWithMutex-PT-40"
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 DatabaseWithMutex-PT-40, 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 r082-smll-177946993500073"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-40.tgz
mv DatabaseWithMutex-PT-40 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 ;