About the Execution of ITS-Tools for SharedMemory-PT-000100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16218.367 | 3600000.00 | 3753784.00 | 56701.30 | ??????????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/mcc2023-input.r357-smll-167891806900690.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool itstools
Input is SharedMemory-PT-000100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r357-smll-167891806900690
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 151M
-rw-r--r-- 1 mcc users 3.9M Feb 26 00:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15M Feb 26 00:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2M Feb 25 22:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 12M Feb 25 22:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Jan 29 11:41 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 849K Feb 25 16:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.3M Feb 25 16:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2M Feb 25 16:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3M Feb 25 16:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0M Feb 26 08:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 33M Feb 26 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11M Feb 26 04:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41M Feb 26 04:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 11M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-00
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-01
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-02
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-03
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-04
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-05
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-06
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-07
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-08
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-09
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-10
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-11
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-12
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-13
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-14
FORMULA_NAME SharedMemory-PT-000100-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1679380878422
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SharedMemory-PT-000100
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202303021504
[2023-03-21 06:41:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-21 06:41:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:41:23] [INFO ] Load time of PNML (sax parser for PT used): 936 ms
[2023-03-21 06:41:23] [INFO ] Transformed 10301 places.
[2023-03-21 06:41:23] [INFO ] Transformed 20100 transitions.
[2023-03-21 06:41:23] [INFO ] Found NUPN structural information;
[2023-03-21 06:41:23] [INFO ] Completing missing partition info from NUPN : creating a component with [Ext_Mem_Acc_57_1, Ext_Mem_Acc_56_1, Ext_Mem_Acc_19_2, Ext_Mem_Acc_18_2, Ext_Mem_Acc_72_2, Ext_Mem_Acc_63_2, Ext_Mem_Acc_11_3, Ext_Mem_Acc_12_3, Ext_Mem_Acc_64_3, Ext_Mem_Acc_61_3, Ext_Mem_Acc_49_4, Ext_Mem_Acc_48_4, Ext_Mem_Acc_12_5, Ext_Mem_Acc_17_5, Ext_Mem_Acc_22_5, Ext_Mem_Acc_21_5, Ext_Mem_Acc_95_5, Ext_Mem_Acc_98_5, Ext_Mem_Acc_28_6, Ext_Mem_Acc_29_6, Ext_Mem_Acc_41_7, Ext_Mem_Acc_80_6, Ext_Mem_Acc_2_8, Ext_Mem_Acc_99_7, Ext_Mem_Acc_47_8, Ext_Mem_Acc_46_8, Ext_Mem_Acc_23_9, Ext_Mem_Acc_26_9, Ext_Mem_Acc_84_8, Ext_Mem_Acc_85_8, Ext_Mem_Acc_39_9, Ext_Mem_Acc_40_9, Ext_Mem_Acc_28_10, Ext_Mem_Acc_29_10, Ext_Mem_Acc_3_11, Ext_Mem_Acc_2_11, Ext_Mem_Acc_99_11, Ext_Mem_Acc_100_11, Ext_Mem_Acc_42_11, Ext_Mem_Acc_43_11, Ext_Mem_Acc_95_11, Ext_Mem_Acc_94_11, Ext_Mem_Acc_73_13, Ext_Mem_Acc_72_13, Ext_Mem_Acc_91_12, Ext_Mem_Acc_92_12, Ext_Mem_Acc_71_14, Ext_Mem_Acc_68_14, Ext_Mem_Acc_22_14, Ext_Mem_Acc_21_14, Ext_Mem_Acc_25_14, Ext_Mem_Acc_26_14, Ext_Mem_Acc_43_16, Ext_Mem_Acc_44_16, Ext_Mem_Acc_69_15, Ext_Mem_Acc_70_15, Ext_Mem_Acc_71_17, Ext_Mem_Acc_78_17, Ext_Mem_Acc_90_16, Ext_Mem_Acc_91_16, Ext_Mem_Acc_73_16, Ext_Mem_Acc_72_16, Ext_Mem_Acc_59_18, Ext_Mem_Acc_58_18, Ext_Mem_Acc_86_17, Ext_Mem_Acc_85_17, Ext_Mem_Acc_19_20, Ext_Mem_Acc_21_20, Ext_Mem_Acc_64_19, Ext_Mem_Acc_63_19, Ext_Mem_Acc_8_19, Ext_Mem_Acc_9_19, Ext_Mem_Acc_3_21, Ext_Mem_Acc_2_21, Ext_Mem_Acc_54_20, Ext_Mem_Acc_55_20, Ext_Mem_Acc_99_22, Ext_Mem_Acc_98_22, Ext_Mem_Acc_79_23, Ext_Mem_Acc_80_23, Ext_Mem_Acc_86_21, Ext_Mem_Acc_85_21, Ext_Mem_Acc_3_22, Ext_Mem_Acc_4_22, Ext_Mem_Acc_93_22, Ext_Mem_Acc_92_22, Ext_Mem_Acc_75_25, Ext_Mem_Acc_76_25, Ext_Mem_Acc_48_26, Ext_Mem_Acc_49_26, Ext_Mem_Acc_30_24, Ext_Mem_Acc_31_24, Ext_Mem_Acc_85_24, Ext_Mem_Acc_84_24, Ext_Mem_Acc_33_25, Ext_Mem_Acc_34_25, Ext_Mem_Acc_43_28, Ext_Mem_Acc_44_28, Ext_Mem_Acc_25_29, Ext_Mem_Acc_24_29, Ext_Mem_Acc_48_27, Ext_Mem_Acc_47_27, Ext_Mem_Acc_92_26, Ext_Mem_Acc_93_26, Ext_Mem_Acc_49_27, Ext_Mem_Acc_50_27, Ext_Mem_Acc_83_30, Ext_Mem_Acc_82_30, Ext_Mem_Acc_85_31, Ext_Mem_Acc_86_31, Ext_Mem_Acc_83_29, Ext_Mem_Acc_84_29, Ext_Mem_Acc_40_30, Ext_Mem_Acc_41_30, Ext_Mem_Acc_31_30, Ext_Mem_Acc_29_30, Ext_Mem_Acc_58_34, Ext_Mem_Acc_59_34, Ext_Mem_Acc_41_33, Ext_Mem_Acc_44_33, Ext_Mem_Acc_85_32, Ext_Mem_Acc_84_32, Ext_Mem_Acc_28_32, Ext_Mem_Acc_27_32, Ext_Mem_Acc_46_32, Ext_Mem_Acc_47_32, Ext_Mem_Acc_98_36, Ext_Mem_Acc_1_37, Ext_Mem_Acc_20_36, Ext_Mem_Acc_17_36, Ext_Mem_Acc_56_35, Ext_Mem_Acc_55_35, Ext_Mem_Acc_74_34, Ext_Mem_Acc_75_34, Ext_Mem_Acc_9_35, Ext_Mem_Acc_8_35, Ext_Mem_Acc_41_39, Ext_Mem_Acc_42_39, Ext_Mem_Acc_68_38, Ext_Mem_Acc_69_38, Ext_Mem_Acc_29_38, Ext_Mem_Acc_30_38, Ext_Mem_Acc_74_37, Ext_Mem_Acc_73_37, Ext_Mem_Acc_18_37, Ext_Mem_Acc_19_37, Ext_Mem_Acc_89_41, Ext_Mem_Acc_90_41, Ext_Mem_Acc_9_41, Ext_Mem_Acc_8_41, Ext_Mem_Acc_91_40, Ext_Mem_Acc_90_40, Ext_Mem_Acc_9_40, Ext_Mem_Acc_10_40, Ext_Mem_Acc_42_45, Ext_Mem_Acc_43_45, Ext_Mem_Acc_94_44, Ext_Mem_Acc_1_45, Ext_Mem_Acc_76_45, Ext_Mem_Acc_89_45, Ext_Mem_Acc_59_46, Ext_Mem_Acc_60_46, Ext_Mem_Acc_38_47, Ext_Mem_Acc_32_47, Ext_Mem_Acc_68_42, Ext_Mem_Acc_75_42, Ext_Mem_Acc_59_42, Ext_Mem_Acc_60_42, Ext_Mem_Acc_14_43, Ext_Mem_Acc_9_43, Ext_Mem_Acc_17_44, Ext_Mem_Acc_73_43, Ext_Mem_Acc_90_44, Ext_Mem_Acc_89_44, Ext_Mem_Acc_28_50, Ext_Mem_Acc_41_50, Ext_Mem_Acc_58_50, Ext_Mem_Acc_53_50, Ext_Mem_Acc_39_51, Ext_Mem_Acc_9_51, Ext_Mem_Acc_3_52, Ext_Mem_Acc_98_51, Ext_Mem_Acc_18_52, Ext_Mem_Acc_7_52, Ext_Mem_Acc_67_47, Ext_Mem_Acc_62_47, Ext_Mem_Acc_10_48, Ext_Mem_Acc_18_48, Ext_Mem_Acc_66_48, Ext_Mem_Acc_67_48, Ext_Mem_Acc_22_49, Ext_Mem_Acc_23_49, Ext_Mem_Acc_66_49, Ext_Mem_Acc_65_49, Ext_Mem_Acc_43_56, Ext_Mem_Acc_44_56, Ext_Mem_Acc_87_55, Ext_Mem_Acc_88_55, Ext_Mem_Acc_42_55, Ext_Mem_Acc_41_55, Ext_Mem_Acc_53_57, Ext_Mem_Acc_52_57, Ext_Mem_Acc_2_57, Ext_Mem_Acc_3_57, Ext_Mem_Acc_97_53, Ext_Mem_Acc_98_53, Ext_Mem_Acc_17_53, Ext_Mem_Acc_16_53, Ext_Mem_Acc_86_52, Ext_Mem_Acc_87_52, Ext_Mem_Acc_72_54, Ext_Mem_Acc_73_54, Ext_Mem_Acc_99_53, Ext_Mem_Acc_100_53, Ext_Mem_Acc_25_61, Ext_Mem_Acc_24_61, Ext_Mem_Acc_68_60, Ext_Mem_Acc_69_60, Ext_Mem_Acc_79_60, Ext_Mem_Acc_78_60, Ext_Mem_Acc_72_62, Ext_Mem_Acc_73_62, Ext_Mem_Acc_24_62, Ext_Mem_Acc_23_62, Ext_Mem_Acc_68_58, Ext_Mem_Acc_69_58, Ext_Mem_Acc_88_57, Ext_Mem_Acc_87_57, Ext_Mem_Acc_81_59, Ext_Mem_Acc_82_59, Ext_Mem_Acc_36_60, Ext_Mem_Acc_35_60, Ext_Mem_Acc_49_59, Ext_Mem_Acc_63_59, Ext_Mem_Acc_43_67, Ext_Mem_Acc_42_67, Ext_Mem_Acc_91_67, Ext_Mem_Acc_92_67, Ext_Mem_Acc_98_65, Ext_Mem_Acc_97_65, Ext_Mem_Acc_83_65, Ext_Mem_Acc_84_65, Ext_Mem_Acc_40_66, Ext_Mem_Acc_39_66, Ext_Mem_Acc_70_64, Ext_Mem_Acc_71_64, Ext_Mem_Acc_42_65, Ext_Mem_Acc_43_65, Ext_Mem_Acc_56_63, Ext_Mem_Acc_57_63, Ext_Mem_Acc_15_63, Ext_Mem_Acc_14_63, Ext_Mem_Acc_95_63, Ext_Mem_Acc_96_63, Ext_Mem_Acc_55_72, Ext_Mem_Acc_56_72, Ext_Mem_Acc_3_73, Ext_Mem_Acc_2_73, Ext_Mem_Acc_93_70, Ext_Mem_Acc_92_70, Ext_Mem_Acc_38_71, Ext_Mem_Acc_39_71, Ext_Mem_Acc_94_71, Ext_Mem_Acc_95_71, Ext_Mem_Acc_9_70, Ext_Mem_Acc_8_70, Ext_Mem_Acc_16_70, Ext_Mem_Acc_17_70, Ext_Mem_Acc_45_68, Ext_Mem_Acc_46_68, Ext_Mem_Acc_61_68, Ext_Mem_Acc_2_69, Ext_Mem_Acc_18_69, Ext_Mem_Acc_25_69, Ext_Mem_Acc_92_77, Ext_Mem_Acc_5_78, Ext_Mem_Acc_85_77, Ext_Mem_Acc_88_77, Ext_Mem_Acc_96_76, Ext_Mem_Acc_22_77, Ext_Mem_Acc_39_76, Ext_Mem_Acc_42_76, Ext_Mem_Acc_26_76, Ext_Mem_Acc_15_76, Ext_Mem_Acc_62_75, Ext_Mem_Acc_57_75, Ext_Mem_Acc_13_75, Ext_Mem_Acc_85_74, Ext_Mem_Acc_48_74, Ext_Mem_Acc_47_74, Ext_Mem_Acc_99_73, Ext_Mem_Acc_100_73, Ext_Mem_Acc_38_73, Ext_Mem_Acc_41_73, Ext_Mem_Acc_52_83, Ext_Mem_Acc_53_83, Ext_Mem_Acc_67_82, Ext_Mem_Acc_79_82, Ext_Mem_Acc_4_82, Ext_Mem_Acc_9_82, Ext_Mem_Acc_22_81, Ext_Mem_Acc_21_81, Ext_Mem_Acc_69_81, Ext_Mem_Acc_62_81, Ext_Mem_Acc_10_81, Ext_Mem_Acc_84_80, Ext_Mem_Acc_37_80, Ext_Mem_Acc_36_80, Ext_Mem_Acc_35_79, Ext_Mem_Acc_34_79, Ext_Mem_Acc_76_78, Ext_Mem_Acc_77_78, Ext_Mem_Acc_90_78, Ext_Mem_Acc_89_78, Ext_Mem_Acc_72_89, Ext_Mem_Acc_71_89, Ext_Mem_Acc_93_88, Ext_Mem_Acc_90_88, Ext_Mem_Acc_33_91, Ext_Mem_Acc_34_91, Ext_Mem_Acc_51_90, Ext_Mem_Acc_54_90, Ext_Mem_Acc_63_92, Ext_Mem_Acc_62_92, Ext_Mem_Acc_18_92, Ext_Mem_Acc_19_92, Ext_Mem_Acc_76_91, Ext_Mem_Acc_79_91, Ext_Mem_Acc_80_93, Ext_Mem_Acc_79_93, Ext_Mem_Acc_24_93, Ext_Mem_Acc_23_93, Ext_Mem_Acc_40_84, Ext_Mem_Acc_37_84, Ext_Mem_Acc_98_84, Ext_Mem_Acc_1_85, Ext_Mem_Acc_18_84, Ext_Mem_Acc_19_84, Ext_Mem_Acc_12_86, Ext_Mem_Acc_11_86, Ext_Mem_Acc_32_85, Ext_Mem_Acc_33_85, Ext_Mem_Acc_25_87, Ext_Mem_Acc_24_87, Ext_Mem_Acc_38_87, Ext_Mem_Acc_39_87, Ext_Mem_Acc_92_86, Ext_Mem_Acc_65_86, Ext_Mem_Acc_85_88, Ext_Mem_Acc_86_88, Ext_Mem_Acc_72_87, Ext_Mem_Acc_75_87, Ext_Mem_Acc_61_99, Ext_Mem_Acc_62_99, Ext_Mem_Acc_42_99, Ext_Mem_Acc_41_99, Ext_Mem_Acc_93_99, Ext_Mem_Acc_16_100, Ext_Mem_Acc_76_100, Ext_Mem_Acc_73_100, Ext_Mem_Acc_51_94, Ext_Mem_Acc_52_94, Ext_Mem_Acc_95_94, Ext_Mem_Acc_93_94, Ext_Mem_Acc_51_95, Ext_Mem_Acc_50_95, Ext_Mem_Acc_100_95, Ext_Mem_Acc_8_96, Ext_Mem_Acc_56_96, Ext_Mem_Acc_49_96, Ext_Mem_Acc_26_97, Ext_Mem_Acc_17_97, Ext_Mem_Acc_37_97, Ext_Mem_Acc_30_97, Ext_Mem_Acc_26_98, Ext_Mem_Acc_95_97, Ext_Mem_Acc_82_98, Ext_Mem_Acc_75_98, Ext_Mem_Acc_91_98, Ext_Mem_Acc_7_99]
[2023-03-21 06:41:23] [INFO ] Parsed PT model containing 10301 places and 20100 transitions and 80000 arcs in 1230 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 434 ms.
Support contains 10301 out of 10301 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 94 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
// Phase 1: matrix 20100 rows 10301 cols
[2023-03-21 06:42:18] [INFO ] Computed 201 place invariants in 3539 ms
[2023-03-21 06:42:21] [INFO ] Implicit Places using invariants in 6685 ms returned []
Implicit Place search using SMT only with invariants took 6725 ms to find 0 implicit places.
[2023-03-21 06:42:21] [INFO ] Invariant cache hit.
[2023-03-21 06:42:24] [INFO ] Dead Transitions using invariants and state equation in 2284 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9111 ms. Remains : 10301/10301 places, 20100/20100 transitions.
Support contains 10301 out of 10301 places after structural reductions.
[2023-03-21 06:42:27] [INFO ] Flatten gal took : 1723 ms
[2023-03-21 06:42:35] [INFO ] Flatten gal took : 1824 ms
[2023-03-21 06:42:44] [INFO ] Input system was already deterministic with 20100 transitions.
Interrupted random walk after 5209 steps, including 1 resets, run timeout after 30021 ms. (steps per millisecond=0 ) properties seen 43
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 19) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 19) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 19) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 19) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 19) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 19) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 19) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 18) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 18) seen :0
Running SMT prover for 18 properties.
[2023-03-21 06:43:15] [INFO ] Invariant cache hit.
[2023-03-21 06:43:23] [INFO ] [Real]Absence check using 201 positive place invariants in 987 ms returned sat
[2023-03-21 06:43:40] [INFO ] After 14062ms SMT Verify possible using state equation in real domain returned unsat :1 sat :8 real:7
[2023-03-21 06:43:40] [INFO ] After 14128ms SMT Verify possible using trap constraints in real domain returned unsat :1 sat :8 real:7
Attempting to minimize the solution found.
Minimization took 7 ms.
[2023-03-21 06:43:40] [INFO ] After 25098ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :8 real:7
[2023-03-21 06:43:47] [INFO ] [Nat]Absence check using 201 positive place invariants in 752 ms returned sat
[2023-03-21 06:44:05] [INFO ] After 15565ms SMT Verify possible using state equation in natural domain returned unsat :2 sat :15
[2023-03-21 06:44:05] [INFO ] After 15567ms SMT Verify possible using trap constraints in natural domain returned unsat :2 sat :15
Attempting to minimize the solution found.
Minimization took 7 ms.
[2023-03-21 06:44:05] [INFO ] After 25028ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :15
Fused 18 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 18 out of 10301 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Drop transitions removed 9882 transitions
Trivial Post-agglo rules discarded 9882 transitions
Performed 9882 trivial Post agglomeration. Transition count delta: 9882
Iterating post reduction 0 with 9882 rules applied. Total rules applied 9882 place count 10301 transition count 10218
Discarding 252 places :
Also discarding 238 output transitions
Drop transitions removed 238 transitions
Remove reverse transitions (loop back) rule discarded transition t18460 and 252 places that fell out of Prefix Of Interest.
Drop transitions removed 8330 transitions
Ensure Unique test removed 1299 transitions
Reduce isomorphic transitions removed 9629 transitions.
Graph (trivial) has 45 edges and 84 vertex of which 26 / 84 are part of one of the 13 SCC in 5 ms
Free SCC test removed 13 places
Iterating post reduction 1 with 9631 rules applied. Total rules applied 19513 place count 71 transition count 351
Drop transitions removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 2 with 26 rules applied. Total rules applied 19539 place count 71 transition count 325
Performed 13 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 13 Pre rules applied. Total rules applied 19539 place count 71 transition count 312
Deduced a syphon composed of 13 places in 0 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 3 with 26 rules applied. Total rules applied 19565 place count 58 transition count 312
Drop transitions removed 220 transitions
Reduce isomorphic transitions removed 220 transitions.
Iterating post reduction 3 with 220 rules applied. Total rules applied 19785 place count 58 transition count 92
Drop transitions removed 44 transitions
Redundant transition composition rules discarded 44 transitions
Iterating global reduction 4 with 44 rules applied. Total rules applied 19829 place count 58 transition count 48
Ensure Unique test removed 8 places
Iterating post reduction 4 with 8 rules applied. Total rules applied 19837 place count 50 transition count 48
Free-agglomeration rule applied 6 times.
Iterating global reduction 5 with 6 rules applied. Total rules applied 19843 place count 50 transition count 42
Reduce places removed 6 places and 0 transitions.
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 12 rules applied. Total rules applied 19855 place count 44 transition count 36
Ensure Unique test removed 5 places
Iterating post reduction 6 with 5 rules applied. Total rules applied 19860 place count 39 transition count 36
Applied a total of 19860 rules in 675 ms. Remains 39 /10301 variables (removed 10262) and now considering 36/20100 (removed 20064) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 675 ms. Remains : 39/10301 places, 36/20100 transitions.
Finished random walk after 79 steps, including 0 resets, run visited all 16 properties in 5 ms. (steps per millisecond=15 )
Successfully simplified 2 atomic propositions for a total of 16 simplifications.
[2023-03-21 06:44:21] [INFO ] Flatten gal took : 1117 ms
[2023-03-21 06:44:28] [INFO ] Flatten gal took : 1391 ms
[2023-03-21 06:44:36] [INFO ] Input system was already deterministic with 20100 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 43 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:44:46] [INFO ] Invariant cache hit.
[2023-03-21 06:44:48] [INFO ] Implicit Places using invariants in 2279 ms returned []
Implicit Place search using SMT only with invariants took 2280 ms to find 0 implicit places.
[2023-03-21 06:44:48] [INFO ] Invariant cache hit.
[2023-03-21 06:44:50] [INFO ] Dead Transitions using invariants and state equation in 2271 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4601 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:44:51] [INFO ] Flatten gal took : 725 ms
[2023-03-21 06:44:52] [INFO ] Flatten gal took : 762 ms
[2023-03-21 06:44:54] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:44:55] [INFO ] Flatten gal took : 935 ms
[2023-03-21 06:44:56] [INFO ] Flatten gal took : 1018 ms
[2023-03-21 06:44:57] [INFO ] Time to serialize gal into /tmp/CTLFireability12143344593977005313.gal : 251 ms
[2023-03-21 06:44:57] [INFO ] Time to serialize properties into /tmp/CTLFireability16963434704947682340.ctl : 161 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12143344593977005313.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16963434704947682340.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:45:28] [INFO ] Flatten gal took : 841 ms
[2023-03-21 06:45:28] [INFO ] Applying decomposition
[2023-03-21 06:45:29] [INFO ] Flatten gal took : 794 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph1716628331198556935.txt' '-o' '/tmp/graph1716628331198556935.bin' '-w' '/tmp/graph1716628331198556935.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph1716628331198556935.bin' '-l' '-1' '-v' '-w' '/tmp/graph1716628331198556935.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:45:31] [INFO ] Decomposing Gal with order
[2023-03-21 06:45:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:45:37] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:45:38] [INFO ] Flatten gal took : 4068 ms
[2023-03-21 06:45:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 1082 labels/synchronizations in 958 ms.
[2023-03-21 06:45:41] [INFO ] Time to serialize gal into /tmp/CTLFireability8085466254253229975.gal : 215 ms
[2023-03-21 06:45:42] [INFO ] Time to serialize properties into /tmp/CTLFireability10249632149069692671.ctl : 71 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8085466254253229975.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10249632149069692671.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 4896 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:46:17] [INFO ] Invariant cache hit.
[2023-03-21 06:46:19] [INFO ] Implicit Places using invariants in 2252 ms returned []
Implicit Place search using SMT only with invariants took 2257 ms to find 0 implicit places.
[2023-03-21 06:46:19] [INFO ] Invariant cache hit.
[2023-03-21 06:46:21] [INFO ] Dead Transitions using invariants and state equation in 2434 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 9590 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:46:23] [INFO ] Flatten gal took : 1065 ms
[2023-03-21 06:46:24] [INFO ] Flatten gal took : 775 ms
[2023-03-21 06:46:25] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:46:26] [INFO ] Flatten gal took : 753 ms
[2023-03-21 06:46:27] [INFO ] Flatten gal took : 866 ms
[2023-03-21 06:46:27] [INFO ] Time to serialize gal into /tmp/CTLFireability11652012713674973419.gal : 103 ms
[2023-03-21 06:46:27] [INFO ] Time to serialize properties into /tmp/CTLFireability3778779950023714189.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11652012713674973419.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3778779950023714189.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:46:58] [INFO ] Flatten gal took : 753 ms
[2023-03-21 06:46:58] [INFO ] Applying decomposition
[2023-03-21 06:46:59] [INFO ] Flatten gal took : 769 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17310142994056633162.txt' '-o' '/tmp/graph17310142994056633162.bin' '-w' '/tmp/graph17310142994056633162.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17310142994056633162.bin' '-l' '-1' '-v' '-w' '/tmp/graph17310142994056633162.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:47:01] [INFO ] Decomposing Gal with order
[2023-03-21 06:47:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:47:06] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:47:07] [INFO ] Flatten gal took : 3293 ms
[2023-03-21 06:47:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 1066 labels/synchronizations in 721 ms.
[2023-03-21 06:47:09] [INFO ] Time to serialize gal into /tmp/CTLFireability12141052490960455085.gal : 141 ms
[2023-03-21 06:47:09] [INFO ] Time to serialize properties into /tmp/CTLFireability3123771007696193030.ctl : 46 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability12141052490960455085.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3123771007696193030.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 5850 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:47:45] [INFO ] Invariant cache hit.
[2023-03-21 06:47:47] [INFO ] Implicit Places using invariants in 2421 ms returned []
Implicit Place search using SMT only with invariants took 2426 ms to find 0 implicit places.
[2023-03-21 06:47:47] [INFO ] Invariant cache hit.
[2023-03-21 06:47:49] [INFO ] Dead Transitions using invariants and state equation in 2199 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 10478 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:47:50] [INFO ] Flatten gal took : 632 ms
[2023-03-21 06:47:51] [INFO ] Flatten gal took : 704 ms
[2023-03-21 06:47:52] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:47:53] [INFO ] Flatten gal took : 672 ms
[2023-03-21 06:47:53] [INFO ] Flatten gal took : 693 ms
[2023-03-21 06:47:53] [INFO ] Time to serialize gal into /tmp/CTLFireability8293020951053037209.gal : 99 ms
[2023-03-21 06:47:53] [INFO ] Time to serialize properties into /tmp/CTLFireability12624906555398212672.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability8293020951053037209.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12624906555398212672.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:48:24] [INFO ] Flatten gal took : 791 ms
[2023-03-21 06:48:24] [INFO ] Applying decomposition
[2023-03-21 06:48:25] [INFO ] Flatten gal took : 902 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6005301513025384672.txt' '-o' '/tmp/graph6005301513025384672.bin' '-w' '/tmp/graph6005301513025384672.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6005301513025384672.bin' '-l' '-1' '-v' '-w' '/tmp/graph6005301513025384672.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:48:27] [INFO ] Decomposing Gal with order
[2023-03-21 06:48:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:48:32] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:48:32] [INFO ] Flatten gal took : 2993 ms
[2023-03-21 06:48:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 1016 labels/synchronizations in 672 ms.
[2023-03-21 06:48:34] [INFO ] Time to serialize gal into /tmp/CTLFireability15872008600411074743.gal : 145 ms
[2023-03-21 06:48:34] [INFO ] Time to serialize properties into /tmp/CTLFireability11614493108460099945.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15872008600411074743.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11614493108460099945.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 4529 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:49:09] [INFO ] Invariant cache hit.
[2023-03-21 06:49:11] [INFO ] Implicit Places using invariants in 2019 ms returned []
Implicit Place search using SMT only with invariants took 2020 ms to find 0 implicit places.
[2023-03-21 06:49:11] [INFO ] Invariant cache hit.
[2023-03-21 06:49:13] [INFO ] Dead Transitions using invariants and state equation in 2164 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 8719 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:49:14] [INFO ] Flatten gal took : 707 ms
[2023-03-21 06:49:15] [INFO ] Flatten gal took : 1010 ms
[2023-03-21 06:49:16] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:49:18] [INFO ] Flatten gal took : 1087 ms
[2023-03-21 06:49:19] [INFO ] Flatten gal took : 829 ms
[2023-03-21 06:49:19] [INFO ] Time to serialize gal into /tmp/CTLFireability5839207977697385886.gal : 109 ms
[2023-03-21 06:49:19] [INFO ] Time to serialize properties into /tmp/CTLFireability8812299134548593346.ctl : 62 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5839207977697385886.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8812299134548593346.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:49:50] [INFO ] Flatten gal took : 942 ms
[2023-03-21 06:49:50] [INFO ] Applying decomposition
[2023-03-21 06:49:51] [INFO ] Flatten gal took : 859 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph5056700003492280941.txt' '-o' '/tmp/graph5056700003492280941.bin' '-w' '/tmp/graph5056700003492280941.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph5056700003492280941.bin' '-l' '-1' '-v' '-w' '/tmp/graph5056700003492280941.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:49:52] [INFO ] Decomposing Gal with order
[2023-03-21 06:49:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:49:57] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:49:58] [INFO ] Flatten gal took : 3094 ms
[2023-03-21 06:50:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 1032 labels/synchronizations in 626 ms.
[2023-03-21 06:50:00] [INFO ] Time to serialize gal into /tmp/CTLFireability2629510102385288935.gal : 127 ms
[2023-03-21 06:50:00] [INFO ] Time to serialize properties into /tmp/CTLFireability805358640776103737.ctl : 43 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2629510102385288935.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability805358640776103737.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 138 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:50:31] [INFO ] Invariant cache hit.
[2023-03-21 06:50:33] [INFO ] Implicit Places using invariants in 2365 ms returned []
Implicit Place search using SMT only with invariants took 2376 ms to find 0 implicit places.
[2023-03-21 06:50:33] [INFO ] Invariant cache hit.
[2023-03-21 06:50:35] [INFO ] Dead Transitions using invariants and state equation in 1986 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 4506 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:50:36] [INFO ] Flatten gal took : 798 ms
[2023-03-21 06:50:37] [INFO ] Flatten gal took : 678 ms
[2023-03-21 06:50:38] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:50:39] [INFO ] Flatten gal took : 693 ms
[2023-03-21 06:50:40] [INFO ] Flatten gal took : 701 ms
[2023-03-21 06:50:40] [INFO ] Time to serialize gal into /tmp/CTLFireability10403136939202700507.gal : 111 ms
[2023-03-21 06:50:40] [INFO ] Time to serialize properties into /tmp/CTLFireability12260226560996812662.ctl : 15 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability10403136939202700507.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12260226560996812662.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:51:11] [INFO ] Flatten gal took : 1044 ms
[2023-03-21 06:51:11] [INFO ] Applying decomposition
[2023-03-21 06:51:12] [INFO ] Flatten gal took : 851 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph11167166598938537022.txt' '-o' '/tmp/graph11167166598938537022.bin' '-w' '/tmp/graph11167166598938537022.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph11167166598938537022.bin' '-l' '-1' '-v' '-w' '/tmp/graph11167166598938537022.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:51:14] [INFO ] Decomposing Gal with order
[2023-03-21 06:51:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:51:19] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:51:19] [INFO ] Flatten gal took : 2999 ms
[2023-03-21 06:51:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 1108 labels/synchronizations in 812 ms.
[2023-03-21 06:51:21] [INFO ] Time to serialize gal into /tmp/CTLFireability2895780713215502713.gal : 141 ms
[2023-03-21 06:51:21] [INFO ] Time to serialize properties into /tmp/CTLFireability17908099930283650317.ctl : 18 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2895780713215502713.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17908099930283650317.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 173 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:51:52] [INFO ] Invariant cache hit.
[2023-03-21 06:51:54] [INFO ] Implicit Places using invariants in 2621 ms returned []
Implicit Place search using SMT only with invariants took 2628 ms to find 0 implicit places.
[2023-03-21 06:51:54] [INFO ] Invariant cache hit.
[2023-03-21 06:51:57] [INFO ] Dead Transitions using invariants and state equation in 2662 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 5470 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:51:58] [INFO ] Flatten gal took : 931 ms
[2023-03-21 06:51:59] [INFO ] Flatten gal took : 737 ms
[2023-03-21 06:52:00] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:52:01] [INFO ] Flatten gal took : 793 ms
[2023-03-21 06:52:02] [INFO ] Flatten gal took : 820 ms
[2023-03-21 06:52:02] [INFO ] Time to serialize gal into /tmp/CTLFireability11478159781611614724.gal : 117 ms
[2023-03-21 06:52:02] [INFO ] Time to serialize properties into /tmp/CTLFireability11658097518323836116.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability11478159781611614724.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11658097518323836116.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:52:33] [INFO ] Flatten gal took : 702 ms
[2023-03-21 06:52:33] [INFO ] Applying decomposition
[2023-03-21 06:52:34] [INFO ] Flatten gal took : 730 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph14836480494590289991.txt' '-o' '/tmp/graph14836480494590289991.bin' '-w' '/tmp/graph14836480494590289991.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph14836480494590289991.bin' '-l' '-1' '-v' '-w' '/tmp/graph14836480494590289991.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:52:35] [INFO ] Decomposing Gal with order
[2023-03-21 06:52:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:52:41] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:52:41] [INFO ] Flatten gal took : 2823 ms
[2023-03-21 06:52:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 984 labels/synchronizations in 649 ms.
[2023-03-21 06:52:43] [INFO ] Time to serialize gal into /tmp/CTLFireability4723769893325482238.gal : 148 ms
[2023-03-21 06:52:43] [INFO ] Time to serialize properties into /tmp/CTLFireability14737914635780325697.ctl : 47 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4723769893325482238.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14737914635780325697.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 47 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:53:13] [INFO ] Invariant cache hit.
[2023-03-21 06:53:15] [INFO ] Implicit Places using invariants in 2273 ms returned []
Implicit Place search using SMT only with invariants took 2297 ms to find 0 implicit places.
[2023-03-21 06:53:15] [INFO ] Invariant cache hit.
[2023-03-21 06:53:18] [INFO ] Dead Transitions using invariants and state equation in 2181 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4544 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:53:18] [INFO ] Flatten gal took : 692 ms
[2023-03-21 06:53:19] [INFO ] Flatten gal took : 867 ms
[2023-03-21 06:53:21] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:53:22] [INFO ] Flatten gal took : 725 ms
[2023-03-21 06:53:23] [INFO ] Flatten gal took : 716 ms
[2023-03-21 06:53:23] [INFO ] Time to serialize gal into /tmp/CTLFireability17856520844532598646.gal : 109 ms
[2023-03-21 06:53:23] [INFO ] Time to serialize properties into /tmp/CTLFireability6636608824906223166.ctl : 16 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17856520844532598646.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6636608824906223166.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:53:54] [INFO ] Flatten gal took : 855 ms
[2023-03-21 06:53:54] [INFO ] Applying decomposition
[2023-03-21 06:53:55] [INFO ] Flatten gal took : 730 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph1511550254677686159.txt' '-o' '/tmp/graph1511550254677686159.bin' '-w' '/tmp/graph1511550254677686159.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph1511550254677686159.bin' '-l' '-1' '-v' '-w' '/tmp/graph1511550254677686159.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:53:57] [INFO ] Decomposing Gal with order
[2023-03-21 06:53:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:54:02] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:54:02] [INFO ] Flatten gal took : 2770 ms
[2023-03-21 06:54:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 986 labels/synchronizations in 609 ms.
[2023-03-21 06:54:04] [INFO ] Time to serialize gal into /tmp/CTLFireability2647734885097680154.gal : 153 ms
[2023-03-21 06:54:04] [INFO ] Time to serialize properties into /tmp/CTLFireability11876884702904001803.ctl : 17 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2647734885097680154.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11876884702904001803.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 159 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:54:35] [INFO ] Invariant cache hit.
[2023-03-21 06:54:37] [INFO ] Implicit Places using invariants in 2420 ms returned []
Implicit Place search using SMT only with invariants took 2422 ms to find 0 implicit places.
[2023-03-21 06:54:37] [INFO ] Invariant cache hit.
[2023-03-21 06:54:40] [INFO ] Dead Transitions using invariants and state equation in 2453 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 5037 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:54:48] [INFO ] Flatten gal took : 1033 ms
[2023-03-21 06:54:49] [INFO ] Flatten gal took : 1010 ms
[2023-03-21 06:54:51] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:54:52] [INFO ] Flatten gal took : 958 ms
[2023-03-21 06:54:53] [INFO ] Flatten gal took : 955 ms
[2023-03-21 06:54:54] [INFO ] Time to serialize gal into /tmp/CTLFireability7872425167841807739.gal : 107 ms
[2023-03-21 06:54:54] [INFO ] Time to serialize properties into /tmp/CTLFireability11907426243962140.ctl : 94 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7872425167841807739.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11907426243962140.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...281
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2023-03-21 06:55:25] [INFO ] Flatten gal took : 918 ms
[2023-03-21 06:55:25] [INFO ] Applying decomposition
[2023-03-21 06:55:26] [INFO ] Flatten gal took : 969 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph15317727304789161387.txt' '-o' '/tmp/graph15317727304789161387.bin' '-w' '/tmp/graph15317727304789161387.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph15317727304789161387.bin' '-l' '-1' '-v' '-w' '/tmp/graph15317727304789161387.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:55:27] [INFO ] Decomposing Gal with order
[2023-03-21 06:55:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:55:33] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:55:34] [INFO ] Flatten gal took : 3451 ms
[2023-03-21 06:55:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 1252 labels/synchronizations in 794 ms.
[2023-03-21 06:55:36] [INFO ] Time to serialize gal into /tmp/CTLFireability17722215168770943850.gal : 113 ms
[2023-03-21 06:55:37] [INFO ] Time to serialize properties into /tmp/CTLFireability1802905280977159133.ctl : 93 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17722215168770943850.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1802905280977159133.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 4400 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:56:11] [INFO ] Invariant cache hit.
[2023-03-21 06:56:13] [INFO ] Implicit Places using invariants in 2377 ms returned []
Implicit Place search using SMT only with invariants took 2380 ms to find 0 implicit places.
[2023-03-21 06:56:13] [INFO ] Invariant cache hit.
[2023-03-21 06:56:16] [INFO ] Dead Transitions using invariants and state equation in 2426 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9214 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:56:17] [INFO ] Flatten gal took : 721 ms
[2023-03-21 06:56:17] [INFO ] Flatten gal took : 720 ms
[2023-03-21 06:56:19] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:56:20] [INFO ] Flatten gal took : 828 ms
[2023-03-21 06:56:20] [INFO ] Flatten gal took : 667 ms
[2023-03-21 06:56:20] [INFO ] Time to serialize gal into /tmp/CTLFireability5643603243572760464.gal : 160 ms
[2023-03-21 06:56:20] [INFO ] Time to serialize properties into /tmp/CTLFireability1262756005334000176.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5643603243572760464.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1262756005334000176.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:56:52] [INFO ] Flatten gal took : 1059 ms
[2023-03-21 06:56:52] [INFO ] Applying decomposition
[2023-03-21 06:56:52] [INFO ] Flatten gal took : 901 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6171169263546347392.txt' '-o' '/tmp/graph6171169263546347392.bin' '-w' '/tmp/graph6171169263546347392.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6171169263546347392.bin' '-l' '-1' '-v' '-w' '/tmp/graph6171169263546347392.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:56:54] [INFO ] Decomposing Gal with order
[2023-03-21 06:56:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:56:59] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:57:00] [INFO ] Flatten gal took : 2948 ms
[2023-03-21 06:57:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 1126 labels/synchronizations in 713 ms.
[2023-03-21 06:57:02] [INFO ] Time to serialize gal into /tmp/CTLFireability16355809989720373360.gal : 125 ms
[2023-03-21 06:57:02] [INFO ] Time to serialize properties into /tmp/CTLFireability16094688274490588550.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability16355809989720373360.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16094688274490588550.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 3818 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 06:57:35] [INFO ] Invariant cache hit.
[2023-03-21 06:57:38] [INFO ] Implicit Places using invariants in 2197 ms returned []
Implicit Place search using SMT only with invariants took 2209 ms to find 0 implicit places.
[2023-03-21 06:57:38] [INFO ] Invariant cache hit.
[2023-03-21 06:57:40] [INFO ] Dead Transitions using invariants and state equation in 1960 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7996 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:57:40] [INFO ] Flatten gal took : 589 ms
[2023-03-21 06:57:41] [INFO ] Flatten gal took : 658 ms
[2023-03-21 06:57:42] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:57:43] [INFO ] Flatten gal took : 618 ms
[2023-03-21 06:57:43] [INFO ] Flatten gal took : 647 ms
[2023-03-21 06:57:44] [INFO ] Time to serialize gal into /tmp/CTLFireability15268258119175539810.gal : 101 ms
[2023-03-21 06:57:44] [INFO ] Time to serialize properties into /tmp/CTLFireability12742654137673297214.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15268258119175539810.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12742654137673297214.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:58:14] [INFO ] Flatten gal took : 624 ms
[2023-03-21 06:58:14] [INFO ] Applying decomposition
[2023-03-21 06:58:15] [INFO ] Flatten gal took : 649 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph9915149563918651404.txt' '-o' '/tmp/graph9915149563918651404.bin' '-w' '/tmp/graph9915149563918651404.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph9915149563918651404.bin' '-l' '-1' '-v' '-w' '/tmp/graph9915149563918651404.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:58:17] [INFO ] Decomposing Gal with order
[2023-03-21 06:58:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:58:22] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 06:58:23] [INFO ] Flatten gal took : 2686 ms
[2023-03-21 06:58:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 970 labels/synchronizations in 613 ms.
[2023-03-21 06:58:24] [INFO ] Time to serialize gal into /tmp/CTLFireability18221911657414405393.gal : 152 ms
[2023-03-21 06:58:24] [INFO ] Time to serialize properties into /tmp/CTLFireability7312719166604786825.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability18221911657414405393.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7312719166604786825.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Drop transitions removed 9801 transitions
Trivial Post-agglo rules discarded 9801 transitions
Performed 9801 trivial Post agglomeration. Transition count delta: 9801
Iterating post reduction 0 with 9801 rules applied. Total rules applied 9801 place count 10301 transition count 10299
Reduce places removed 9802 places and 0 transitions.
Iterating post reduction 1 with 9802 rules applied. Total rules applied 19603 place count 499 transition count 10299
Drop transitions removed 9702 transitions
Redundant transition composition rules discarded 9702 transitions
Iterating global reduction 2 with 9702 rules applied. Total rules applied 29305 place count 499 transition count 597
Applied a total of 29305 rules in 1324 ms. Remains 499 /10301 variables (removed 9802) and now considering 597/20100 (removed 19503) transitions.
// Phase 1: matrix 597 rows 499 cols
[2023-03-21 06:58:56] [INFO ] Computed 200 place invariants in 3 ms
[2023-03-21 06:58:56] [INFO ] Implicit Places using invariants in 713 ms returned []
[2023-03-21 06:58:56] [INFO ] Invariant cache hit.
[2023-03-21 06:58:57] [INFO ] Implicit Places using invariants and state equation in 1150 ms returned []
Implicit Place search using SMT with State Equation took 1876 ms to find 0 implicit places.
[2023-03-21 06:58:57] [INFO ] Redundant transitions in 65 ms returned []
[2023-03-21 06:58:58] [INFO ] Invariant cache hit.
[2023-03-21 06:58:59] [INFO ] Dead Transitions using invariants and state equation in 1073 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 499/10301 places, 597/20100 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 4356 ms. Remains : 499/10301 places, 597/20100 transitions.
[2023-03-21 06:58:59] [INFO ] Flatten gal took : 21 ms
[2023-03-21 06:58:59] [INFO ] Flatten gal took : 23 ms
[2023-03-21 06:58:59] [INFO ] Input system was already deterministic with 597 transitions.
[2023-03-21 06:58:59] [INFO ] Flatten gal took : 22 ms
[2023-03-21 06:58:59] [INFO ] Flatten gal took : 22 ms
[2023-03-21 06:58:59] [INFO ] Time to serialize gal into /tmp/CTLFireability17983117716569379059.gal : 4 ms
[2023-03-21 06:58:59] [INFO ] Time to serialize properties into /tmp/CTLFireability11316291349848790585.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability17983117716569379059.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11316291349848790585.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 06:59:29] [INFO ] Flatten gal took : 22 ms
[2023-03-21 06:59:29] [INFO ] Applying decomposition
[2023-03-21 06:59:29] [INFO ] Flatten gal took : 13 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph8573428782708577885.txt' '-o' '/tmp/graph8573428782708577885.bin' '-w' '/tmp/graph8573428782708577885.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph8573428782708577885.bin' '-l' '-1' '-v' '-w' '/tmp/graph8573428782708577885.weights' '-q' '0' '-e' '0.001'
[2023-03-21 06:59:29] [INFO ] Decomposing Gal with order
[2023-03-21 06:59:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 06:59:29] [INFO ] Removed a total of 487 redundant transitions.
[2023-03-21 06:59:29] [INFO ] Flatten gal took : 41 ms
[2023-03-21 06:59:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 4 labels/synchronizations in 4 ms.
[2023-03-21 06:59:29] [INFO ] Time to serialize gal into /tmp/CTLFireability1214467400072433736.gal : 8 ms
[2023-03-21 06:59:29] [INFO ] Time to serialize properties into /tmp/CTLFireability4518517486883937725.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability1214467400072433736.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4518517486883937725.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.75228e+49,0.287403,8476,239,11,977,446,872,491,23,364,0
Converting to forward existential form...Done !
original formula: EG((i50.u172.Active_49==1))
=> equivalent forward existential formula: [FwdG(Init,(i50.u172.Active_49==1))] != FALSE
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Fast SCC detection found an SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Fast SCC detection found an SCC at level 52
Fast SCC detection found an SCC at level 53
Fast SCC detection found an SCC at level 54
Fast SCC detection found an SCC at level 55
Fast SCC detection found an SCC at level 56
Fast SCC detection found an SCC at level 57
Fast SCC detection found an SCC at level 58
Fast SCC detection found an SCC at level 59
Fast SCC detection found an SCC at level 60
Fast SCC detection found an SCC at level 61
Fast SCC detection found an SCC at level 62
Fast SCC detection found an SCC at level 63
Fast SCC detection found an SCC at level 64
Fast SCC detection found an SCC at level 65
Fast SCC detection found an SCC at level 66
Fast SCC detection found an SCC at level 67
Fast SCC detection found an SCC at level 68
Fast SCC detection found an SCC at level 69
Fast SCC detection found an SCC at level 70
Fast SCC detection found an SCC at level 71
Fast SCC detection found an SCC at level 72
Fast SCC detection found an SCC at level 73
Fast SCC detection found an SCC at level 74
Fast SCC detection found an SCC at level 75
Fast SCC detection found an SCC at level 76
Fast SCC detection found an SCC at level 77
Fast SCC detection found an SCC at level 78
Fast SCC detection found an SCC at level 79
Fast SCC detection found an SCC at level 80
Fast SCC detection found an SCC at level 81
Fast SCC detection found an SCC at level 82
Fast SCC detection found an SCC at level 83
Fast SCC detection found an SCC at level 84
Fast SCC detection found an SCC at level 85
Fast SCC detection found an SCC at level 86
Fast SCC detection found an SCC at level 87
Fast SCC detection found an SCC at level 88
Fast SCC detection found an SCC at level 89
Fast SCC detection found an SCC at level 90
Fast SCC detection found an SCC at level 91
Fast SCC detection found an SCC at level 92
Fast SCC detection found an SCC at level 93
Fast SCC detection found an SCC at level 94
Fast SCC detection found an SCC at level 95
Fast SCC detection found an SCC at level 96
(forward)formula 0,1,0.668146,9512,1,0,2865,446,4282,1955,80,364,15755
FORMULA SharedMemory-PT-000100-CTLFireability-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Drop transitions removed 9899 transitions
Trivial Post-agglo rules discarded 9899 transitions
Performed 9899 trivial Post agglomeration. Transition count delta: 9899
Iterating post reduction 0 with 9899 rules applied. Total rules applied 9899 place count 10301 transition count 10201
Reduce places removed 9998 places and 0 transitions.
Ensure Unique test removed 9701 transitions
Reduce isomorphic transitions removed 9701 transitions.
Graph (trivial) has 299 edges and 303 vertex of which 198 / 303 are part of one of the 99 SCC in 0 ms
Free SCC test removed 99 places
Iterating post reduction 1 with 19700 rules applied. Total rules applied 29599 place count 204 transition count 500
Ensure Unique test removed 99 transitions
Reduce isomorphic transitions removed 99 transitions.
Iterating post reduction 2 with 99 rules applied. Total rules applied 29698 place count 204 transition count 401
Drop transitions removed 98 transitions
Redundant transition composition rules discarded 98 transitions
Iterating global reduction 3 with 98 rules applied. Total rules applied 29796 place count 204 transition count 303
Applied a total of 29796 rules in 337 ms. Remains 204 /10301 variables (removed 10097) and now considering 303/20100 (removed 19797) transitions.
[2023-03-21 06:59:30] [INFO ] Flow matrix only has 205 transitions (discarded 98 similar events)
// Phase 1: matrix 205 rows 204 cols
[2023-03-21 06:59:30] [INFO ] Computed 102 place invariants in 1 ms
[2023-03-21 06:59:30] [INFO ] Implicit Places using invariants in 461 ms returned []
[2023-03-21 06:59:30] [INFO ] Flow matrix only has 205 transitions (discarded 98 similar events)
[2023-03-21 06:59:30] [INFO ] Invariant cache hit.
[2023-03-21 06:59:31] [INFO ] Implicit Places using invariants and state equation in 339 ms returned []
Implicit Place search using SMT with State Equation took 803 ms to find 0 implicit places.
[2023-03-21 06:59:31] [INFO ] Redundant transitions in 6 ms returned []
[2023-03-21 06:59:31] [INFO ] Flow matrix only has 205 transitions (discarded 98 similar events)
[2023-03-21 06:59:31] [INFO ] Invariant cache hit.
[2023-03-21 06:59:31] [INFO ] Dead Transitions using invariants and state equation in 428 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 204/10301 places, 303/20100 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1584 ms. Remains : 204/10301 places, 303/20100 transitions.
[2023-03-21 06:59:31] [INFO ] Flatten gal took : 7 ms
[2023-03-21 06:59:31] [INFO ] Flatten gal took : 6 ms
[2023-03-21 06:59:31] [INFO ] Input system was already deterministic with 303 transitions.
[2023-03-21 06:59:31] [INFO ] Flatten gal took : 7 ms
[2023-03-21 06:59:31] [INFO ] Flatten gal took : 8 ms
[2023-03-21 06:59:31] [INFO ] Time to serialize gal into /tmp/CTLFireability4208291697849269320.gal : 3 ms
[2023-03-21 06:59:31] [INFO ] Time to serialize properties into /tmp/CTLFireability1388431021811708427.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability4208291697849269320.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1388431021811708427.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.85221e+30,0.104332,5296,2,384,5,8490,6,0,1023,1363,0
Converting to forward existential form...Done !
original formula: EG((Ext_Mem_Acc_14_45==0))
=> equivalent forward existential formula: [FwdG(Init,(Ext_Mem_Acc_14_45==0))] != FALSE
Hit Full ! (commute/partial/dont) 301/0/2
(forward)formula 0,1,0.430128,10576,1,0,6,39402,19,1,4737,3133,8
FORMULA SharedMemory-PT-000100-CTLFireability-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Formula is TRUE !
***************************************
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 4224 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
// Phase 1: matrix 20100 rows 10301 cols
[2023-03-21 06:59:39] [INFO ] Computed 201 place invariants in 3249 ms
[2023-03-21 06:59:41] [INFO ] Implicit Places using invariants in 5294 ms returned []
Implicit Place search using SMT only with invariants took 5309 ms to find 0 implicit places.
[2023-03-21 06:59:41] [INFO ] Invariant cache hit.
[2023-03-21 06:59:44] [INFO ] Dead Transitions using invariants and state equation in 2424 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 11997 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 06:59:45] [INFO ] Flatten gal took : 865 ms
[2023-03-21 06:59:45] [INFO ] Flatten gal took : 726 ms
[2023-03-21 06:59:47] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 06:59:47] [INFO ] Flatten gal took : 634 ms
[2023-03-21 06:59:48] [INFO ] Flatten gal took : 667 ms
[2023-03-21 06:59:48] [INFO ] Time to serialize gal into /tmp/CTLFireability2423605168100196688.gal : 111 ms
[2023-03-21 06:59:48] [INFO ] Time to serialize properties into /tmp/CTLFireability1547214596401513580.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2423605168100196688.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1547214596401513580.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 07:00:19] [INFO ] Flatten gal took : 795 ms
[2023-03-21 07:00:19] [INFO ] Applying decomposition
[2023-03-21 07:00:20] [INFO ] Flatten gal took : 862 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph17986765900543293430.txt' '-o' '/tmp/graph17986765900543293430.bin' '-w' '/tmp/graph17986765900543293430.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph17986765900543293430.bin' '-l' '-1' '-v' '-w' '/tmp/graph17986765900543293430.weights' '-q' '0' '-e' '0.001'
[2023-03-21 07:00:21] [INFO ] Decomposing Gal with order
[2023-03-21 07:00:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 07:00:26] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 07:00:27] [INFO ] Flatten gal took : 2722 ms
[2023-03-21 07:00:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 950 labels/synchronizations in 634 ms.
[2023-03-21 07:00:28] [INFO ] Time to serialize gal into /tmp/CTLFireability2800798210988571668.gal : 147 ms
[2023-03-21 07:00:28] [INFO ] Time to serialize properties into /tmp/CTLFireability18112235915728180562.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2800798210988571668.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18112235915728180562.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 5518 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 07:01:04] [INFO ] Invariant cache hit.
[2023-03-21 07:01:06] [INFO ] Implicit Places using invariants in 2271 ms returned []
Implicit Place search using SMT only with invariants took 2274 ms to find 0 implicit places.
[2023-03-21 07:01:06] [INFO ] Invariant cache hit.
[2023-03-21 07:01:09] [INFO ] Dead Transitions using invariants and state equation in 2537 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10337 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 07:01:10] [INFO ] Flatten gal took : 862 ms
[2023-03-21 07:01:10] [INFO ] Flatten gal took : 672 ms
[2023-03-21 07:01:12] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 07:01:12] [INFO ] Flatten gal took : 627 ms
[2023-03-21 07:01:13] [INFO ] Flatten gal took : 651 ms
[2023-03-21 07:01:13] [INFO ] Time to serialize gal into /tmp/CTLFireability7313337475163550884.gal : 105 ms
[2023-03-21 07:01:13] [INFO ] Time to serialize properties into /tmp/CTLFireability1072650070495813057.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7313337475163550884.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1072650070495813057.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 07:01:44] [INFO ] Flatten gal took : 620 ms
[2023-03-21 07:01:44] [INFO ] Applying decomposition
[2023-03-21 07:01:44] [INFO ] Flatten gal took : 742 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph7654299910726028967.txt' '-o' '/tmp/graph7654299910726028967.bin' '-w' '/tmp/graph7654299910726028967.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph7654299910726028967.bin' '-l' '-1' '-v' '-w' '/tmp/graph7654299910726028967.weights' '-q' '0' '-e' '0.001'
[2023-03-21 07:01:46] [INFO ] Decomposing Gal with order
[2023-03-21 07:01:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 07:01:52] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 07:01:52] [INFO ] Flatten gal took : 3299 ms
[2023-03-21 07:01:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 1032 labels/synchronizations in 656 ms.
[2023-03-21 07:01:54] [INFO ] Time to serialize gal into /tmp/CTLFireability9534295880198266268.gal : 143 ms
[2023-03-21 07:01:54] [INFO ] Time to serialize properties into /tmp/CTLFireability5470279271568967351.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability9534295880198266268.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5470279271568967351.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 3488 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 07:02:28] [INFO ] Invariant cache hit.
[2023-03-21 07:02:30] [INFO ] Implicit Places using invariants in 1978 ms returned []
Implicit Place search using SMT only with invariants took 1989 ms to find 0 implicit places.
[2023-03-21 07:02:30] [INFO ] Invariant cache hit.
[2023-03-21 07:02:32] [INFO ] Dead Transitions using invariants and state equation in 2346 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7825 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 07:02:33] [INFO ] Flatten gal took : 731 ms
[2023-03-21 07:02:34] [INFO ] Flatten gal took : 1113 ms
[2023-03-21 07:02:36] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 07:02:36] [INFO ] Flatten gal took : 635 ms
[2023-03-21 07:02:37] [INFO ] Flatten gal took : 660 ms
[2023-03-21 07:02:37] [INFO ] Time to serialize gal into /tmp/CTLFireability13795235638420975672.gal : 107 ms
[2023-03-21 07:02:37] [INFO ] Time to serialize properties into /tmp/CTLFireability12374545859478027761.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13795235638420975672.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12374545859478027761.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 07:03:08] [INFO ] Flatten gal took : 840 ms
[2023-03-21 07:03:08] [INFO ] Applying decomposition
[2023-03-21 07:03:09] [INFO ] Flatten gal took : 896 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph10427561913431250931.txt' '-o' '/tmp/graph10427561913431250931.bin' '-w' '/tmp/graph10427561913431250931.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph10427561913431250931.bin' '-l' '-1' '-v' '-w' '/tmp/graph10427561913431250931.weights' '-q' '0' '-e' '0.001'
[2023-03-21 07:03:11] [INFO ] Decomposing Gal with order
[2023-03-21 07:03:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 07:03:16] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 07:03:17] [INFO ] Flatten gal took : 2721 ms
[2023-03-21 07:03:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 1196 labels/synchronizations in 747 ms.
[2023-03-21 07:03:18] [INFO ] Time to serialize gal into /tmp/CTLFireability6115203467745431923.gal : 144 ms
[2023-03-21 07:03:18] [INFO ] Time to serialize properties into /tmp/CTLFireability10279307361503634113.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability6115203467745431923.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10279307361503634113.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 10301/10301 places, 20100/20100 transitions.
Applied a total of 0 rules in 3499 ms. Remains 10301 /10301 variables (removed 0) and now considering 20100/20100 (removed 0) transitions.
[2023-03-21 07:03:52] [INFO ] Invariant cache hit.
[2023-03-21 07:03:54] [INFO ] Implicit Places using invariants in 1925 ms returned []
Implicit Place search using SMT only with invariants took 1929 ms to find 0 implicit places.
[2023-03-21 07:03:54] [INFO ] Invariant cache hit.
[2023-03-21 07:03:56] [INFO ] Dead Transitions using invariants and state equation in 2418 ms found 0 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7852 ms. Remains : 10301/10301 places, 20100/20100 transitions.
[2023-03-21 07:03:57] [INFO ] Flatten gal took : 911 ms
[2023-03-21 07:03:58] [INFO ] Flatten gal took : 640 ms
[2023-03-21 07:03:59] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 07:04:00] [INFO ] Flatten gal took : 617 ms
[2023-03-21 07:04:00] [INFO ] Flatten gal took : 643 ms
[2023-03-21 07:04:00] [INFO ] Time to serialize gal into /tmp/CTLFireability13056457386846135052.gal : 101 ms
[2023-03-21 07:04:00] [INFO ] Time to serialize properties into /tmp/CTLFireability7047562044189125275.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability13056457386846135052.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7047562044189125275.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 07:04:31] [INFO ] Flatten gal took : 621 ms
[2023-03-21 07:04:31] [INFO ] Applying decomposition
[2023-03-21 07:04:32] [INFO ] Flatten gal took : 638 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph16130523333771872271.txt' '-o' '/tmp/graph16130523333771872271.bin' '-w' '/tmp/graph16130523333771872271.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph16130523333771872271.bin' '-l' '-1' '-v' '-w' '/tmp/graph16130523333771872271.weights' '-q' '0' '-e' '0.001'
[2023-03-21 07:04:33] [INFO ] Decomposing Gal with order
[2023-03-21 07:04:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 07:04:38] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 07:04:38] [INFO ] Flatten gal took : 2696 ms
[2023-03-21 07:04:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 1128 labels/synchronizations in 693 ms.
[2023-03-21 07:04:40] [INFO ] Time to serialize gal into /tmp/CTLFireability2642424668811525313.gal : 124 ms
[2023-03-21 07:04:40] [INFO ] Time to serialize properties into /tmp/CTLFireability5109429186711934903.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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2642424668811525313.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5109429186711934903.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/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.
[2023-03-21 07:05:12] [INFO ] Flatten gal took : 1488 ms
[2023-03-21 07:05:19] [INFO ] Flatten gal took : 1398 ms
[2023-03-21 07:05:26] [INFO ] Applying decomposition
[2023-03-21 07:05:27] [INFO ] Flatten gal took : 1806 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/convert-linux64' '-i' '/tmp/graph6475098654984165023.txt' '-o' '/tmp/graph6475098654984165023.bin' '-w' '/tmp/graph6475098654984165023.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202303021504/bin/louvain-linux64' '/tmp/graph6475098654984165023.bin' '-l' '-1' '-v' '-w' '/tmp/graph6475098654984165023.weights' '-q' '0' '-e' '0.001'
[2023-03-21 07:05:30] [INFO ] Decomposing Gal with order
[2023-03-21 07:05:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 07:05:36] [INFO ] Removed a total of 39002 redundant transitions.
[2023-03-21 07:05:38] [INFO ] Flatten gal took : 3871 ms
[2023-03-21 07:05:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 1176 labels/synchronizations in 711 ms.
[2023-03-21 07:05:40] [INFO ] Time to serialize gal into /tmp/CTLFireability5180188584514291009.gal : 198 ms
[2023-03-21 07:05:41] [INFO ] Time to serialize properties into /tmp/CTLFireability3102582358427523308.ctl : 419 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability5180188584514291009.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3102582358427523308.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.70126e+51,162.735,2134092,36814,6176,2.83924e+06,129255,41540,4.86128e+06,1095,2.27782e+06,0
Converting to forward existential form...Done !
original formula: E(!(AF(((AX(((((((((u89.Active_30==1)||(u187.Active_97==1))||((u92.Active_25==1)||(u185.Active_93==1)))||(((u172.Active_38==1)||(i65.u85....1009908
=> equivalent forward existential formula: ([(FwdU(Init,!(!(EG(!(((!(EX(!(((((((((u89.Active_30==1)||(u187.Active_97==1))||((u92.Active_25==1)||(u185.Activ...2012855
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Using saturation style SCC detection
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 69
Fast SCC detection found an SCC at level 71
Fast SCC detection found an SCC at level 73
Fast SCC detection found an SCC at level 74
Fast SCC detection found an SCC at level 75
Fast SCC detection found an SCC at level 76
Fast SCC detection found an SCC at level 77
Fast SCC detection found an SCC at level 78
Fast SCC detection found an SCC at level 79
Fast SCC detection found an SCC at level 81
Fast SCC detection found an SCC at level 83
Fast SCC detection found an SCC at level 84
Fast SCC detection found an SCC at level 85
Fast SCC detection found an SCC at level 86
Fast SCC detection found an SCC at level 87
Fast SCC detection found an SCC at level 88
Fast SCC detection found an SCC at level 89
Fast SCC detection found an SCC at level 91
Fast SCC detection found an SCC at level 92
Fast SCC detection found an SCC at level 93
Fast SCC detection found an SCC at level 94
Fast SCC detection found an SCC at level 95
Fast SCC detection found an SCC at level 96
Fast SCC detection found an SCC at level 97
Fast SCC detection found an SCC at level 98
Fast SCC detection found an SCC at level 99
Fast SCC detection found an SCC at level 100
Fast SCC detection found an SCC at level 101
Fast SCC detection found an SCC at level 102
Fast SCC detection found an SCC at level 103
Fast SCC detection found an SCC at level 104
Fast SCC detection found an SCC at level 105
Fast SCC detection found an SCC at level 106
Fast SCC detection found an SCC at level 107
Fast SCC detection found an SCC at level 108
Fast SCC detection found an SCC at level 109
Fast SCC detection found an SCC at level 110
Fast SCC detection found an SCC at level 111
Fast SCC detection found an SCC at level 112
Fast SCC detection found an SCC at level 113
Fast SCC detection found an SCC at level 114
Fast SCC detection found an SCC at level 115
Fast SCC detection found an SCC at level 116
Fast SCC detection found an SCC at level 117
Fast SCC detection found an SCC at level 118
Fast SCC detection found an SCC at level 119
Fast SCC detection found an SCC at level 120
Fast SCC detection found an SCC at level 121
Fast SCC detection found an SCC at level 122
Fast SCC detection found an SCC at level 123
Fast SCC detection found an SCC at level 124
Fast SCC detection found an SCC at level 125
Fast SCC detection found an SCC at level 126
Fast SCC detection found an SCC at level 127
Fast SCC detection found an SCC at level 128
Fast SCC detection found an SCC at level 129
Fast SCC detection found an SCC at level 130
Fast SCC detection found an SCC at level 131
Fast SCC detection found an SCC at level 132
Fast SCC detection found an SCC at level 133
Fast SCC detection found an SCC at level 134
Fast SCC detection found an SCC at level 135
Fast SCC detection found an SCC at level 136
Fast SCC detection found an SCC at level 137
Fast SCC detection found an SCC at level 138
Fast SCC detection found an SCC at level 139
Fast SCC detection found an SCC at level 140
Fast SCC detection found an SCC at level 141
Fast SCC detection found an SCC at level 142
Fast SCC detection found an SCC at level 143
Fast SCC detection found an SCC at level 144
Fast SCC detection found an SCC at level 145
Fast SCC detection found an SCC at level 146
Fast SCC detection found an SCC at level 147
Fast SCC detection found an SCC at level 148
Fast SCC detection found an SCC at level 149
Fast SCC detection found an SCC at level 150
Fast SCC detection found an SCC at level 151
Fast SCC detection found an SCC at level 152
Fast SCC detection found an SCC at level 153
Fast SCC detection found an SCC at level 154
Fast SCC detection found an SCC at level 155
Fast SCC detection found an SCC at level 156
Fast SCC detection found an SCC at level 157
Fast SCC detection found an SCC at level 158
Fast SCC detection found an SCC at level 159
Fast SCC detection found an SCC at level 160
Fast SCC detection found an SCC at level 161
Fast SCC detection found an SCC at level 162
Fast SCC detection found an SCC at level 163
Fast SCC detection found an SCC at level 164
Fast SCC detection found an SCC at level 165
Fast SCC detection found an SCC at level 166
Fast SCC detection found an SCC at level 167
Fast SCC detection found an SCC at level 168
Fast SCC detection found an SCC at level 169
Fast SCC detection found an SCC at level 170
Fast SCC detection found an SCC at level 171
Fast SCC detection found an SCC at level 172
Fast SCC detection found an SCC at level 173
Fast SCC detection found an SCC at level 174
Fast SCC detection found an SCC at level 175
Fast SCC detection found an SCC at level 176
Fast SCC detection found an SCC at level 177
Fast SCC detection found an SCC at level 178
Fast SCC detection found an SCC at level 179
Fast SCC detection found an SCC at level 180
Fast SCC detection found an SCC at level 181
Fast SCC detection found an SCC at level 182
Fast SCC detection found an SCC at level 183
Fast SCC detection found an SCC at level 184
Fast SCC detection found an SCC at level 185
ITS-tools command line returned an error code 137
[2023-03-21 07:16:45] [INFO ] Applying decomposition
[2023-03-21 07:16:48] [INFO ] Flatten gal took : 2603 ms
[2023-03-21 07:16:49] [INFO ] Decomposing Gal with order
[2023-03-21 07:16:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2023-03-21 07:22:25] [INFO ] Removed a total of 39958 redundant transitions.
[2023-03-21 07:22:33] [INFO ] Flatten gal took : 341182 ms
[2023-03-21 07:22:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 83 ms.
[2023-03-21 07:22:41] [INFO ] Time to serialize gal into /tmp/CTLFireability2553471778591822905.gal : 135 ms
[2023-03-21 07:22:42] [INFO ] Time to serialize properties into /tmp/CTLFireability16366964114071343779.ctl : 422 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability2553471778591822905.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16366964114071343779.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
ITS-tools command line returned an error code 137
[2023-03-21 07:34:04] [INFO ] Flatten gal took : 1904 ms
[2023-03-21 07:34:13] [INFO ] Input system was already deterministic with 20100 transitions.
[2023-03-21 07:34:14] [INFO ] Transformed 10301 places.
[2023-03-21 07:34:14] [INFO ] Transformed 20100 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2023-03-21 07:34:54] [INFO ] Time to serialize gal into /tmp/CTLFireability15903765177555308511.gal : 151 ms
[2023-03-21 07:34:54] [INFO ] Time to serialize properties into /tmp/CTLFireability295877685172807218.ctl : 293 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.202303021504/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability15903765177555308511.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability295877685172807218.ctl' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...328
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6769708 kB
After kill :
MemTotal: 16393216 kB
MemFree: 11026344 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SharedMemory-PT-000100"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is SharedMemory-PT-000100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r357-smll-167891806900690"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SharedMemory-PT-000100.tgz
mv SharedMemory-PT-000100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;