About the Execution of ITS-Tools for FamilyReunion-PT-L00020M0002C001P001G001
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16205.947 | 3359898.00 | 3483968.00 | 13688.10 | ??F????TT??????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r158-smll-171636267000489.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is FamilyReunion-PT-L00020M0002C001P001G001, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-smll-171636267000489
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 33K Apr 11 20:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 233K Apr 11 20:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 50K Apr 11 20:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 195K Apr 11 20:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 22K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 28K Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 79K Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 64K Apr 11 20:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 436K Apr 11 20:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 149K Apr 11 20:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 568K Apr 11 20:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 1.3M May 18 16:42 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 FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-00
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-01
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-02
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-03
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-04
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-05
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-06
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-07
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-08
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-09
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-10
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-11
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-12
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-13
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-14
FORMULA_NAME FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716685077517
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00020M0002C001P001G001
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202405141337
[2024-05-26 00:57:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-26 00:57:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-26 00:57:59] [INFO ] Load time of PNML (sax parser for PT used): 322 ms
[2024-05-26 00:57:59] [INFO ] Transformed 3271 places.
[2024-05-26 00:57:59] [INFO ] Transformed 2753 transitions.
[2024-05-26 00:57:59] [INFO ] Parsed PT model containing 3271 places and 2753 transitions and 8446 arcs in 494 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 122 ms.
Reduce places removed 11 places and 0 transitions.
Support contains 1723 out of 3260 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 3260/3260 places, 2753/2753 transitions.
Reduce places removed 2 places and 0 transitions.
Discarding 120 places :
Implicit places reduction removed 120 places
Iterating post reduction 0 with 122 rules applied. Total rules applied 122 place count 3138 transition count 2753
Discarding 60 places :
Symmetric choice reduction at 1 with 60 rule applications. Total rules 182 place count 3078 transition count 2674
Iterating global reduction 1 with 60 rules applied. Total rules applied 242 place count 3078 transition count 2674
Applied a total of 242 rules in 443 ms. Remains 3078 /3260 variables (removed 182) and now considering 2674/2753 (removed 79) transitions.
// Phase 1: matrix 2674 rows 3078 cols
[2024-05-26 00:58:00] [INFO ] Computed 626 invariants in 188 ms
[2024-05-26 00:58:03] [INFO ] Implicit Places using invariants in 2650 ms returned []
[2024-05-26 00:58:03] [INFO ] Invariant cache hit.
[2024-05-26 00:58:09] [INFO ] Implicit Places using invariants and state equation in 6403 ms returned []
Implicit Place search using SMT with State Equation took 9105 ms to find 0 implicit places.
Running 2653 sub problems to find dead transitions.
[2024-05-26 00:58:09] [INFO ] Invariant cache hit.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2983 variables, 554/554 constraints. Problems are: Problem set: 0 solved, 2653 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2983/5752 variables, and 554 constraints, problems are : Problem set: 0 solved, 2653 unsolved in 30214 ms.
Refiners :[Positive P Invariants (semi-flows): 0/42 constraints, Generalized P Invariants (flows): 554/584 constraints, State Equation: 0/3078 constraints, PredecessorRefiner: 2653/2653 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2653 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2983 variables, 554/554 constraints. Problems are: Problem set: 0 solved, 2653 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2983/5752 variables, and 554 constraints, problems are : Problem set: 0 solved, 2653 unsolved in 30097 ms.
Refiners :[Positive P Invariants (semi-flows): 0/42 constraints, Generalized P Invariants (flows): 554/584 constraints, State Equation: 0/3078 constraints, PredecessorRefiner: 0/2653 constraints, Known Traps: 0/0 constraints]
After SMT, in 62045ms problems are : Problem set: 0 solved, 2653 unsolved
Search for dead transitions found 0 dead transitions in 62122ms
Starting structural reductions in LTL mode, iteration 1 : 3078/3260 places, 2674/2753 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 71732 ms. Remains : 3078/3260 places, 2674/2753 transitions.
Support contains 1723 out of 3078 places after structural reductions.
[2024-05-26 00:59:12] [INFO ] Flatten gal took : 326 ms
[2024-05-26 00:59:12] [INFO ] Flatten gal took : 170 ms
[2024-05-26 00:59:13] [INFO ] Input system was already deterministic with 2674 transitions.
RANDOM walk for 40000 steps (32 resets) in 5147 ms. (7 steps per ms) remains 30/89 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 31 ms. (125 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 65 ms. (60 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 52 ms. (75 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4002 steps (8 resets) in 37 ms. (105 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 23 ms. (166 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 18 ms. (210 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4003 steps (8 resets) in 14 ms. (266 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 30/30 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 30/30 properties
[2024-05-26 00:59:15] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1136 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 30 unsolved
Problem AtomicPropp35 is UNSAT
Problem AtomicPropp37 is UNSAT
Problem AtomicPropp59 is UNSAT
Problem AtomicPropp72 is UNSAT
At refinement iteration 1 (OVERLAPS) 1092/2228 variables, 42/42 constraints. Problems are: Problem set: 4 solved, 26 unsolved
Problem AtomicPropp76 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/2228 variables, 87/129 constraints. Problems are: Problem set: 5 solved, 25 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/2228 variables, 0/129 constraints. Problems are: Problem set: 5 solved, 25 unsolved
Problem AtomicPropp2 is UNSAT
Problem AtomicPropp3 is UNSAT
Problem AtomicPropp5 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp9 is UNSAT
Problem AtomicPropp11 is UNSAT
Problem AtomicPropp12 is UNSAT
Problem AtomicPropp13 is UNSAT
Problem AtomicPropp16 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp19 is UNSAT
Problem AtomicPropp20 is UNSAT
Problem AtomicPropp22 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp25 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp31 is UNSAT
Problem AtomicPropp32 is UNSAT
Problem AtomicPropp50 is UNSAT
Problem AtomicPropp60 is UNSAT
Problem AtomicPropp80 is UNSAT
At refinement iteration 4 (OVERLAPS) 844/3072 variables, 492/621 constraints. Problems are: Problem set: 27 solved, 3 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/3072 variables, 0/621 constraints. Problems are: Problem set: 27 solved, 3 unsolved
At refinement iteration 6 (OVERLAPS) 6/3078 variables, 5/626 constraints. Problems are: Problem set: 27 solved, 3 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3078 variables, 0/626 constraints. Problems are: Problem set: 27 solved, 3 unsolved
SMT process timed out in 5402ms, After SMT, problems are : Problem set: 27 solved, 3 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 451 out of 3078 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Graph (complete) has 4580 edges and 3078 vertex of which 2537 are kept as prefixes of interest. Removing 541 places using SCC suffix rule.16 ms
Discarding 541 places :
Also discarding 487 output transitions
Drop transitions (Output transitions of discarded places.) removed 487 transitions
Discarding 195 places :
Implicit places reduction removed 195 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 583 transitions
Trivial Post-agglo rules discarded 583 transitions
Performed 583 trivial Post agglomeration. Transition count delta: 583
Iterating post reduction 0 with 778 rules applied. Total rules applied 779 place count 2342 transition count 1604
Reduce places removed 583 places and 0 transitions.
Performed 169 Post agglomeration using F-continuation condition.Transition count delta: 169
Iterating post reduction 1 with 752 rules applied. Total rules applied 1531 place count 1759 transition count 1435
Reduce places removed 169 places and 0 transitions.
Iterating post reduction 2 with 169 rules applied. Total rules applied 1700 place count 1590 transition count 1435
Performed 294 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 294 Pre rules applied. Total rules applied 1700 place count 1590 transition count 1141
Deduced a syphon composed of 294 places in 3 ms
Ensure Unique test removed 105 places
Reduce places removed 399 places and 0 transitions.
Iterating global reduction 3 with 693 rules applied. Total rules applied 2393 place count 1191 transition count 1141
Discarding 64 places :
Symmetric choice reduction at 3 with 64 rule applications. Total rules 2457 place count 1127 transition count 1077
Iterating global reduction 3 with 64 rules applied. Total rules applied 2521 place count 1127 transition count 1077
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 42 transitions.
Iterating post reduction 3 with 42 rules applied. Total rules applied 2563 place count 1127 transition count 1035
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 21 Pre rules applied. Total rules applied 2563 place count 1127 transition count 1014
Deduced a syphon composed of 21 places in 2 ms
Ensure Unique test removed 21 places
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 4 with 63 rules applied. Total rules applied 2626 place count 1085 transition count 1014
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 2627 place count 1084 transition count 993
Iterating global reduction 4 with 1 rules applied. Total rules applied 2628 place count 1084 transition count 993
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 4 with 21 rules applied. Total rules applied 2649 place count 1063 transition count 993
Discarding 21 places :
Symmetric choice reduction at 5 with 21 rule applications. Total rules 2670 place count 1042 transition count 972
Iterating global reduction 5 with 21 rules applied. Total rules applied 2691 place count 1042 transition count 972
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 4 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 5 with 126 rules applied. Total rules applied 2817 place count 979 transition count 909
Free-agglomeration rule (complex) applied 21 times.
Iterating global reduction 5 with 21 rules applied. Total rules applied 2838 place count 979 transition count 888
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 5 with 21 rules applied. Total rules applied 2859 place count 958 transition count 888
Applied a total of 2859 rules in 965 ms. Remains 958 /3078 variables (removed 2120) and now considering 888/2674 (removed 1786) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 965 ms. Remains : 958/3078 places, 888/2674 transitions.
RANDOM walk for 40000 steps (72 resets) in 1196 ms. (33 steps per ms) remains 2/3 properties
BEST_FIRST walk for 40003 steps (8 resets) in 852 ms. (46 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 203 ms. (196 steps per ms) remains 2/2 properties
// Phase 1: matrix 888 rows 958 cols
[2024-05-26 00:59:22] [INFO ] Computed 171 invariants in 20 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/449 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 277/726 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/726 variables, 20/22 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/726 variables, 0/22 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 211/937 variables, 149/171 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/937 variables, 0/171 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 888/1825 variables, 937/1108 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1825 variables, 0/1108 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (OVERLAPS) 21/1846 variables, 21/1129 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1846 variables, 0/1129 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (OVERLAPS) 0/1846 variables, 0/1129 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1846/1846 variables, and 1129 constraints, problems are : Problem set: 0 solved, 2 unsolved in 1113 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 169/169 constraints, State Equation: 958/958 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/449 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 277/726 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/726 variables, 20/22 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/726 variables, 0/22 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (OVERLAPS) 211/937 variables, 149/171 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/937 variables, 0/171 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 888/1825 variables, 937/1108 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/1825 variables, 1/1109 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/1825 variables, 0/1109 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 21/1846 variables, 21/1130 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1846 variables, 1/1131 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1846 variables, 0/1131 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (OVERLAPS) 0/1846 variables, 0/1131 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Int declared 1846/1846 variables, and 1131 constraints, problems are : Problem set: 0 solved, 2 unsolved in 13090 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2 constraints, Generalized P Invariants (flows): 169/169 constraints, State Equation: 958/958 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
After SMT, in 14428ms problems are : Problem set: 0 solved, 2 unsolved
Finished Parikh walk after 462 steps, including 0 resets, run visited all 1 properties in 6 ms. (steps per millisecond=77 )
Parikh walk visited 2 properties in 451 ms.
Successfully simplified 27 atomic propositions for a total of 16 simplifications.
[2024-05-26 00:59:37] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2024-05-26 00:59:37] [INFO ] Flatten gal took : 112 ms
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-26 00:59:37] [INFO ] Flatten gal took : 111 ms
[2024-05-26 00:59:37] [INFO ] Input system was already deterministic with 2674 transitions.
Support contains 1109 out of 3078 places (down from 1173) after GAL structural reductions.
Computed a total of 3078 stabilizing places and 2674 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 3078 transition count 2674
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
AF dead knowledge conclusive for 2 formulas.
FORMULA FamilyReunion-PT-L00020M0002C001P001G001-CTLCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Starting structural reductions in SI_CTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Graph (complete) has 4580 edges and 3078 vertex of which 1836 are kept as prefixes of interest. Removing 1242 places using SCC suffix rule.14 ms
Discarding 1242 places :
Also discarding 1057 output transitions
Drop transitions (Output transitions of discarded places.) removed 1057 transitions
Discarding 258 places :
Implicit places reduction removed 258 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 987 transitions
Trivial Post-agglo rules discarded 987 transitions
Performed 987 trivial Post agglomeration. Transition count delta: 987
Iterating post reduction 0 with 1245 rules applied. Total rules applied 1246 place count 1578 transition count 630
Reduce places removed 987 places and 0 transitions.
Iterating post reduction 1 with 987 rules applied. Total rules applied 2233 place count 591 transition count 630
Performed 42 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 42 Pre rules applied. Total rules applied 2233 place count 591 transition count 588
Deduced a syphon composed of 42 places in 2 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 2 with 84 rules applied. Total rules applied 2317 place count 549 transition count 588
Discarding 105 places :
Symmetric choice reduction at 2 with 105 rule applications. Total rules 2422 place count 444 transition count 483
Iterating global reduction 2 with 105 rules applied. Total rules applied 2527 place count 444 transition count 483
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 63 transitions
Trivial Post-agglo rules discarded 63 transitions
Performed 63 trivial Post agglomeration. Transition count delta: 63
Iterating post reduction 2 with 105 rules applied. Total rules applied 2632 place count 423 transition count 399
Reduce places removed 63 places and 0 transitions.
Iterating post reduction 3 with 63 rules applied. Total rules applied 2695 place count 360 transition count 399
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 21 Pre rules applied. Total rules applied 2695 place count 360 transition count 378
Deduced a syphon composed of 21 places in 1 ms
Ensure Unique test removed 21 places
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 4 with 63 rules applied. Total rules applied 2758 place count 318 transition count 378
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 21 Pre rules applied. Total rules applied 2758 place count 318 transition count 357
Deduced a syphon composed of 21 places in 1 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 4 with 42 rules applied. Total rules applied 2800 place count 297 transition count 357
Discarding 2 places :
Symmetric choice reduction at 4 with 2 rule applications. Total rules 2802 place count 295 transition count 315
Iterating global reduction 4 with 2 rules applied. Total rules applied 2804 place count 295 transition count 315
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2846 place count 253 transition count 273
Iterating global reduction 4 with 42 rules applied. Total rules applied 2888 place count 253 transition count 273
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 42 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 4 with 84 rules applied. Total rules applied 2972 place count 232 transition count 210
Reduce places removed 21 places and 0 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 5 with 42 rules applied. Total rules applied 3014 place count 211 transition count 189
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 6 with 21 rules applied. Total rules applied 3035 place count 190 transition count 189
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 1 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 7 with 42 rules applied. Total rules applied 3077 place count 169 transition count 168
Applied a total of 3077 rules in 126 ms. Remains 169 /3078 variables (removed 2909) and now considering 168/2674 (removed 2506) transitions.
// Phase 1: matrix 168 rows 169 cols
[2024-05-26 00:59:37] [INFO ] Computed 22 invariants in 2 ms
[2024-05-26 00:59:38] [INFO ] Implicit Places using invariants in 116 ms returned [21, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63]
Discarding 22 places :
Implicit Place search using SMT only with invariants took 120 ms to find 22 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 147/3078 places, 168/2674 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 0 with 21 rules applied. Total rules applied 21 place count 147 transition count 147
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 1 with 21 rules applied. Total rules applied 42 place count 126 transition count 147
Applied a total of 42 rules in 6 ms. Remains 126 /147 variables (removed 21) and now considering 147/168 (removed 21) transitions.
// Phase 1: matrix 147 rows 126 cols
[2024-05-26 00:59:38] [INFO ] Computed 0 invariants in 1 ms
[2024-05-26 00:59:38] [INFO ] Implicit Places using invariants in 32 ms returned []
[2024-05-26 00:59:38] [INFO ] Invariant cache hit.
[2024-05-26 00:59:38] [INFO ] Implicit Places using invariants and state equation in 83 ms returned []
Implicit Place search using SMT with State Equation took 117 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 126/3078 places, 147/2674 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 369 ms. Remains : 126/3078 places, 147/2674 transitions.
[2024-05-26 00:59:38] [INFO ] Flatten gal took : 4 ms
[2024-05-26 00:59:38] [INFO ] Flatten gal took : 3 ms
[2024-05-26 00:59:38] [INFO ] Input system was already deterministic with 147 transitions.
[2024-05-26 00:59:38] [INFO ] Flatten gal took : 3 ms
[2024-05-26 00:59:38] [INFO ] Flatten gal took : 4 ms
[2024-05-26 00:59:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality11679278908248456579.gal : 3 ms
[2024-05-26 00:59:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality3709371423810862725.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11679278908248456579.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3709371423810862725.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
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,5.58546e+17,0.040224,3856,2,313,5,1316,6,0,591,1114,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
[2024-05-26 01:00:08] [INFO ] Flatten gal took : 4 ms
[2024-05-26 01:00:08] [INFO ] Applying decomposition
[2024-05-26 01:00:08] [INFO ] Flatten gal took : 4 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph13560277676931587610.txt' '-o' '/tmp/graph13560277676931587610.bin' '-w' '/tmp/graph13560277676931587610.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph13560277676931587610.bin' '-l' '-1' '-v' '-w' '/tmp/graph13560277676931587610.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:00:08] [INFO ] Decomposing Gal with order
[2024-05-26 01:00:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:00:08] [INFO ] Flatten gal took : 69 ms
[2024-05-26 01:00:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2024-05-26 01:00:08] [INFO ] Time to serialize gal into /tmp/CTLCardinality15728138802737740139.gal : 4 ms
[2024-05-26 01:00:08] [INFO ] Time to serialize properties into /tmp/CTLCardinality7329818674984056537.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15728138802737740139.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7329818674984056537.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
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,5.58546e+17,0.03663,4388,2,326,5,1363,6,0,591,1171,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 51 places and 0 transitions.
Discarding 258 places :
Implicit places reduction removed 258 places
Iterating post reduction 0 with 309 rules applied. Total rules applied 309 place count 2769 transition count 2674
Discarding 193 places :
Symmetric choice reduction at 1 with 193 rule applications. Total rules 502 place count 2576 transition count 2479
Iterating global reduction 1 with 193 rules applied. Total rules applied 695 place count 2576 transition count 2479
Discarding 65 places :
Symmetric choice reduction at 1 with 65 rule applications. Total rules 760 place count 2511 transition count 2374
Iterating global reduction 1 with 65 rules applied. Total rules applied 825 place count 2511 transition count 2374
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 846 place count 2490 transition count 2374
Discarding 85 places :
Symmetric choice reduction at 2 with 85 rule applications. Total rules 931 place count 2405 transition count 2269
Iterating global reduction 2 with 85 rules applied. Total rules applied 1016 place count 2405 transition count 2269
Discarding 45 places :
Symmetric choice reduction at 2 with 45 rule applications. Total rules 1061 place count 2360 transition count 2164
Iterating global reduction 2 with 45 rules applied. Total rules applied 1106 place count 2360 transition count 2164
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 63 places :
Implicit places reduction removed 63 places
Iterating post reduction 2 with 84 rules applied. Total rules applied 1190 place count 2297 transition count 2143
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1232 place count 2255 transition count 2101
Iterating global reduction 3 with 42 rules applied. Total rules applied 1274 place count 2255 transition count 2101
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1316 place count 2213 transition count 2059
Iterating global reduction 3 with 42 rules applied. Total rules applied 1358 place count 2213 transition count 2059
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1400 place count 2171 transition count 2017
Iterating global reduction 3 with 42 rules applied. Total rules applied 1442 place count 2171 transition count 2017
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1484 place count 2129 transition count 1975
Iterating global reduction 3 with 42 rules applied. Total rules applied 1526 place count 2129 transition count 1975
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1568 place count 2087 transition count 1933
Iterating global reduction 3 with 42 rules applied. Total rules applied 1610 place count 2087 transition count 1933
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1652 place count 2045 transition count 1891
Iterating global reduction 3 with 42 rules applied. Total rules applied 1694 place count 2045 transition count 1891
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1736 place count 2003 transition count 1849
Iterating global reduction 3 with 42 rules applied. Total rules applied 1778 place count 2003 transition count 1849
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1820 place count 1961 transition count 1807
Iterating global reduction 3 with 42 rules applied. Total rules applied 1862 place count 1961 transition count 1807
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1904 place count 1919 transition count 1765
Iterating global reduction 3 with 42 rules applied. Total rules applied 1946 place count 1919 transition count 1765
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1988 place count 1877 transition count 1723
Iterating global reduction 3 with 42 rules applied. Total rules applied 2030 place count 1877 transition count 1723
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 2072 place count 1835 transition count 1681
Iterating global reduction 3 with 42 rules applied. Total rules applied 2114 place count 1835 transition count 1681
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 2156 place count 1793 transition count 1639
Iterating global reduction 3 with 42 rules applied. Total rules applied 2198 place count 1793 transition count 1639
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 2240 place count 1751 transition count 1597
Iterating global reduction 3 with 42 rules applied. Total rules applied 2282 place count 1751 transition count 1597
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 42 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 63 rules applied. Total rules applied 2345 place count 1730 transition count 1555
Applied a total of 2345 rules in 2862 ms. Remains 1730 /3078 variables (removed 1348) and now considering 1555/2674 (removed 1119) transitions.
// Phase 1: matrix 1555 rows 1730 cols
[2024-05-26 01:00:41] [INFO ] Computed 216 invariants in 18 ms
[2024-05-26 01:00:42] [INFO ] Implicit Places using invariants in 980 ms returned [273, 653, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 759, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1540]
Discarding 67 places :
Implicit Place search using SMT only with invariants took 985 ms to find 67 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1663/3078 places, 1555/2674 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 1643 transition count 1535
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 1643 transition count 1535
Applied a total of 40 rules in 162 ms. Remains 1643 /1663 variables (removed 20) and now considering 1535/1555 (removed 20) transitions.
// Phase 1: matrix 1535 rows 1643 cols
[2024-05-26 01:00:42] [INFO ] Computed 149 invariants in 10 ms
[2024-05-26 01:00:43] [INFO ] Implicit Places using invariants in 619 ms returned []
[2024-05-26 01:00:43] [INFO ] Invariant cache hit.
[2024-05-26 01:00:45] [INFO ] Implicit Places using invariants and state equation in 1937 ms returned []
Implicit Place search using SMT with State Equation took 2558 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1643/3078 places, 1535/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 6570 ms. Remains : 1643/3078 places, 1535/2674 transitions.
[2024-05-26 01:00:45] [INFO ] Flatten gal took : 63 ms
[2024-05-26 01:00:45] [INFO ] Flatten gal took : 48 ms
[2024-05-26 01:00:45] [INFO ] Input system was already deterministic with 1535 transitions.
[2024-05-26 01:00:45] [INFO ] Flatten gal took : 68 ms
[2024-05-26 01:00:45] [INFO ] Flatten gal took : 69 ms
[2024-05-26 01:00:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality4494884690807785862.gal : 30 ms
[2024-05-26 01:00:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality5910535294734632428.ctl : 13 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4494884690807785862.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5910535294734632428.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:01:15] [INFO ] Flatten gal took : 40 ms
[2024-05-26 01:01:15] [INFO ] Applying decomposition
[2024-05-26 01:01:15] [INFO ] Flatten gal took : 54 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph6791946767993753319.txt' '-o' '/tmp/graph6791946767993753319.bin' '-w' '/tmp/graph6791946767993753319.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph6791946767993753319.bin' '-l' '-1' '-v' '-w' '/tmp/graph6791946767993753319.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:01:16] [INFO ] Decomposing Gal with order
[2024-05-26 01:01:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:01:16] [INFO ] Removed a total of 137 redundant transitions.
[2024-05-26 01:01:16] [INFO ] Flatten gal took : 143 ms
[2024-05-26 01:01:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 16 ms.
[2024-05-26 01:01:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality10962925104271666894.gal : 24 ms
[2024-05-26 01:01:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality8720753757974116509.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10962925104271666894.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8720753757974116509.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 32 places and 0 transitions.
Discarding 132 places :
Implicit places reduction removed 132 places
Iterating post reduction 0 with 164 rules applied. Total rules applied 164 place count 2914 transition count 2674
Discarding 172 places :
Symmetric choice reduction at 1 with 172 rule applications. Total rules 336 place count 2742 transition count 2500
Iterating global reduction 1 with 172 rules applied. Total rules applied 508 place count 2742 transition count 2500
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 529 place count 2721 transition count 2500
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 593 place count 2657 transition count 2416
Iterating global reduction 2 with 64 rules applied. Total rules applied 657 place count 2657 transition count 2416
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 2 with 21 rules applied. Total rules applied 678 place count 2636 transition count 2416
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 700 place count 2614 transition count 2374
Iterating global reduction 3 with 22 rules applied. Total rules applied 722 place count 2614 transition count 2374
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 743 place count 2593 transition count 2353
Iterating global reduction 3 with 21 rules applied. Total rules applied 764 place count 2593 transition count 2353
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Iterating post reduction 3 with 21 rules applied. Total rules applied 785 place count 2593 transition count 2332
Applied a total of 785 rules in 633 ms. Remains 2593 /3078 variables (removed 485) and now considering 2332/2674 (removed 342) transitions.
// Phase 1: matrix 2332 rows 2593 cols
[2024-05-26 01:01:48] [INFO ] Computed 425 invariants in 38 ms
[2024-05-26 01:01:49] [INFO ] Implicit Places using invariants in 1705 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 441, 1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968, 1969, 1970, 1971, 1972, 1973, 1974, 1975, 1976, 1977, 1978, 1979, 1980, 1981, 2087, 2088, 2089, 2090, 2091, 2092, 2093, 2094, 2095, 2096, 2097, 2098, 2099, 2100, 2101, 2102, 2103, 2104, 2105, 2106, 2107, 2403]
Discarding 65 places :
Implicit Place search using SMT only with invariants took 1709 ms to find 65 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2528/3078 places, 2332/2674 transitions.
Applied a total of 0 rules in 112 ms. Remains 2528 /2528 variables (removed 0) and now considering 2332/2332 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 2455 ms. Remains : 2528/3078 places, 2332/2674 transitions.
[2024-05-26 01:01:49] [INFO ] Flatten gal took : 53 ms
[2024-05-26 01:01:50] [INFO ] Flatten gal took : 56 ms
[2024-05-26 01:01:50] [INFO ] Input system was already deterministic with 2332 transitions.
[2024-05-26 01:01:50] [INFO ] Flatten gal took : 53 ms
[2024-05-26 01:01:50] [INFO ] Flatten gal took : 55 ms
[2024-05-26 01:01:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality12908108307867488883.gal : 11 ms
[2024-05-26 01:01:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality4639455482733068326.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12908108307867488883.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4639455482733068326.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:02:20] [INFO ] Flatten gal took : 91 ms
[2024-05-26 01:02:20] [INFO ] Applying decomposition
[2024-05-26 01:02:20] [INFO ] Flatten gal took : 93 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph3545849062916396667.txt' '-o' '/tmp/graph3545849062916396667.bin' '-w' '/tmp/graph3545849062916396667.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph3545849062916396667.bin' '-l' '-1' '-v' '-w' '/tmp/graph3545849062916396667.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:02:21] [INFO ] Decomposing Gal with order
[2024-05-26 01:02:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:02:21] [INFO ] Removed a total of 317 redundant transitions.
[2024-05-26 01:02:21] [INFO ] Flatten gal took : 344 ms
[2024-05-26 01:02:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 84 labels/synchronizations in 36 ms.
[2024-05-26 01:02:22] [INFO ] Time to serialize gal into /tmp/CTLCardinality6035718808926177246.gal : 26 ms
[2024-05-26 01:02:22] [INFO ] Time to serialize properties into /tmp/CTLCardinality9350779857832632598.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6035718808926177246.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9350779857832632598.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Graph (complete) has 4580 edges and 3078 vertex of which 1479 are kept as prefixes of interest. Removing 1599 places using SCC suffix rule.10 ms
Discarding 1599 places :
Also discarding 1414 output transitions
Drop transitions (Output transitions of discarded places.) removed 1414 transitions
Reduce places removed 21 places and 21 transitions.
Discarding 258 places :
Implicit places reduction removed 258 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 840 transitions
Trivial Post-agglo rules discarded 840 transitions
Performed 840 trivial Post agglomeration. Transition count delta: 840
Iterating post reduction 0 with 1098 rules applied. Total rules applied 1099 place count 1200 transition count 399
Reduce places removed 840 places and 0 transitions.
Iterating post reduction 1 with 840 rules applied. Total rules applied 1939 place count 360 transition count 399
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 21 Pre rules applied. Total rules applied 1939 place count 360 transition count 378
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 42 rules applied. Total rules applied 1981 place count 339 transition count 378
Discarding 42 places :
Symmetric choice reduction at 2 with 42 rule applications. Total rules 2023 place count 297 transition count 336
Iterating global reduction 2 with 42 rules applied. Total rules applied 2065 place count 297 transition count 336
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 42 rules applied. Total rules applied 2107 place count 276 transition count 315
Applied a total of 2107 rules in 88 ms. Remains 276 /3078 variables (removed 2802) and now considering 315/2674 (removed 2359) transitions.
// Phase 1: matrix 315 rows 276 cols
[2024-05-26 01:02:52] [INFO ] Computed 43 invariants in 2 ms
[2024-05-26 01:02:52] [INFO ] Implicit Places using invariants in 262 ms returned [21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149]
Discarding 42 places :
Implicit Place search using SMT only with invariants took 265 ms to find 42 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 234/3078 places, 315/2674 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 63 transitions
Trivial Post-agglo rules discarded 63 transitions
Performed 63 trivial Post agglomeration. Transition count delta: 63
Iterating post reduction 0 with 63 rules applied. Total rules applied 63 place count 234 transition count 252
Reduce places removed 63 places and 0 transitions.
Iterating post reduction 1 with 63 rules applied. Total rules applied 126 place count 171 transition count 252
Applied a total of 126 rules in 8 ms. Remains 171 /234 variables (removed 63) and now considering 252/315 (removed 63) transitions.
// Phase 1: matrix 252 rows 171 cols
[2024-05-26 01:02:52] [INFO ] Computed 1 invariants in 2 ms
[2024-05-26 01:02:52] [INFO ] Implicit Places using invariants in 87 ms returned []
[2024-05-26 01:02:52] [INFO ] Invariant cache hit.
[2024-05-26 01:02:52] [INFO ] Implicit Places using invariants and state equation in 202 ms returned []
Implicit Place search using SMT with State Equation took 291 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 171/3078 places, 252/2674 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 652 ms. Remains : 171/3078 places, 252/2674 transitions.
[2024-05-26 01:02:52] [INFO ] Flatten gal took : 5 ms
[2024-05-26 01:02:52] [INFO ] Flatten gal took : 5 ms
[2024-05-26 01:02:52] [INFO ] Input system was already deterministic with 252 transitions.
[2024-05-26 01:02:52] [INFO ] Flatten gal took : 4 ms
[2024-05-26 01:02:52] [INFO ] Flatten gal took : 4 ms
[2024-05-26 01:02:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality13380074772670590482.gal : 7 ms
[2024-05-26 01:02:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality3393923694366133733.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13380074772670590482.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3393923694366133733.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:03:22] [INFO ] Flatten gal took : 5 ms
[2024-05-26 01:03:22] [INFO ] Applying decomposition
[2024-05-26 01:03:22] [INFO ] Flatten gal took : 18 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph3222308726024041281.txt' '-o' '/tmp/graph3222308726024041281.bin' '-w' '/tmp/graph3222308726024041281.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph3222308726024041281.bin' '-l' '-1' '-v' '-w' '/tmp/graph3222308726024041281.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:03:22] [INFO ] Decomposing Gal with order
[2024-05-26 01:03:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:03:23] [INFO ] Removed a total of 150 redundant transitions.
[2024-05-26 01:03:23] [INFO ] Flatten gal took : 25 ms
[2024-05-26 01:03:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2024-05-26 01:03:23] [INFO ] Time to serialize gal into /tmp/CTLCardinality12427673949364277419.gal : 4 ms
[2024-05-26 01:03:23] [INFO ] Time to serialize properties into /tmp/CTLCardinality10222580702547045336.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12427673949364277419.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10222580702547045336.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 258 places :
Implicit places reduction removed 258 places
Iterating post reduction 0 with 332 rules applied. Total rules applied 332 place count 2746 transition count 2674
Discarding 214 places :
Symmetric choice reduction at 1 with 214 rule applications. Total rules 546 place count 2532 transition count 2458
Iterating global reduction 1 with 214 rules applied. Total rules applied 760 place count 2532 transition count 2458
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 781 place count 2511 transition count 2458
Discarding 106 places :
Symmetric choice reduction at 2 with 106 rule applications. Total rules 887 place count 2405 transition count 2312
Iterating global reduction 2 with 106 rules applied. Total rules applied 993 place count 2405 transition count 2312
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 2 with 63 rules applied. Total rules applied 1056 place count 2363 transition count 2291
Discarding 85 places :
Symmetric choice reduction at 3 with 85 rule applications. Total rules 1141 place count 2278 transition count 2186
Iterating global reduction 3 with 85 rules applied. Total rules applied 1226 place count 2278 transition count 2186
Discarding 45 places :
Symmetric choice reduction at 3 with 45 rule applications. Total rules 1271 place count 2233 transition count 2081
Iterating global reduction 3 with 45 rules applied. Total rules applied 1316 place count 2233 transition count 2081
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 63 places :
Implicit places reduction removed 63 places
Iterating post reduction 3 with 84 rules applied. Total rules applied 1400 place count 2170 transition count 2060
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1442 place count 2128 transition count 2018
Iterating global reduction 4 with 42 rules applied. Total rules applied 1484 place count 2128 transition count 2018
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1526 place count 2086 transition count 1976
Iterating global reduction 4 with 42 rules applied. Total rules applied 1568 place count 2086 transition count 1976
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1610 place count 2044 transition count 1934
Iterating global reduction 4 with 42 rules applied. Total rules applied 1652 place count 2044 transition count 1934
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1694 place count 2002 transition count 1892
Iterating global reduction 4 with 42 rules applied. Total rules applied 1736 place count 2002 transition count 1892
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1778 place count 1960 transition count 1850
Iterating global reduction 4 with 42 rules applied. Total rules applied 1820 place count 1960 transition count 1850
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1862 place count 1918 transition count 1808
Iterating global reduction 4 with 42 rules applied. Total rules applied 1904 place count 1918 transition count 1808
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1946 place count 1876 transition count 1766
Iterating global reduction 4 with 42 rules applied. Total rules applied 1988 place count 1876 transition count 1766
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2030 place count 1834 transition count 1724
Iterating global reduction 4 with 42 rules applied. Total rules applied 2072 place count 1834 transition count 1724
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2114 place count 1792 transition count 1682
Iterating global reduction 4 with 42 rules applied. Total rules applied 2156 place count 1792 transition count 1682
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2198 place count 1750 transition count 1640
Iterating global reduction 4 with 42 rules applied. Total rules applied 2240 place count 1750 transition count 1640
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2282 place count 1708 transition count 1598
Iterating global reduction 4 with 42 rules applied. Total rules applied 2324 place count 1708 transition count 1598
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2366 place count 1666 transition count 1556
Iterating global reduction 4 with 42 rules applied. Total rules applied 2408 place count 1666 transition count 1556
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2450 place count 1624 transition count 1514
Iterating global reduction 4 with 42 rules applied. Total rules applied 2492 place count 1624 transition count 1514
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 42 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 4 with 63 rules applied. Total rules applied 2555 place count 1603 transition count 1472
Applied a total of 2555 rules in 2391 ms. Remains 1603 /3078 variables (removed 1475) and now considering 1472/2674 (removed 1202) transitions.
// Phase 1: matrix 1472 rows 1603 cols
[2024-05-26 01:03:55] [INFO ] Computed 173 invariants in 17 ms
[2024-05-26 01:03:56] [INFO ] Implicit Places using invariants in 1044 ms returned [273, 653, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 759, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1413]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 1049 ms to find 46 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1557/3078 places, 1472/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1516 transition count 1431
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1516 transition count 1431
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1496 transition count 1391
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1496 transition count 1391
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1476 transition count 1371
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1476 transition count 1371
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1456 transition count 1351
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1456 transition count 1351
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1436 transition count 1331
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1436 transition count 1331
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1416 transition count 1311
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1416 transition count 1311
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 302 place count 1396 transition count 1291
Iterating global reduction 0 with 20 rules applied. Total rules applied 322 place count 1396 transition count 1291
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 342 place count 1376 transition count 1271
Iterating global reduction 0 with 20 rules applied. Total rules applied 362 place count 1376 transition count 1271
Applied a total of 362 rules in 863 ms. Remains 1376 /1557 variables (removed 181) and now considering 1271/1472 (removed 201) transitions.
// Phase 1: matrix 1271 rows 1376 cols
[2024-05-26 01:03:57] [INFO ] Computed 127 invariants in 9 ms
[2024-05-26 01:03:57] [INFO ] Implicit Places using invariants in 553 ms returned []
[2024-05-26 01:03:57] [INFO ] Invariant cache hit.
[2024-05-26 01:03:59] [INFO ] Implicit Places using invariants and state equation in 1626 ms returned []
Implicit Place search using SMT with State Equation took 2180 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1376/3078 places, 1271/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 6483 ms. Remains : 1376/3078 places, 1271/2674 transitions.
[2024-05-26 01:03:59] [INFO ] Flatten gal took : 36 ms
[2024-05-26 01:03:59] [INFO ] Flatten gal took : 37 ms
[2024-05-26 01:03:59] [INFO ] Input system was already deterministic with 1271 transitions.
[2024-05-26 01:03:59] [INFO ] Flatten gal took : 37 ms
[2024-05-26 01:03:59] [INFO ] Flatten gal took : 38 ms
[2024-05-26 01:03:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality11329936534393344656.gal : 8 ms
[2024-05-26 01:03:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality5802615575120809341.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11329936534393344656.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5802615575120809341.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:04:29] [INFO ] Flatten gal took : 23 ms
[2024-05-26 01:04:29] [INFO ] Applying decomposition
[2024-05-26 01:04:29] [INFO ] Flatten gal took : 26 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph2395801903849463741.txt' '-o' '/tmp/graph2395801903849463741.bin' '-w' '/tmp/graph2395801903849463741.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph2395801903849463741.bin' '-l' '-1' '-v' '-w' '/tmp/graph2395801903849463741.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:04:30] [INFO ] Decomposing Gal with order
[2024-05-26 01:04:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:04:30] [INFO ] Removed a total of 40 redundant transitions.
[2024-05-26 01:04:30] [INFO ] Flatten gal took : 93 ms
[2024-05-26 01:04:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2024-05-26 01:04:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality4502727634840942088.gal : 126 ms
[2024-05-26 01:04:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality5568828687516338703.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4502727634840942088.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5568828687516338703.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 72 places and 0 transitions.
Discarding 195 places :
Implicit places reduction removed 195 places
Iterating post reduction 0 with 267 rules applied. Total rules applied 267 place count 2811 transition count 2674
Discarding 128 places :
Symmetric choice reduction at 1 with 128 rule applications. Total rules 395 place count 2683 transition count 2544
Iterating global reduction 1 with 128 rules applied. Total rules applied 523 place count 2683 transition count 2544
Discarding 64 places :
Symmetric choice reduction at 1 with 64 rule applications. Total rules 587 place count 2619 transition count 2440
Iterating global reduction 1 with 64 rules applied. Total rules applied 651 place count 2619 transition count 2440
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 1 with 63 rules applied. Total rules applied 714 place count 2577 transition count 2419
Discarding 43 places :
Symmetric choice reduction at 2 with 43 rule applications. Total rules 757 place count 2534 transition count 2356
Iterating global reduction 2 with 43 rules applied. Total rules applied 800 place count 2534 transition count 2356
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 822 place count 2512 transition count 2314
Iterating global reduction 2 with 22 rules applied. Total rules applied 844 place count 2512 transition count 2314
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 2 with 42 rules applied. Total rules applied 886 place count 2491 transition count 2293
Applied a total of 886 rules in 1232 ms. Remains 2491 /3078 variables (removed 587) and now considering 2293/2674 (removed 381) transitions.
// Phase 1: matrix 2293 rows 2491 cols
[2024-05-26 01:05:01] [INFO ] Computed 321 invariants in 27 ms
[2024-05-26 01:05:03] [INFO ] Implicit Places using invariants in 1419 ms returned [441, 1157, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322, 1323, 1324, 1325, 2301]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1422 ms to find 24 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 2467/3078 places, 2293/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 2426 transition count 2252
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 2426 transition count 2252
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 2406 transition count 2212
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 2406 transition count 2212
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 2386 transition count 2192
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 2386 transition count 2192
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 2366 transition count 2172
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 2366 transition count 2172
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 2346 transition count 2152
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 2346 transition count 2152
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 2326 transition count 2132
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 2326 transition count 2132
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 302 place count 2306 transition count 2112
Iterating global reduction 0 with 20 rules applied. Total rules applied 322 place count 2306 transition count 2112
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 342 place count 2286 transition count 2092
Iterating global reduction 0 with 20 rules applied. Total rules applied 362 place count 2286 transition count 2092
Applied a total of 362 rules in 1098 ms. Remains 2286 /2467 variables (removed 181) and now considering 2092/2293 (removed 201) transitions.
// Phase 1: matrix 2092 rows 2286 cols
[2024-05-26 01:05:04] [INFO ] Computed 297 invariants in 19 ms
[2024-05-26 01:05:05] [INFO ] Implicit Places using invariants in 1233 ms returned []
[2024-05-26 01:05:05] [INFO ] Invariant cache hit.
[2024-05-26 01:05:09] [INFO ] Implicit Places using invariants and state equation in 3457 ms returned []
Implicit Place search using SMT with State Equation took 4702 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 2286/3078 places, 2092/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 8455 ms. Remains : 2286/3078 places, 2092/2674 transitions.
[2024-05-26 01:05:09] [INFO ] Flatten gal took : 73 ms
[2024-05-26 01:05:09] [INFO ] Flatten gal took : 79 ms
[2024-05-26 01:05:09] [INFO ] Input system was already deterministic with 2092 transitions.
[2024-05-26 01:05:09] [INFO ] Flatten gal took : 71 ms
[2024-05-26 01:05:09] [INFO ] Flatten gal took : 73 ms
[2024-05-26 01:05:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality9991578102095933162.gal : 13 ms
[2024-05-26 01:05:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality14508332075372709102.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality9991578102095933162.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality14508332075372709102.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:05:39] [INFO ] Flatten gal took : 46 ms
[2024-05-26 01:05:39] [INFO ] Applying decomposition
[2024-05-26 01:05:39] [INFO ] Flatten gal took : 48 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph6110987735017096231.txt' '-o' '/tmp/graph6110987735017096231.bin' '-w' '/tmp/graph6110987735017096231.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph6110987735017096231.bin' '-l' '-1' '-v' '-w' '/tmp/graph6110987735017096231.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:05:40] [INFO ] Decomposing Gal with order
[2024-05-26 01:05:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:05:40] [INFO ] Removed a total of 332 redundant transitions.
[2024-05-26 01:05:40] [INFO ] Flatten gal took : 189 ms
[2024-05-26 01:05:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 126 labels/synchronizations in 36 ms.
[2024-05-26 01:05:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality13118305348666438567.gal : 21 ms
[2024-05-26 01:05:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality3447821160009582796.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13118305348666438567.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3447821160009582796.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 257 places :
Implicit places reduction removed 257 places
Iterating post reduction 0 with 331 rules applied. Total rules applied 331 place count 2747 transition count 2674
Discarding 214 places :
Symmetric choice reduction at 1 with 214 rule applications. Total rules 545 place count 2533 transition count 2458
Iterating global reduction 1 with 214 rules applied. Total rules applied 759 place count 2533 transition count 2458
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 780 place count 2512 transition count 2458
Discarding 106 places :
Symmetric choice reduction at 2 with 106 rule applications. Total rules 886 place count 2406 transition count 2312
Iterating global reduction 2 with 106 rules applied. Total rules applied 992 place count 2406 transition count 2312
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 2 with 63 rules applied. Total rules applied 1055 place count 2364 transition count 2291
Discarding 85 places :
Symmetric choice reduction at 3 with 85 rule applications. Total rules 1140 place count 2279 transition count 2186
Iterating global reduction 3 with 85 rules applied. Total rules applied 1225 place count 2279 transition count 2186
Discarding 45 places :
Symmetric choice reduction at 3 with 45 rule applications. Total rules 1270 place count 2234 transition count 2081
Iterating global reduction 3 with 45 rules applied. Total rules applied 1315 place count 2234 transition count 2081
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 63 places :
Implicit places reduction removed 63 places
Iterating post reduction 3 with 84 rules applied. Total rules applied 1399 place count 2171 transition count 2060
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1441 place count 2129 transition count 2018
Iterating global reduction 4 with 42 rules applied. Total rules applied 1483 place count 2129 transition count 2018
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1525 place count 2087 transition count 1976
Iterating global reduction 4 with 42 rules applied. Total rules applied 1567 place count 2087 transition count 1976
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1609 place count 2045 transition count 1934
Iterating global reduction 4 with 42 rules applied. Total rules applied 1651 place count 2045 transition count 1934
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1693 place count 2003 transition count 1892
Iterating global reduction 4 with 42 rules applied. Total rules applied 1735 place count 2003 transition count 1892
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1777 place count 1961 transition count 1850
Iterating global reduction 4 with 42 rules applied. Total rules applied 1819 place count 1961 transition count 1850
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1859 place count 1921 transition count 1810
Iterating global reduction 4 with 40 rules applied. Total rules applied 1899 place count 1921 transition count 1810
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1939 place count 1881 transition count 1770
Iterating global reduction 4 with 40 rules applied. Total rules applied 1979 place count 1881 transition count 1770
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2019 place count 1841 transition count 1730
Iterating global reduction 4 with 40 rules applied. Total rules applied 2059 place count 1841 transition count 1730
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2099 place count 1801 transition count 1690
Iterating global reduction 4 with 40 rules applied. Total rules applied 2139 place count 1801 transition count 1690
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2179 place count 1761 transition count 1650
Iterating global reduction 4 with 40 rules applied. Total rules applied 2219 place count 1761 transition count 1650
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2259 place count 1721 transition count 1610
Iterating global reduction 4 with 40 rules applied. Total rules applied 2299 place count 1721 transition count 1610
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2339 place count 1681 transition count 1570
Iterating global reduction 4 with 40 rules applied. Total rules applied 2379 place count 1681 transition count 1570
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2419 place count 1641 transition count 1530
Iterating global reduction 4 with 40 rules applied. Total rules applied 2459 place count 1641 transition count 1530
Ensure Unique test removed 40 transitions
Reduce isomorphic transitions removed 40 transitions.
Discarding 19 places :
Implicit places reduction removed 19 places
Iterating post reduction 4 with 59 rules applied. Total rules applied 2518 place count 1622 transition count 1490
Applied a total of 2518 rules in 2253 ms. Remains 1622 /3078 variables (removed 1456) and now considering 1490/2674 (removed 1184) transitions.
// Phase 1: matrix 1490 rows 1622 cols
[2024-05-26 01:06:13] [INFO ] Computed 176 invariants in 23 ms
[2024-05-26 01:06:14] [INFO ] Implicit Places using invariants in 1089 ms returned [147, 148, 281, 672, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 778, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1432]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 1096 ms to find 48 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1574/3078 places, 1490/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1533 transition count 1449
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1533 transition count 1449
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1513 transition count 1409
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1513 transition count 1409
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1493 transition count 1389
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1493 transition count 1389
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1473 transition count 1369
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1473 transition count 1369
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1453 transition count 1349
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1453 transition count 1349
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1433 transition count 1329
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1433 transition count 1329
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 302 place count 1413 transition count 1309
Iterating global reduction 0 with 20 rules applied. Total rules applied 322 place count 1413 transition count 1309
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 342 place count 1393 transition count 1289
Iterating global reduction 0 with 20 rules applied. Total rules applied 362 place count 1393 transition count 1289
Applied a total of 362 rules in 908 ms. Remains 1393 /1574 variables (removed 181) and now considering 1289/1490 (removed 201) transitions.
// Phase 1: matrix 1289 rows 1393 cols
[2024-05-26 01:06:15] [INFO ] Computed 128 invariants in 11 ms
[2024-05-26 01:06:16] [INFO ] Implicit Places using invariants in 751 ms returned []
[2024-05-26 01:06:16] [INFO ] Invariant cache hit.
[2024-05-26 01:06:17] [INFO ] Implicit Places using invariants and state equation in 1530 ms returned []
Implicit Place search using SMT with State Equation took 2285 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1393/3078 places, 1289/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 6545 ms. Remains : 1393/3078 places, 1289/2674 transitions.
[2024-05-26 01:06:17] [INFO ] Flatten gal took : 35 ms
[2024-05-26 01:06:17] [INFO ] Flatten gal took : 35 ms
[2024-05-26 01:06:17] [INFO ] Input system was already deterministic with 1289 transitions.
[2024-05-26 01:06:17] [INFO ] Flatten gal took : 35 ms
[2024-05-26 01:06:17] [INFO ] Flatten gal took : 38 ms
[2024-05-26 01:06:17] [INFO ] Time to serialize gal into /tmp/CTLCardinality851591444044432158.gal : 8 ms
[2024-05-26 01:06:17] [INFO ] Time to serialize properties into /tmp/CTLCardinality10795743489821289623.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality851591444044432158.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10795743489821289623.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:06:47] [INFO ] Flatten gal took : 24 ms
[2024-05-26 01:06:47] [INFO ] Applying decomposition
[2024-05-26 01:06:47] [INFO ] Flatten gal took : 24 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph16196334329543026290.txt' '-o' '/tmp/graph16196334329543026290.bin' '-w' '/tmp/graph16196334329543026290.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph16196334329543026290.bin' '-l' '-1' '-v' '-w' '/tmp/graph16196334329543026290.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:06:47] [INFO ] Decomposing Gal with order
[2024-05-26 01:06:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:06:48] [INFO ] Removed a total of 42 redundant transitions.
[2024-05-26 01:06:48] [INFO ] Flatten gal took : 50 ms
[2024-05-26 01:06:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2024-05-26 01:06:48] [INFO ] Time to serialize gal into /tmp/CTLCardinality7629099094129095919.gal : 18 ms
[2024-05-26 01:06:48] [INFO ] Time to serialize properties into /tmp/CTLCardinality4590428536006473402.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7629099094129095919.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4590428536006473402.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.12707e+41,19.9097,477256,90293,180,1.23207e+06,32517,931,1.42381e+06,43,269433,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 257 places :
Implicit places reduction removed 257 places
Iterating post reduction 0 with 331 rules applied. Total rules applied 331 place count 2747 transition count 2674
Discarding 213 places :
Symmetric choice reduction at 1 with 213 rule applications. Total rules 544 place count 2534 transition count 2459
Iterating global reduction 1 with 213 rules applied. Total rules applied 757 place count 2534 transition count 2459
Discarding 20 places :
Implicit places reduction removed 20 places
Iterating post reduction 1 with 20 rules applied. Total rules applied 777 place count 2514 transition count 2459
Discarding 104 places :
Symmetric choice reduction at 2 with 104 rule applications. Total rules 881 place count 2410 transition count 2335
Iterating global reduction 2 with 104 rules applied. Total rules applied 985 place count 2410 transition count 2335
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 2 with 42 rules applied. Total rules applied 1027 place count 2389 transition count 2314
Discarding 62 places :
Symmetric choice reduction at 3 with 62 rule applications. Total rules 1089 place count 2327 transition count 2252
Iterating global reduction 3 with 62 rules applied. Total rules applied 1151 place count 2327 transition count 2252
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 1153 place count 2325 transition count 2210
Iterating global reduction 3 with 2 rules applied. Total rules applied 1155 place count 2325 transition count 2210
Discarding 20 places :
Implicit places reduction removed 20 places
Iterating post reduction 3 with 20 rules applied. Total rules applied 1175 place count 2305 transition count 2210
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 1196 place count 2284 transition count 2189
Iterating global reduction 4 with 21 rules applied. Total rules applied 1217 place count 2284 transition count 2189
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 1238 place count 2263 transition count 2168
Iterating global reduction 4 with 21 rules applied. Total rules applied 1259 place count 2263 transition count 2168
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 1280 place count 2242 transition count 2147
Iterating global reduction 4 with 21 rules applied. Total rules applied 1301 place count 2242 transition count 2147
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1320 place count 2223 transition count 2128
Iterating global reduction 4 with 19 rules applied. Total rules applied 1339 place count 2223 transition count 2128
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1358 place count 2204 transition count 2109
Iterating global reduction 4 with 19 rules applied. Total rules applied 1377 place count 2204 transition count 2109
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1396 place count 2185 transition count 2090
Iterating global reduction 4 with 19 rules applied. Total rules applied 1415 place count 2185 transition count 2090
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1433 place count 2167 transition count 2072
Iterating global reduction 4 with 18 rules applied. Total rules applied 1451 place count 2167 transition count 2072
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1469 place count 2149 transition count 2054
Iterating global reduction 4 with 18 rules applied. Total rules applied 1487 place count 2149 transition count 2054
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 1504 place count 2132 transition count 2037
Iterating global reduction 4 with 17 rules applied. Total rules applied 1521 place count 2132 transition count 2037
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 1538 place count 2115 transition count 2020
Iterating global reduction 4 with 17 rules applied. Total rules applied 1555 place count 2115 transition count 2020
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1571 place count 2099 transition count 2004
Iterating global reduction 4 with 16 rules applied. Total rules applied 1587 place count 2099 transition count 2004
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1603 place count 2083 transition count 1988
Iterating global reduction 4 with 16 rules applied. Total rules applied 1619 place count 2083 transition count 1988
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1635 place count 2067 transition count 1972
Iterating global reduction 4 with 16 rules applied. Total rules applied 1651 place count 2067 transition count 1972
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 1667 place count 2067 transition count 1956
Applied a total of 1667 rules in 2916 ms. Remains 2067 /3078 variables (removed 1011) and now considering 1956/2674 (removed 718) transitions.
// Phase 1: matrix 1956 rows 2067 cols
[2024-05-26 01:07:21] [INFO ] Computed 260 invariants in 26 ms
[2024-05-26 01:07:22] [INFO ] Implicit Places using invariants in 1425 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 683, 986, 1050, 1051, 1052, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1066, 1067, 1068, 1069, 1070, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1274, 1275, 1276, 1277, 1278, 1279, 1280, 1281, 1282, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1898, 1899, 1900, 1901, 1902, 1903, 1904, 1905, 1906, 1907, 1908, 1909, 1910, 1911, 1912, 1913, 1914, 1915, 1916, 1917, 1918]
Discarding 127 places :
Implicit Place search using SMT only with invariants took 1429 ms to find 127 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1940/3078 places, 1956/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1899 transition count 1915
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1899 transition count 1915
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1879 transition count 1875
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1879 transition count 1875
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1859 transition count 1855
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1859 transition count 1855
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 181 place count 1840 transition count 1836
Iterating global reduction 0 with 19 rules applied. Total rules applied 200 place count 1840 transition count 1836
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 219 place count 1821 transition count 1817
Iterating global reduction 0 with 19 rules applied. Total rules applied 238 place count 1821 transition count 1817
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 257 place count 1802 transition count 1798
Iterating global reduction 0 with 19 rules applied. Total rules applied 276 place count 1802 transition count 1798
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 295 place count 1783 transition count 1779
Iterating global reduction 0 with 19 rules applied. Total rules applied 314 place count 1783 transition count 1779
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 333 place count 1764 transition count 1760
Iterating global reduction 0 with 19 rules applied. Total rules applied 352 place count 1764 transition count 1760
Applied a total of 352 rules in 1374 ms. Remains 1764 /1940 variables (removed 176) and now considering 1760/1956 (removed 196) transitions.
// Phase 1: matrix 1760 rows 1764 cols
[2024-05-26 01:07:23] [INFO ] Computed 133 invariants in 37 ms
[2024-05-26 01:07:24] [INFO ] Implicit Places using invariants in 736 ms returned []
[2024-05-26 01:07:24] [INFO ] Invariant cache hit.
[2024-05-26 01:07:27] [INFO ] Implicit Places using invariants and state equation in 3121 ms returned []
Implicit Place search using SMT with State Equation took 3860 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1764/3078 places, 1760/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9580 ms. Remains : 1764/3078 places, 1760/2674 transitions.
[2024-05-26 01:07:27] [INFO ] Flatten gal took : 55 ms
[2024-05-26 01:07:27] [INFO ] Flatten gal took : 58 ms
[2024-05-26 01:07:28] [INFO ] Input system was already deterministic with 1760 transitions.
[2024-05-26 01:07:28] [INFO ] Flatten gal took : 56 ms
[2024-05-26 01:07:28] [INFO ] Flatten gal took : 56 ms
[2024-05-26 01:07:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality14293426944435817275.gal : 11 ms
[2024-05-26 01:07:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality12392657694718362205.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14293426944435817275.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12392657694718362205.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:07:58] [INFO ] Flatten gal took : 63 ms
[2024-05-26 01:07:58] [INFO ] Applying decomposition
[2024-05-26 01:07:58] [INFO ] Flatten gal took : 63 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph17481537030695110013.txt' '-o' '/tmp/graph17481537030695110013.bin' '-w' '/tmp/graph17481537030695110013.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph17481537030695110013.bin' '-l' '-1' '-v' '-w' '/tmp/graph17481537030695110013.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:07:58] [INFO ] Decomposing Gal with order
[2024-05-26 01:07:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:07:58] [INFO ] Removed a total of 459 redundant transitions.
[2024-05-26 01:07:58] [INFO ] Flatten gal took : 115 ms
[2024-05-26 01:07:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 20 ms.
[2024-05-26 01:07:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality3385635946298346819.gal : 30 ms
[2024-05-26 01:07:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality3359398542407305436.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3385635946298346819.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3359398542407305436.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 257 places :
Implicit places reduction removed 257 places
Iterating post reduction 0 with 331 rules applied. Total rules applied 331 place count 2747 transition count 2674
Discarding 210 places :
Symmetric choice reduction at 1 with 210 rule applications. Total rules 541 place count 2537 transition count 2462
Iterating global reduction 1 with 210 rules applied. Total rules applied 751 place count 2537 transition count 2462
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 772 place count 2516 transition count 2462
Discarding 104 places :
Symmetric choice reduction at 2 with 104 rule applications. Total rules 876 place count 2412 transition count 2318
Iterating global reduction 2 with 104 rules applied. Total rules applied 980 place count 2412 transition count 2318
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 2 with 63 rules applied. Total rules applied 1043 place count 2370 transition count 2297
Discarding 83 places :
Symmetric choice reduction at 3 with 83 rule applications. Total rules 1126 place count 2287 transition count 2194
Iterating global reduction 3 with 83 rules applied. Total rules applied 1209 place count 2287 transition count 2194
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1251 place count 2245 transition count 2112
Iterating global reduction 3 with 42 rules applied. Total rules applied 1293 place count 2245 transition count 2112
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Discarding 41 places :
Implicit places reduction removed 41 places
Iterating post reduction 3 with 61 rules applied. Total rules applied 1354 place count 2204 transition count 2092
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1373 place count 2185 transition count 2073
Iterating global reduction 4 with 19 rules applied. Total rules applied 1392 place count 2185 transition count 2073
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1411 place count 2166 transition count 2054
Iterating global reduction 4 with 19 rules applied. Total rules applied 1430 place count 2166 transition count 2054
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1449 place count 2147 transition count 2035
Iterating global reduction 4 with 19 rules applied. Total rules applied 1468 place count 2147 transition count 2035
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1486 place count 2129 transition count 2017
Iterating global reduction 4 with 18 rules applied. Total rules applied 1504 place count 2129 transition count 2017
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1522 place count 2111 transition count 1999
Iterating global reduction 4 with 18 rules applied. Total rules applied 1540 place count 2111 transition count 1999
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 1557 place count 2094 transition count 1982
Iterating global reduction 4 with 17 rules applied. Total rules applied 1574 place count 2094 transition count 1982
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 1591 place count 2077 transition count 1965
Iterating global reduction 4 with 17 rules applied. Total rules applied 1608 place count 2077 transition count 1965
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1624 place count 2061 transition count 1949
Iterating global reduction 4 with 16 rules applied. Total rules applied 1640 place count 2061 transition count 1949
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1656 place count 2045 transition count 1933
Iterating global reduction 4 with 16 rules applied. Total rules applied 1672 place count 2045 transition count 1933
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1688 place count 2029 transition count 1917
Iterating global reduction 4 with 16 rules applied. Total rules applied 1704 place count 2029 transition count 1917
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1720 place count 2013 transition count 1901
Iterating global reduction 4 with 16 rules applied. Total rules applied 1736 place count 2013 transition count 1901
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1752 place count 1997 transition count 1885
Iterating global reduction 4 with 16 rules applied. Total rules applied 1768 place count 1997 transition count 1885
Discarding 16 places :
Symmetric choice reduction at 4 with 16 rule applications. Total rules 1784 place count 1981 transition count 1869
Iterating global reduction 4 with 16 rules applied. Total rules applied 1800 place count 1981 transition count 1869
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 1816 place count 1981 transition count 1853
Applied a total of 1816 rules in 2928 ms. Remains 1981 /3078 variables (removed 1097) and now considering 1853/2674 (removed 821) transitions.
// Phase 1: matrix 1853 rows 1981 cols
[2024-05-26 01:08:32] [INFO ] Computed 217 invariants in 27 ms
[2024-05-26 01:08:33] [INFO ] Implicit Places using invariants in 1243 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 215, 375, 955, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029, 1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1236, 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507, 1508, 1509, 1510, 1511, 1512, 1513, 1514, 1515, 1791]
Discarding 88 places :
Implicit Place search using SMT only with invariants took 1251 ms to find 88 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1893/3078 places, 1853/2674 transitions.
Discarding 40 places :
Symmetric choice reduction at 0 with 40 rule applications. Total rules 40 place count 1853 transition count 1813
Iterating global reduction 0 with 40 rules applied. Total rules applied 80 place count 1853 transition count 1813
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 99 place count 1834 transition count 1775
Iterating global reduction 0 with 19 rules applied. Total rules applied 118 place count 1834 transition count 1775
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 137 place count 1815 transition count 1756
Iterating global reduction 0 with 19 rules applied. Total rules applied 156 place count 1815 transition count 1756
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 175 place count 1796 transition count 1737
Iterating global reduction 0 with 19 rules applied. Total rules applied 194 place count 1796 transition count 1737
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 213 place count 1777 transition count 1718
Iterating global reduction 0 with 19 rules applied. Total rules applied 232 place count 1777 transition count 1718
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 251 place count 1758 transition count 1699
Iterating global reduction 0 with 19 rules applied. Total rules applied 270 place count 1758 transition count 1699
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 289 place count 1739 transition count 1680
Iterating global reduction 0 with 19 rules applied. Total rules applied 308 place count 1739 transition count 1680
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 327 place count 1720 transition count 1661
Iterating global reduction 0 with 19 rules applied. Total rules applied 346 place count 1720 transition count 1661
Applied a total of 346 rules in 949 ms. Remains 1720 /1893 variables (removed 173) and now considering 1661/1853 (removed 192) transitions.
// Phase 1: matrix 1661 rows 1720 cols
[2024-05-26 01:08:34] [INFO ] Computed 129 invariants in 17 ms
[2024-05-26 01:08:35] [INFO ] Implicit Places using invariants in 875 ms returned []
[2024-05-26 01:08:35] [INFO ] Invariant cache hit.
[2024-05-26 01:08:38] [INFO ] Implicit Places using invariants and state equation in 2469 ms returned []
Implicit Place search using SMT with State Equation took 3346 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1720/3078 places, 1661/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 8475 ms. Remains : 1720/3078 places, 1661/2674 transitions.
[2024-05-26 01:08:38] [INFO ] Flatten gal took : 52 ms
[2024-05-26 01:08:38] [INFO ] Flatten gal took : 51 ms
[2024-05-26 01:08:38] [INFO ] Input system was already deterministic with 1661 transitions.
[2024-05-26 01:08:38] [INFO ] Flatten gal took : 50 ms
[2024-05-26 01:08:38] [INFO ] Flatten gal took : 51 ms
[2024-05-26 01:08:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality14389278694923376796.gal : 14 ms
[2024-05-26 01:08:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality1258749356657076654.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14389278694923376796.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1258749356657076654.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:09:08] [INFO ] Flatten gal took : 30 ms
[2024-05-26 01:09:08] [INFO ] Applying decomposition
[2024-05-26 01:09:08] [INFO ] Flatten gal took : 32 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph10286688146829041171.txt' '-o' '/tmp/graph10286688146829041171.bin' '-w' '/tmp/graph10286688146829041171.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph10286688146829041171.bin' '-l' '-1' '-v' '-w' '/tmp/graph10286688146829041171.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:09:08] [INFO ] Decomposing Gal with order
[2024-05-26 01:09:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:09:08] [INFO ] Removed a total of 185 redundant transitions.
[2024-05-26 01:09:08] [INFO ] Flatten gal took : 63 ms
[2024-05-26 01:09:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2024-05-26 01:09:09] [INFO ] Time to serialize gal into /tmp/CTLCardinality5970805654578520909.gal : 14 ms
[2024-05-26 01:09:09] [INFO ] Time to serialize properties into /tmp/CTLCardinality17440061051778857785.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5970805654578520909.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17440061051778857785.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 73 places and 0 transitions.
Discarding 257 places :
Implicit places reduction removed 257 places
Iterating post reduction 0 with 330 rules applied. Total rules applied 330 place count 2748 transition count 2674
Discarding 211 places :
Symmetric choice reduction at 1 with 211 rule applications. Total rules 541 place count 2537 transition count 2462
Iterating global reduction 1 with 211 rules applied. Total rules applied 752 place count 2537 transition count 2462
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 773 place count 2516 transition count 2462
Discarding 103 places :
Symmetric choice reduction at 2 with 103 rule applications. Total rules 876 place count 2413 transition count 2339
Iterating global reduction 2 with 103 rules applied. Total rules applied 979 place count 2413 transition count 2339
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 2 with 63 rules applied. Total rules applied 1042 place count 2371 transition count 2318
Discarding 61 places :
Symmetric choice reduction at 3 with 61 rule applications. Total rules 1103 place count 2310 transition count 2257
Iterating global reduction 3 with 61 rules applied. Total rules applied 1164 place count 2310 transition count 2257
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 1165 place count 2309 transition count 2236
Iterating global reduction 3 with 1 rules applied. Total rules applied 1166 place count 2309 transition count 2236
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 1187 place count 2288 transition count 2215
Iterating global reduction 3 with 21 rules applied. Total rules applied 1208 place count 2288 transition count 2215
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 1229 place count 2267 transition count 2194
Iterating global reduction 3 with 21 rules applied. Total rules applied 1250 place count 2267 transition count 2194
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 1271 place count 2246 transition count 2173
Iterating global reduction 3 with 21 rules applied. Total rules applied 1292 place count 2246 transition count 2173
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 1313 place count 2225 transition count 2152
Iterating global reduction 3 with 21 rules applied. Total rules applied 1334 place count 2225 transition count 2152
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 1355 place count 2204 transition count 2131
Iterating global reduction 3 with 21 rules applied. Total rules applied 1376 place count 2204 transition count 2131
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1396 place count 2184 transition count 2111
Iterating global reduction 3 with 20 rules applied. Total rules applied 1416 place count 2184 transition count 2111
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1436 place count 2164 transition count 2091
Iterating global reduction 3 with 20 rules applied. Total rules applied 1456 place count 2164 transition count 2091
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1476 place count 2144 transition count 2071
Iterating global reduction 3 with 20 rules applied. Total rules applied 1496 place count 2144 transition count 2071
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1516 place count 2124 transition count 2051
Iterating global reduction 3 with 20 rules applied. Total rules applied 1536 place count 2124 transition count 2051
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1556 place count 2104 transition count 2031
Iterating global reduction 3 with 20 rules applied. Total rules applied 1576 place count 2104 transition count 2031
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 1596 place count 2084 transition count 2011
Iterating global reduction 3 with 20 rules applied. Total rules applied 1616 place count 2084 transition count 2011
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 1634 place count 2066 transition count 1993
Iterating global reduction 3 with 18 rules applied. Total rules applied 1652 place count 2066 transition count 1993
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 1670 place count 2048 transition count 1975
Iterating global reduction 3 with 18 rules applied. Total rules applied 1688 place count 2048 transition count 1975
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 3 with 18 rules applied. Total rules applied 1706 place count 2048 transition count 1957
Applied a total of 1706 rules in 2836 ms. Remains 2048 /3078 variables (removed 1030) and now considering 1957/2674 (removed 717) transitions.
// Phase 1: matrix 1957 rows 2048 cols
[2024-05-26 01:09:42] [INFO ] Computed 258 invariants in 20 ms
[2024-05-26 01:09:43] [INFO ] Implicit Places using invariants in 1412 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 225, 226, 227, 228, 229, 230, 231, 232, 233, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 1070, 1071, 1072, 1073, 1074, 1075, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1283, 1284, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547, 1548, 1549, 1550, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1857]
Discarding 126 places :
Implicit Place search using SMT only with invariants took 1416 ms to find 126 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1922/3078 places, 1957/2674 transitions.
Discarding 39 places :
Symmetric choice reduction at 0 with 39 rule applications. Total rules 39 place count 1883 transition count 1918
Iterating global reduction 0 with 39 rules applied. Total rules applied 78 place count 1883 transition count 1918
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 96 place count 1865 transition count 1882
Iterating global reduction 0 with 18 rules applied. Total rules applied 114 place count 1865 transition count 1882
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 132 place count 1847 transition count 1846
Iterating global reduction 0 with 18 rules applied. Total rules applied 150 place count 1847 transition count 1846
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 168 place count 1829 transition count 1828
Iterating global reduction 0 with 18 rules applied. Total rules applied 186 place count 1829 transition count 1828
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 204 place count 1811 transition count 1810
Iterating global reduction 0 with 18 rules applied. Total rules applied 222 place count 1811 transition count 1810
Discarding 36 places :
Symmetric choice reduction at 0 with 36 rule applications. Total rules 258 place count 1775 transition count 1774
Iterating global reduction 0 with 36 rules applied. Total rules applied 294 place count 1775 transition count 1774
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 312 place count 1757 transition count 1738
Iterating global reduction 0 with 18 rules applied. Total rules applied 330 place count 1757 transition count 1738
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 348 place count 1739 transition count 1720
Iterating global reduction 0 with 18 rules applied. Total rules applied 366 place count 1739 transition count 1720
Applied a total of 366 rules in 1048 ms. Remains 1739 /1922 variables (removed 183) and now considering 1720/1957 (removed 237) transitions.
// Phase 1: matrix 1720 rows 1739 cols
[2024-05-26 01:09:44] [INFO ] Computed 132 invariants in 11 ms
[2024-05-26 01:09:45] [INFO ] Implicit Places using invariants in 549 ms returned []
[2024-05-26 01:09:45] [INFO ] Invariant cache hit.
[2024-05-26 01:09:47] [INFO ] Implicit Places using invariants and state equation in 2196 ms returned []
Implicit Place search using SMT with State Equation took 2756 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1739/3078 places, 1720/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 8060 ms. Remains : 1739/3078 places, 1720/2674 transitions.
[2024-05-26 01:09:47] [INFO ] Flatten gal took : 31 ms
[2024-05-26 01:09:47] [INFO ] Flatten gal took : 33 ms
[2024-05-26 01:09:47] [INFO ] Input system was already deterministic with 1720 transitions.
[2024-05-26 01:09:47] [INFO ] Flatten gal took : 31 ms
[2024-05-26 01:09:47] [INFO ] Flatten gal took : 32 ms
[2024-05-26 01:09:47] [INFO ] Time to serialize gal into /tmp/CTLCardinality1069188547905996474.gal : 5 ms
[2024-05-26 01:09:47] [INFO ] Time to serialize properties into /tmp/CTLCardinality10979377526604041083.ctl : 101 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1069188547905996474.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10979377526604041083.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:10:17] [INFO ] Flatten gal took : 54 ms
[2024-05-26 01:10:17] [INFO ] Applying decomposition
[2024-05-26 01:10:17] [INFO ] Flatten gal took : 55 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph10948314421838667564.txt' '-o' '/tmp/graph10948314421838667564.bin' '-w' '/tmp/graph10948314421838667564.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph10948314421838667564.bin' '-l' '-1' '-v' '-w' '/tmp/graph10948314421838667564.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:10:17] [INFO ] Decomposing Gal with order
[2024-05-26 01:10:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:10:18] [INFO ] Removed a total of 353 redundant transitions.
[2024-05-26 01:10:18] [INFO ] Flatten gal took : 106 ms
[2024-05-26 01:10:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 38 labels/synchronizations in 22 ms.
[2024-05-26 01:10:18] [INFO ] Time to serialize gal into /tmp/CTLCardinality8653724124172415003.gal : 15 ms
[2024-05-26 01:10:18] [INFO ] Time to serialize properties into /tmp/CTLCardinality5540611332700265504.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8653724124172415003.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5540611332700265504.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 258 places :
Implicit places reduction removed 258 places
Iterating post reduction 0 with 332 rules applied. Total rules applied 332 place count 2746 transition count 2674
Discarding 213 places :
Symmetric choice reduction at 1 with 213 rule applications. Total rules 545 place count 2533 transition count 2459
Iterating global reduction 1 with 213 rules applied. Total rules applied 758 place count 2533 transition count 2459
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 779 place count 2512 transition count 2459
Discarding 106 places :
Symmetric choice reduction at 2 with 106 rule applications. Total rules 885 place count 2406 transition count 2313
Iterating global reduction 2 with 106 rules applied. Total rules applied 991 place count 2406 transition count 2313
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 2 with 63 rules applied. Total rules applied 1054 place count 2364 transition count 2292
Discarding 85 places :
Symmetric choice reduction at 3 with 85 rule applications. Total rules 1139 place count 2279 transition count 2187
Iterating global reduction 3 with 85 rules applied. Total rules applied 1224 place count 2279 transition count 2187
Discarding 44 places :
Symmetric choice reduction at 3 with 44 rule applications. Total rules 1268 place count 2235 transition count 2083
Iterating global reduction 3 with 44 rules applied. Total rules applied 1312 place count 2235 transition count 2083
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Discarding 61 places :
Implicit places reduction removed 61 places
Iterating post reduction 3 with 81 rules applied. Total rules applied 1393 place count 2174 transition count 2063
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1435 place count 2132 transition count 2021
Iterating global reduction 4 with 42 rules applied. Total rules applied 1477 place count 2132 transition count 2021
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1519 place count 2090 transition count 1979
Iterating global reduction 4 with 42 rules applied. Total rules applied 1561 place count 2090 transition count 1979
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1603 place count 2048 transition count 1937
Iterating global reduction 4 with 42 rules applied. Total rules applied 1645 place count 2048 transition count 1937
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1687 place count 2006 transition count 1895
Iterating global reduction 4 with 42 rules applied. Total rules applied 1729 place count 2006 transition count 1895
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1771 place count 1964 transition count 1853
Iterating global reduction 4 with 42 rules applied. Total rules applied 1813 place count 1964 transition count 1853
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1855 place count 1922 transition count 1811
Iterating global reduction 4 with 42 rules applied. Total rules applied 1897 place count 1922 transition count 1811
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 1939 place count 1880 transition count 1769
Iterating global reduction 4 with 42 rules applied. Total rules applied 1981 place count 1880 transition count 1769
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2023 place count 1838 transition count 1727
Iterating global reduction 4 with 42 rules applied. Total rules applied 2065 place count 1838 transition count 1727
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2107 place count 1796 transition count 1685
Iterating global reduction 4 with 42 rules applied. Total rules applied 2149 place count 1796 transition count 1685
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2191 place count 1754 transition count 1643
Iterating global reduction 4 with 42 rules applied. Total rules applied 2233 place count 1754 transition count 1643
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2275 place count 1712 transition count 1601
Iterating global reduction 4 with 42 rules applied. Total rules applied 2317 place count 1712 transition count 1601
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2359 place count 1670 transition count 1559
Iterating global reduction 4 with 42 rules applied. Total rules applied 2401 place count 1670 transition count 1559
Discarding 42 places :
Symmetric choice reduction at 4 with 42 rule applications. Total rules 2443 place count 1628 transition count 1517
Iterating global reduction 4 with 42 rules applied. Total rules applied 2485 place count 1628 transition count 1517
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 42 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 4 with 63 rules applied. Total rules applied 2548 place count 1607 transition count 1475
Applied a total of 2548 rules in 2436 ms. Remains 1607 /3078 variables (removed 1471) and now considering 1475/2674 (removed 1199) transitions.
// Phase 1: matrix 1475 rows 1607 cols
[2024-05-26 01:10:51] [INFO ] Computed 175 invariants in 12 ms
[2024-05-26 01:10:51] [INFO ] Implicit Places using invariants in 759 ms returned [168, 276, 657, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 763, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1417]
Discarding 47 places :
Implicit Place search using SMT only with invariants took 760 ms to find 47 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1560/3078 places, 1475/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1519 transition count 1434
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1519 transition count 1434
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1499 transition count 1394
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1499 transition count 1394
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1479 transition count 1374
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1479 transition count 1374
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1459 transition count 1354
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1459 transition count 1354
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 221 place count 1440 transition count 1335
Iterating global reduction 0 with 19 rules applied. Total rules applied 240 place count 1440 transition count 1335
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 259 place count 1421 transition count 1316
Iterating global reduction 0 with 19 rules applied. Total rules applied 278 place count 1421 transition count 1316
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 297 place count 1402 transition count 1297
Iterating global reduction 0 with 19 rules applied. Total rules applied 316 place count 1402 transition count 1297
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 335 place count 1383 transition count 1278
Iterating global reduction 0 with 19 rules applied. Total rules applied 354 place count 1383 transition count 1278
Applied a total of 354 rules in 742 ms. Remains 1383 /1560 variables (removed 177) and now considering 1278/1475 (removed 197) transitions.
// Phase 1: matrix 1278 rows 1383 cols
[2024-05-26 01:10:52] [INFO ] Computed 128 invariants in 7 ms
[2024-05-26 01:10:53] [INFO ] Implicit Places using invariants in 587 ms returned []
[2024-05-26 01:10:53] [INFO ] Invariant cache hit.
[2024-05-26 01:10:54] [INFO ] Implicit Places using invariants and state equation in 1579 ms returned []
Implicit Place search using SMT with State Equation took 2192 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1383/3078 places, 1278/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 6133 ms. Remains : 1383/3078 places, 1278/2674 transitions.
[2024-05-26 01:10:54] [INFO ] Flatten gal took : 23 ms
[2024-05-26 01:10:54] [INFO ] Flatten gal took : 24 ms
[2024-05-26 01:10:54] [INFO ] Input system was already deterministic with 1278 transitions.
[2024-05-26 01:10:55] [INFO ] Flatten gal took : 26 ms
[2024-05-26 01:10:55] [INFO ] Flatten gal took : 39 ms
[2024-05-26 01:10:55] [INFO ] Time to serialize gal into /tmp/CTLCardinality1108010516091424389.gal : 7 ms
[2024-05-26 01:10:55] [INFO ] Time to serialize properties into /tmp/CTLCardinality10801147546075657813.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1108010516091424389.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10801147546075657813.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:11:25] [INFO ] Flatten gal took : 40 ms
[2024-05-26 01:11:25] [INFO ] Applying decomposition
[2024-05-26 01:11:25] [INFO ] Flatten gal took : 39 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph5125337379595813767.txt' '-o' '/tmp/graph5125337379595813767.bin' '-w' '/tmp/graph5125337379595813767.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph5125337379595813767.bin' '-l' '-1' '-v' '-w' '/tmp/graph5125337379595813767.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:11:25] [INFO ] Decomposing Gal with order
[2024-05-26 01:11:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:11:25] [INFO ] Removed a total of 41 redundant transitions.
[2024-05-26 01:11:25] [INFO ] Flatten gal took : 74 ms
[2024-05-26 01:11:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2024-05-26 01:11:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality18402904984011517745.gal : 20 ms
[2024-05-26 01:11:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality18089840729470451775.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality18402904984011517745.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality18089840729470451775.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
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,9.89008e+40,16.0725,335664,8034,185,509007,21973,1309,2.95433e+06,37,179136,0
Converting to forward existential form...Done !
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 257 places :
Implicit places reduction removed 257 places
Iterating post reduction 0 with 331 rules applied. Total rules applied 331 place count 2747 transition count 2674
Discarding 214 places :
Symmetric choice reduction at 1 with 214 rule applications. Total rules 545 place count 2533 transition count 2458
Iterating global reduction 1 with 214 rules applied. Total rules applied 759 place count 2533 transition count 2458
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 780 place count 2512 transition count 2458
Discarding 106 places :
Symmetric choice reduction at 2 with 106 rule applications. Total rules 886 place count 2406 transition count 2312
Iterating global reduction 2 with 106 rules applied. Total rules applied 992 place count 2406 transition count 2312
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 42 places :
Implicit places reduction removed 42 places
Iterating post reduction 2 with 63 rules applied. Total rules applied 1055 place count 2364 transition count 2291
Discarding 85 places :
Symmetric choice reduction at 3 with 85 rule applications. Total rules 1140 place count 2279 transition count 2186
Iterating global reduction 3 with 85 rules applied. Total rules applied 1225 place count 2279 transition count 2186
Discarding 45 places :
Symmetric choice reduction at 3 with 45 rule applications. Total rules 1270 place count 2234 transition count 2081
Iterating global reduction 3 with 45 rules applied. Total rules applied 1315 place count 2234 transition count 2081
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 63 places :
Implicit places reduction removed 63 places
Iterating post reduction 3 with 84 rules applied. Total rules applied 1399 place count 2171 transition count 2060
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1440 place count 2130 transition count 2019
Iterating global reduction 4 with 41 rules applied. Total rules applied 1481 place count 2130 transition count 2019
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1522 place count 2089 transition count 1978
Iterating global reduction 4 with 41 rules applied. Total rules applied 1563 place count 2089 transition count 1978
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1604 place count 2048 transition count 1937
Iterating global reduction 4 with 41 rules applied. Total rules applied 1645 place count 2048 transition count 1937
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1686 place count 2007 transition count 1896
Iterating global reduction 4 with 41 rules applied. Total rules applied 1727 place count 2007 transition count 1896
Discarding 41 places :
Symmetric choice reduction at 4 with 41 rule applications. Total rules 1768 place count 1966 transition count 1855
Iterating global reduction 4 with 41 rules applied. Total rules applied 1809 place count 1966 transition count 1855
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1849 place count 1926 transition count 1815
Iterating global reduction 4 with 40 rules applied. Total rules applied 1889 place count 1926 transition count 1815
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 1929 place count 1886 transition count 1775
Iterating global reduction 4 with 40 rules applied. Total rules applied 1969 place count 1886 transition count 1775
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2009 place count 1846 transition count 1735
Iterating global reduction 4 with 40 rules applied. Total rules applied 2049 place count 1846 transition count 1735
Discarding 40 places :
Symmetric choice reduction at 4 with 40 rule applications. Total rules 2089 place count 1806 transition count 1695
Iterating global reduction 4 with 40 rules applied. Total rules applied 2129 place count 1806 transition count 1695
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 2168 place count 1767 transition count 1656
Iterating global reduction 4 with 39 rules applied. Total rules applied 2207 place count 1767 transition count 1656
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 2246 place count 1728 transition count 1617
Iterating global reduction 4 with 39 rules applied. Total rules applied 2285 place count 1728 transition count 1617
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 2324 place count 1689 transition count 1578
Iterating global reduction 4 with 39 rules applied. Total rules applied 2363 place count 1689 transition count 1578
Discarding 39 places :
Symmetric choice reduction at 4 with 39 rule applications. Total rules 2402 place count 1650 transition count 1539
Iterating global reduction 4 with 39 rules applied. Total rules applied 2441 place count 1650 transition count 1539
Ensure Unique test removed 39 transitions
Reduce isomorphic transitions removed 39 transitions.
Discarding 18 places :
Implicit places reduction removed 18 places
Iterating post reduction 4 with 57 rules applied. Total rules applied 2498 place count 1632 transition count 1500
Applied a total of 2498 rules in 2567 ms. Remains 1632 /3078 variables (removed 1446) and now considering 1500/2674 (removed 1174) transitions.
// Phase 1: matrix 1500 rows 1632 cols
[2024-05-26 01:11:58] [INFO ] Computed 177 invariants in 14 ms
[2024-05-26 01:11:59] [INFO ] Implicit Places using invariants in 939 ms returned [147, 148, 149, 285, 680, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 788, 1148, 1149, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1442]
Discarding 49 places :
Implicit Place search using SMT only with invariants took 950 ms to find 49 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1583/3078 places, 1500/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1542 transition count 1459
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1542 transition count 1459
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1522 transition count 1419
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1522 transition count 1419
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 142 place count 1502 transition count 1399
Iterating global reduction 0 with 20 rules applied. Total rules applied 162 place count 1502 transition count 1399
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 182 place count 1482 transition count 1379
Iterating global reduction 0 with 20 rules applied. Total rules applied 202 place count 1482 transition count 1379
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 222 place count 1462 transition count 1359
Iterating global reduction 0 with 20 rules applied. Total rules applied 242 place count 1462 transition count 1359
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 262 place count 1442 transition count 1339
Iterating global reduction 0 with 20 rules applied. Total rules applied 282 place count 1442 transition count 1339
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 302 place count 1422 transition count 1319
Iterating global reduction 0 with 20 rules applied. Total rules applied 322 place count 1422 transition count 1319
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 342 place count 1402 transition count 1299
Iterating global reduction 0 with 20 rules applied. Total rules applied 362 place count 1402 transition count 1299
Applied a total of 362 rules in 959 ms. Remains 1402 /1583 variables (removed 181) and now considering 1299/1500 (removed 201) transitions.
// Phase 1: matrix 1299 rows 1402 cols
[2024-05-26 01:12:00] [INFO ] Computed 128 invariants in 8 ms
[2024-05-26 01:12:00] [INFO ] Implicit Places using invariants in 534 ms returned []
[2024-05-26 01:12:00] [INFO ] Invariant cache hit.
[2024-05-26 01:12:02] [INFO ] Implicit Places using invariants and state equation in 1512 ms returned []
Implicit Place search using SMT with State Equation took 2061 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1402/3078 places, 1299/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 6551 ms. Remains : 1402/3078 places, 1299/2674 transitions.
[2024-05-26 01:12:02] [INFO ] Flatten gal took : 23 ms
[2024-05-26 01:12:02] [INFO ] Flatten gal took : 25 ms
[2024-05-26 01:12:02] [INFO ] Input system was already deterministic with 1299 transitions.
[2024-05-26 01:12:02] [INFO ] Flatten gal took : 23 ms
[2024-05-26 01:12:02] [INFO ] Flatten gal took : 23 ms
[2024-05-26 01:12:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality17192266693625170822.gal : 5 ms
[2024-05-26 01:12:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality10688851658863506740.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17192266693625170822.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10688851658863506740.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:12:32] [INFO ] Flatten gal took : 28 ms
[2024-05-26 01:12:32] [INFO ] Applying decomposition
[2024-05-26 01:12:32] [INFO ] Flatten gal took : 23 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph73326441157526711.txt' '-o' '/tmp/graph73326441157526711.bin' '-w' '/tmp/graph73326441157526711.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph73326441157526711.bin' '-l' '-1' '-v' '-w' '/tmp/graph73326441157526711.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:12:32] [INFO ] Decomposing Gal with order
[2024-05-26 01:12:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:12:32] [INFO ] Removed a total of 42 redundant transitions.
[2024-05-26 01:12:32] [INFO ] Flatten gal took : 47 ms
[2024-05-26 01:12:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2024-05-26 01:12:32] [INFO ] Time to serialize gal into /tmp/CTLCardinality7304012217837862359.gal : 8 ms
[2024-05-26 01:12:32] [INFO ] Time to serialize properties into /tmp/CTLCardinality15461436634956571338.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7304012217837862359.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15461436634956571338.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 3078/3078 places, 2674/2674 transitions.
Reduce places removed 74 places and 0 transitions.
Discarding 257 places :
Implicit places reduction removed 257 places
Iterating post reduction 0 with 331 rules applied. Total rules applied 331 place count 2747 transition count 2674
Discarding 211 places :
Symmetric choice reduction at 1 with 211 rule applications. Total rules 542 place count 2536 transition count 2462
Iterating global reduction 1 with 211 rules applied. Total rules applied 753 place count 2536 transition count 2462
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 1 with 21 rules applied. Total rules applied 774 place count 2515 transition count 2462
Discarding 103 places :
Symmetric choice reduction at 2 with 103 rule applications. Total rules 877 place count 2412 transition count 2359
Iterating global reduction 2 with 103 rules applied. Total rules applied 980 place count 2412 transition count 2359
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 2 with 42 rules applied. Total rules applied 1022 place count 2391 transition count 2338
Discarding 42 places :
Symmetric choice reduction at 3 with 42 rule applications. Total rules 1064 place count 2349 transition count 2276
Iterating global reduction 3 with 42 rules applied. Total rules applied 1106 place count 2349 transition count 2276
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 1128 place count 2327 transition count 2234
Iterating global reduction 3 with 22 rules applied. Total rules applied 1150 place count 2327 transition count 2234
Ensure Unique test removed 21 transitions
Reduce isomorphic transitions removed 21 transitions.
Discarding 21 places :
Implicit places reduction removed 21 places
Iterating post reduction 3 with 42 rules applied. Total rules applied 1192 place count 2306 transition count 2213
Discarding 21 places :
Symmetric choice reduction at 4 with 21 rule applications. Total rules 1213 place count 2285 transition count 2192
Iterating global reduction 4 with 21 rules applied. Total rules applied 1234 place count 2285 transition count 2192
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 1254 place count 2265 transition count 2172
Iterating global reduction 4 with 20 rules applied. Total rules applied 1274 place count 2265 transition count 2172
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 1294 place count 2245 transition count 2152
Iterating global reduction 4 with 20 rules applied. Total rules applied 1314 place count 2245 transition count 2152
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 1334 place count 2225 transition count 2132
Iterating global reduction 4 with 20 rules applied. Total rules applied 1354 place count 2225 transition count 2132
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1373 place count 2206 transition count 2113
Iterating global reduction 4 with 19 rules applied. Total rules applied 1392 place count 2206 transition count 2113
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1411 place count 2187 transition count 2094
Iterating global reduction 4 with 19 rules applied. Total rules applied 1430 place count 2187 transition count 2094
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1449 place count 2168 transition count 2075
Iterating global reduction 4 with 19 rules applied. Total rules applied 1468 place count 2168 transition count 2075
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1487 place count 2149 transition count 2056
Iterating global reduction 4 with 19 rules applied. Total rules applied 1506 place count 2149 transition count 2056
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1525 place count 2130 transition count 2037
Iterating global reduction 4 with 19 rules applied. Total rules applied 1544 place count 2130 transition count 2037
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1563 place count 2111 transition count 2018
Iterating global reduction 4 with 19 rules applied. Total rules applied 1582 place count 2111 transition count 2018
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1601 place count 2092 transition count 1999
Iterating global reduction 4 with 19 rules applied. Total rules applied 1620 place count 2092 transition count 1999
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1639 place count 2073 transition count 1980
Iterating global reduction 4 with 19 rules applied. Total rules applied 1658 place count 2073 transition count 1980
Discarding 19 places :
Symmetric choice reduction at 4 with 19 rule applications. Total rules 1677 place count 2054 transition count 1961
Iterating global reduction 4 with 19 rules applied. Total rules applied 1696 place count 2054 transition count 1961
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 4 with 19 rules applied. Total rules applied 1715 place count 2054 transition count 1942
Applied a total of 1715 rules in 2804 ms. Remains 2054 /3078 variables (removed 1024) and now considering 1942/2674 (removed 732) transitions.
// Phase 1: matrix 1942 rows 2054 cols
[2024-05-26 01:13:05] [INFO ] Computed 258 invariants in 19 ms
[2024-05-26 01:13:07] [INFO ] Implicit Places using invariants in 1335 ms returned [147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 363, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 1035, 1036, 1037, 1038, 1039, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1053, 1054, 1055, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1505, 1506, 1507, 1508, 1509, 1510, 1511, 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1525, 1885, 1886, 1887, 1888, 1889, 1890, 1891, 1892, 1893, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1901, 1902, 1903, 1904, 1905]
Discarding 127 places :
Implicit Place search using SMT only with invariants took 1341 ms to find 127 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 1927/3078 places, 1942/2674 transitions.
Discarding 41 places :
Symmetric choice reduction at 0 with 41 rule applications. Total rules 41 place count 1886 transition count 1901
Iterating global reduction 0 with 41 rules applied. Total rules applied 82 place count 1886 transition count 1901
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 102 place count 1866 transition count 1861
Iterating global reduction 0 with 20 rules applied. Total rules applied 122 place count 1866 transition count 1861
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 141 place count 1847 transition count 1823
Iterating global reduction 0 with 19 rules applied. Total rules applied 160 place count 1847 transition count 1823
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 179 place count 1828 transition count 1804
Iterating global reduction 0 with 19 rules applied. Total rules applied 198 place count 1828 transition count 1804
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 217 place count 1809 transition count 1785
Iterating global reduction 0 with 19 rules applied. Total rules applied 236 place count 1809 transition count 1785
Discarding 38 places :
Symmetric choice reduction at 0 with 38 rule applications. Total rules 274 place count 1771 transition count 1747
Iterating global reduction 0 with 38 rules applied. Total rules applied 312 place count 1771 transition count 1747
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 331 place count 1752 transition count 1709
Iterating global reduction 0 with 19 rules applied. Total rules applied 350 place count 1752 transition count 1709
Discarding 19 places :
Symmetric choice reduction at 0 with 19 rule applications. Total rules 369 place count 1733 transition count 1690
Iterating global reduction 0 with 19 rules applied. Total rules applied 388 place count 1733 transition count 1690
Applied a total of 388 rules in 1278 ms. Remains 1733 /1927 variables (removed 194) and now considering 1690/1942 (removed 252) transitions.
// Phase 1: matrix 1690 rows 1733 cols
[2024-05-26 01:13:08] [INFO ] Computed 131 invariants in 11 ms
[2024-05-26 01:13:08] [INFO ] Implicit Places using invariants in 594 ms returned []
[2024-05-26 01:13:08] [INFO ] Invariant cache hit.
[2024-05-26 01:13:11] [INFO ] Implicit Places using invariants and state equation in 3003 ms returned []
Implicit Place search using SMT with State Equation took 3600 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 1733/3078 places, 1690/2674 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 9024 ms. Remains : 1733/3078 places, 1690/2674 transitions.
[2024-05-26 01:13:11] [INFO ] Flatten gal took : 31 ms
[2024-05-26 01:13:12] [INFO ] Flatten gal took : 32 ms
[2024-05-26 01:13:12] [INFO ] Input system was already deterministic with 1690 transitions.
[2024-05-26 01:13:12] [INFO ] Flatten gal took : 31 ms
[2024-05-26 01:13:12] [INFO ] Flatten gal took : 32 ms
[2024-05-26 01:13:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality6468295884887920473.gal : 6 ms
[2024-05-26 01:13:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality9506626986763340796.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6468295884887920473.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9506626986763340796.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:13:42] [INFO ] Flatten gal took : 33 ms
[2024-05-26 01:13:42] [INFO ] Applying decomposition
[2024-05-26 01:13:42] [INFO ] Flatten gal took : 32 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph2438869136960952454.txt' '-o' '/tmp/graph2438869136960952454.bin' '-w' '/tmp/graph2438869136960952454.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph2438869136960952454.bin' '-l' '-1' '-v' '-w' '/tmp/graph2438869136960952454.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:13:42] [INFO ] Decomposing Gal with order
[2024-05-26 01:13:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:13:42] [INFO ] Removed a total of 342 redundant transitions.
[2024-05-26 01:13:42] [INFO ] Flatten gal took : 101 ms
[2024-05-26 01:13:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 36 labels/synchronizations in 30 ms.
[2024-05-26 01:13:43] [INFO ] Time to serialize gal into /tmp/CTLCardinality254601349019735231.gal : 14 ms
[2024-05-26 01:13:43] [INFO ] Time to serialize properties into /tmp/CTLCardinality7603607083538066492.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality254601349019735231.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7603607083538066492.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2024-05-26 01:14:13] [INFO ] Flatten gal took : 110 ms
[2024-05-26 01:14:13] [INFO ] Flatten gal took : 112 ms
[2024-05-26 01:14:13] [INFO ] Applying decomposition
[2024-05-26 01:14:13] [INFO ] Flatten gal took : 114 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph9263796611744243498.txt' '-o' '/tmp/graph9263796611744243498.bin' '-w' '/tmp/graph9263796611744243498.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph9263796611744243498.bin' '-l' '-1' '-v' '-w' '/tmp/graph9263796611744243498.weights' '-q' '0' '-e' '0.001'
[2024-05-26 01:14:14] [INFO ] Decomposing Gal with order
[2024-05-26 01:14:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-26 01:14:15] [INFO ] Removed a total of 708 redundant transitions.
[2024-05-26 01:14:15] [INFO ] Flatten gal took : 314 ms
[2024-05-26 01:14:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 645 labels/synchronizations in 79 ms.
[2024-05-26 01:14:15] [INFO ] Time to serialize gal into /tmp/CTLCardinality2757768193935507146.gal : 25 ms
[2024-05-26 01:14:15] [INFO ] Time to serialize properties into /tmp/CTLCardinality17591819781052865354.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2757768193935507146.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17591819781052865354.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
ITS-tools command line returned an error code 137
[2024-05-26 01:27:36] [INFO ] Flatten gal took : 115 ms
[2024-05-26 01:27:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality3338473619777565089.gal : 18 ms
[2024-05-26 01:27:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality1145036281845644484.ctl : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3338473619777565089.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1145036281845644484.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
ITS-tools command line returned an error code 137
[2024-05-26 01:40:12] [INFO ] Flatten gal took : 72 ms
[2024-05-26 01:40:12] [INFO ] Input system was already deterministic with 2674 transitions.
[2024-05-26 01:40:12] [INFO ] Transformed 3078 places.
[2024-05-26 01:40:12] [INFO ] Transformed 2674 transitions.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/pinvar' '/home/mcc/execution/gspn'
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//../itstools/bin//..//greatspn//bin/RGMEDD2' '/home/mcc/execution/gspn' '-META' '-varord-only'
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2024-05-26 01:40:42] [INFO ] Time to serialize gal into /tmp/CTLCardinality2060455463825553146.gal : 11 ms
[2024-05-26 01:40:42] [INFO ] Time to serialize properties into /tmp/CTLCardinality3765920728461807200.ctl : 2 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2060455463825553146.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3765920728461807200.ctl' '--load-order' '/home/mcc/execution/model.ord' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...328
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 13 CTL formulae.
ITS-tools command line returned an error code 137
Total runtime 3358004 ms.
BK_STOP 1716688437415
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00020M0002C001P001G001"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is FamilyReunion-PT-L00020M0002C001P001G001, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r158-smll-171636267000489"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00020M0002C001P001G001.tgz
mv FamilyReunion-PT-L00020M0002C001P001G001 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;