About the Execution of ITS-Tools for HexagonalGrid-PT-816
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16215.787 | 3600000.00 | 3408762.00 | 118288.60 | ?FT?????T?T????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r114-smll-165264477400257.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is HexagonalGrid-PT-816, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r114-smll-165264477400257
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 8.1K Apr 29 11:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Apr 29 11:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Apr 29 11:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 29 11:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K May 9 08:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 9 08:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 9 08:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 9 08:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 9 08:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rwxr-xr-x 1 mcc users 2.6M May 10 09:34 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 HexagonalGrid-PT-816-CTLCardinality-00
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-01
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-02
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-03
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-04
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-05
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-06
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-07
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-08
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-09
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-10
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-11
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-12
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-13
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-14
FORMULA_NAME HexagonalGrid-PT-816-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1652725636628
Running Version 202205111006
[2022-05-16 18:27:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-16 18:27:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-16 18:27:20] [INFO ] Load time of PNML (sax parser for PT used): 800 ms
[2022-05-16 18:27:20] [INFO ] Transformed 3391 places.
[2022-05-16 18:27:20] [INFO ] Transformed 6174 transitions.
[2022-05-16 18:27:20] [INFO ] Parsed PT model containing 3391 places and 6174 transitions in 1086 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 26 ms.
Support contains 166 out of 3391 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 832 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:27:21] [INFO ] Computed 1274 place invariants in 463 ms
[2022-05-16 18:27:26] [INFO ] Implicit Places using invariants in 5241 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:27:26] [INFO ] Computed 1274 place invariants in 224 ms
[2022-05-16 18:27:31] [INFO ] Implicit Places using invariants and state equation in 5240 ms returned []
Implicit Place search using SMT with State Equation took 10531 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:27:31] [INFO ] Computed 1274 place invariants in 155 ms
[2022-05-16 18:27:38] [INFO ] Dead Transitions using invariants and state equation in 6671 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
Support contains 166 out of 3391 places after structural reductions.
[2022-05-16 18:27:39] [INFO ] Flatten gal took : 719 ms
[2022-05-16 18:27:40] [INFO ] Flatten gal took : 365 ms
[2022-05-16 18:27:41] [INFO ] Input system was already deterministic with 6174 transitions.
Support contains 164 out of 3391 places (down from 166) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 3597 ms. (steps per millisecond=2 ) properties (out of 96) seen :44
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 1001 steps, including 0 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 52) seen :0
Running SMT prover for 52 properties.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:27:47] [INFO ] Computed 1274 place invariants in 207 ms
[2022-05-16 18:27:54] [INFO ] [Real]Absence check using 1273 positive place invariants in 685 ms returned sat
[2022-05-16 18:27:55] [INFO ] [Real]Absence check using 1273 positive and 1 generalized place invariants in 335 ms returned sat
[2022-05-16 18:27:55] [INFO ] After 7494ms SMT Verify possible using all constraints in real domain returned unsat :6 sat :0 real:46
[2022-05-16 18:27:59] [INFO ] [Nat]Absence check using 1273 positive place invariants in 637 ms returned sat
[2022-05-16 18:28:00] [INFO ] [Nat]Absence check using 1273 positive and 1 generalized place invariants in 214 ms returned sat
[2022-05-16 18:28:10] [INFO ] After 9079ms SMT Verify possible using state equation in natural domain returned unsat :37 sat :15
[2022-05-16 18:28:19] [INFO ] After 17699ms SMT Verify possible using trap constraints in natural domain returned unsat :37 sat :15
Attempting to minimize the solution found.
Minimization took 853 ms.
[2022-05-16 18:28:20] [INFO ] After 25027ms SMT Verify possible using all constraints in natural domain returned unsat :37 sat :15
Fused 52 Parikh solutions to 13 different solutions.
Finished Parikh walk after 4635 steps, including 0 resets, run visited all 1 properties in 699 ms. (steps per millisecond=6 )
Parikh walk visited 15 properties in 10725 ms.
Successfully simplified 37 atomic propositions for a total of 16 simplifications.
FORMULA HexagonalGrid-PT-816-CTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-05-16 18:28:31] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2022-05-16 18:28:31] [INFO ] Flatten gal took : 224 ms
FORMULA HexagonalGrid-PT-816-CTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA HexagonalGrid-PT-816-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-05-16 18:28:31] [INFO ] Flatten gal took : 265 ms
[2022-05-16 18:28:31] [INFO ] Input system was already deterministic with 6174 transitions.
Support contains 74 out of 3391 places (down from 82) after GAL structural reductions.
Computed a total of 0 stabilizing places and 0 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 571 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:28:32] [INFO ] Computed 1274 place invariants in 128 ms
[2022-05-16 18:28:37] [INFO ] Implicit Places using invariants in 4399 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:28:37] [INFO ] Computed 1274 place invariants in 123 ms
[2022-05-16 18:28:43] [INFO ] Implicit Places using invariants and state equation in 6584 ms returned []
Implicit Place search using SMT with State Equation took 10990 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:28:43] [INFO ] Computed 1274 place invariants in 196 ms
[2022-05-16 18:28:51] [INFO ] Dead Transitions using invariants and state equation in 7718 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:28:51] [INFO ] Flatten gal took : 355 ms
[2022-05-16 18:28:52] [INFO ] Flatten gal took : 399 ms
[2022-05-16 18:28:52] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:28:52] [INFO ] Flatten gal took : 237 ms
[2022-05-16 18:28:53] [INFO ] Flatten gal took : 243 ms
[2022-05-16 18:28:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality13907490987657386078.gal : 186 ms
[2022-05-16 18:28:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality1500713518096371998.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13907490987657386078.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1500713518096371998.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:29:23] [INFO ] Flatten gal took : 394 ms
[2022-05-16 18:29:23] [INFO ] Applying decomposition
[2022-05-16 18:29:24] [INFO ] Flatten gal took : 396 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph2243833992728275956.txt' '-o' '/tmp/graph2243833992728275956.bin' '-w' '/tmp/graph2243833992728275956.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2243833992728275956.bin' '-l' '-1' '-v' '-w' '/tmp/graph2243833992728275956.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:29:25] [INFO ] Decomposing Gal with order
[2022-05-16 18:29:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:29:28] [INFO ] Removed a total of 8116 redundant transitions.
[2022-05-16 18:29:28] [INFO ] Flatten gal took : 1015 ms
[2022-05-16 18:29:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 5 labels/synchronizations in 110 ms.
[2022-05-16 18:29:29] [INFO ] Time to serialize gal into /tmp/CTLCardinality89525846444434233.gal : 61 ms
[2022-05-16 18:29:29] [INFO ] Time to serialize properties into /tmp/CTLCardinality12018870898160412268.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality89525846444434233.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12018870898160412268.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...273
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 221 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:29:59] [INFO ] Computed 1274 place invariants in 129 ms
[2022-05-16 18:30:04] [INFO ] Implicit Places using invariants in 4702 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:30:04] [INFO ] Computed 1274 place invariants in 171 ms
[2022-05-16 18:30:09] [INFO ] Implicit Places using invariants and state equation in 4811 ms returned []
Implicit Place search using SMT with State Equation took 9523 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:30:09] [INFO ] Computed 1274 place invariants in 198 ms
[2022-05-16 18:30:15] [INFO ] Dead Transitions using invariants and state equation in 5952 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:30:15] [INFO ] Flatten gal took : 357 ms
[2022-05-16 18:30:15] [INFO ] Flatten gal took : 408 ms
[2022-05-16 18:30:16] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:30:16] [INFO ] Flatten gal took : 262 ms
[2022-05-16 18:30:17] [INFO ] Flatten gal took : 275 ms
[2022-05-16 18:30:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality13920305526894112291.gal : 39 ms
[2022-05-16 18:30:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality7998092085386319108.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13920305526894112291.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7998092085386319108.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:30:47] [INFO ] Flatten gal took : 258 ms
[2022-05-16 18:30:47] [INFO ] Applying decomposition
[2022-05-16 18:30:47] [INFO ] Flatten gal took : 403 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph9393471591624975200.txt' '-o' '/tmp/graph9393471591624975200.bin' '-w' '/tmp/graph9393471591624975200.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9393471591624975200.bin' '-l' '-1' '-v' '-w' '/tmp/graph9393471591624975200.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:30:48] [INFO ] Decomposing Gal with order
[2022-05-16 18:30:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:30:50] [INFO ] Removed a total of 8096 redundant transitions.
[2022-05-16 18:30:50] [INFO ] Flatten gal took : 441 ms
[2022-05-16 18:30:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 126 ms.
[2022-05-16 18:30:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality14360925653674091988.gal : 100 ms
[2022-05-16 18:30:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality7324800069515224951.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14360925653674091988.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7324800069515224951.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 408 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:31:21] [INFO ] Computed 1274 place invariants in 196 ms
[2022-05-16 18:31:26] [INFO ] Implicit Places using invariants in 5177 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:31:26] [INFO ] Computed 1274 place invariants in 198 ms
[2022-05-16 18:31:31] [INFO ] Implicit Places using invariants and state equation in 4797 ms returned []
Implicit Place search using SMT with State Equation took 9979 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:31:31] [INFO ] Computed 1274 place invariants in 185 ms
[2022-05-16 18:31:38] [INFO ] Dead Transitions using invariants and state equation in 6755 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:31:38] [INFO ] Flatten gal took : 218 ms
[2022-05-16 18:31:38] [INFO ] Flatten gal took : 256 ms
[2022-05-16 18:31:39] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:31:39] [INFO ] Flatten gal took : 238 ms
[2022-05-16 18:31:39] [INFO ] Flatten gal took : 245 ms
[2022-05-16 18:31:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality3745268442985922556.gal : 38 ms
[2022-05-16 18:31:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality1987064774165798414.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3745268442985922556.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1987064774165798414.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:32:10] [INFO ] Flatten gal took : 265 ms
[2022-05-16 18:32:10] [INFO ] Applying decomposition
[2022-05-16 18:32:10] [INFO ] Flatten gal took : 321 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph6038009585812789414.txt' '-o' '/tmp/graph6038009585812789414.bin' '-w' '/tmp/graph6038009585812789414.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6038009585812789414.bin' '-l' '-1' '-v' '-w' '/tmp/graph6038009585812789414.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:32:11] [INFO ] Decomposing Gal with order
[2022-05-16 18:32:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:32:12] [INFO ] Removed a total of 8071 redundant transitions.
[2022-05-16 18:32:12] [INFO ] Flatten gal took : 402 ms
[2022-05-16 18:32:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 268 labels/synchronizations in 170 ms.
[2022-05-16 18:32:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality16950856116434796182.gal : 71 ms
[2022-05-16 18:32:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality12996022730251875891.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16950856116434796182.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12996022730251875891.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 201 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:32:44] [INFO ] Computed 1274 place invariants in 120 ms
[2022-05-16 18:32:44] [INFO ] Implicit Places using invariants in 707 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:32:44] [INFO ] Computed 1274 place invariants in 196 ms
[2022-05-16 18:32:49] [INFO ] Implicit Places using invariants and state equation in 4802 ms returned []
Implicit Place search using SMT with State Equation took 5518 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:32:49] [INFO ] Computed 1274 place invariants in 202 ms
[2022-05-16 18:32:55] [INFO ] Dead Transitions using invariants and state equation in 6209 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:32:55] [INFO ] Flatten gal took : 206 ms
[2022-05-16 18:32:56] [INFO ] Flatten gal took : 251 ms
[2022-05-16 18:32:56] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:32:56] [INFO ] Flatten gal took : 261 ms
[2022-05-16 18:32:57] [INFO ] Flatten gal took : 433 ms
[2022-05-16 18:32:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality15898624368639133653.gal : 26 ms
[2022-05-16 18:32:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality12847240322755318545.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15898624368639133653.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12847240322755318545.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:33:27] [INFO ] Flatten gal took : 241 ms
[2022-05-16 18:33:27] [INFO ] Applying decomposition
[2022-05-16 18:33:27] [INFO ] Flatten gal took : 256 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph15381047541448440765.txt' '-o' '/tmp/graph15381047541448440765.bin' '-w' '/tmp/graph15381047541448440765.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph15381047541448440765.bin' '-l' '-1' '-v' '-w' '/tmp/graph15381047541448440765.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:33:28] [INFO ] Decomposing Gal with order
[2022-05-16 18:33:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:33:29] [INFO ] Removed a total of 8108 redundant transitions.
[2022-05-16 18:33:30] [INFO ] Flatten gal took : 381 ms
[2022-05-16 18:33:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 135 labels/synchronizations in 157 ms.
[2022-05-16 18:33:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality18103078643471528347.gal : 44 ms
[2022-05-16 18:33:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality8930596125397255158.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18103078643471528347.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8930596125397255158.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 222 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:34:01] [INFO ] Computed 1274 place invariants in 174 ms
[2022-05-16 18:34:04] [INFO ] Implicit Places using invariants in 3972 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:34:05] [INFO ] Computed 1274 place invariants in 160 ms
[2022-05-16 18:34:09] [INFO ] Implicit Places using invariants and state equation in 4156 ms returned []
Implicit Place search using SMT with State Equation took 8134 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:34:09] [INFO ] Computed 1274 place invariants in 123 ms
[2022-05-16 18:34:15] [INFO ] Dead Transitions using invariants and state equation in 6812 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:34:16] [INFO ] Flatten gal took : 216 ms
[2022-05-16 18:34:16] [INFO ] Flatten gal took : 287 ms
[2022-05-16 18:34:17] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:34:17] [INFO ] Flatten gal took : 245 ms
[2022-05-16 18:34:17] [INFO ] Flatten gal took : 239 ms
[2022-05-16 18:34:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality3951430878078025690.gal : 29 ms
[2022-05-16 18:34:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality1021766566199489728.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3951430878078025690.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1021766566199489728.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:34:48] [INFO ] Flatten gal took : 391 ms
[2022-05-16 18:34:48] [INFO ] Applying decomposition
[2022-05-16 18:34:48] [INFO ] Flatten gal took : 368 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph977605417421748705.txt' '-o' '/tmp/graph977605417421748705.bin' '-w' '/tmp/graph977605417421748705.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph977605417421748705.bin' '-l' '-1' '-v' '-w' '/tmp/graph977605417421748705.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:34:48] [INFO ] Decomposing Gal with order
[2022-05-16 18:34:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:34:50] [INFO ] Removed a total of 8112 redundant transitions.
[2022-05-16 18:34:50] [INFO ] Flatten gal took : 437 ms
[2022-05-16 18:34:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 17 ms.
[2022-05-16 18:34:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality16964554074451321831.gal : 68 ms
[2022-05-16 18:34:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality10763735526174042818.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16964554074451321831.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10763735526174042818.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...255
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 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 331 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:35:21] [INFO ] Computed 1274 place invariants in 131 ms
[2022-05-16 18:35:25] [INFO ] Implicit Places using invariants in 4349 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:35:25] [INFO ] Computed 1274 place invariants in 197 ms
[2022-05-16 18:35:30] [INFO ] Implicit Places using invariants and state equation in 5500 ms returned []
Implicit Place search using SMT with State Equation took 9854 ms to find 0 implicit places.
[2022-05-16 18:35:31] [INFO ] Redundant transitions in 1034 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:35:31] [INFO ] Computed 1274 place invariants in 123 ms
[2022-05-16 18:35:38] [INFO ] Dead Transitions using invariants and state equation in 6463 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:35:38] [INFO ] Flatten gal took : 333 ms
[2022-05-16 18:35:38] [INFO ] Flatten gal took : 315 ms
[2022-05-16 18:35:39] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:35:39] [INFO ] Flatten gal took : 353 ms
[2022-05-16 18:35:40] [INFO ] Flatten gal took : 232 ms
[2022-05-16 18:35:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality11185148147467769394.gal : 26 ms
[2022-05-16 18:35:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality2953008846575740057.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11185148147467769394.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2953008846575740057.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:36:10] [INFO ] Flatten gal took : 251 ms
[2022-05-16 18:36:10] [INFO ] Applying decomposition
[2022-05-16 18:36:10] [INFO ] Flatten gal took : 268 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph9259274070513988180.txt' '-o' '/tmp/graph9259274070513988180.bin' '-w' '/tmp/graph9259274070513988180.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph9259274070513988180.bin' '-l' '-1' '-v' '-w' '/tmp/graph9259274070513988180.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:36:11] [INFO ] Decomposing Gal with order
[2022-05-16 18:36:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:36:12] [INFO ] Removed a total of 8112 redundant transitions.
[2022-05-16 18:36:12] [INFO ] Flatten gal took : 413 ms
[2022-05-16 18:36:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 15 ms.
[2022-05-16 18:36:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality6957299370595667918.gal : 47 ms
[2022-05-16 18:36:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality4907666891164745646.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6957299370595667918.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4907666891164745646.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...253
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 209 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:36:43] [INFO ] Computed 1274 place invariants in 130 ms
[2022-05-16 18:36:44] [INFO ] Implicit Places using invariants in 844 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:36:44] [INFO ] Computed 1274 place invariants in 126 ms
[2022-05-16 18:36:49] [INFO ] Implicit Places using invariants and state equation in 5157 ms returned []
Implicit Place search using SMT with State Equation took 6002 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:36:49] [INFO ] Computed 1274 place invariants in 124 ms
[2022-05-16 18:36:56] [INFO ] Dead Transitions using invariants and state equation in 7453 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:36:57] [INFO ] Flatten gal took : 218 ms
[2022-05-16 18:36:57] [INFO ] Flatten gal took : 270 ms
[2022-05-16 18:36:57] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:36:58] [INFO ] Flatten gal took : 392 ms
[2022-05-16 18:36:58] [INFO ] Flatten gal took : 270 ms
[2022-05-16 18:36:58] [INFO ] Time to serialize gal into /tmp/CTLCardinality5649148204434123280.gal : 33 ms
[2022-05-16 18:36:58] [INFO ] Time to serialize properties into /tmp/CTLCardinality6520629786164977380.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5649148204434123280.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6520629786164977380.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:37:28] [INFO ] Flatten gal took : 263 ms
[2022-05-16 18:37:28] [INFO ] Applying decomposition
[2022-05-16 18:37:29] [INFO ] Flatten gal took : 240 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12449401670808218221.txt' '-o' '/tmp/graph12449401670808218221.bin' '-w' '/tmp/graph12449401670808218221.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12449401670808218221.bin' '-l' '-1' '-v' '-w' '/tmp/graph12449401670808218221.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:37:29] [INFO ] Decomposing Gal with order
[2022-05-16 18:37:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:37:30] [INFO ] Removed a total of 8102 redundant transitions.
[2022-05-16 18:37:31] [INFO ] Flatten gal took : 412 ms
[2022-05-16 18:37:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 20 labels/synchronizations in 47 ms.
[2022-05-16 18:37:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality16325738873799013322.gal : 29 ms
[2022-05-16 18:37:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality14560403926884367363.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality16325738873799013322.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14560403926884367363.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...276
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 207 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:38:01] [INFO ] Computed 1274 place invariants in 135 ms
[2022-05-16 18:38:06] [INFO ] Implicit Places using invariants in 5063 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:38:06] [INFO ] Computed 1274 place invariants in 126 ms
[2022-05-16 18:38:10] [INFO ] Implicit Places using invariants and state equation in 4187 ms returned []
Implicit Place search using SMT with State Equation took 9258 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:38:11] [INFO ] Computed 1274 place invariants in 123 ms
[2022-05-16 18:38:16] [INFO ] Dead Transitions using invariants and state equation in 5488 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:38:16] [INFO ] Flatten gal took : 212 ms
[2022-05-16 18:38:16] [INFO ] Flatten gal took : 259 ms
[2022-05-16 18:38:17] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:38:17] [INFO ] Flatten gal took : 249 ms
[2022-05-16 18:38:18] [INFO ] Flatten gal took : 264 ms
[2022-05-16 18:38:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality8346260116172227290.gal : 29 ms
[2022-05-16 18:38:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality15855934702581582655.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8346260116172227290.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15855934702581582655.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:38:48] [INFO ] Flatten gal took : 294 ms
[2022-05-16 18:38:48] [INFO ] Applying decomposition
[2022-05-16 18:38:48] [INFO ] Flatten gal took : 387 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph8063418746859211663.txt' '-o' '/tmp/graph8063418746859211663.bin' '-w' '/tmp/graph8063418746859211663.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph8063418746859211663.bin' '-l' '-1' '-v' '-w' '/tmp/graph8063418746859211663.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:38:49] [INFO ] Decomposing Gal with order
[2022-05-16 18:38:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:38:51] [INFO ] Removed a total of 8111 redundant transitions.
[2022-05-16 18:38:51] [INFO ] Flatten gal took : 388 ms
[2022-05-16 18:38:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 15 labels/synchronizations in 81 ms.
[2022-05-16 18:38:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality6805359146542561207.gal : 28 ms
[2022-05-16 18:38:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality1143186931835772904.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6805359146542561207.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1143186931835772904.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 209 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:39:22] [INFO ] Computed 1274 place invariants in 194 ms
[2022-05-16 18:39:27] [INFO ] Implicit Places using invariants in 4673 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:39:27] [INFO ] Computed 1274 place invariants in 123 ms
[2022-05-16 18:39:32] [INFO ] Implicit Places using invariants and state equation in 5466 ms returned []
Implicit Place search using SMT with State Equation took 10141 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:39:32] [INFO ] Computed 1274 place invariants in 121 ms
[2022-05-16 18:39:38] [INFO ] Dead Transitions using invariants and state equation in 6148 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:39:39] [INFO ] Flatten gal took : 339 ms
[2022-05-16 18:39:39] [INFO ] Flatten gal took : 367 ms
[2022-05-16 18:39:39] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:39:40] [INFO ] Flatten gal took : 235 ms
[2022-05-16 18:39:40] [INFO ] Flatten gal took : 243 ms
[2022-05-16 18:39:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality5394057220396345021.gal : 26 ms
[2022-05-16 18:39:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality13943887020522833135.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5394057220396345021.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13943887020522833135.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:40:10] [INFO ] Flatten gal took : 235 ms
[2022-05-16 18:40:10] [INFO ] Applying decomposition
[2022-05-16 18:40:10] [INFO ] Flatten gal took : 274 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12490960602989208086.txt' '-o' '/tmp/graph12490960602989208086.bin' '-w' '/tmp/graph12490960602989208086.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12490960602989208086.bin' '-l' '-1' '-v' '-w' '/tmp/graph12490960602989208086.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:40:11] [INFO ] Decomposing Gal with order
[2022-05-16 18:40:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:40:12] [INFO ] Removed a total of 8101 redundant transitions.
[2022-05-16 18:40:12] [INFO ] Flatten gal took : 408 ms
[2022-05-16 18:40:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 95 ms.
[2022-05-16 18:40:13] [INFO ] Time to serialize gal into /tmp/CTLCardinality1067892402684168186.gal : 44 ms
[2022-05-16 18:40:13] [INFO ] Time to serialize properties into /tmp/CTLCardinality4584667532935536192.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1067892402684168186.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4584667532935536192.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
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 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 292 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:40:43] [INFO ] Computed 1274 place invariants in 125 ms
[2022-05-16 18:40:48] [INFO ] Implicit Places using invariants in 4718 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:40:48] [INFO ] Computed 1274 place invariants in 121 ms
[2022-05-16 18:40:52] [INFO ] Implicit Places using invariants and state equation in 4124 ms returned []
Implicit Place search using SMT with State Equation took 8849 ms to find 0 implicit places.
[2022-05-16 18:40:53] [INFO ] Redundant transitions in 764 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:40:53] [INFO ] Computed 1274 place invariants in 122 ms
[2022-05-16 18:40:59] [INFO ] Dead Transitions using invariants and state equation in 5930 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:40:59] [INFO ] Flatten gal took : 216 ms
[2022-05-16 18:40:59] [INFO ] Flatten gal took : 322 ms
[2022-05-16 18:41:00] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:41:00] [INFO ] Flatten gal took : 236 ms
[2022-05-16 18:41:01] [INFO ] Flatten gal took : 245 ms
[2022-05-16 18:41:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality17748628062448734354.gal : 26 ms
[2022-05-16 18:41:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality9086791492713418518.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17748628062448734354.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9086791492713418518.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:41:31] [INFO ] Flatten gal took : 272 ms
[2022-05-16 18:41:31] [INFO ] Applying decomposition
[2022-05-16 18:41:31] [INFO ] Flatten gal took : 420 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph12862635695109674236.txt' '-o' '/tmp/graph12862635695109674236.bin' '-w' '/tmp/graph12862635695109674236.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12862635695109674236.bin' '-l' '-1' '-v' '-w' '/tmp/graph12862635695109674236.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:41:32] [INFO ] Decomposing Gal with order
[2022-05-16 18:41:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:41:33] [INFO ] Removed a total of 8101 redundant transitions.
[2022-05-16 18:41:33] [INFO ] Flatten gal took : 385 ms
[2022-05-16 18:41:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 39 ms.
[2022-05-16 18:41:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality2466987730615628483.gal : 52 ms
[2022-05-16 18:41:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality15954272410793159912.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2466987730615628483.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15954272410793159912.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 249 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:42:04] [INFO ] Computed 1274 place invariants in 138 ms
[2022-05-16 18:42:08] [INFO ] Implicit Places using invariants in 4322 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:42:08] [INFO ] Computed 1274 place invariants in 121 ms
[2022-05-16 18:42:12] [INFO ] Implicit Places using invariants and state equation in 4085 ms returned []
Implicit Place search using SMT with State Equation took 8421 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:42:13] [INFO ] Computed 1274 place invariants in 155 ms
[2022-05-16 18:42:19] [INFO ] Dead Transitions using invariants and state equation in 6473 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:42:19] [INFO ] Flatten gal took : 203 ms
[2022-05-16 18:42:19] [INFO ] Flatten gal took : 273 ms
[2022-05-16 18:42:20] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:42:20] [INFO ] Flatten gal took : 236 ms
[2022-05-16 18:42:21] [INFO ] Flatten gal took : 273 ms
[2022-05-16 18:42:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality84961811294208708.gal : 25 ms
[2022-05-16 18:42:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality5008995314194382684.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality84961811294208708.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5008995314194382684.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...272
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:42:51] [INFO ] Flatten gal took : 248 ms
[2022-05-16 18:42:51] [INFO ] Applying decomposition
[2022-05-16 18:42:51] [INFO ] Flatten gal took : 393 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph1994247411437128789.txt' '-o' '/tmp/graph1994247411437128789.bin' '-w' '/tmp/graph1994247411437128789.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1994247411437128789.bin' '-l' '-1' '-v' '-w' '/tmp/graph1994247411437128789.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:42:52] [INFO ] Decomposing Gal with order
[2022-05-16 18:42:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:42:53] [INFO ] Removed a total of 8106 redundant transitions.
[2022-05-16 18:42:53] [INFO ] Flatten gal took : 498 ms
[2022-05-16 18:42:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 30 labels/synchronizations in 42 ms.
[2022-05-16 18:42:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality13770415690765451301.gal : 58 ms
[2022-05-16 18:42:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality8357562952567601930.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13770415690765451301.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8357562952567601930.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3391/3391 places, 6174/6174 transitions.
Applied a total of 0 rules in 205 ms. Remains 3391 /3391 variables (removed 0) and now considering 6174/6174 (removed 0) transitions.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:43:24] [INFO ] Computed 1274 place invariants in 123 ms
[2022-05-16 18:43:29] [INFO ] Implicit Places using invariants in 4454 ms returned []
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:43:29] [INFO ] Computed 1274 place invariants in 253 ms
[2022-05-16 18:43:33] [INFO ] Implicit Places using invariants and state equation in 4150 ms returned []
Implicit Place search using SMT with State Equation took 8609 ms to find 0 implicit places.
// Phase 1: matrix 6174 rows 3391 cols
[2022-05-16 18:43:33] [INFO ] Computed 1274 place invariants in 122 ms
[2022-05-16 18:43:39] [INFO ] Dead Transitions using invariants and state equation in 5734 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 3391/3391 places, 6174/6174 transitions.
[2022-05-16 18:43:39] [INFO ] Flatten gal took : 203 ms
[2022-05-16 18:43:39] [INFO ] Flatten gal took : 375 ms
[2022-05-16 18:43:40] [INFO ] Input system was already deterministic with 6174 transitions.
[2022-05-16 18:43:40] [INFO ] Flatten gal took : 260 ms
[2022-05-16 18:43:40] [INFO ] Flatten gal took : 238 ms
[2022-05-16 18:43:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality14395833511155796415.gal : 26 ms
[2022-05-16 18:43:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality8703413610216915096.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14395833511155796415.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8703413610216915096.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:44:11] [INFO ] Flatten gal took : 253 ms
[2022-05-16 18:44:11] [INFO ] Applying decomposition
[2022-05-16 18:44:11] [INFO ] Flatten gal took : 267 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph11252551611762574961.txt' '-o' '/tmp/graph11252551611762574961.bin' '-w' '/tmp/graph11252551611762574961.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11252551611762574961.bin' '-l' '-1' '-v' '-w' '/tmp/graph11252551611762574961.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:44:12] [INFO ] Decomposing Gal with order
[2022-05-16 18:44:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:44:13] [INFO ] Removed a total of 8109 redundant transitions.
[2022-05-16 18:44:13] [INFO ] Flatten gal took : 433 ms
[2022-05-16 18:44:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 120 labels/synchronizations in 146 ms.
[2022-05-16 18:44:14] [INFO ] Time to serialize gal into /tmp/CTLCardinality7570263653047816960.gal : 33 ms
[2022-05-16 18:44:14] [INFO ] Time to serialize properties into /tmp/CTLCardinality13817377997811646672.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7570263653047816960.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13817377997811646672.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 18:44:45] [INFO ] Flatten gal took : 242 ms
[2022-05-16 18:44:45] [INFO ] Flatten gal took : 299 ms
[2022-05-16 18:44:45] [INFO ] Applying decomposition
[2022-05-16 18:44:45] [INFO ] Flatten gal took : 240 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph13651875041313377436.txt' '-o' '/tmp/graph13651875041313377436.bin' '-w' '/tmp/graph13651875041313377436.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13651875041313377436.bin' '-l' '-1' '-v' '-w' '/tmp/graph13651875041313377436.weights' '-q' '0' '-e' '0.001'
[2022-05-16 18:44:46] [INFO ] Decomposing Gal with order
[2022-05-16 18:44:46] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 18:44:47] [INFO ] Removed a total of 8172 redundant transitions.
[2022-05-16 18:44:47] [INFO ] Flatten gal took : 381 ms
[2022-05-16 18:44:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 509 labels/synchronizations in 166 ms.
[2022-05-16 18:44:49] [INFO ] Time to serialize gal into /tmp/CTLCardinality6189009492972079989.gal : 34 ms
[2022-05-16 18:44:49] [INFO ] Time to serialize properties into /tmp/CTLCardinality17436640140744571194.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6189009492972079989.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17436640140744571194.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...275
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
Detected timeout of ITS tools.
[2022-05-16 19:10:46] [INFO ] Flatten gal took : 1776 ms
[2022-05-16 19:10:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality1568491090235319445.gal : 3719 ms
[2022-05-16 19:10:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality4137886898603359014.ctl : 45 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1568491090235319445.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4137886898603359014.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/C...274
No direction supplied, using forward translation only.
Parsed 12 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="HexagonalGrid-PT-816"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is HexagonalGrid-PT-816, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r114-smll-165264477400257"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-816.tgz
mv HexagonalGrid-PT-816 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;