About the Execution of ITS-Tools for DLCflexbar-PT-4b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.500 | 3600000.00 | 2707481.00 | 461336.70 | [undef] | Time out reached |
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.r060-tall-165254771500042.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 DLCflexbar-PT-4b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-tall-165254771500042
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 5.2K Apr 29 19:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 29 19:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Apr 29 19:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Apr 29 19:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 10 09:33 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K May 9 07:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 07:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 07:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 07:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 07:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 07:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 4.1M May 10 09:33 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 DLCflexbar-PT-4b-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-4b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1652552448956
Running Version 202205111006
[2022-05-14 18:20:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -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-14 18:20:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-14 18:20:50] [INFO ] Load time of PNML (sax parser for PT used): 470 ms
[2022-05-14 18:20:50] [INFO ] Transformed 11440 places.
[2022-05-14 18:20:50] [INFO ] Transformed 17128 transitions.
[2022-05-14 18:20:50] [INFO ] Found NUPN structural information;
[2022-05-14 18:20:51] [INFO ] Parsed PT model containing 11440 places and 17128 transitions in 962 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 17 ms.
Support contains 190 out of 11440 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 11440/11440 places, 17128/17128 transitions.
Discarding 1885 places :
Symmetric choice reduction at 0 with 1885 rule applications. Total rules 1885 place count 9555 transition count 15243
Iterating global reduction 0 with 1885 rules applied. Total rules applied 3770 place count 9555 transition count 15243
Discarding 1633 places :
Symmetric choice reduction at 0 with 1633 rule applications. Total rules 5403 place count 7922 transition count 13610
Iterating global reduction 0 with 1633 rules applied. Total rules applied 7036 place count 7922 transition count 13610
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 7042 place count 7922 transition count 13604
Discarding 318 places :
Symmetric choice reduction at 1 with 318 rule applications. Total rules 7360 place count 7604 transition count 13006
Iterating global reduction 1 with 318 rules applied. Total rules applied 7678 place count 7604 transition count 13006
Discarding 298 places :
Symmetric choice reduction at 1 with 298 rule applications. Total rules 7976 place count 7306 transition count 12708
Iterating global reduction 1 with 298 rules applied. Total rules applied 8274 place count 7306 transition count 12708
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 8313 place count 7306 transition count 12669
Discarding 130 places :
Symmetric choice reduction at 2 with 130 rule applications. Total rules 8443 place count 7176 transition count 12539
Iterating global reduction 2 with 130 rules applied. Total rules applied 8573 place count 7176 transition count 12539
Discarding 129 places :
Symmetric choice reduction at 2 with 129 rule applications. Total rules 8702 place count 7047 transition count 12410
Iterating global reduction 2 with 129 rules applied. Total rules applied 8831 place count 7047 transition count 12410
Discarding 129 places :
Symmetric choice reduction at 2 with 129 rule applications. Total rules 8960 place count 6918 transition count 12281
Iterating global reduction 2 with 129 rules applied. Total rules applied 9089 place count 6918 transition count 12281
Discarding 119 places :
Symmetric choice reduction at 2 with 119 rule applications. Total rules 9208 place count 6799 transition count 12162
Iterating global reduction 2 with 119 rules applied. Total rules applied 9327 place count 6799 transition count 12162
Discarding 79 places :
Symmetric choice reduction at 2 with 79 rule applications. Total rules 9406 place count 6720 transition count 12083
Iterating global reduction 2 with 79 rules applied. Total rules applied 9485 place count 6720 transition count 12083
Discarding 79 places :
Symmetric choice reduction at 2 with 79 rule applications. Total rules 9564 place count 6641 transition count 12004
Iterating global reduction 2 with 79 rules applied. Total rules applied 9643 place count 6641 transition count 12004
Applied a total of 9643 rules in 12953 ms. Remains 6641 /11440 variables (removed 4799) and now considering 12004/17128 (removed 5124) transitions.
// Phase 1: matrix 12004 rows 6641 cols
[2022-05-14 18:21:04] [INFO ] Computed 608 place invariants in 99 ms
[2022-05-14 18:21:06] [INFO ] Implicit Places using invariants in 2130 ms returned []
Implicit Place search using SMT only with invariants took 2167 ms to find 0 implicit places.
// Phase 1: matrix 12004 rows 6641 cols
[2022-05-14 18:21:07] [INFO ] Computed 608 place invariants in 49 ms
[2022-05-14 18:21:14] [INFO ] Dead Transitions using invariants and state equation in 7335 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6641/11440 places, 12004/17128 transitions.
Finished structural reductions, in 1 iterations. Remains : 6641/11440 places, 12004/17128 transitions.
Support contains 190 out of 6641 places after structural reductions.
[2022-05-14 18:21:15] [INFO ] Flatten gal took : 590 ms
[2022-05-14 18:21:15] [INFO ] Flatten gal took : 339 ms
[2022-05-14 18:21:16] [INFO ] Input system was already deterministic with 12004 transitions.
Support contains 189 out of 6641 places (down from 190) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 706 ms. (steps per millisecond=14 ) properties (out of 106) seen :27
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 79) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 79) seen :0
Running SMT prover for 79 properties.
// Phase 1: matrix 12004 rows 6641 cols
[2022-05-14 18:21:17] [INFO ] Computed 608 place invariants in 41 ms
[2022-05-14 18:21:26] [INFO ] [Real]Absence check using 608 positive place invariants in 914 ms returned sat
[2022-05-14 18:21:28] [INFO ] After 10554ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:79
[2022-05-14 18:21:36] [INFO ] [Nat]Absence check using 608 positive place invariants in 967 ms returned sat
[2022-05-14 18:21:53] [INFO ] After 9145ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :79
[2022-05-14 18:21:53] [INFO ] After 9163ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :79
Attempting to minimize the solution found.
Minimization took 4 ms.
[2022-05-14 18:21:53] [INFO ] After 25061ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :79
Fused 79 Parikh solutions to 8 different solutions.
Parikh walk visited 18 properties in 1190 ms.
Support contains 120 out of 6641 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Graph (trivial) has 5528 edges and 6641 vertex of which 878 / 6641 are part of one of the 64 SCC in 16 ms
Free SCC test removed 814 places
Drop transitions removed 929 transitions
Ensure Unique test removed 47 transitions
Reduce isomorphic transitions removed 976 transitions.
Drop transitions removed 1263 transitions
Trivial Post-agglo rules discarded 1263 transitions
Performed 1263 trivial Post agglomeration. Transition count delta: 1263
Iterating post reduction 0 with 1263 rules applied. Total rules applied 1264 place count 5827 transition count 9765
Reduce places removed 1263 places and 0 transitions.
Ensure Unique test removed 49 transitions
Reduce isomorphic transitions removed 49 transitions.
Drop transitions removed 96 transitions
Trivial Post-agglo rules discarded 96 transitions
Performed 96 trivial Post agglomeration. Transition count delta: 96
Iterating post reduction 1 with 1408 rules applied. Total rules applied 2672 place count 4564 transition count 9620
Reduce places removed 96 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 2 with 105 rules applied. Total rules applied 2777 place count 4468 transition count 9611
Reduce places removed 9 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 3 with 15 rules applied. Total rules applied 2792 place count 4459 transition count 9605
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 2795 place count 4456 transition count 9605
Performed 689 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 689 Pre rules applied. Total rules applied 2795 place count 4456 transition count 8916
Deduced a syphon composed of 689 places in 147 ms
Reduce places removed 689 places and 0 transitions.
Iterating global reduction 5 with 1378 rules applied. Total rules applied 4173 place count 3767 transition count 8916
Discarding 113 places :
Symmetric choice reduction at 5 with 113 rule applications. Total rules 4286 place count 3654 transition count 7865
Iterating global reduction 5 with 113 rules applied. Total rules applied 4399 place count 3654 transition count 7865
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 5 with 34 rules applied. Total rules applied 4433 place count 3654 transition count 7831
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 10 Pre rules applied. Total rules applied 4433 place count 3654 transition count 7821
Deduced a syphon composed of 10 places in 153 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 6 with 20 rules applied. Total rules applied 4453 place count 3644 transition count 7821
Performed 1344 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1344 places in 2 ms
Reduce places removed 1344 places and 0 transitions.
Iterating global reduction 6 with 2688 rules applied. Total rules applied 7141 place count 2300 transition count 6472
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 7150 place count 2300 transition count 6463
Renaming transitions due to excessive name length > 1024 char.
Discarding 45 places :
Symmetric choice reduction at 7 with 45 rule applications. Total rules 7195 place count 2255 transition count 5978
Iterating global reduction 7 with 45 rules applied. Total rules applied 7240 place count 2255 transition count 5978
Ensure Unique test removed 45 transitions
Reduce isomorphic transitions removed 45 transitions.
Iterating post reduction 7 with 45 rules applied. Total rules applied 7285 place count 2255 transition count 5933
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 8 with 10 rules applied. Total rules applied 7295 place count 2250 transition count 5928
Performed 101 Post agglomeration using F-continuation condition with reduction of 150 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 7497 place count 2149 transition count 6543
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 8 with 3 rules applied. Total rules applied 7500 place count 2149 transition count 6540
Discarding 28 places :
Symmetric choice reduction at 9 with 28 rule applications. Total rules 7528 place count 2121 transition count 6204
Iterating global reduction 9 with 28 rules applied. Total rules applied 7556 place count 2121 transition count 6204
Ensure Unique test removed 145 transitions
Reduce isomorphic transitions removed 145 transitions.
Iterating post reduction 9 with 145 rules applied. Total rules applied 7701 place count 2121 transition count 6059
Performed 46 Post agglomeration using F-continuation condition with reduction of 60 identical transitions.
Deduced a syphon composed of 46 places in 2 ms
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 10 with 92 rules applied. Total rules applied 7793 place count 2075 transition count 6382
Drop transitions removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 10 with 31 rules applied. Total rules applied 7824 place count 2075 transition count 6351
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 7834 place count 2065 transition count 6226
Iterating global reduction 11 with 10 rules applied. Total rules applied 7844 place count 2065 transition count 6226
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Iterating post reduction 11 with 63 rules applied. Total rules applied 7907 place count 2065 transition count 6163
Drop transitions removed 96 transitions
Redundant transition composition rules discarded 96 transitions
Iterating global reduction 12 with 96 rules applied. Total rules applied 8003 place count 2065 transition count 6067
Discarding 3 places :
Symmetric choice reduction at 12 with 3 rule applications. Total rules 8006 place count 2062 transition count 6064
Iterating global reduction 12 with 3 rules applied. Total rules applied 8009 place count 2062 transition count 6064
Discarding 3 places :
Symmetric choice reduction at 12 with 3 rule applications. Total rules 8012 place count 2059 transition count 5915
Iterating global reduction 12 with 3 rules applied. Total rules applied 8015 place count 2059 transition count 5915
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 12 with 3 rules applied. Total rules applied 8018 place count 2059 transition count 5912
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 13 with 12 rules applied. Total rules applied 8030 place count 2053 transition count 5906
Discarding 6 places :
Symmetric choice reduction at 13 with 6 rule applications. Total rules 8036 place count 2047 transition count 5607
Iterating global reduction 13 with 6 rules applied. Total rules applied 8042 place count 2047 transition count 5607
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 13 with 4 rules applied. Total rules applied 8046 place count 2047 transition count 5603
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 8054 place count 2043 transition count 5635
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 14 with 5 rules applied. Total rules applied 8059 place count 2043 transition count 5630
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 15 with 20 rules applied. Total rules applied 8079 place count 2043 transition count 5610
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 15 with 6 rules applied. Total rules applied 8085 place count 2040 transition count 5640
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 15 with 3 rules applied. Total rules applied 8088 place count 2040 transition count 5637
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 16 with 19 rules applied. Total rules applied 8107 place count 2040 transition count 5618
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 16 with 6 rules applied. Total rules applied 8113 place count 2037 transition count 5649
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 16 with 3 rules applied. Total rules applied 8116 place count 2037 transition count 5646
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 17 with 19 rules applied. Total rules applied 8135 place count 2037 transition count 5627
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 17 with 6 rules applied. Total rules applied 8141 place count 2034 transition count 5658
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 17 with 3 rules applied. Total rules applied 8144 place count 2034 transition count 5655
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 18 with 19 rules applied. Total rules applied 8163 place count 2034 transition count 5636
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 18 with 6 rules applied. Total rules applied 8169 place count 2031 transition count 5665
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 18 with 3 rules applied. Total rules applied 8172 place count 2031 transition count 5662
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 19 with 20 rules applied. Total rules applied 8192 place count 2031 transition count 5642
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 19 with 6 rules applied. Total rules applied 8198 place count 2028 transition count 5672
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 19 with 3 rules applied. Total rules applied 8201 place count 2028 transition count 5669
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 20 with 20 rules applied. Total rules applied 8221 place count 2028 transition count 5649
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 20 with 6 rules applied. Total rules applied 8227 place count 2025 transition count 5680
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 20 with 3 rules applied. Total rules applied 8230 place count 2025 transition count 5677
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 21 with 20 rules applied. Total rules applied 8250 place count 2025 transition count 5657
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 21 with 6 rules applied. Total rules applied 8256 place count 2022 transition count 5686
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 21 with 3 rules applied. Total rules applied 8259 place count 2022 transition count 5683
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 22 with 19 rules applied. Total rules applied 8278 place count 2022 transition count 5664
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 22 with 6 rules applied. Total rules applied 8284 place count 2019 transition count 5692
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 22 with 3 rules applied. Total rules applied 8287 place count 2019 transition count 5689
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 23 with 19 rules applied. Total rules applied 8306 place count 2019 transition count 5670
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 23 with 6 rules applied. Total rules applied 8312 place count 2016 transition count 5698
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 23 with 3 rules applied. Total rules applied 8315 place count 2016 transition count 5695
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 24 with 20 rules applied. Total rules applied 8335 place count 2016 transition count 5675
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 24 with 4 rules applied. Total rules applied 8339 place count 2014 transition count 5689
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 24 with 2 rules applied. Total rules applied 8341 place count 2014 transition count 5687
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 25 with 10 rules applied. Total rules applied 8351 place count 2014 transition count 5677
Free-agglomeration rule applied 1117 times with reduction of 624 identical transitions.
Iterating global reduction 25 with 1117 rules applied. Total rules applied 9468 place count 2014 transition count 3936
Reduce places removed 1117 places and 0 transitions.
Drop transitions removed 1358 transitions
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 1376 transitions.
Graph (complete) has 3147 edges and 897 vertex of which 849 are kept as prefixes of interest. Removing 48 places using SCC suffix rule.4 ms
Discarding 48 places :
Also discarding 16 output transitions
Drop transitions removed 16 transitions
Iterating post reduction 25 with 2494 rules applied. Total rules applied 11962 place count 849 transition count 2544
Drop transitions removed 176 transitions
Reduce isomorphic transitions removed 176 transitions.
Iterating post reduction 26 with 176 rules applied. Total rules applied 12138 place count 849 transition count 2368
Discarding 156 places :
Symmetric choice reduction at 27 with 156 rule applications. Total rules 12294 place count 693 transition count 2038
Iterating global reduction 27 with 156 rules applied. Total rules applied 12450 place count 693 transition count 2038
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 27 with 2 rules applied. Total rules applied 12452 place count 693 transition count 2036
Drop transitions removed 88 transitions
Redundant transition composition rules discarded 88 transitions
Iterating global reduction 28 with 88 rules applied. Total rules applied 12540 place count 693 transition count 1948
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 28 with 2 rules applied. Total rules applied 12542 place count 692 transition count 1947
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 28 with 6 rules applied. Total rules applied 12548 place count 692 transition count 1941
Free-agglomeration rule applied 2 times.
Iterating global reduction 28 with 2 rules applied. Total rules applied 12550 place count 692 transition count 1939
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 31 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 28 with 36 rules applied. Total rules applied 12586 place count 690 transition count 1905
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 29 with 6 rules applied. Total rules applied 12592 place count 690 transition count 1899
Free-agglomeration rule applied 1 times.
Iterating global reduction 29 with 1 rules applied. Total rules applied 12593 place count 690 transition count 1898
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 29 with 1 rules applied. Total rules applied 12594 place count 689 transition count 1898
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 30 with 2 rules applied. Total rules applied 12596 place count 689 transition count 1898
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 30 with 1 rules applied. Total rules applied 12597 place count 688 transition count 1897
Applied a total of 12597 rules in 6139 ms. Remains 688 /6641 variables (removed 5953) and now considering 1897/12004 (removed 10107) transitions.
Finished structural reductions, in 1 iterations. Remains : 688/6641 places, 1897/12004 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 437 ms. (steps per millisecond=22 ) properties (out of 61) seen :58
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=243 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
[2022-05-14 18:22:01] [INFO ] Flow matrix only has 741 transitions (discarded 1156 similar events)
// Phase 1: matrix 741 rows 688 cols
[2022-05-14 18:22:01] [INFO ] Computed 422 place invariants in 10 ms
[2022-05-14 18:22:02] [INFO ] [Real]Absence check using 422 positive place invariants in 325 ms returned sat
[2022-05-14 18:22:02] [INFO ] After 388ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1 real:2
[2022-05-14 18:22:02] [INFO ] State equation strengthened by 127 read => feed constraints.
[2022-05-14 18:22:02] [INFO ] After 59ms SMT Verify possible using 127 Read/Feed constraints in real domain returned unsat :0 sat :0 real:3
[2022-05-14 18:22:02] [INFO ] After 1088ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2022-05-14 18:22:02] [INFO ] [Nat]Absence check using 422 positive place invariants in 65 ms returned sat
[2022-05-14 18:22:03] [INFO ] After 346ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2022-05-14 18:22:03] [INFO ] After 129ms SMT Verify possible using 127 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2022-05-14 18:22:03] [INFO ] After 302ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 106 ms.
[2022-05-14 18:22:03] [INFO ] After 959ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Parikh walk visited 0 properties in 33 ms.
Support contains 10 out of 688 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 688/688 places, 1897/1897 transitions.
Graph (trivial) has 186 edges and 688 vertex of which 10 / 688 are part of one of the 5 SCC in 6 ms
Free SCC test removed 5 places
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Graph (complete) has 2326 edges and 683 vertex of which 650 are kept as prefixes of interest. Removing 33 places using SCC suffix rule.1 ms
Discarding 33 places :
Also discarding 23 output transitions
Drop transitions removed 23 transitions
Drop transitions removed 113 transitions
Reduce isomorphic transitions removed 113 transitions.
Drop transitions removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 0 with 130 rules applied. Total rules applied 132 place count 650 transition count 1734
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 1 with 17 rules applied. Total rules applied 149 place count 633 transition count 1734
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 149 place count 633 transition count 1715
Deduced a syphon composed of 19 places in 0 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 187 place count 614 transition count 1715
Drop transitions removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 196 place count 614 transition count 1706
Discarding 74 places :
Symmetric choice reduction at 3 with 74 rule applications. Total rules 270 place count 540 transition count 1451
Iterating global reduction 3 with 74 rules applied. Total rules applied 344 place count 540 transition count 1451
Performed 21 Post agglomeration using F-continuation condition with reduction of 2 identical transitions.
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 3 with 42 rules applied. Total rules applied 386 place count 519 transition count 1428
Drop transitions removed 49 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 56 transitions.
Graph (complete) has 1758 edges and 519 vertex of which 516 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.1 ms
Discarding 3 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 3 with 57 rules applied. Total rules applied 443 place count 516 transition count 1371
Drop transitions removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 4 with 11 rules applied. Total rules applied 454 place count 516 transition count 1360
Discarding 16 places :
Symmetric choice reduction at 5 with 16 rule applications. Total rules 470 place count 500 transition count 1331
Iterating global reduction 5 with 16 rules applied. Total rules applied 486 place count 500 transition count 1331
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 492 place count 500 transition count 1325
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: -53
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 6 with 16 rules applied. Total rules applied 508 place count 492 transition count 1378
Drop transitions removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 6 with 55 rules applied. Total rules applied 563 place count 492 transition count 1323
Discarding 6 places :
Symmetric choice reduction at 7 with 6 rule applications. Total rules 569 place count 486 transition count 1283
Iterating global reduction 7 with 6 rules applied. Total rules applied 575 place count 486 transition count 1283
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 7 with 31 rules applied. Total rules applied 606 place count 486 transition count 1252
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 8 with 16 rules applied. Total rules applied 622 place count 486 transition count 1236
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 625 place count 483 transition count 1216
Iterating global reduction 8 with 3 rules applied. Total rules applied 628 place count 483 transition count 1216
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 8 with 8 rules applied. Total rules applied 636 place count 483 transition count 1208
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 9 with 6 rules applied. Total rules applied 642 place count 480 transition count 1205
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 9 with 20 rules applied. Total rules applied 662 place count 480 transition count 1185
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 663 place count 479 transition count 1158
Iterating global reduction 9 with 1 rules applied. Total rules applied 664 place count 479 transition count 1158
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 665 place count 479 transition count 1157
Free-agglomeration rule applied 68 times with reduction of 26 identical transitions.
Iterating global reduction 10 with 68 rules applied. Total rules applied 733 place count 479 transition count 1063
Reduce places removed 74 places and 0 transitions.
Drop transitions removed 444 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 445 transitions.
Graph (complete) has 907 edges and 405 vertex of which 158 are kept as prefixes of interest. Removing 247 places using SCC suffix rule.1 ms
Discarding 247 places :
Also discarding 209 output transitions
Drop transitions removed 209 transitions
Iterating post reduction 10 with 520 rules applied. Total rules applied 1253 place count 158 transition count 409
Drop transitions removed 61 transitions
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 90 transitions.
Iterating post reduction 11 with 90 rules applied. Total rules applied 1343 place count 158 transition count 319
Discarding 71 places :
Symmetric choice reduction at 12 with 71 rule applications. Total rules 1414 place count 87 transition count 180
Iterating global reduction 12 with 71 rules applied. Total rules applied 1485 place count 87 transition count 180
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 12 with 15 rules applied. Total rules applied 1500 place count 87 transition count 165
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 13 with 5 rules applied. Total rules applied 1505 place count 84 transition count 163
Drop transitions removed 1 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 13 with 4 rules applied. Total rules applied 1509 place count 84 transition count 159
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 1511 place count 83 transition count 158
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 14 with 27 rules applied. Total rules applied 1538 place count 65 transition count 149
Drop transitions removed 12 transitions
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 31 transitions.
Graph (trivial) has 11 edges and 65 vertex of which 7 / 65 are part of one of the 3 SCC in 0 ms
Free SCC test removed 4 places
Iterating post reduction 14 with 32 rules applied. Total rules applied 1570 place count 61 transition count 118
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 32 transitions
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 41 transitions.
Graph (complete) has 121 edges and 59 vertex of which 48 are kept as prefixes of interest. Removing 11 places using SCC suffix rule.0 ms
Discarding 11 places :
Also discarding 8 output transitions
Drop transitions removed 8 transitions
Iterating post reduction 15 with 44 rules applied. Total rules applied 1614 place count 48 transition count 69
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 16 with 2 rules applied. Total rules applied 1616 place count 48 transition count 67
Discarding 5 places :
Symmetric choice reduction at 17 with 5 rule applications. Total rules 1621 place count 43 transition count 62
Iterating global reduction 17 with 5 rules applied. Total rules applied 1626 place count 43 transition count 62
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 17 with 4 rules applied. Total rules applied 1630 place count 41 transition count 60
Drop transitions removed 3 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 1636 place count 41 transition count 54
Discarding 2 places :
Symmetric choice reduction at 18 with 2 rule applications. Total rules 1638 place count 39 transition count 52
Iterating global reduction 18 with 2 rules applied. Total rules applied 1640 place count 39 transition count 52
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 6 rules applied. Total rules applied 1646 place count 35 transition count 50
Drop transitions removed 2 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 1652 place count 35 transition count 44
Drop transitions removed 7 transitions
Redundant transition composition rules discarded 7 transitions
Iterating global reduction 19 with 7 rules applied. Total rules applied 1659 place count 35 transition count 37
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 19 with 3 rules applied. Total rules applied 1662 place count 32 transition count 37
Discarding 2 places :
Symmetric choice reduction at 20 with 2 rule applications. Total rules 1664 place count 30 transition count 35
Iterating global reduction 20 with 2 rules applied. Total rules applied 1666 place count 30 transition count 35
Free-agglomeration rule applied 1 times.
Iterating global reduction 20 with 1 rules applied. Total rules applied 1667 place count 30 transition count 34
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 54 edges and 28 vertex of which 27 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.0 ms
Discarding 1 places :
Also discarding 0 output transitions
Iterating post reduction 20 with 5 rules applied. Total rules applied 1672 place count 27 transition count 32
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 21 with 1 rules applied. Total rules applied 1673 place count 26 transition count 31
Applied a total of 1673 rules in 188 ms. Remains 26 /688 variables (removed 662) and now considering 31/1897 (removed 1866) transitions.
Finished structural reductions, in 1 iterations. Remains : 26/688 places, 31/1897 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 3) seen :2
Finished Best-First random walk after 227 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=227 )
[2022-05-14 18:22:04] [INFO ] Flatten gal took : 263 ms
[2022-05-14 18:22:04] [INFO ] Flatten gal took : 287 ms
[2022-05-14 18:22:05] [INFO ] Input system was already deterministic with 12004 transitions.
Computed a total of 1194 stabilizing places and 1194 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 53 places :
Symmetric choice reduction at 0 with 53 rule applications. Total rules 53 place count 6588 transition count 11902
Iterating global reduction 0 with 53 rules applied. Total rules applied 106 place count 6588 transition count 11902
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 107 place count 6588 transition count 11901
Discarding 35 places :
Symmetric choice reduction at 1 with 35 rule applications. Total rules 142 place count 6553 transition count 11864
Iterating global reduction 1 with 35 rules applied. Total rules applied 177 place count 6553 transition count 11864
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 178 place count 6553 transition count 11863
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 192 place count 6539 transition count 11849
Iterating global reduction 2 with 14 rules applied. Total rules applied 206 place count 6539 transition count 11849
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 208 place count 6539 transition count 11847
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 217 place count 6530 transition count 11838
Iterating global reduction 3 with 9 rules applied. Total rules applied 226 place count 6530 transition count 11838
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 234 place count 6522 transition count 11830
Iterating global reduction 3 with 8 rules applied. Total rules applied 242 place count 6522 transition count 11830
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 249 place count 6515 transition count 11823
Iterating global reduction 3 with 7 rules applied. Total rules applied 256 place count 6515 transition count 11823
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 261 place count 6510 transition count 11818
Iterating global reduction 3 with 5 rules applied. Total rules applied 266 place count 6510 transition count 11818
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 271 place count 6505 transition count 11813
Iterating global reduction 3 with 5 rules applied. Total rules applied 276 place count 6505 transition count 11813
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 279 place count 6502 transition count 11810
Iterating global reduction 3 with 3 rules applied. Total rules applied 282 place count 6502 transition count 11810
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 284 place count 6500 transition count 11808
Iterating global reduction 3 with 2 rules applied. Total rules applied 286 place count 6500 transition count 11808
Applied a total of 286 rules in 7084 ms. Remains 6500 /6641 variables (removed 141) and now considering 11808/12004 (removed 196) transitions.
// Phase 1: matrix 11808 rows 6500 cols
[2022-05-14 18:22:12] [INFO ] Computed 608 place invariants in 41 ms
[2022-05-14 18:22:14] [INFO ] Implicit Places using invariants in 1848 ms returned []
Implicit Place search using SMT only with invariants took 1863 ms to find 0 implicit places.
// Phase 1: matrix 11808 rows 6500 cols
[2022-05-14 18:22:14] [INFO ] Computed 608 place invariants in 33 ms
[2022-05-14 18:22:22] [INFO ] Dead Transitions using invariants and state equation in 7588 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6500/6641 places, 11808/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6500/6641 places, 11808/12004 transitions.
[2022-05-14 18:22:22] [INFO ] Flatten gal took : 274 ms
[2022-05-14 18:22:22] [INFO ] Flatten gal took : 260 ms
[2022-05-14 18:22:23] [INFO ] Input system was already deterministic with 11808 transitions.
[2022-05-14 18:22:23] [INFO ] Flatten gal took : 280 ms
[2022-05-14 18:22:24] [INFO ] Flatten gal took : 246 ms
[2022-05-14 18:22:24] [INFO ] Time to serialize gal into /tmp/CTLFireability12910533104052664033.gal : 91 ms
[2022-05-14 18:22:24] [INFO ] Time to serialize properties into /tmp/CTLFireability6846988453842334070.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/CTLFireability12910533104052664033.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6846988453842334070.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-14 18:22:54] [INFO ] Flatten gal took : 239 ms
[2022-05-14 18:22:54] [INFO ] Applying decomposition
[2022-05-14 18:22:54] [INFO ] Flatten gal took : 246 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/graph1517278285934186464.txt' '-o' '/tmp/graph1517278285934186464.bin' '-w' '/tmp/graph1517278285934186464.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1517278285934186464.bin' '-l' '-1' '-v' '-w' '/tmp/graph1517278285934186464.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:22:55] [INFO ] Decomposing Gal with order
[2022-05-14 18:22:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:22:58] [INFO ] Removed a total of 11677 redundant transitions.
[2022-05-14 18:22:59] [INFO ] Flatten gal took : 684 ms
[2022-05-14 18:22:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 301 labels/synchronizations in 224 ms.
[2022-05-14 18:22:59] [INFO ] Time to serialize gal into /tmp/CTLFireability6228926752689802883.gal : 96 ms
[2022-05-14 18:22:59] [INFO ] Time to serialize properties into /tmp/CTLFireability8568792187433697212.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/CTLFireability6228926752689802883.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8568792187433697212.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 : 6641/6641 places, 12004/12004 transitions.
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 49 place count 6592 transition count 11906
Iterating global reduction 0 with 49 rules applied. Total rules applied 98 place count 6592 transition count 11906
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 99 place count 6592 transition count 11905
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 132 place count 6559 transition count 11870
Iterating global reduction 1 with 33 rules applied. Total rules applied 165 place count 6559 transition count 11870
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 166 place count 6559 transition count 11869
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 181 place count 6544 transition count 11854
Iterating global reduction 2 with 15 rules applied. Total rules applied 196 place count 6544 transition count 11854
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 198 place count 6544 transition count 11852
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 208 place count 6534 transition count 11842
Iterating global reduction 3 with 10 rules applied. Total rules applied 218 place count 6534 transition count 11842
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 227 place count 6525 transition count 11833
Iterating global reduction 3 with 9 rules applied. Total rules applied 236 place count 6525 transition count 11833
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 244 place count 6517 transition count 11825
Iterating global reduction 3 with 8 rules applied. Total rules applied 252 place count 6517 transition count 11825
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 257 place count 6512 transition count 11820
Iterating global reduction 3 with 5 rules applied. Total rules applied 262 place count 6512 transition count 11820
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 267 place count 6507 transition count 11815
Iterating global reduction 3 with 5 rules applied. Total rules applied 272 place count 6507 transition count 11815
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 275 place count 6504 transition count 11812
Iterating global reduction 3 with 3 rules applied. Total rules applied 278 place count 6504 transition count 11812
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 280 place count 6502 transition count 11810
Iterating global reduction 3 with 2 rules applied. Total rules applied 282 place count 6502 transition count 11810
Applied a total of 282 rules in 7462 ms. Remains 6502 /6641 variables (removed 139) and now considering 11810/12004 (removed 194) transitions.
// Phase 1: matrix 11810 rows 6502 cols
[2022-05-14 18:23:37] [INFO ] Computed 608 place invariants in 35 ms
[2022-05-14 18:23:39] [INFO ] Implicit Places using invariants in 1755 ms returned []
Implicit Place search using SMT only with invariants took 1756 ms to find 0 implicit places.
// Phase 1: matrix 11810 rows 6502 cols
[2022-05-14 18:23:39] [INFO ] Computed 608 place invariants in 34 ms
[2022-05-14 18:23:46] [INFO ] Dead Transitions using invariants and state equation in 7586 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6502/6641 places, 11810/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6502/6641 places, 11810/12004 transitions.
[2022-05-14 18:23:46] [INFO ] Flatten gal took : 225 ms
[2022-05-14 18:23:47] [INFO ] Flatten gal took : 251 ms
[2022-05-14 18:23:47] [INFO ] Input system was already deterministic with 11810 transitions.
[2022-05-14 18:23:48] [INFO ] Flatten gal took : 259 ms
[2022-05-14 18:23:48] [INFO ] Flatten gal took : 267 ms
[2022-05-14 18:23:48] [INFO ] Time to serialize gal into /tmp/CTLFireability18084381765997134897.gal : 33 ms
[2022-05-14 18:23:48] [INFO ] Time to serialize properties into /tmp/CTLFireability1923787202602580024.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/CTLFireability18084381765997134897.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1923787202602580024.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-14 18:24:18] [INFO ] Flatten gal took : 259 ms
[2022-05-14 18:24:18] [INFO ] Applying decomposition
[2022-05-14 18:24:18] [INFO ] Flatten gal took : 258 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/graph17312858836667557226.txt' '-o' '/tmp/graph17312858836667557226.bin' '-w' '/tmp/graph17312858836667557226.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph17312858836667557226.bin' '-l' '-1' '-v' '-w' '/tmp/graph17312858836667557226.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:24:19] [INFO ] Decomposing Gal with order
[2022-05-14 18:24:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:24:22] [INFO ] Removed a total of 11647 redundant transitions.
[2022-05-14 18:24:22] [INFO ] Flatten gal took : 469 ms
[2022-05-14 18:24:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 259 labels/synchronizations in 128 ms.
[2022-05-14 18:24:23] [INFO ] Time to serialize gal into /tmp/CTLFireability221073193310091434.gal : 480 ms
[2022-05-14 18:24:23] [INFO ] Time to serialize properties into /tmp/CTLFireability16938974125404300652.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/CTLFireability221073193310091434.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16938974125404300652.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 : 6641/6641 places, 12004/12004 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 6587 transition count 11900
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 6587 transition count 11900
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 109 place count 6587 transition count 11899
Discarding 36 places :
Symmetric choice reduction at 1 with 36 rule applications. Total rules 145 place count 6551 transition count 11861
Iterating global reduction 1 with 36 rules applied. Total rules applied 181 place count 6551 transition count 11861
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 183 place count 6551 transition count 11859
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 198 place count 6536 transition count 11844
Iterating global reduction 2 with 15 rules applied. Total rules applied 213 place count 6536 transition count 11844
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 215 place count 6536 transition count 11842
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 225 place count 6526 transition count 11832
Iterating global reduction 3 with 10 rules applied. Total rules applied 235 place count 6526 transition count 11832
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 244 place count 6517 transition count 11823
Iterating global reduction 3 with 9 rules applied. Total rules applied 253 place count 6517 transition count 11823
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 261 place count 6509 transition count 11815
Iterating global reduction 3 with 8 rules applied. Total rules applied 269 place count 6509 transition count 11815
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 274 place count 6504 transition count 11810
Iterating global reduction 3 with 5 rules applied. Total rules applied 279 place count 6504 transition count 11810
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 284 place count 6499 transition count 11805
Iterating global reduction 3 with 5 rules applied. Total rules applied 289 place count 6499 transition count 11805
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 292 place count 6496 transition count 11802
Iterating global reduction 3 with 3 rules applied. Total rules applied 295 place count 6496 transition count 11802
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 297 place count 6494 transition count 11800
Iterating global reduction 3 with 2 rules applied. Total rules applied 299 place count 6494 transition count 11800
Applied a total of 299 rules in 7173 ms. Remains 6494 /6641 variables (removed 147) and now considering 11800/12004 (removed 204) transitions.
// Phase 1: matrix 11800 rows 6494 cols
[2022-05-14 18:25:00] [INFO ] Computed 608 place invariants in 38 ms
[2022-05-14 18:25:02] [INFO ] Implicit Places using invariants in 1789 ms returned []
Implicit Place search using SMT only with invariants took 1790 ms to find 0 implicit places.
// Phase 1: matrix 11800 rows 6494 cols
[2022-05-14 18:25:02] [INFO ] Computed 608 place invariants in 35 ms
[2022-05-14 18:25:10] [INFO ] Dead Transitions using invariants and state equation in 7567 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6494/6641 places, 11800/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6494/6641 places, 11800/12004 transitions.
[2022-05-14 18:25:10] [INFO ] Flatten gal took : 218 ms
[2022-05-14 18:25:10] [INFO ] Flatten gal took : 247 ms
[2022-05-14 18:25:11] [INFO ] Input system was already deterministic with 11800 transitions.
[2022-05-14 18:25:11] [INFO ] Flatten gal took : 232 ms
[2022-05-14 18:25:11] [INFO ] Flatten gal took : 241 ms
[2022-05-14 18:25:11] [INFO ] Time to serialize gal into /tmp/CTLFireability15246781148745567499.gal : 29 ms
[2022-05-14 18:25:11] [INFO ] Time to serialize properties into /tmp/CTLFireability14037782376871588094.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/CTLFireability15246781148745567499.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14037782376871588094.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-14 18:25:41] [INFO ] Flatten gal took : 236 ms
[2022-05-14 18:25:41] [INFO ] Applying decomposition
[2022-05-14 18:25:42] [INFO ] Flatten gal took : 247 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/graph2729388751626182291.txt' '-o' '/tmp/graph2729388751626182291.bin' '-w' '/tmp/graph2729388751626182291.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2729388751626182291.bin' '-l' '-1' '-v' '-w' '/tmp/graph2729388751626182291.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:25:42] [INFO ] Decomposing Gal with order
[2022-05-14 18:25:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:25:45] [INFO ] Removed a total of 11645 redundant transitions.
[2022-05-14 18:25:45] [INFO ] Flatten gal took : 508 ms
[2022-05-14 18:25:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 278 labels/synchronizations in 97 ms.
[2022-05-14 18:25:45] [INFO ] Time to serialize gal into /tmp/CTLFireability16014799678939719591.gal : 39 ms
[2022-05-14 18:25:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1099534231130256640.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/CTLFireability16014799678939719591.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1099534231130256640.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...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 6590 transition count 11903
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 6590 transition count 11903
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 103 place count 6590 transition count 11902
Discarding 35 places :
Symmetric choice reduction at 1 with 35 rule applications. Total rules 138 place count 6555 transition count 11865
Iterating global reduction 1 with 35 rules applied. Total rules applied 173 place count 6555 transition count 11865
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 175 place count 6555 transition count 11863
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 189 place count 6541 transition count 11849
Iterating global reduction 2 with 14 rules applied. Total rules applied 203 place count 6541 transition count 11849
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 205 place count 6541 transition count 11847
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 214 place count 6532 transition count 11838
Iterating global reduction 3 with 9 rules applied. Total rules applied 223 place count 6532 transition count 11838
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 231 place count 6524 transition count 11830
Iterating global reduction 3 with 8 rules applied. Total rules applied 239 place count 6524 transition count 11830
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 246 place count 6517 transition count 11823
Iterating global reduction 3 with 7 rules applied. Total rules applied 253 place count 6517 transition count 11823
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 257 place count 6513 transition count 11819
Iterating global reduction 3 with 4 rules applied. Total rules applied 261 place count 6513 transition count 11819
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 265 place count 6509 transition count 11815
Iterating global reduction 3 with 4 rules applied. Total rules applied 269 place count 6509 transition count 11815
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 271 place count 6507 transition count 11813
Iterating global reduction 3 with 2 rules applied. Total rules applied 273 place count 6507 transition count 11813
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 275 place count 6505 transition count 11811
Iterating global reduction 3 with 2 rules applied. Total rules applied 277 place count 6505 transition count 11811
Applied a total of 277 rules in 7510 ms. Remains 6505 /6641 variables (removed 136) and now considering 11811/12004 (removed 193) transitions.
// Phase 1: matrix 11811 rows 6505 cols
[2022-05-14 18:26:23] [INFO ] Computed 608 place invariants in 39 ms
[2022-05-14 18:26:25] [INFO ] Implicit Places using invariants in 1795 ms returned []
Implicit Place search using SMT only with invariants took 1796 ms to find 0 implicit places.
// Phase 1: matrix 11811 rows 6505 cols
[2022-05-14 18:26:25] [INFO ] Computed 608 place invariants in 32 ms
[2022-05-14 18:26:32] [INFO ] Dead Transitions using invariants and state equation in 7456 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6505/6641 places, 11811/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6505/6641 places, 11811/12004 transitions.
[2022-05-14 18:26:33] [INFO ] Flatten gal took : 225 ms
[2022-05-14 18:26:33] [INFO ] Flatten gal took : 249 ms
[2022-05-14 18:26:33] [INFO ] Input system was already deterministic with 11811 transitions.
[2022-05-14 18:26:34] [INFO ] Flatten gal took : 238 ms
[2022-05-14 18:26:34] [INFO ] Flatten gal took : 248 ms
[2022-05-14 18:26:34] [INFO ] Time to serialize gal into /tmp/CTLFireability4711610618037998275.gal : 26 ms
[2022-05-14 18:26:34] [INFO ] Time to serialize properties into /tmp/CTLFireability13584768911317329653.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/CTLFireability4711610618037998275.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13584768911317329653.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-14 18:27:04] [INFO ] Flatten gal took : 237 ms
[2022-05-14 18:27:04] [INFO ] Applying decomposition
[2022-05-14 18:27:04] [INFO ] Flatten gal took : 248 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/graph14153534971836297212.txt' '-o' '/tmp/graph14153534971836297212.bin' '-w' '/tmp/graph14153534971836297212.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph14153534971836297212.bin' '-l' '-1' '-v' '-w' '/tmp/graph14153534971836297212.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:27:05] [INFO ] Decomposing Gal with order
[2022-05-14 18:27:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:27:08] [INFO ] Removed a total of 11725 redundant transitions.
[2022-05-14 18:27:08] [INFO ] Flatten gal took : 469 ms
[2022-05-14 18:27:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 221 labels/synchronizations in 88 ms.
[2022-05-14 18:27:08] [INFO ] Time to serialize gal into /tmp/CTLFireability10912582843506019944.gal : 42 ms
[2022-05-14 18:27:08] [INFO ] Time to serialize properties into /tmp/CTLFireability12350116618022798185.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/CTLFireability10912582843506019944.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12350116618022798185.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 LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 50 places :
Symmetric choice reduction at 0 with 50 rule applications. Total rules 50 place count 6591 transition count 11904
Iterating global reduction 0 with 50 rules applied. Total rules applied 100 place count 6591 transition count 11904
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 101 place count 6591 transition count 11903
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 134 place count 6558 transition count 11869
Iterating global reduction 1 with 33 rules applied. Total rules applied 167 place count 6558 transition count 11869
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 169 place count 6558 transition count 11867
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 181 place count 6546 transition count 11855
Iterating global reduction 2 with 12 rules applied. Total rules applied 193 place count 6546 transition count 11855
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 194 place count 6546 transition count 11854
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 202 place count 6538 transition count 11846
Iterating global reduction 3 with 8 rules applied. Total rules applied 210 place count 6538 transition count 11846
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 217 place count 6531 transition count 11839
Iterating global reduction 3 with 7 rules applied. Total rules applied 224 place count 6531 transition count 11839
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 230 place count 6525 transition count 11833
Iterating global reduction 3 with 6 rules applied. Total rules applied 236 place count 6525 transition count 11833
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 240 place count 6521 transition count 11829
Iterating global reduction 3 with 4 rules applied. Total rules applied 244 place count 6521 transition count 11829
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 248 place count 6517 transition count 11825
Iterating global reduction 3 with 4 rules applied. Total rules applied 252 place count 6517 transition count 11825
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 254 place count 6515 transition count 11823
Iterating global reduction 3 with 2 rules applied. Total rules applied 256 place count 6515 transition count 11823
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 257 place count 6514 transition count 11822
Iterating global reduction 3 with 1 rules applied. Total rules applied 258 place count 6514 transition count 11822
Applied a total of 258 rules in 7313 ms. Remains 6514 /6641 variables (removed 127) and now considering 11822/12004 (removed 182) transitions.
// Phase 1: matrix 11822 rows 6514 cols
[2022-05-14 18:27:46] [INFO ] Computed 608 place invariants in 35 ms
[2022-05-14 18:27:47] [INFO ] Implicit Places using invariants in 1798 ms returned []
Implicit Place search using SMT only with invariants took 1799 ms to find 0 implicit places.
// Phase 1: matrix 11822 rows 6514 cols
[2022-05-14 18:27:47] [INFO ] Computed 608 place invariants in 32 ms
[2022-05-14 18:27:55] [INFO ] Dead Transitions using invariants and state equation in 7540 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6514/6641 places, 11822/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6514/6641 places, 11822/12004 transitions.
[2022-05-14 18:27:55] [INFO ] Flatten gal took : 223 ms
[2022-05-14 18:27:55] [INFO ] Flatten gal took : 251 ms
[2022-05-14 18:27:56] [INFO ] Input system was already deterministic with 11822 transitions.
[2022-05-14 18:27:56] [INFO ] Flatten gal took : 238 ms
[2022-05-14 18:27:56] [INFO ] Flatten gal took : 247 ms
[2022-05-14 18:27:56] [INFO ] Time to serialize gal into /tmp/CTLFireability10710072876015580046.gal : 28 ms
[2022-05-14 18:27:56] [INFO ] Time to serialize properties into /tmp/CTLFireability3093881770800707746.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/CTLFireability10710072876015580046.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3093881770800707746.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-14 18:28:27] [INFO ] Flatten gal took : 239 ms
[2022-05-14 18:28:27] [INFO ] Applying decomposition
[2022-05-14 18:28:27] [INFO ] Flatten gal took : 247 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/graph6665552245512723824.txt' '-o' '/tmp/graph6665552245512723824.bin' '-w' '/tmp/graph6665552245512723824.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph6665552245512723824.bin' '-l' '-1' '-v' '-w' '/tmp/graph6665552245512723824.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:28:28] [INFO ] Decomposing Gal with order
[2022-05-14 18:28:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:28:30] [INFO ] Removed a total of 11716 redundant transitions.
[2022-05-14 18:28:31] [INFO ] Flatten gal took : 411 ms
[2022-05-14 18:28:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 372 labels/synchronizations in 109 ms.
[2022-05-14 18:28:31] [INFO ] Time to serialize gal into /tmp/CTLFireability11677647270602037007.gal : 46 ms
[2022-05-14 18:28:31] [INFO ] Time to serialize properties into /tmp/CTLFireability14710622320179452434.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/CTLFireability11677647270602037007.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14710622320179452434.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 LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 6590 transition count 11903
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 6590 transition count 11903
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 138 place count 6554 transition count 11865
Iterating global reduction 0 with 36 rules applied. Total rules applied 174 place count 6554 transition count 11865
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 176 place count 6554 transition count 11863
Discarding 14 places :
Symmetric choice reduction at 1 with 14 rule applications. Total rules 190 place count 6540 transition count 11849
Iterating global reduction 1 with 14 rules applied. Total rules applied 204 place count 6540 transition count 11849
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 206 place count 6540 transition count 11847
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 215 place count 6531 transition count 11838
Iterating global reduction 2 with 9 rules applied. Total rules applied 224 place count 6531 transition count 11838
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 232 place count 6523 transition count 11830
Iterating global reduction 2 with 8 rules applied. Total rules applied 240 place count 6523 transition count 11830
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 247 place count 6516 transition count 11823
Iterating global reduction 2 with 7 rules applied. Total rules applied 254 place count 6516 transition count 11823
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 258 place count 6512 transition count 11819
Iterating global reduction 2 with 4 rules applied. Total rules applied 262 place count 6512 transition count 11819
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 266 place count 6508 transition count 11815
Iterating global reduction 2 with 4 rules applied. Total rules applied 270 place count 6508 transition count 11815
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 273 place count 6505 transition count 11812
Iterating global reduction 2 with 3 rules applied. Total rules applied 276 place count 6505 transition count 11812
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 278 place count 6503 transition count 11810
Iterating global reduction 2 with 2 rules applied. Total rules applied 280 place count 6503 transition count 11810
Applied a total of 280 rules in 7316 ms. Remains 6503 /6641 variables (removed 138) and now considering 11810/12004 (removed 194) transitions.
// Phase 1: matrix 11810 rows 6503 cols
[2022-05-14 18:29:08] [INFO ] Computed 608 place invariants in 37 ms
[2022-05-14 18:29:10] [INFO ] Implicit Places using invariants in 1753 ms returned []
Implicit Place search using SMT only with invariants took 1754 ms to find 0 implicit places.
// Phase 1: matrix 11810 rows 6503 cols
[2022-05-14 18:29:10] [INFO ] Computed 608 place invariants in 97 ms
[2022-05-14 18:29:18] [INFO ] Dead Transitions using invariants and state equation in 7562 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6503/6641 places, 11810/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6503/6641 places, 11810/12004 transitions.
[2022-05-14 18:29:18] [INFO ] Flatten gal took : 224 ms
[2022-05-14 18:29:18] [INFO ] Flatten gal took : 252 ms
[2022-05-14 18:29:19] [INFO ] Input system was already deterministic with 11810 transitions.
[2022-05-14 18:29:19] [INFO ] Flatten gal took : 238 ms
[2022-05-14 18:29:19] [INFO ] Flatten gal took : 249 ms
[2022-05-14 18:29:19] [INFO ] Time to serialize gal into /tmp/CTLFireability2401490480419816943.gal : 27 ms
[2022-05-14 18:29:19] [INFO ] Time to serialize properties into /tmp/CTLFireability14498931766956819097.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/CTLFireability2401490480419816943.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14498931766956819097.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-14 18:29:49] [INFO ] Flatten gal took : 239 ms
[2022-05-14 18:29:49] [INFO ] Applying decomposition
[2022-05-14 18:29:50] [INFO ] Flatten gal took : 247 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/graph16340699688538878631.txt' '-o' '/tmp/graph16340699688538878631.bin' '-w' '/tmp/graph16340699688538878631.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16340699688538878631.bin' '-l' '-1' '-v' '-w' '/tmp/graph16340699688538878631.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:29:50] [INFO ] Decomposing Gal with order
[2022-05-14 18:29:51] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:29:53] [INFO ] Removed a total of 11741 redundant transitions.
[2022-05-14 18:29:53] [INFO ] Flatten gal took : 433 ms
[2022-05-14 18:29:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 387 labels/synchronizations in 110 ms.
[2022-05-14 18:29:53] [INFO ] Time to serialize gal into /tmp/CTLFireability10790210062672958566.gal : 60 ms
[2022-05-14 18:29:53] [INFO ] Time to serialize properties into /tmp/CTLFireability8671939637359979513.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/CTLFireability10790210062672958566.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability8671939637359979513.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...254
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 : 6641/6641 places, 12004/12004 transitions.
Graph (trivial) has 5705 edges and 6641 vertex of which 944 / 6641 are part of one of the 68 SCC in 4 ms
Free SCC test removed 876 places
Ensure Unique test removed 984 transitions
Reduce isomorphic transitions removed 984 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1291 transitions
Trivial Post-agglo rules discarded 1291 transitions
Performed 1291 trivial Post agglomeration. Transition count delta: 1291
Iterating post reduction 0 with 1291 rules applied. Total rules applied 1292 place count 5764 transition count 9728
Reduce places removed 1291 places and 0 transitions.
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 1 with 1452 rules applied. Total rules applied 2744 place count 4473 transition count 9567
Reduce places removed 106 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 110 rules applied. Total rules applied 2854 place count 4367 transition count 9563
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 2856 place count 4365 transition count 9563
Performed 674 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 674 Pre rules applied. Total rules applied 2856 place count 4365 transition count 8889
Deduced a syphon composed of 674 places in 125 ms
Reduce places removed 674 places and 0 transitions.
Iterating global reduction 4 with 1348 rules applied. Total rules applied 4204 place count 3691 transition count 8889
Discarding 161 places :
Symmetric choice reduction at 4 with 161 rule applications. Total rules 4365 place count 3530 transition count 7323
Iterating global reduction 4 with 161 rules applied. Total rules applied 4526 place count 3530 transition count 7323
Ensure Unique test removed 41 transitions
Reduce isomorphic transitions removed 41 transitions.
Iterating post reduction 4 with 41 rules applied. Total rules applied 4567 place count 3530 transition count 7282
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 27 Pre rules applied. Total rules applied 4567 place count 3530 transition count 7255
Deduced a syphon composed of 27 places in 102 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 5 with 54 rules applied. Total rules applied 4621 place count 3503 transition count 7255
Performed 1298 Post agglomeration using F-continuation condition.Transition count delta: 1298
Deduced a syphon composed of 1298 places in 1 ms
Reduce places removed 1298 places and 0 transitions.
Iterating global reduction 5 with 2596 rules applied. Total rules applied 7217 place count 2205 transition count 5957
Renaming transitions due to excessive name length > 1024 char.
Discarding 59 places :
Symmetric choice reduction at 5 with 59 rule applications. Total rules 7276 place count 2146 transition count 5087
Iterating global reduction 5 with 59 rules applied. Total rules applied 7335 place count 2146 transition count 5087
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 59 transitions.
Iterating post reduction 5 with 59 rules applied. Total rules applied 7394 place count 2146 transition count 5028
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 6 with 12 rules applied. Total rules applied 7406 place count 2146 transition count 5016
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 6 rules applied. Total rules applied 7412 place count 2146 transition count 5010
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 7418 place count 2140 transition count 5010
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 7419 place count 2139 transition count 5009
Applied a total of 7419 rules in 1708 ms. Remains 2139 /6641 variables (removed 4502) and now considering 5009/12004 (removed 6995) transitions.
[2022-05-14 18:30:25] [INFO ] Flow matrix only has 4942 transitions (discarded 67 similar events)
// Phase 1: matrix 4942 rows 2139 cols
[2022-05-14 18:30:25] [INFO ] Computed 608 place invariants in 6 ms
[2022-05-14 18:30:26] [INFO ] Implicit Places using invariants in 1005 ms returned []
[2022-05-14 18:30:26] [INFO ] Flow matrix only has 4942 transitions (discarded 67 similar events)
// Phase 1: matrix 4942 rows 2139 cols
[2022-05-14 18:30:26] [INFO ] Computed 608 place invariants in 6 ms
[2022-05-14 18:30:28] [INFO ] Implicit Places using invariants and state equation in 1802 ms returned []
Implicit Place search using SMT with State Equation took 2809 ms to find 0 implicit places.
[2022-05-14 18:30:28] [INFO ] Redundant transitions in 412 ms returned []
[2022-05-14 18:30:28] [INFO ] Flow matrix only has 4942 transitions (discarded 67 similar events)
// Phase 1: matrix 4942 rows 2139 cols
[2022-05-14 18:30:28] [INFO ] Computed 608 place invariants in 10 ms
[2022-05-14 18:30:30] [INFO ] Dead Transitions using invariants and state equation in 2015 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 2139/6641 places, 5009/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 2139/6641 places, 5009/12004 transitions.
[2022-05-14 18:30:31] [INFO ] Flatten gal took : 129 ms
[2022-05-14 18:30:31] [INFO ] Flatten gal took : 141 ms
[2022-05-14 18:30:31] [INFO ] Input system was already deterministic with 5009 transitions.
[2022-05-14 18:30:31] [INFO ] Flatten gal took : 130 ms
[2022-05-14 18:30:31] [INFO ] Flatten gal took : 130 ms
[2022-05-14 18:30:31] [INFO ] Time to serialize gal into /tmp/CTLFireability14387382599268913172.gal : 11 ms
[2022-05-14 18:30:31] [INFO ] Time to serialize properties into /tmp/CTLFireability15225250254036619237.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/CTLFireability14387382599268913172.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15225250254036619237.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-14 18:31:01] [INFO ] Flatten gal took : 132 ms
[2022-05-14 18:31:01] [INFO ] Applying decomposition
[2022-05-14 18:31:02] [INFO ] Flatten gal took : 138 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/graph3156624800372224490.txt' '-o' '/tmp/graph3156624800372224490.bin' '-w' '/tmp/graph3156624800372224490.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3156624800372224490.bin' '-l' '-1' '-v' '-w' '/tmp/graph3156624800372224490.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:31:02] [INFO ] Decomposing Gal with order
[2022-05-14 18:31:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:31:02] [INFO ] Removed a total of 5392 redundant transitions.
[2022-05-14 18:31:02] [INFO ] Flatten gal took : 172 ms
[2022-05-14 18:31:02] [INFO ] Fuse similar labels procedure discarded/fused a total of 281 labels/synchronizations in 138 ms.
[2022-05-14 18:31:02] [INFO ] Time to serialize gal into /tmp/CTLFireability16027872410793686006.gal : 10 ms
[2022-05-14 18:31:02] [INFO ] Time to serialize properties into /tmp/CTLFireability11694526893189571946.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/CTLFireability16027872410793686006.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11694526893189571946.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,3.92306e+314,0.904044,27220,740,10,13633,563,2817,14253,38,625,0
Converting to forward existential form...Done !
original formula: E((i32.u448.p8277==1) U AG(!(AF((i36.u206.p5701==1)))))
=> equivalent forward existential formula: [(FwdU(Init,(i32.u448.p8277==1)) * !(E(TRUE U !(!(!(EG(!((i36.u206.p5701==1)))))))))] != FALSE
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Graph (trivial) has 5689 edges and 6641 vertex of which 929 / 6641 are part of one of the 67 SCC in 5 ms
Free SCC test removed 862 places
Ensure Unique test removed 968 transitions
Reduce isomorphic transitions removed 968 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1291 transitions
Trivial Post-agglo rules discarded 1291 transitions
Performed 1291 trivial Post agglomeration. Transition count delta: 1291
Iterating post reduction 0 with 1291 rules applied. Total rules applied 1292 place count 5778 transition count 9744
Reduce places removed 1291 places and 0 transitions.
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 1 with 1452 rules applied. Total rules applied 2744 place count 4487 transition count 9583
Reduce places removed 106 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 110 rules applied. Total rules applied 2854 place count 4381 transition count 9579
Reduce places removed 2 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 3 rules applied. Total rules applied 2857 place count 4379 transition count 9578
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 2858 place count 4378 transition count 9578
Performed 677 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 677 Pre rules applied. Total rules applied 2858 place count 4378 transition count 8901
Deduced a syphon composed of 677 places in 127 ms
Reduce places removed 677 places and 0 transitions.
Iterating global reduction 5 with 1354 rules applied. Total rules applied 4212 place count 3701 transition count 8901
Discarding 156 places :
Symmetric choice reduction at 5 with 156 rule applications. Total rules 4368 place count 3545 transition count 7345
Iterating global reduction 5 with 156 rules applied. Total rules applied 4524 place count 3545 transition count 7345
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Iterating post reduction 5 with 40 rules applied. Total rules applied 4564 place count 3545 transition count 7305
Performed 25 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 25 Pre rules applied. Total rules applied 4564 place count 3545 transition count 7280
Deduced a syphon composed of 25 places in 104 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 6 with 50 rules applied. Total rules applied 4614 place count 3520 transition count 7280
Performed 1301 Post agglomeration using F-continuation condition.Transition count delta: 1301
Deduced a syphon composed of 1301 places in 2 ms
Reduce places removed 1301 places and 0 transitions.
Iterating global reduction 6 with 2602 rules applied. Total rules applied 7216 place count 2219 transition count 5979
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 7217 place count 2219 transition count 5978
Renaming transitions due to excessive name length > 1024 char.
Discarding 58 places :
Symmetric choice reduction at 7 with 58 rule applications. Total rules 7275 place count 2161 transition count 5157
Iterating global reduction 7 with 58 rules applied. Total rules applied 7333 place count 2161 transition count 5157
Ensure Unique test removed 58 transitions
Reduce isomorphic transitions removed 58 transitions.
Iterating post reduction 7 with 58 rules applied. Total rules applied 7391 place count 2161 transition count 5099
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 7393 place count 2160 transition count 5098
Drop transitions removed 13 transitions
Redundant transition composition rules discarded 13 transitions
Iterating global reduction 8 with 13 rules applied. Total rules applied 7406 place count 2160 transition count 5085
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 8 with 7 rules applied. Total rules applied 7413 place count 2160 transition count 5078
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 9 with 7 rules applied. Total rules applied 7420 place count 2153 transition count 5078
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 7421 place count 2152 transition count 5077
Applied a total of 7421 rules in 1841 ms. Remains 2152 /6641 variables (removed 4489) and now considering 5077/12004 (removed 6927) transitions.
[2022-05-14 18:31:34] [INFO ] Flow matrix only has 5011 transitions (discarded 66 similar events)
// Phase 1: matrix 5011 rows 2152 cols
[2022-05-14 18:31:34] [INFO ] Computed 608 place invariants in 11 ms
[2022-05-14 18:31:35] [INFO ] Implicit Places using invariants in 964 ms returned []
[2022-05-14 18:31:35] [INFO ] Flow matrix only has 5011 transitions (discarded 66 similar events)
// Phase 1: matrix 5011 rows 2152 cols
[2022-05-14 18:31:35] [INFO ] Computed 608 place invariants in 7 ms
[2022-05-14 18:31:36] [INFO ] State equation strengthened by 6 read => feed constraints.
[2022-05-14 18:31:37] [INFO ] Implicit Places using invariants and state equation in 1772 ms returned []
Implicit Place search using SMT with State Equation took 2742 ms to find 0 implicit places.
[2022-05-14 18:31:37] [INFO ] Redundant transitions in 213 ms returned []
[2022-05-14 18:31:37] [INFO ] Flow matrix only has 5011 transitions (discarded 66 similar events)
// Phase 1: matrix 5011 rows 2152 cols
[2022-05-14 18:31:37] [INFO ] Computed 608 place invariants in 12 ms
[2022-05-14 18:31:39] [INFO ] Dead Transitions using invariants and state equation in 2041 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 2152/6641 places, 5077/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 2152/6641 places, 5077/12004 transitions.
[2022-05-14 18:31:39] [INFO ] Flatten gal took : 124 ms
[2022-05-14 18:31:40] [INFO ] Flatten gal took : 137 ms
[2022-05-14 18:31:40] [INFO ] Input system was already deterministic with 5077 transitions.
[2022-05-14 18:31:40] [INFO ] Flatten gal took : 214 ms
[2022-05-14 18:31:40] [INFO ] Flatten gal took : 130 ms
[2022-05-14 18:31:40] [INFO ] Time to serialize gal into /tmp/CTLFireability18179941672477102795.gal : 11 ms
[2022-05-14 18:31:40] [INFO ] Time to serialize properties into /tmp/CTLFireability2381590289346138650.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/CTLFireability18179941672477102795.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability2381590289346138650.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-14 18:32:10] [INFO ] Flatten gal took : 136 ms
[2022-05-14 18:32:10] [INFO ] Applying decomposition
[2022-05-14 18:32:10] [INFO ] Flatten gal took : 137 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/graph2076709231306603717.txt' '-o' '/tmp/graph2076709231306603717.bin' '-w' '/tmp/graph2076709231306603717.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2076709231306603717.bin' '-l' '-1' '-v' '-w' '/tmp/graph2076709231306603717.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:32:11] [INFO ] Decomposing Gal with order
[2022-05-14 18:32:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:32:11] [INFO ] Removed a total of 5503 redundant transitions.
[2022-05-14 18:32:11] [INFO ] Flatten gal took : 172 ms
[2022-05-14 18:32:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 285 labels/synchronizations in 48 ms.
[2022-05-14 18:32:11] [INFO ] Time to serialize gal into /tmp/CTLFireability11768170452795270005.gal : 14 ms
[2022-05-14 18:32:11] [INFO ] Time to serialize properties into /tmp/CTLFireability3706950514470527814.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/CTLFireability11768170452795270005.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3706950514470527814.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...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.62345e+315,0.92345,27544,715,17,14830,709,2965,14338,60,850,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 6589 transition count 11902
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 6589 transition count 11902
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 105 place count 6589 transition count 11901
Discarding 36 places :
Symmetric choice reduction at 1 with 36 rule applications. Total rules 141 place count 6553 transition count 11863
Iterating global reduction 1 with 36 rules applied. Total rules applied 177 place count 6553 transition count 11863
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 179 place count 6553 transition count 11861
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 194 place count 6538 transition count 11846
Iterating global reduction 2 with 15 rules applied. Total rules applied 209 place count 6538 transition count 11846
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 211 place count 6538 transition count 11844
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 221 place count 6528 transition count 11834
Iterating global reduction 3 with 10 rules applied. Total rules applied 231 place count 6528 transition count 11834
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 240 place count 6519 transition count 11825
Iterating global reduction 3 with 9 rules applied. Total rules applied 249 place count 6519 transition count 11825
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 257 place count 6511 transition count 11817
Iterating global reduction 3 with 8 rules applied. Total rules applied 265 place count 6511 transition count 11817
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 270 place count 6506 transition count 11812
Iterating global reduction 3 with 5 rules applied. Total rules applied 275 place count 6506 transition count 11812
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 280 place count 6501 transition count 11807
Iterating global reduction 3 with 5 rules applied. Total rules applied 285 place count 6501 transition count 11807
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 288 place count 6498 transition count 11804
Iterating global reduction 3 with 3 rules applied. Total rules applied 291 place count 6498 transition count 11804
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 293 place count 6496 transition count 11802
Iterating global reduction 3 with 2 rules applied. Total rules applied 295 place count 6496 transition count 11802
Applied a total of 295 rules in 7476 ms. Remains 6496 /6641 variables (removed 145) and now considering 11802/12004 (removed 202) transitions.
// Phase 1: matrix 11802 rows 6496 cols
[2022-05-14 18:32:49] [INFO ] Computed 608 place invariants in 37 ms
[2022-05-14 18:32:51] [INFO ] Implicit Places using invariants in 1809 ms returned []
Implicit Place search using SMT only with invariants took 1810 ms to find 0 implicit places.
// Phase 1: matrix 11802 rows 6496 cols
[2022-05-14 18:32:51] [INFO ] Computed 608 place invariants in 37 ms
[2022-05-14 18:32:58] [INFO ] Dead Transitions using invariants and state equation in 7624 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6496/6641 places, 11802/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6496/6641 places, 11802/12004 transitions.
[2022-05-14 18:32:58] [INFO ] Flatten gal took : 224 ms
[2022-05-14 18:32:59] [INFO ] Flatten gal took : 251 ms
[2022-05-14 18:32:59] [INFO ] Input system was already deterministic with 11802 transitions.
[2022-05-14 18:33:00] [INFO ] Flatten gal took : 298 ms
[2022-05-14 18:33:00] [INFO ] Flatten gal took : 239 ms
[2022-05-14 18:33:00] [INFO ] Time to serialize gal into /tmp/CTLFireability4193614038650097819.gal : 27 ms
[2022-05-14 18:33:00] [INFO ] Time to serialize properties into /tmp/CTLFireability7300012643576690653.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/CTLFireability4193614038650097819.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7300012643576690653.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-14 18:33:30] [INFO ] Flatten gal took : 234 ms
[2022-05-14 18:33:30] [INFO ] Applying decomposition
[2022-05-14 18:33:30] [INFO ] Flatten gal took : 245 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/graph13941192075186208819.txt' '-o' '/tmp/graph13941192075186208819.bin' '-w' '/tmp/graph13941192075186208819.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph13941192075186208819.bin' '-l' '-1' '-v' '-w' '/tmp/graph13941192075186208819.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:33:31] [INFO ] Decomposing Gal with order
[2022-05-14 18:33:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:33:34] [INFO ] Removed a total of 11603 redundant transitions.
[2022-05-14 18:33:34] [INFO ] Flatten gal took : 426 ms
[2022-05-14 18:33:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 346 labels/synchronizations in 98 ms.
[2022-05-14 18:33:34] [INFO ] Time to serialize gal into /tmp/CTLFireability12597752343118072906.gal : 47 ms
[2022-05-14 18:33:34] [INFO ] Time to serialize properties into /tmp/CTLFireability1110777797893288590.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/CTLFireability12597752343118072906.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1110777797893288590.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...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 6597 transition count 11958
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 6597 transition count 11958
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 89 place count 6597 transition count 11957
Discarding 30 places :
Symmetric choice reduction at 1 with 30 rule applications. Total rules 119 place count 6567 transition count 11926
Iterating global reduction 1 with 30 rules applied. Total rules applied 149 place count 6567 transition count 11926
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 151 place count 6567 transition count 11924
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 163 place count 6555 transition count 11912
Iterating global reduction 2 with 12 rules applied. Total rules applied 175 place count 6555 transition count 11912
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 176 place count 6555 transition count 11911
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 185 place count 6546 transition count 11902
Iterating global reduction 3 with 9 rules applied. Total rules applied 194 place count 6546 transition count 11902
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 201 place count 6539 transition count 11895
Iterating global reduction 3 with 7 rules applied. Total rules applied 208 place count 6539 transition count 11895
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 214 place count 6533 transition count 11889
Iterating global reduction 3 with 6 rules applied. Total rules applied 220 place count 6533 transition count 11889
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 224 place count 6529 transition count 11885
Iterating global reduction 3 with 4 rules applied. Total rules applied 228 place count 6529 transition count 11885
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 232 place count 6525 transition count 11881
Iterating global reduction 3 with 4 rules applied. Total rules applied 236 place count 6525 transition count 11881
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 239 place count 6522 transition count 11878
Iterating global reduction 3 with 3 rules applied. Total rules applied 242 place count 6522 transition count 11878
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 244 place count 6520 transition count 11876
Iterating global reduction 3 with 2 rules applied. Total rules applied 246 place count 6520 transition count 11876
Applied a total of 246 rules in 7322 ms. Remains 6520 /6641 variables (removed 121) and now considering 11876/12004 (removed 128) transitions.
// Phase 1: matrix 11876 rows 6520 cols
[2022-05-14 18:34:11] [INFO ] Computed 608 place invariants in 36 ms
[2022-05-14 18:34:13] [INFO ] Implicit Places using invariants in 1719 ms returned []
Implicit Place search using SMT only with invariants took 1720 ms to find 0 implicit places.
// Phase 1: matrix 11876 rows 6520 cols
[2022-05-14 18:34:13] [INFO ] Computed 608 place invariants in 39 ms
[2022-05-14 18:34:21] [INFO ] Dead Transitions using invariants and state equation in 7504 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6520/6641 places, 11876/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6520/6641 places, 11876/12004 transitions.
[2022-05-14 18:34:21] [INFO ] Flatten gal took : 224 ms
[2022-05-14 18:34:21] [INFO ] Flatten gal took : 251 ms
[2022-05-14 18:34:22] [INFO ] Input system was already deterministic with 11876 transitions.
[2022-05-14 18:34:22] [INFO ] Flatten gal took : 318 ms
[2022-05-14 18:34:22] [INFO ] Flatten gal took : 237 ms
[2022-05-14 18:34:22] [INFO ] Time to serialize gal into /tmp/CTLFireability13751546909162037030.gal : 28 ms
[2022-05-14 18:34:22] [INFO ] Time to serialize properties into /tmp/CTLFireability18069206821117013912.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/CTLFireability13751546909162037030.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability18069206821117013912.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-14 18:34:53] [INFO ] Flatten gal took : 244 ms
[2022-05-14 18:34:53] [INFO ] Applying decomposition
[2022-05-14 18:34:53] [INFO ] Flatten gal took : 251 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/graph12873290009272588677.txt' '-o' '/tmp/graph12873290009272588677.bin' '-w' '/tmp/graph12873290009272588677.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph12873290009272588677.bin' '-l' '-1' '-v' '-w' '/tmp/graph12873290009272588677.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:34:53] [INFO ] Decomposing Gal with order
[2022-05-14 18:34:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:34:56] [INFO ] Removed a total of 11793 redundant transitions.
[2022-05-14 18:34:56] [INFO ] Flatten gal took : 430 ms
[2022-05-14 18:34:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 387 labels/synchronizations in 108 ms.
[2022-05-14 18:34:57] [INFO ] Time to serialize gal into /tmp/CTLFireability13642734239221343915.gal : 79 ms
[2022-05-14 18:34:57] [INFO ] Time to serialize properties into /tmp/CTLFireability4504479137859360691.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/CTLFireability13642734239221343915.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4504479137859360691.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...254
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 : 6641/6641 places, 12004/12004 transitions.
Graph (trivial) has 5704 edges and 6641 vertex of which 944 / 6641 are part of one of the 68 SCC in 4 ms
Free SCC test removed 876 places
Ensure Unique test removed 984 transitions
Reduce isomorphic transitions removed 984 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1292 transitions
Trivial Post-agglo rules discarded 1292 transitions
Performed 1292 trivial Post agglomeration. Transition count delta: 1292
Iterating post reduction 0 with 1292 rules applied. Total rules applied 1293 place count 5764 transition count 9727
Reduce places removed 1292 places and 0 transitions.
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 1 with 1453 rules applied. Total rules applied 2746 place count 4472 transition count 9566
Reduce places removed 106 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 110 rules applied. Total rules applied 2856 place count 4366 transition count 9562
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 2858 place count 4364 transition count 9562
Performed 674 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 674 Pre rules applied. Total rules applied 2858 place count 4364 transition count 8888
Deduced a syphon composed of 674 places in 230 ms
Reduce places removed 674 places and 0 transitions.
Iterating global reduction 4 with 1348 rules applied. Total rules applied 4206 place count 3690 transition count 8888
Discarding 161 places :
Symmetric choice reduction at 4 with 161 rule applications. Total rules 4367 place count 3529 transition count 7322
Iterating global reduction 4 with 161 rules applied. Total rules applied 4528 place count 3529 transition count 7322
Ensure Unique test removed 41 transitions
Reduce isomorphic transitions removed 41 transitions.
Iterating post reduction 4 with 41 rules applied. Total rules applied 4569 place count 3529 transition count 7281
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 27 Pre rules applied. Total rules applied 4569 place count 3529 transition count 7254
Deduced a syphon composed of 27 places in 94 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 5 with 54 rules applied. Total rules applied 4623 place count 3502 transition count 7254
Performed 1298 Post agglomeration using F-continuation condition.Transition count delta: 1298
Deduced a syphon composed of 1298 places in 1 ms
Reduce places removed 1298 places and 0 transitions.
Iterating global reduction 5 with 2596 rules applied. Total rules applied 7219 place count 2204 transition count 5956
Renaming transitions due to excessive name length > 1024 char.
Discarding 57 places :
Symmetric choice reduction at 5 with 57 rule applications. Total rules 7276 place count 2147 transition count 5141
Iterating global reduction 5 with 57 rules applied. Total rules applied 7333 place count 2147 transition count 5141
Ensure Unique test removed 57 transitions
Reduce isomorphic transitions removed 57 transitions.
Iterating post reduction 5 with 57 rules applied. Total rules applied 7390 place count 2147 transition count 5084
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 6 with 12 rules applied. Total rules applied 7402 place count 2147 transition count 5072
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 6 rules applied. Total rules applied 7408 place count 2147 transition count 5066
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 7414 place count 2141 transition count 5066
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 7415 place count 2140 transition count 5065
Applied a total of 7415 rules in 1432 ms. Remains 2140 /6641 variables (removed 4501) and now considering 5065/12004 (removed 6939) transitions.
[2022-05-14 18:35:28] [INFO ] Flow matrix only has 4998 transitions (discarded 67 similar events)
// Phase 1: matrix 4998 rows 2140 cols
[2022-05-14 18:35:28] [INFO ] Computed 608 place invariants in 13 ms
[2022-05-14 18:35:29] [INFO ] Implicit Places using invariants in 966 ms returned []
[2022-05-14 18:35:29] [INFO ] Flow matrix only has 4998 transitions (discarded 67 similar events)
// Phase 1: matrix 4998 rows 2140 cols
[2022-05-14 18:35:29] [INFO ] Computed 608 place invariants in 9 ms
[2022-05-14 18:35:31] [INFO ] Implicit Places using invariants and state equation in 1871 ms returned []
Implicit Place search using SMT with State Equation took 2839 ms to find 0 implicit places.
[2022-05-14 18:35:31] [INFO ] Redundant transitions in 267 ms returned []
[2022-05-14 18:35:31] [INFO ] Flow matrix only has 4998 transitions (discarded 67 similar events)
// Phase 1: matrix 4998 rows 2140 cols
[2022-05-14 18:35:31] [INFO ] Computed 608 place invariants in 6 ms
[2022-05-14 18:35:33] [INFO ] Dead Transitions using invariants and state equation in 2038 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 2140/6641 places, 5065/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 2140/6641 places, 5065/12004 transitions.
[2022-05-14 18:35:33] [INFO ] Flatten gal took : 125 ms
[2022-05-14 18:35:34] [INFO ] Flatten gal took : 143 ms
[2022-05-14 18:35:34] [INFO ] Input system was already deterministic with 5065 transitions.
[2022-05-14 18:35:34] [INFO ] Flatten gal took : 136 ms
[2022-05-14 18:35:34] [INFO ] Flatten gal took : 140 ms
[2022-05-14 18:35:34] [INFO ] Time to serialize gal into /tmp/CTLFireability16220560114527404332.gal : 12 ms
[2022-05-14 18:35:34] [INFO ] Time to serialize properties into /tmp/CTLFireability13612451346289228437.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/CTLFireability16220560114527404332.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13612451346289228437.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-14 18:36:04] [INFO ] Flatten gal took : 129 ms
[2022-05-14 18:36:04] [INFO ] Applying decomposition
[2022-05-14 18:36:04] [INFO ] Flatten gal took : 133 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/graph1779184432996215591.txt' '-o' '/tmp/graph1779184432996215591.bin' '-w' '/tmp/graph1779184432996215591.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph1779184432996215591.bin' '-l' '-1' '-v' '-w' '/tmp/graph1779184432996215591.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:36:05] [INFO ] Decomposing Gal with order
[2022-05-14 18:36:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:36:05] [INFO ] Removed a total of 5500 redundant transitions.
[2022-05-14 18:36:05] [INFO ] Flatten gal took : 168 ms
[2022-05-14 18:36:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 361 labels/synchronizations in 39 ms.
[2022-05-14 18:36:05] [INFO ] Time to serialize gal into /tmp/CTLFireability13804876369707471653.gal : 13 ms
[2022-05-14 18:36:05] [INFO ] Time to serialize properties into /tmp/CTLFireability5206282560343087554.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/CTLFireability13804876369707471653.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5206282560343087554.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...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,3.56642e+314,0.889027,27716,678,11,13234,586,2984,14056,40,701,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Graph (trivial) has 5688 edges and 6641 vertex of which 944 / 6641 are part of one of the 68 SCC in 5 ms
Free SCC test removed 876 places
Ensure Unique test removed 984 transitions
Reduce isomorphic transitions removed 984 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1283 transitions
Trivial Post-agglo rules discarded 1283 transitions
Performed 1283 trivial Post agglomeration. Transition count delta: 1283
Iterating post reduction 0 with 1283 rules applied. Total rules applied 1284 place count 5764 transition count 9736
Reduce places removed 1283 places and 0 transitions.
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 1 with 1444 rules applied. Total rules applied 2728 place count 4481 transition count 9575
Reduce places removed 106 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 110 rules applied. Total rules applied 2838 place count 4375 transition count 9571
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 2840 place count 4373 transition count 9571
Performed 674 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 674 Pre rules applied. Total rules applied 2840 place count 4373 transition count 8897
Deduced a syphon composed of 674 places in 125 ms
Reduce places removed 674 places and 0 transitions.
Iterating global reduction 4 with 1348 rules applied. Total rules applied 4188 place count 3699 transition count 8897
Discarding 156 places :
Symmetric choice reduction at 4 with 156 rule applications. Total rules 4344 place count 3543 transition count 7394
Iterating global reduction 4 with 156 rules applied. Total rules applied 4500 place count 3543 transition count 7394
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Iterating post reduction 4 with 39 rules applied. Total rules applied 4539 place count 3543 transition count 7355
Performed 25 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 25 Pre rules applied. Total rules applied 4539 place count 3543 transition count 7330
Deduced a syphon composed of 25 places in 93 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 5 with 50 rules applied. Total rules applied 4589 place count 3518 transition count 7330
Performed 1300 Post agglomeration using F-continuation condition.Transition count delta: 1300
Deduced a syphon composed of 1300 places in 1 ms
Reduce places removed 1300 places and 0 transitions.
Iterating global reduction 5 with 2600 rules applied. Total rules applied 7189 place count 2218 transition count 6030
Renaming transitions due to excessive name length > 1024 char.
Discarding 58 places :
Symmetric choice reduction at 5 with 58 rule applications. Total rules 7247 place count 2160 transition count 5209
Iterating global reduction 5 with 58 rules applied. Total rules applied 7305 place count 2160 transition count 5209
Ensure Unique test removed 58 transitions
Reduce isomorphic transitions removed 58 transitions.
Iterating post reduction 5 with 58 rules applied. Total rules applied 7363 place count 2160 transition count 5151
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 6 with 11 rules applied. Total rules applied 7374 place count 2160 transition count 5140
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 6 rules applied. Total rules applied 7380 place count 2160 transition count 5134
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 7386 place count 2154 transition count 5134
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 7387 place count 2153 transition count 5133
Applied a total of 7387 rules in 1429 ms. Remains 2153 /6641 variables (removed 4488) and now considering 5133/12004 (removed 6871) transitions.
[2022-05-14 18:36:37] [INFO ] Flow matrix only has 5066 transitions (discarded 67 similar events)
// Phase 1: matrix 5066 rows 2153 cols
[2022-05-14 18:36:37] [INFO ] Computed 608 place invariants in 14 ms
[2022-05-14 18:36:38] [INFO ] Implicit Places using invariants in 984 ms returned []
[2022-05-14 18:36:38] [INFO ] Flow matrix only has 5066 transitions (discarded 67 similar events)
// Phase 1: matrix 5066 rows 2153 cols
[2022-05-14 18:36:38] [INFO ] Computed 608 place invariants in 6 ms
[2022-05-14 18:36:39] [INFO ] Implicit Places using invariants and state equation in 1775 ms returned []
Implicit Place search using SMT with State Equation took 2759 ms to find 0 implicit places.
[2022-05-14 18:36:40] [INFO ] Redundant transitions in 372 ms returned []
[2022-05-14 18:36:40] [INFO ] Flow matrix only has 5066 transitions (discarded 67 similar events)
// Phase 1: matrix 5066 rows 2153 cols
[2022-05-14 18:36:40] [INFO ] Computed 608 place invariants in 12 ms
[2022-05-14 18:36:42] [INFO ] Dead Transitions using invariants and state equation in 2057 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 2153/6641 places, 5133/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 2153/6641 places, 5133/12004 transitions.
[2022-05-14 18:36:42] [INFO ] Flatten gal took : 135 ms
[2022-05-14 18:36:42] [INFO ] Flatten gal took : 153 ms
[2022-05-14 18:36:42] [INFO ] Input system was already deterministic with 5133 transitions.
[2022-05-14 18:36:43] [INFO ] Flatten gal took : 146 ms
[2022-05-14 18:36:43] [INFO ] Flatten gal took : 151 ms
[2022-05-14 18:36:43] [INFO ] Time to serialize gal into /tmp/CTLFireability7896031999186368657.gal : 13 ms
[2022-05-14 18:36:43] [INFO ] Time to serialize properties into /tmp/CTLFireability5040009778977787227.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/CTLFireability7896031999186368657.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability5040009778977787227.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-14 18:37:13] [INFO ] Flatten gal took : 145 ms
[2022-05-14 18:37:13] [INFO ] Applying decomposition
[2022-05-14 18:37:13] [INFO ] Flatten gal took : 150 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/graph18059601435651356346.txt' '-o' '/tmp/graph18059601435651356346.bin' '-w' '/tmp/graph18059601435651356346.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph18059601435651356346.bin' '-l' '-1' '-v' '-w' '/tmp/graph18059601435651356346.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:37:13] [INFO ] Decomposing Gal with order
[2022-05-14 18:37:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:37:14] [INFO ] Removed a total of 5610 redundant transitions.
[2022-05-14 18:37:14] [INFO ] Flatten gal took : 181 ms
[2022-05-14 18:37:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 367 labels/synchronizations in 97 ms.
[2022-05-14 18:37:14] [INFO ] Time to serialize gal into /tmp/CTLFireability14685401898744508614.gal : 16 ms
[2022-05-14 18:37:14] [INFO ] Time to serialize properties into /tmp/CTLFireability17220011448287837689.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/CTLFireability14685401898744508614.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17220011448287837689.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.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,3.7515e+315,1.01638,28724,857,15,16429,641,3213,17901,63,807,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 55 place count 6586 transition count 11899
Iterating global reduction 0 with 55 rules applied. Total rules applied 110 place count 6586 transition count 11899
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 111 place count 6586 transition count 11898
Discarding 37 places :
Symmetric choice reduction at 1 with 37 rule applications. Total rules 148 place count 6549 transition count 11859
Iterating global reduction 1 with 37 rules applied. Total rules applied 185 place count 6549 transition count 11859
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 187 place count 6549 transition count 11857
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 202 place count 6534 transition count 11842
Iterating global reduction 2 with 15 rules applied. Total rules applied 217 place count 6534 transition count 11842
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 219 place count 6534 transition count 11840
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 229 place count 6524 transition count 11830
Iterating global reduction 3 with 10 rules applied. Total rules applied 239 place count 6524 transition count 11830
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 248 place count 6515 transition count 11821
Iterating global reduction 3 with 9 rules applied. Total rules applied 257 place count 6515 transition count 11821
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 265 place count 6507 transition count 11813
Iterating global reduction 3 with 8 rules applied. Total rules applied 273 place count 6507 transition count 11813
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 278 place count 6502 transition count 11808
Iterating global reduction 3 with 5 rules applied. Total rules applied 283 place count 6502 transition count 11808
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 288 place count 6497 transition count 11803
Iterating global reduction 3 with 5 rules applied. Total rules applied 293 place count 6497 transition count 11803
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 296 place count 6494 transition count 11800
Iterating global reduction 3 with 3 rules applied. Total rules applied 299 place count 6494 transition count 11800
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 301 place count 6492 transition count 11798
Iterating global reduction 3 with 2 rules applied. Total rules applied 303 place count 6492 transition count 11798
Applied a total of 303 rules in 7196 ms. Remains 6492 /6641 variables (removed 149) and now considering 11798/12004 (removed 206) transitions.
// Phase 1: matrix 11798 rows 6492 cols
[2022-05-14 18:37:51] [INFO ] Computed 608 place invariants in 35 ms
[2022-05-14 18:37:53] [INFO ] Implicit Places using invariants in 1845 ms returned []
Implicit Place search using SMT only with invariants took 1846 ms to find 0 implicit places.
// Phase 1: matrix 11798 rows 6492 cols
[2022-05-14 18:37:53] [INFO ] Computed 608 place invariants in 35 ms
[2022-05-14 18:38:01] [INFO ] Dead Transitions using invariants and state equation in 7474 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6492/6641 places, 11798/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6492/6641 places, 11798/12004 transitions.
[2022-05-14 18:38:01] [INFO ] Flatten gal took : 220 ms
[2022-05-14 18:38:01] [INFO ] Flatten gal took : 249 ms
[2022-05-14 18:38:02] [INFO ] Input system was already deterministic with 11798 transitions.
[2022-05-14 18:38:02] [INFO ] Flatten gal took : 233 ms
[2022-05-14 18:38:02] [INFO ] Flatten gal took : 247 ms
[2022-05-14 18:38:02] [INFO ] Time to serialize gal into /tmp/CTLFireability366296671060080574.gal : 26 ms
[2022-05-14 18:38:02] [INFO ] Time to serialize properties into /tmp/CTLFireability17276340456939961385.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/CTLFireability366296671060080574.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17276340456939961385.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-14 18:38:32] [INFO ] Flatten gal took : 240 ms
[2022-05-14 18:38:32] [INFO ] Applying decomposition
[2022-05-14 18:38:33] [INFO ] Flatten gal took : 248 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/graph7488714221637383691.txt' '-o' '/tmp/graph7488714221637383691.bin' '-w' '/tmp/graph7488714221637383691.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph7488714221637383691.bin' '-l' '-1' '-v' '-w' '/tmp/graph7488714221637383691.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:38:33] [INFO ] Decomposing Gal with order
[2022-05-14 18:38:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:38:36] [INFO ] Removed a total of 11630 redundant transitions.
[2022-05-14 18:38:36] [INFO ] Flatten gal took : 418 ms
[2022-05-14 18:38:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 273 labels/synchronizations in 98 ms.
[2022-05-14 18:38:36] [INFO ] Time to serialize gal into /tmp/CTLFireability14154591439440322537.gal : 48 ms
[2022-05-14 18:38:36] [INFO ] Time to serialize properties into /tmp/CTLFireability4014794333649981509.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/CTLFireability14154591439440322537.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4014794333649981509.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...254
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 : 6641/6641 places, 12004/12004 transitions.
Graph (trivial) has 5691 edges and 6641 vertex of which 929 / 6641 are part of one of the 67 SCC in 3 ms
Free SCC test removed 862 places
Ensure Unique test removed 968 transitions
Reduce isomorphic transitions removed 968 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 1290 transitions
Trivial Post-agglo rules discarded 1290 transitions
Performed 1290 trivial Post agglomeration. Transition count delta: 1290
Iterating post reduction 0 with 1290 rules applied. Total rules applied 1291 place count 5778 transition count 9745
Reduce places removed 1290 places and 0 transitions.
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Drop transitions removed 106 transitions
Trivial Post-agglo rules discarded 106 transitions
Performed 106 trivial Post agglomeration. Transition count delta: 106
Iterating post reduction 1 with 1451 rules applied. Total rules applied 2742 place count 4488 transition count 9584
Reduce places removed 106 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 110 rules applied. Total rules applied 2852 place count 4382 transition count 9580
Reduce places removed 2 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 3 rules applied. Total rules applied 2855 place count 4380 transition count 9579
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 2856 place count 4379 transition count 9579
Performed 678 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 678 Pre rules applied. Total rules applied 2856 place count 4379 transition count 8901
Deduced a syphon composed of 678 places in 125 ms
Reduce places removed 678 places and 0 transitions.
Iterating global reduction 5 with 1356 rules applied. Total rules applied 4212 place count 3701 transition count 8901
Discarding 155 places :
Symmetric choice reduction at 5 with 155 rule applications. Total rules 4367 place count 3546 transition count 7394
Iterating global reduction 5 with 155 rules applied. Total rules applied 4522 place count 3546 transition count 7394
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Iterating post reduction 5 with 40 rules applied. Total rules applied 4562 place count 3546 transition count 7354
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 27 Pre rules applied. Total rules applied 4562 place count 3546 transition count 7327
Deduced a syphon composed of 27 places in 103 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 6 with 54 rules applied. Total rules applied 4616 place count 3519 transition count 7327
Performed 1301 Post agglomeration using F-continuation condition.Transition count delta: 1301
Deduced a syphon composed of 1301 places in 1 ms
Reduce places removed 1301 places and 0 transitions.
Iterating global reduction 6 with 2602 rules applied. Total rules applied 7218 place count 2218 transition count 6026
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 7219 place count 2218 transition count 6025
Renaming transitions due to excessive name length > 1024 char.
Discarding 57 places :
Symmetric choice reduction at 7 with 57 rule applications. Total rules 7276 place count 2161 transition count 5167
Iterating global reduction 7 with 57 rules applied. Total rules applied 7333 place count 2161 transition count 5167
Ensure Unique test removed 57 transitions
Reduce isomorphic transitions removed 57 transitions.
Iterating post reduction 7 with 57 rules applied. Total rules applied 7390 place count 2161 transition count 5110
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 7392 place count 2160 transition count 5109
Drop transitions removed 13 transitions
Redundant transition composition rules discarded 13 transitions
Iterating global reduction 8 with 13 rules applied. Total rules applied 7405 place count 2160 transition count 5096
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 8 with 7 rules applied. Total rules applied 7412 place count 2160 transition count 5089
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 9 with 7 rules applied. Total rules applied 7419 place count 2153 transition count 5089
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 7420 place count 2152 transition count 5088
Applied a total of 7420 rules in 1539 ms. Remains 2152 /6641 variables (removed 4489) and now considering 5088/12004 (removed 6916) transitions.
[2022-05-14 18:39:08] [INFO ] Flow matrix only has 5022 transitions (discarded 66 similar events)
// Phase 1: matrix 5022 rows 2152 cols
[2022-05-14 18:39:08] [INFO ] Computed 608 place invariants in 8 ms
[2022-05-14 18:39:09] [INFO ] Implicit Places using invariants in 970 ms returned []
[2022-05-14 18:39:09] [INFO ] Flow matrix only has 5022 transitions (discarded 66 similar events)
// Phase 1: matrix 5022 rows 2152 cols
[2022-05-14 18:39:09] [INFO ] Computed 608 place invariants in 6 ms
[2022-05-14 18:39:11] [INFO ] Implicit Places using invariants and state equation in 1768 ms returned []
Implicit Place search using SMT with State Equation took 2739 ms to find 0 implicit places.
[2022-05-14 18:39:11] [INFO ] Redundant transitions in 372 ms returned []
[2022-05-14 18:39:11] [INFO ] Flow matrix only has 5022 transitions (discarded 66 similar events)
// Phase 1: matrix 5022 rows 2152 cols
[2022-05-14 18:39:11] [INFO ] Computed 608 place invariants in 13 ms
[2022-05-14 18:39:13] [INFO ] Dead Transitions using invariants and state equation in 2053 ms found 0 transitions.
Starting structural reductions in SI_CTL mode, iteration 1 : 2152/6641 places, 5088/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 2152/6641 places, 5088/12004 transitions.
[2022-05-14 18:39:13] [INFO ] Flatten gal took : 113 ms
[2022-05-14 18:39:13] [INFO ] Flatten gal took : 128 ms
[2022-05-14 18:39:14] [INFO ] Input system was already deterministic with 5088 transitions.
[2022-05-14 18:39:14] [INFO ] Flatten gal took : 128 ms
[2022-05-14 18:39:14] [INFO ] Flatten gal took : 131 ms
[2022-05-14 18:39:14] [INFO ] Time to serialize gal into /tmp/CTLFireability15167270502500748692.gal : 12 ms
[2022-05-14 18:39:14] [INFO ] Time to serialize properties into /tmp/CTLFireability15567951329628660876.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/CTLFireability15167270502500748692.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15567951329628660876.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-14 18:39:44] [INFO ] Flatten gal took : 123 ms
[2022-05-14 18:39:44] [INFO ] Applying decomposition
[2022-05-14 18:39:44] [INFO ] Flatten gal took : 126 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/graph4915392928936943061.txt' '-o' '/tmp/graph4915392928936943061.bin' '-w' '/tmp/graph4915392928936943061.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4915392928936943061.bin' '-l' '-1' '-v' '-w' '/tmp/graph4915392928936943061.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:39:44] [INFO ] Decomposing Gal with order
[2022-05-14 18:39:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:39:45] [INFO ] Removed a total of 5528 redundant transitions.
[2022-05-14 18:39:45] [INFO ] Flatten gal took : 244 ms
[2022-05-14 18:39:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 288 labels/synchronizations in 23 ms.
[2022-05-14 18:39:45] [INFO ] Time to serialize gal into /tmp/CTLFireability12023725149629464138.gal : 10 ms
[2022-05-14 18:39:45] [INFO ] Time to serialize properties into /tmp/CTLFireability1487795978462088005.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/CTLFireability12023725149629464138.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1487795978462088005.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...254
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.31678e+315,0.843646,26884,437,11,9280,630,2918,9431,46,671,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 51 places :
Symmetric choice reduction at 0 with 51 rule applications. Total rules 51 place count 6590 transition count 11903
Iterating global reduction 0 with 51 rules applied. Total rules applied 102 place count 6590 transition count 11903
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 103 place count 6590 transition count 11902
Discarding 35 places :
Symmetric choice reduction at 1 with 35 rule applications. Total rules 138 place count 6555 transition count 11865
Iterating global reduction 1 with 35 rules applied. Total rules applied 173 place count 6555 transition count 11865
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 175 place count 6555 transition count 11863
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 189 place count 6541 transition count 11849
Iterating global reduction 2 with 14 rules applied. Total rules applied 203 place count 6541 transition count 11849
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 205 place count 6541 transition count 11847
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 214 place count 6532 transition count 11838
Iterating global reduction 3 with 9 rules applied. Total rules applied 223 place count 6532 transition count 11838
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 231 place count 6524 transition count 11830
Iterating global reduction 3 with 8 rules applied. Total rules applied 239 place count 6524 transition count 11830
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 247 place count 6516 transition count 11822
Iterating global reduction 3 with 8 rules applied. Total rules applied 255 place count 6516 transition count 11822
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 260 place count 6511 transition count 11817
Iterating global reduction 3 with 5 rules applied. Total rules applied 265 place count 6511 transition count 11817
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 270 place count 6506 transition count 11812
Iterating global reduction 3 with 5 rules applied. Total rules applied 275 place count 6506 transition count 11812
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 278 place count 6503 transition count 11809
Iterating global reduction 3 with 3 rules applied. Total rules applied 281 place count 6503 transition count 11809
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 283 place count 6501 transition count 11807
Iterating global reduction 3 with 2 rules applied. Total rules applied 285 place count 6501 transition count 11807
Applied a total of 285 rules in 7293 ms. Remains 6501 /6641 variables (removed 140) and now considering 11807/12004 (removed 197) transitions.
// Phase 1: matrix 11807 rows 6501 cols
[2022-05-14 18:40:22] [INFO ] Computed 608 place invariants in 37 ms
[2022-05-14 18:40:24] [INFO ] Implicit Places using invariants in 1771 ms returned []
Implicit Place search using SMT only with invariants took 1771 ms to find 0 implicit places.
// Phase 1: matrix 11807 rows 6501 cols
[2022-05-14 18:40:24] [INFO ] Computed 608 place invariants in 34 ms
[2022-05-14 18:40:31] [INFO ] Dead Transitions using invariants and state equation in 7165 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6501/6641 places, 11807/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6501/6641 places, 11807/12004 transitions.
[2022-05-14 18:40:32] [INFO ] Flatten gal took : 296 ms
[2022-05-14 18:40:32] [INFO ] Flatten gal took : 236 ms
[2022-05-14 18:40:32] [INFO ] Input system was already deterministic with 11807 transitions.
[2022-05-14 18:40:33] [INFO ] Flatten gal took : 235 ms
[2022-05-14 18:40:33] [INFO ] Flatten gal took : 247 ms
[2022-05-14 18:40:33] [INFO ] Time to serialize gal into /tmp/CTLFireability9118518569803749607.gal : 26 ms
[2022-05-14 18:40:33] [INFO ] Time to serialize properties into /tmp/CTLFireability17510555371254551271.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/CTLFireability9118518569803749607.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17510555371254551271.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-14 18:41:03] [INFO ] Flatten gal took : 239 ms
[2022-05-14 18:41:03] [INFO ] Applying decomposition
[2022-05-14 18:41:03] [INFO ] Flatten gal took : 246 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/graph11364454109764176250.txt' '-o' '/tmp/graph11364454109764176250.bin' '-w' '/tmp/graph11364454109764176250.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph11364454109764176250.bin' '-l' '-1' '-v' '-w' '/tmp/graph11364454109764176250.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:41:04] [INFO ] Decomposing Gal with order
[2022-05-14 18:41:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:41:07] [INFO ] Removed a total of 11661 redundant transitions.
[2022-05-14 18:41:07] [INFO ] Flatten gal took : 437 ms
[2022-05-14 18:41:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 279 labels/synchronizations in 193 ms.
[2022-05-14 18:41:07] [INFO ] Time to serialize gal into /tmp/CTLFireability3931027856559828319.gal : 298 ms
[2022-05-14 18:41:07] [INFO ] Time to serialize properties into /tmp/CTLFireability720539004258493515.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/CTLFireability3931027856559828319.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability720539004258493515.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...252
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 6641/6641 places, 12004/12004 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 6587 transition count 11900
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 6587 transition count 11900
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 109 place count 6587 transition count 11899
Discarding 36 places :
Symmetric choice reduction at 1 with 36 rule applications. Total rules 145 place count 6551 transition count 11861
Iterating global reduction 1 with 36 rules applied. Total rules applied 181 place count 6551 transition count 11861
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 183 place count 6551 transition count 11859
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 198 place count 6536 transition count 11844
Iterating global reduction 2 with 15 rules applied. Total rules applied 213 place count 6536 transition count 11844
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 215 place count 6536 transition count 11842
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 225 place count 6526 transition count 11832
Iterating global reduction 3 with 10 rules applied. Total rules applied 235 place count 6526 transition count 11832
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 244 place count 6517 transition count 11823
Iterating global reduction 3 with 9 rules applied. Total rules applied 253 place count 6517 transition count 11823
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 261 place count 6509 transition count 11815
Iterating global reduction 3 with 8 rules applied. Total rules applied 269 place count 6509 transition count 11815
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 274 place count 6504 transition count 11810
Iterating global reduction 3 with 5 rules applied. Total rules applied 279 place count 6504 transition count 11810
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 284 place count 6499 transition count 11805
Iterating global reduction 3 with 5 rules applied. Total rules applied 289 place count 6499 transition count 11805
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 292 place count 6496 transition count 11802
Iterating global reduction 3 with 3 rules applied. Total rules applied 295 place count 6496 transition count 11802
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 297 place count 6494 transition count 11800
Iterating global reduction 3 with 2 rules applied. Total rules applied 299 place count 6494 transition count 11800
Applied a total of 299 rules in 7084 ms. Remains 6494 /6641 variables (removed 147) and now considering 11800/12004 (removed 204) transitions.
// Phase 1: matrix 11800 rows 6494 cols
[2022-05-14 18:41:45] [INFO ] Computed 608 place invariants in 38 ms
[2022-05-14 18:41:46] [INFO ] Implicit Places using invariants in 1784 ms returned []
Implicit Place search using SMT only with invariants took 1786 ms to find 0 implicit places.
// Phase 1: matrix 11800 rows 6494 cols
[2022-05-14 18:41:46] [INFO ] Computed 608 place invariants in 34 ms
[2022-05-14 18:41:53] [INFO ] Dead Transitions using invariants and state equation in 7042 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 6494/6641 places, 11800/12004 transitions.
Finished structural reductions, in 1 iterations. Remains : 6494/6641 places, 11800/12004 transitions.
[2022-05-14 18:41:54] [INFO ] Flatten gal took : 260 ms
[2022-05-14 18:41:54] [INFO ] Flatten gal took : 228 ms
[2022-05-14 18:41:54] [INFO ] Input system was already deterministic with 11800 transitions.
[2022-05-14 18:41:55] [INFO ] Flatten gal took : 231 ms
[2022-05-14 18:41:55] [INFO ] Flatten gal took : 238 ms
[2022-05-14 18:41:55] [INFO ] Time to serialize gal into /tmp/CTLFireability3649463530539597383.gal : 26 ms
[2022-05-14 18:41:55] [INFO ] Time to serialize properties into /tmp/CTLFireability3783774881378853747.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/CTLFireability3649463530539597383.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3783774881378853747.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-14 18:42:25] [INFO ] Flatten gal took : 239 ms
[2022-05-14 18:42:25] [INFO ] Applying decomposition
[2022-05-14 18:42:25] [INFO ] Flatten gal took : 248 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/graph3251004197388327352.txt' '-o' '/tmp/graph3251004197388327352.bin' '-w' '/tmp/graph3251004197388327352.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph3251004197388327352.bin' '-l' '-1' '-v' '-w' '/tmp/graph3251004197388327352.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:42:26] [INFO ] Decomposing Gal with order
[2022-05-14 18:42:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:42:29] [INFO ] Removed a total of 11733 redundant transitions.
[2022-05-14 18:42:29] [INFO ] Flatten gal took : 427 ms
[2022-05-14 18:42:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 283 labels/synchronizations in 81 ms.
[2022-05-14 18:42:29] [INFO ] Time to serialize gal into /tmp/CTLFireability3287902407136149585.gal : 34 ms
[2022-05-14 18:42:29] [INFO ] Time to serialize properties into /tmp/CTLFireability3531113484023175687.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/CTLFireability3287902407136149585.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3531113484023175687.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.
[2022-05-14 18:43:00] [INFO ] Flatten gal took : 244 ms
[2022-05-14 18:43:00] [INFO ] Flatten gal took : 251 ms
[2022-05-14 18:43:00] [INFO ] Applying decomposition
[2022-05-14 18:43:00] [INFO ] Flatten gal took : 249 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/graph2681405819486309020.txt' '-o' '/tmp/graph2681405819486309020.bin' '-w' '/tmp/graph2681405819486309020.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph2681405819486309020.bin' '-l' '-1' '-v' '-w' '/tmp/graph2681405819486309020.weights' '-q' '0' '-e' '0.001'
[2022-05-14 18:43:01] [INFO ] Decomposing Gal with order
[2022-05-14 18:43:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 18:43:04] [INFO ] Removed a total of 11752 redundant transitions.
[2022-05-14 18:43:04] [INFO ] Flatten gal took : 432 ms
[2022-05-14 18:43:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 339 labels/synchronizations in 193 ms.
[2022-05-14 18:43:04] [INFO ] Time to serialize gal into /tmp/CTLFireability15462335276081774687.gal : 32 ms
[2022-05-14 18:43:04] [INFO ] Time to serialize properties into /tmp/CTLFireability15232088672640000918.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/CTLFireability15462335276081774687.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15232088672640000918.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 16 CTL formulae.
Detected timeout of ITS tools.
[2022-05-14 19:10:55] [INFO ] Applying decomposition
[2022-05-14 19:10:56] [INFO ] Flatten gal took : 1124 ms
[2022-05-14 19:10:57] [INFO ] Decomposing Gal with order
[2022-05-14 19:11:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-14 19:11:21] [INFO ] Removed a total of 9837 redundant transitions.
[2022-05-14 19:11:21] [INFO ] Flatten gal took : 447 ms
[2022-05-14 19:12:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 314811 labels/synchronizations in 81698 ms.
[2022-05-14 19:12:55] [INFO ] Time to serialize gal into /tmp/CTLFireability3023017514800037655.gal : 268 ms
[2022-05-14 19:12:55] [INFO ] Time to serialize properties into /tmp/CTLFireability17643804016180573551.ctl : 29 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/CTLFireability3023017514800037655.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17643804016180573551.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...254
No direction supplied, using forward translation only.
Parsed 16 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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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="DLCflexbar-PT-4b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCflexbar-PT-4b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r060-tall-165254771500042"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4b.tgz
mv DLCflexbar-PT-4b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;