About the Execution of ITS-Tools for CANConstruction-PT-060
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 3600000.00 | 0.00 | 0.00 | ???????F?????T?? | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r030-smll-174853813500209.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is CANConstruction-PT-060, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-smll-174853813500209
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.8M
-rw-r--r-- 1 mcc users 11K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 5.4M May 29 14:32 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2023-12
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2023-13
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2023-14
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2023-15
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-00
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-01
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-02
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-03
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-04
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-05
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-06
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-07
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-08
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-09
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-10
FORMULA_NAME CANConstruction-PT-060-CTLCardinality-2025-11
=== Now, execution of the tool begins
BK_START 1748677562200
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-060
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-05-31 07:46:04] [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]
[2025-05-31 07:46:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-31 07:46:05] [INFO ] Load time of PNML (sax parser for PT used): 790 ms
[2025-05-31 07:46:05] [INFO ] Transformed 7922 places.
[2025-05-31 07:46:05] [INFO ] Transformed 14880 transitions.
[2025-05-31 07:46:05] [INFO ] Parsed PT model containing 7922 places and 14880 transitions and 44400 arcs in 1060 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 28 ms.
Support contains 198 out of 7922 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 7922/7922 places, 14880/14880 transitions.
Discarding 3396 places :
Symmetric choice reduction at 0 with 3396 rule applications. Total rules 3396 place count 4526 transition count 8088
Iterating global reduction 0 with 3396 rules applied. Total rules applied 6792 place count 4526 transition count 8088
Applied a total of 6792 rules in 1984 ms. Remains 4526 /7922 variables (removed 3396) and now considering 8088/14880 (removed 6792) transitions.
// Phase 1: matrix 8088 rows 4526 cols
[2025-05-31 07:46:08] [INFO ] Computed 121 invariants in 161 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:46:19] [INFO ] Implicit Places using invariants in 11445 ms returned [12, 26, 40, 54, 68, 82, 96, 110, 124, 138, 152, 166, 180, 194, 208, 222, 236, 250, 264, 278, 292, 306, 320, 334, 348, 362, 376, 404, 418, 432, 446, 460, 474, 488, 502, 516, 530, 544, 558, 572, 586, 600, 614, 642, 656, 670, 684, 698, 712, 726, 740, 754, 768, 782, 796, 810, 824, 838]
Discarding 58 places :
Implicit Place search using SMT only with invariants took 11524 ms to find 58 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4468/7922 places, 8088/14880 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 4412 transition count 8032
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 4412 transition count 8032
Applied a total of 112 rules in 1875 ms. Remains 4412 /4468 variables (removed 56) and now considering 8032/8088 (removed 56) transitions.
// Phase 1: matrix 8032 rows 4412 cols
[2025-05-31 07:46:21] [INFO ] Computed 63 invariants in 138 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:46:31] [INFO ] Implicit Places using invariants in 9944 ms returned []
[2025-05-31 07:46:31] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:46:36] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 07:47:07] [INFO ] Performed 564/4412 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 07:47:37] [INFO ] Performed 978/4412 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 07:48:07] [INFO ] Performed 1189/4412 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 07:48:37] [INFO ] Performed 1407/4412 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 07:48:37] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 07:48:37] [INFO ] Implicit Places using invariants and state equation in 126275 ms returned []
Implicit Place search using SMT with State Equation took 136234 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4412/7922 places, 8032/14880 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 151643 ms. Remains : 4412/7922 places, 8032/14880 transitions.
Support contains 198 out of 4412 places after structural reductions.
[2025-05-31 07:48:38] [INFO ] Flatten gal took : 743 ms
[2025-05-31 07:48:39] [INFO ] Flatten gal took : 368 ms
[2025-05-31 07:48:39] [INFO ] Input system was already deterministic with 8032 transitions.
Support contains 197 out of 4412 places (down from 198) after GAL structural reductions.
RANDOM walk for 40000 steps (36 resets) in 3499 ms. (11 steps per ms) remains 43/105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 37 ms. (105 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 41 ms. (95 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 36 ms. (108 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 27 ms. (143 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 21 ms. (182 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 22 ms. (174 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 29 ms. (133 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 13 ms. (286 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12 ms. (308 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 11 ms. (333 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14 ms. (266 steps per ms) remains 43/43 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 43/43 properties
[2025-05-31 07:48:41] [INFO ] Invariant cache hit.
[2025-05-31 07:48:41] [INFO ] State equation strengthened by 7140 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/84 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 43 unsolved
Problem AtomicPropp6 is UNSAT
Problem AtomicPropp7 is UNSAT
Problem AtomicPropp8 is UNSAT
Problem AtomicPropp15 is UNSAT
Problem AtomicPropp17 is UNSAT
Problem AtomicPropp18 is UNSAT
Problem AtomicPropp24 is UNSAT
Problem AtomicPropp27 is UNSAT
Problem AtomicPropp42 is UNSAT
Problem AtomicPropp45 is UNSAT
Problem AtomicPropp56 is UNSAT
Problem AtomicPropp57 is UNSAT
Problem AtomicPropp67 is UNSAT
Problem AtomicPropp75 is UNSAT
Problem AtomicPropp79 is UNSAT
Problem AtomicPropp82 is UNSAT
Problem AtomicPropp84 is UNSAT
Problem AtomicPropp87 is UNSAT
Problem AtomicPropp92 is UNSAT
At refinement iteration 1 (OVERLAPS) 4315/4399 variables, 49/49 constraints. Problems are: Problem set: 19 solved, 24 unsolved
Problem AtomicPropp48 is UNSAT
At refinement iteration 2 (INCLUDED_ONLY) 0/4399 variables, 2/51 constraints. Problems are: Problem set: 20 solved, 23 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/4399 variables, 0/51 constraints. Problems are: Problem set: 20 solved, 23 unsolved
At refinement iteration 4 (OVERLAPS) 12/4411 variables, 12/63 constraints. Problems are: Problem set: 20 solved, 23 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 4411/12444 variables, and 63 constraints, problems are : Problem set: 20 solved, 23 unsolved in 5037 ms.
Refiners :[Positive P Invariants (semi-flows): 61/61 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 0/4412 constraints, ReadFeed: 0/7140 constraints, PredecessorRefiner: 43/43 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 20 solved, 23 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/53 variables, 0/0 constraints. Problems are: Problem set: 20 solved, 23 unsolved
At refinement iteration 1 (OVERLAPS) 4337/4390 variables, 41/41 constraints. Problems are: Problem set: 20 solved, 23 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/4390 variables, 1/42 constraints. Problems are: Problem set: 20 solved, 23 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:48:57] [INFO ] Deduced a trap composed of 5 places in 8814 ms of which 196 ms to minimize.
SMT process timed out in 16021ms, After SMT, problems are : Problem set: 20 solved, 23 unsolved
Fused 23 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 53 out of 4412 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4412/4412 places, 8032/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 368 transitions
Trivial Post-agglo rules discarded 368 transitions
Performed 368 trivial Post agglomeration. Transition count delta: 368
Iterating post reduction 0 with 368 rules applied. Total rules applied 368 place count 4412 transition count 7664
Reduce places removed 368 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 371 rules applied. Total rules applied 739 place count 4044 transition count 7661
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 742 place count 4041 transition count 7661
Performed 59 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 59 Pre rules applied. Total rules applied 742 place count 4041 transition count 7602
Deduced a syphon composed of 59 places in 3 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 3 with 118 rules applied. Total rules applied 860 place count 3982 transition count 7602
Discarding 57 places :
Symmetric choice reduction at 3 with 57 rule applications. Total rules 917 place count 3925 transition count 7488
Iterating global reduction 3 with 57 rules applied. Total rules applied 974 place count 3925 transition count 7488
Drop transitions (Trivial Post-Agglo cleanup.) removed 25 transitions
Trivial Post-agglo rules discarded 25 transitions
Performed 25 trivial Post agglomeration. Transition count delta: 25
Iterating post reduction 3 with 25 rules applied. Total rules applied 999 place count 3925 transition count 7463
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 4 with 25 rules applied. Total rules applied 1024 place count 3900 transition count 7463
Performed 78 Post agglomeration using F-continuation condition.Transition count delta: 78
Deduced a syphon composed of 78 places in 3 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 5 with 156 rules applied. Total rules applied 1180 place count 3822 transition count 7385
Free-agglomeration rule applied 2 times.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1182 place count 3822 transition count 7383
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1184 place count 3820 transition count 7383
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 6 with 1 rules applied. Total rules applied 1185 place count 3820 transition count 7382
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 1186 place count 3819 transition count 7382
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 7 with 4 rules applied. Total rules applied 1190 place count 3819 transition count 7382
Applied a total of 1190 rules in 6620 ms. Remains 3819 /4412 variables (removed 593) and now considering 7382/8032 (removed 650) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6622 ms. Remains : 3819/4412 places, 7382/8032 transitions.
RANDOM walk for 40000 steps (93 resets) in 1728 ms. (23 steps per ms) remains 9/23 properties
BEST_FIRST walk for 40004 steps (8 resets) in 120 ms. (330 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 131 ms. (303 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 151 ms. (263 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 142 ms. (279 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40003 steps (8 resets) in 180 ms. (221 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 149 ms. (266 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 166 ms. (239 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 146 ms. (272 steps per ms) remains 9/9 properties
BEST_FIRST walk for 40004 steps (8 resets) in 161 ms. (246 steps per ms) remains 9/9 properties
// Phase 1: matrix 7382 rows 3819 cols
[2025-05-31 07:49:05] [INFO ] Computed 63 invariants in 197 ms
[2025-05-31 07:49:05] [INFO ] State equation strengthened by 7142 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/32 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 3750/3782 variables, 26/26 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3782 variables, 1/27 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3782 variables, 0/27 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 4 (OVERLAPS) 35/3817 variables, 35/62 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/3817 variables, 0/62 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 6 (OVERLAPS) 1/3818 variables, 1/63 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/3818 variables, 0/63 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 8 (OVERLAPS) 7382/11200 variables, 3818/3881 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/11200 variables, 7142/11023 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/11200 variables, 0/11023 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 11 (OVERLAPS) 1/11201 variables, 1/11024 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/11201 variables, 0/11024 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 13 (OVERLAPS) 0/11201 variables, 0/11024 constraints. Problems are: Problem set: 0 solved, 9 unsolved
No progress, stopping.
After SMT solving in domain Real declared 11201/11201 variables, and 11024 constraints, problems are : Problem set: 0 solved, 9 unsolved in 45028 ms.
Refiners :[Positive P Invariants (semi-flows): 61/61 constraints, Generalized P Invariants (flows): 2/2 constraints, State Equation: 3819/3819 constraints, ReadFeed: 7142/7142 constraints, PredecessorRefiner: 9/9 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/32 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 1 (OVERLAPS) 3750/3782 variables, 26/26 constraints. Problems are: Problem set: 0 solved, 9 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3782 variables, 1/27 constraints. Problems are: Problem set: 0 solved, 9 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:49:59] [INFO ] Deduced a trap composed of 2 places in 7626 ms of which 114 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:50:06] [INFO ] Deduced a trap composed of 2 places in 7058 ms of which 129 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:50:13] [INFO ] Deduced a trap composed of 2 places in 7268 ms of which 121 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:50:19] [INFO ] Deduced a trap composed of 2 places in 5419 ms of which 75 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:50:25] [INFO ] Deduced a trap composed of 2 places in 6236 ms of which 126 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:50:33] [INFO ] Deduced a trap composed of 2 places in 7499 ms of which 124 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 07:50:40] [INFO ] Deduced a trap composed of 2 places in 6995 ms of which 126 ms to minimize.
SMT process timed out in 95319ms, After SMT, problems are : Problem set: 0 solved, 9 unsolved
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 32 out of 3819 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3819/3819 places, 7382/7382 transitions.
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 0 place count 3819 transition count 7380
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 3817 transition count 7380
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 15 place count 3806 transition count 7358
Iterating global reduction 0 with 11 rules applied. Total rules applied 26 place count 3806 transition count 7358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 30 place count 3804 transition count 7356
Applied a total of 30 rules in 2677 ms. Remains 3804 /3819 variables (removed 15) and now considering 7356/7382 (removed 26) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2677 ms. Remains : 3804/3819 places, 7356/7382 transitions.
Successfully simplified 20 atomic propositions for a total of 16 simplifications.
Initial state reduction rules removed 1 formulas.
FORMULA CANConstruction-PT-060-CTLCardinality-2025-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-05-31 07:50:43] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2025-05-31 07:50:43] [INFO ] Flatten gal took : 253 ms
FORMULA CANConstruction-PT-060-CTLCardinality-2025-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-05-31 07:50:43] [INFO ] Flatten gal took : 306 ms
[2025-05-31 07:50:44] [INFO ] Input system was already deterministic with 8032 transitions.
Support contains 123 out of 4412 places (down from 144) after GAL structural reductions.
Computed a total of 185 stabilizing places and 244 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 4412/4412 places, 8032/8032 transitions.
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 83 place count 4329 transition count 7868
Iterating global reduction 0 with 83 rules applied. Total rules applied 166 place count 4329 transition count 7868
Applied a total of 166 rules in 2004 ms. Remains 4329 /4412 variables (removed 83) and now considering 7868/8032 (removed 164) transitions.
// Phase 1: matrix 7868 rows 4329 cols
[2025-05-31 07:50:46] [INFO ] Computed 63 invariants in 118 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:50:56] [INFO ] Implicit Places using invariants in 10435 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 10445 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4327/4412 places, 7868/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4325 transition count 7866
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4325 transition count 7866
Applied a total of 4 rules in 2250 ms. Remains 4325 /4327 variables (removed 2) and now considering 7866/7868 (removed 2) transitions.
// Phase 1: matrix 7866 rows 4325 cols
[2025-05-31 07:50:59] [INFO ] Computed 61 invariants in 113 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:51:07] [INFO ] Implicit Places using invariants in 8344 ms returned []
[2025-05-31 07:51:07] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:51:12] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 07:51:44] [INFO ] Performed 710/4325 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 07:52:14] [INFO ] Performed 1005/4325 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 07:52:44] [INFO ] Performed 1227/4325 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 07:53:14] [INFO ] Performed 1446/4325 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 07:53:14] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 07:53:14] [INFO ] Implicit Places using invariants and state equation in 127212 ms returned []
Implicit Place search using SMT with State Equation took 135573 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4325/4412 places, 7866/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 150275 ms. Remains : 4325/4412 places, 7866/8032 transitions.
[2025-05-31 07:53:14] [INFO ] Flatten gal took : 218 ms
[2025-05-31 07:53:15] [INFO ] Flatten gal took : 375 ms
[2025-05-31 07:53:15] [INFO ] Input system was already deterministic with 7866 transitions.
[2025-05-31 07:53:15] [INFO ] Flatten gal took : 201 ms
[2025-05-31 07:53:16] [INFO ] Flatten gal took : 208 ms
[2025-05-31 07:53:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality17278573339543989050.gal : 115 ms
[2025-05-31 07:53:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality195758836441047556.ctl : 6 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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17278573339543989050.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality195758836441047556.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 07:53:46] [INFO ] Flatten gal took : 215 ms
[2025-05-31 07:53:46] [INFO ] Applying decomposition
[2025-05-31 07:53:46] [INFO ] Flatten gal took : 221 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10123791951837211973.txt' '-o' '/tmp/graph10123791951837211973.bin' '-w' '/tmp/graph10123791951837211973.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10123791951837211973.bin' '-l' '-1' '-v' '-w' '/tmp/graph10123791951837211973.weights' '-q' '0' '-e' '0.001'
[2025-05-31 07:53:47] [INFO ] Decomposing Gal with order
[2025-05-31 07:53:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 07:53:49] [INFO ] Removed a total of 7143 redundant transitions.
[2025-05-31 07:53:50] [INFO ] Flatten gal took : 1823 ms
[2025-05-31 07:53:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 6964 labels/synchronizations in 988 ms.
[2025-05-31 07:53:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality11966415338999939072.gal : 98 ms
[2025-05-31 07:53:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality4013233250943492837.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11966415338999939072.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4013233250943492837.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 82 places :
Symmetric choice reduction at 0 with 82 rule applications. Total rules 82 place count 4330 transition count 7870
Iterating global reduction 0 with 82 rules applied. Total rules applied 164 place count 4330 transition count 7870
Applied a total of 164 rules in 2237 ms. Remains 4330 /4412 variables (removed 82) and now considering 7870/8032 (removed 162) transitions.
// Phase 1: matrix 7870 rows 4330 cols
[2025-05-31 07:54:24] [INFO ] Computed 63 invariants in 88 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:54:33] [INFO ] Implicit Places using invariants in 8660 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8665 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4328/4412 places, 7870/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4326 transition count 7868
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4326 transition count 7868
Applied a total of 4 rules in 2096 ms. Remains 4326 /4328 variables (removed 2) and now considering 7868/7870 (removed 2) transitions.
// Phase 1: matrix 7868 rows 4326 cols
[2025-05-31 07:54:35] [INFO ] Computed 61 invariants in 71 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:54:43] [INFO ] Implicit Places using invariants in 7943 ms returned []
[2025-05-31 07:54:43] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:54:48] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 07:55:19] [INFO ] Performed 698/4326 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 07:55:49] [INFO ] Performed 1000/4326 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 07:56:19] [INFO ] Performed 1214/4326 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 07:56:49] [INFO ] Performed 1427/4326 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 07:56:49] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 07:56:49] [INFO ] Implicit Places using invariants and state equation in 125862 ms returned []
Implicit Place search using SMT with State Equation took 133809 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4326/4412 places, 7868/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 146808 ms. Remains : 4326/4412 places, 7868/8032 transitions.
[2025-05-31 07:56:49] [INFO ] Flatten gal took : 364 ms
[2025-05-31 07:56:50] [INFO ] Flatten gal took : 415 ms
[2025-05-31 07:56:50] [INFO ] Input system was already deterministic with 7868 transitions.
[2025-05-31 07:56:50] [INFO ] Flatten gal took : 221 ms
[2025-05-31 07:56:51] [INFO ] Flatten gal took : 230 ms
[2025-05-31 07:56:51] [INFO ] Time to serialize gal into /tmp/CTLCardinality14120591446390844982.gal : 36 ms
[2025-05-31 07:56:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality934516408075600551.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14120591446390844982.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality934516408075600551.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 07:57:21] [INFO ] Flatten gal took : 209 ms
[2025-05-31 07:57:21] [INFO ] Applying decomposition
[2025-05-31 07:57:21] [INFO ] Flatten gal took : 350 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph9573988494666177048.txt' '-o' '/tmp/graph9573988494666177048.bin' '-w' '/tmp/graph9573988494666177048.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9573988494666177048.bin' '-l' '-1' '-v' '-w' '/tmp/graph9573988494666177048.weights' '-q' '0' '-e' '0.001'
[2025-05-31 07:57:22] [INFO ] Decomposing Gal with order
[2025-05-31 07:57:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 07:57:24] [INFO ] Removed a total of 7147 redundant transitions.
[2025-05-31 07:57:24] [INFO ] Flatten gal took : 993 ms
[2025-05-31 07:57:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 6956 labels/synchronizations in 822 ms.
[2025-05-31 07:57:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality12453683371971816265.gal : 48 ms
[2025-05-31 07:57:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality7557100940878062110.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12453683371971816265.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7557100940878062110.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 84 places :
Symmetric choice reduction at 0 with 84 rule applications. Total rules 84 place count 4328 transition count 7866
Iterating global reduction 0 with 84 rules applied. Total rules applied 168 place count 4328 transition count 7866
Applied a total of 168 rules in 2324 ms. Remains 4328 /4412 variables (removed 84) and now considering 7866/8032 (removed 166) transitions.
// Phase 1: matrix 7866 rows 4328 cols
[2025-05-31 07:57:58] [INFO ] Computed 63 invariants in 88 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:58:06] [INFO ] Implicit Places using invariants in 8258 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8276 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4326/4412 places, 7866/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4324 transition count 7864
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4324 transition count 7864
Applied a total of 4 rules in 1986 ms. Remains 4324 /4326 variables (removed 2) and now considering 7864/7866 (removed 2) transitions.
// Phase 1: matrix 7864 rows 4324 cols
[2025-05-31 07:58:08] [INFO ] Computed 61 invariants in 82 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:58:17] [INFO ] Implicit Places using invariants in 9028 ms returned []
[2025-05-31 07:58:17] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 07:58:22] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 07:58:53] [INFO ] Performed 728/4324 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 07:59:23] [INFO ] Performed 1013/4324 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 07:59:53] [INFO ] Performed 1241/4324 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:00:23] [INFO ] Performed 1468/4324 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:00:23] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:00:23] [INFO ] Implicit Places using invariants and state equation in 126304 ms returned []
Implicit Place search using SMT with State Equation took 135336 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4324/4412 places, 7864/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 147925 ms. Remains : 4324/4412 places, 7864/8032 transitions.
[2025-05-31 08:00:23] [INFO ] Flatten gal took : 177 ms
[2025-05-31 08:00:24] [INFO ] Flatten gal took : 315 ms
[2025-05-31 08:00:24] [INFO ] Input system was already deterministic with 7864 transitions.
[2025-05-31 08:00:24] [INFO ] Flatten gal took : 207 ms
[2025-05-31 08:00:25] [INFO ] Flatten gal took : 214 ms
[2025-05-31 08:00:25] [INFO ] Time to serialize gal into /tmp/CTLCardinality13319317892661382808.gal : 33 ms
[2025-05-31 08:00:25] [INFO ] Time to serialize properties into /tmp/CTLCardinality1657070799288253495.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13319317892661382808.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality1657070799288253495.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:00:55] [INFO ] Flatten gal took : 207 ms
[2025-05-31 08:00:55] [INFO ] Applying decomposition
[2025-05-31 08:00:55] [INFO ] Flatten gal took : 213 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph7297196746767799451.txt' '-o' '/tmp/graph7297196746767799451.bin' '-w' '/tmp/graph7297196746767799451.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7297196746767799451.bin' '-l' '-1' '-v' '-w' '/tmp/graph7297196746767799451.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:00:56] [INFO ] Decomposing Gal with order
[2025-05-31 08:00:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:00:57] [INFO ] Removed a total of 7142 redundant transitions.
[2025-05-31 08:00:57] [INFO ] Flatten gal took : 1105 ms
[2025-05-31 08:00:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 6950 labels/synchronizations in 783 ms.
[2025-05-31 08:00:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality12057332326596858934.gal : 38 ms
[2025-05-31 08:00:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality7656732160863727255.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality12057332326596858934.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7656732160863727255.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 4412/4412 places, 8032/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 0 with 378 rules applied. Total rules applied 378 place count 4412 transition count 7654
Reduce places removed 378 places and 0 transitions.
Iterating post reduction 1 with 378 rules applied. Total rules applied 756 place count 4034 transition count 7654
Performed 58 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 58 Pre rules applied. Total rules applied 756 place count 4034 transition count 7596
Deduced a syphon composed of 58 places in 2 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 2 with 116 rules applied. Total rules applied 872 place count 3976 transition count 7596
Discarding 84 places :
Symmetric choice reduction at 2 with 84 rule applications. Total rules 956 place count 3892 transition count 7428
Iterating global reduction 2 with 84 rules applied. Total rules applied 1040 place count 3892 transition count 7428
Drop transitions (Trivial Post-Agglo cleanup.) removed 46 transitions
Trivial Post-agglo rules discarded 46 transitions
Performed 46 trivial Post agglomeration. Transition count delta: 46
Iterating post reduction 2 with 46 rules applied. Total rules applied 1086 place count 3892 transition count 7382
Reduce places removed 46 places and 0 transitions.
Iterating post reduction 3 with 46 rules applied. Total rules applied 1132 place count 3846 transition count 7382
Performed 58 Post agglomeration using F-continuation condition.Transition count delta: 58
Deduced a syphon composed of 58 places in 2 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 4 with 116 rules applied. Total rules applied 1248 place count 3788 transition count 7324
Applied a total of 1248 rules in 2776 ms. Remains 3788 /4412 variables (removed 624) and now considering 7324/8032 (removed 708) transitions.
// Phase 1: matrix 7324 rows 3788 cols
[2025-05-31 08:01:32] [INFO ] Computed 63 invariants in 93 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:01:39] [INFO ] Implicit Places using invariants in 7114 ms returned [86, 140]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 7120 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3786/4412 places, 7324/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 3786 transition count 7320
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 3782 transition count 7320
Applied a total of 8 rules in 899 ms. Remains 3782 /3786 variables (removed 4) and now considering 7320/7324 (removed 4) transitions.
// Phase 1: matrix 7320 rows 3782 cols
[2025-05-31 08:01:40] [INFO ] Computed 61 invariants in 166 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:01:47] [INFO ] Implicit Places using invariants in 7562 ms returned []
[2025-05-31 08:01:47] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:01:52] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:02:23] [INFO ] Performed 314/3782 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:02:53] [INFO ] Performed 546/3782 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:03:23] [INFO ] Performed 793/3782 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:03:53] [INFO ] Performed 1033/3782 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:03:53] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:03:53] [INFO ] Implicit Places using invariants and state equation in 126055 ms returned []
Implicit Place search using SMT with State Equation took 133623 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3782/4412 places, 7320/8032 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 144419 ms. Remains : 3782/4412 places, 7320/8032 transitions.
[2025-05-31 08:03:53] [INFO ] Flatten gal took : 177 ms
[2025-05-31 08:03:54] [INFO ] Flatten gal took : 227 ms
[2025-05-31 08:03:54] [INFO ] Input system was already deterministic with 7320 transitions.
[2025-05-31 08:03:54] [INFO ] Flatten gal took : 206 ms
[2025-05-31 08:03:54] [INFO ] Flatten gal took : 210 ms
[2025-05-31 08:03:54] [INFO ] Time to serialize gal into /tmp/CTLCardinality14449394336730211969.gal : 31 ms
[2025-05-31 08:03:54] [INFO ] Time to serialize properties into /tmp/CTLCardinality4257605293648050581.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14449394336730211969.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4257605293648050581.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:04:25] [INFO ] Flatten gal took : 202 ms
[2025-05-31 08:04:25] [INFO ] Applying decomposition
[2025-05-31 08:04:25] [INFO ] Flatten gal took : 207 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph1400261665500751113.txt' '-o' '/tmp/graph1400261665500751113.bin' '-w' '/tmp/graph1400261665500751113.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1400261665500751113.bin' '-l' '-1' '-v' '-w' '/tmp/graph1400261665500751113.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:04:25] [INFO ] Decomposing Gal with order
[2025-05-31 08:04:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:04:27] [INFO ] Removed a total of 7137 redundant transitions.
[2025-05-31 08:04:27] [INFO ] Flatten gal took : 996 ms
[2025-05-31 08:04:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 6956 labels/synchronizations in 729 ms.
[2025-05-31 08:04:28] [INFO ] Time to serialize gal into /tmp/CTLCardinality4097127105631864914.gal : 33 ms
[2025-05-31 08:04:28] [INFO ] Time to serialize properties into /tmp/CTLCardinality12778200466186510053.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4097127105631864914.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality12778200466186510053.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 80 places :
Symmetric choice reduction at 0 with 80 rule applications. Total rules 80 place count 4332 transition count 7874
Iterating global reduction 0 with 80 rules applied. Total rules applied 160 place count 4332 transition count 7874
Applied a total of 160 rules in 1878 ms. Remains 4332 /4412 variables (removed 80) and now considering 7874/8032 (removed 158) transitions.
// Phase 1: matrix 7874 rows 4332 cols
[2025-05-31 08:05:00] [INFO ] Computed 63 invariants in 70 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:05:08] [INFO ] Implicit Places using invariants in 8336 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8341 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4330/4412 places, 7874/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4328 transition count 7872
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4328 transition count 7872
Applied a total of 4 rules in 2302 ms. Remains 4328 /4330 variables (removed 2) and now considering 7872/7874 (removed 2) transitions.
// Phase 1: matrix 7872 rows 4328 cols
[2025-05-31 08:05:10] [INFO ] Computed 61 invariants in 71 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:05:19] [INFO ] Implicit Places using invariants in 8350 ms returned []
[2025-05-31 08:05:19] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:05:24] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:05:55] [INFO ] Performed 702/4328 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:06:25] [INFO ] Performed 976/4328 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:06:55] [INFO ] Performed 1175/4328 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:07:25] [INFO ] Performed 1375/4328 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:07:25] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:07:25] [INFO ] Implicit Places using invariants and state equation in 126528 ms returned []
Implicit Place search using SMT with State Equation took 134883 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4328/4412 places, 7872/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 147411 ms. Remains : 4328/4412 places, 7872/8032 transitions.
[2025-05-31 08:07:25] [INFO ] Flatten gal took : 190 ms
[2025-05-31 08:07:26] [INFO ] Flatten gal took : 221 ms
[2025-05-31 08:07:26] [INFO ] Input system was already deterministic with 7872 transitions.
[2025-05-31 08:07:26] [INFO ] Flatten gal took : 217 ms
[2025-05-31 08:07:27] [INFO ] Flatten gal took : 221 ms
[2025-05-31 08:07:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality14302852145753155319.gal : 38 ms
[2025-05-31 08:07:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality10887900573961856005.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14302852145753155319.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10887900573961856005.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:07:57] [INFO ] Flatten gal took : 215 ms
[2025-05-31 08:07:57] [INFO ] Applying decomposition
[2025-05-31 08:07:57] [INFO ] Flatten gal took : 268 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph8070010039998914891.txt' '-o' '/tmp/graph8070010039998914891.bin' '-w' '/tmp/graph8070010039998914891.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8070010039998914891.bin' '-l' '-1' '-v' '-w' '/tmp/graph8070010039998914891.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:07:58] [INFO ] Decomposing Gal with order
[2025-05-31 08:07:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:07:59] [INFO ] Removed a total of 7151 redundant transitions.
[2025-05-31 08:07:59] [INFO ] Flatten gal took : 972 ms
[2025-05-31 08:08:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 6954 labels/synchronizations in 799 ms.
[2025-05-31 08:08:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality5002795294227853912.gal : 41 ms
[2025-05-31 08:08:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality13511336416098486727.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality5002795294227853912.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13511336416098486727.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 86 places :
Symmetric choice reduction at 0 with 86 rule applications. Total rules 86 place count 4326 transition count 7862
Iterating global reduction 0 with 86 rules applied. Total rules applied 172 place count 4326 transition count 7862
Applied a total of 172 rules in 1898 ms. Remains 4326 /4412 variables (removed 86) and now considering 7862/8032 (removed 170) transitions.
// Phase 1: matrix 7862 rows 4326 cols
[2025-05-31 08:08:33] [INFO ] Computed 63 invariants in 71 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:08:41] [INFO ] Implicit Places using invariants in 8514 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8536 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4324/4412 places, 7862/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4322 transition count 7860
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4322 transition count 7860
Applied a total of 4 rules in 2152 ms. Remains 4322 /4324 variables (removed 2) and now considering 7860/7862 (removed 2) transitions.
// Phase 1: matrix 7860 rows 4322 cols
[2025-05-31 08:08:43] [INFO ] Computed 61 invariants in 66 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:08:52] [INFO ] Implicit Places using invariants in 8830 ms returned []
[2025-05-31 08:08:52] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:08:57] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:09:31] [INFO ] Performed 719/4322 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2025-05-31 08:10:01] [INFO ] Performed 1018/4322 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2025-05-31 08:10:31] [INFO ] Performed 1236/4322 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2025-05-31 08:11:01] [INFO ] Performed 1453/4322 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2025-05-31 08:11:01] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2025-05-31 08:11:01] [INFO ] Implicit Places using invariants and state equation in 128770 ms returned []
Implicit Place search using SMT with State Equation took 137602 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4322/4412 places, 7860/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 150189 ms. Remains : 4322/4412 places, 7860/8032 transitions.
[2025-05-31 08:11:01] [INFO ] Flatten gal took : 188 ms
[2025-05-31 08:11:01] [INFO ] Flatten gal took : 221 ms
[2025-05-31 08:11:02] [INFO ] Input system was already deterministic with 7860 transitions.
[2025-05-31 08:11:02] [INFO ] Flatten gal took : 217 ms
[2025-05-31 08:11:02] [INFO ] Flatten gal took : 289 ms
[2025-05-31 08:11:02] [INFO ] Time to serialize gal into /tmp/CTLCardinality1180772147521481435.gal : 53 ms
[2025-05-31 08:11:02] [INFO ] Time to serialize properties into /tmp/CTLCardinality13760009948683969359.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality1180772147521481435.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality13760009948683969359.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:11:32] [INFO ] Flatten gal took : 218 ms
[2025-05-31 08:11:32] [INFO ] Applying decomposition
[2025-05-31 08:11:33] [INFO ] Flatten gal took : 353 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph14428073381400631453.txt' '-o' '/tmp/graph14428073381400631453.bin' '-w' '/tmp/graph14428073381400631453.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14428073381400631453.bin' '-l' '-1' '-v' '-w' '/tmp/graph14428073381400631453.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:11:33] [INFO ] Decomposing Gal with order
[2025-05-31 08:11:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:11:35] [INFO ] Removed a total of 7255 redundant transitions.
[2025-05-31 08:11:35] [INFO ] Flatten gal took : 1097 ms
[2025-05-31 08:11:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 14160 labels/synchronizations in 856 ms.
[2025-05-31 08:11:36] [INFO ] Time to serialize gal into /tmp/CTLCardinality15978327904264226179.gal : 71 ms
[2025-05-31 08:11:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality10761476472522611038.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality15978327904264226179.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality10761476472522611038.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...264
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 4412/4412 places, 8032/8032 transitions.
Discarding 82 places :
Symmetric choice reduction at 0 with 82 rule applications. Total rules 82 place count 4330 transition count 7870
Iterating global reduction 0 with 82 rules applied. Total rules applied 164 place count 4330 transition count 7870
Applied a total of 164 rules in 2338 ms. Remains 4330 /4412 variables (removed 82) and now considering 7870/8032 (removed 162) transitions.
// Phase 1: matrix 7870 rows 4330 cols
[2025-05-31 08:12:08] [INFO ] Computed 63 invariants in 70 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:12:16] [INFO ] Implicit Places using invariants in 8184 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8203 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4328/4412 places, 7870/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4326 transition count 7868
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4326 transition count 7868
Applied a total of 4 rules in 2036 ms. Remains 4326 /4328 variables (removed 2) and now considering 7868/7870 (removed 2) transitions.
// Phase 1: matrix 7868 rows 4326 cols
[2025-05-31 08:12:19] [INFO ] Computed 61 invariants in 80 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:12:27] [INFO ] Implicit Places using invariants in 8800 ms returned []
[2025-05-31 08:12:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:12:32] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:13:04] [INFO ] Performed 792/4326 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:13:34] [INFO ] Performed 1045/4326 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:14:04] [INFO ] Performed 1272/4326 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:14:34] [INFO ] Performed 1481/4326 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:14:34] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:14:34] [INFO ] Implicit Places using invariants and state equation in 126646 ms returned []
Implicit Place search using SMT with State Equation took 135456 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4326/4412 places, 7868/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 148034 ms. Remains : 4326/4412 places, 7868/8032 transitions.
[2025-05-31 08:14:34] [INFO ] Flatten gal took : 298 ms
[2025-05-31 08:14:35] [INFO ] Flatten gal took : 313 ms
[2025-05-31 08:14:35] [INFO ] Input system was already deterministic with 7868 transitions.
[2025-05-31 08:14:35] [INFO ] Flatten gal took : 219 ms
[2025-05-31 08:14:35] [INFO ] Flatten gal took : 218 ms
[2025-05-31 08:14:35] [INFO ] Time to serialize gal into /tmp/CTLCardinality14059325611912899476.gal : 33 ms
[2025-05-31 08:14:35] [INFO ] Time to serialize properties into /tmp/CTLCardinality16163025440736527857.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality14059325611912899476.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16163025440736527857.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:15:06] [INFO ] Flatten gal took : 366 ms
[2025-05-31 08:15:06] [INFO ] Applying decomposition
[2025-05-31 08:15:06] [INFO ] Flatten gal took : 342 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph13438432218318342495.txt' '-o' '/tmp/graph13438432218318342495.bin' '-w' '/tmp/graph13438432218318342495.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13438432218318342495.bin' '-l' '-1' '-v' '-w' '/tmp/graph13438432218318342495.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:15:07] [INFO ] Decomposing Gal with order
[2025-05-31 08:15:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:15:08] [INFO ] Removed a total of 7145 redundant transitions.
[2025-05-31 08:15:08] [INFO ] Flatten gal took : 995 ms
[2025-05-31 08:15:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 6948 labels/synchronizations in 820 ms.
[2025-05-31 08:15:10] [INFO ] Time to serialize gal into /tmp/CTLCardinality8552363738198901652.gal : 45 ms
[2025-05-31 08:15:10] [INFO ] Time to serialize properties into /tmp/CTLCardinality9962171958350309554.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8552363738198901652.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9962171958350309554.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 0 with 378 rules applied. Total rules applied 378 place count 4412 transition count 7654
Reduce places removed 378 places and 0 transitions.
Iterating post reduction 1 with 378 rules applied. Total rules applied 756 place count 4034 transition count 7654
Performed 58 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 58 Pre rules applied. Total rules applied 756 place count 4034 transition count 7596
Deduced a syphon composed of 58 places in 2 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 2 with 116 rules applied. Total rules applied 872 place count 3976 transition count 7596
Discarding 79 places :
Symmetric choice reduction at 2 with 79 rule applications. Total rules 951 place count 3897 transition count 7438
Iterating global reduction 2 with 79 rules applied. Total rules applied 1030 place count 3897 transition count 7438
Drop transitions (Trivial Post-Agglo cleanup.) removed 41 transitions
Trivial Post-agglo rules discarded 41 transitions
Performed 41 trivial Post agglomeration. Transition count delta: 41
Iterating post reduction 2 with 41 rules applied. Total rules applied 1071 place count 3897 transition count 7397
Reduce places removed 41 places and 0 transitions.
Iterating post reduction 3 with 41 rules applied. Total rules applied 1112 place count 3856 transition count 7397
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 1 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 4 with 126 rules applied. Total rules applied 1238 place count 3793 transition count 7334
Applied a total of 1238 rules in 2571 ms. Remains 3793 /4412 variables (removed 619) and now considering 7334/8032 (removed 698) transitions.
// Phase 1: matrix 7334 rows 3793 cols
[2025-05-31 08:15:42] [INFO ] Computed 63 invariants in 92 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:15:49] [INFO ] Implicit Places using invariants in 6851 ms returned [86, 140]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 6873 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3791/4412 places, 7334/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 3791 transition count 7330
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 3787 transition count 7330
Applied a total of 8 rules in 1244 ms. Remains 3787 /3791 variables (removed 4) and now considering 7330/7334 (removed 4) transitions.
// Phase 1: matrix 7330 rows 3787 cols
[2025-05-31 08:15:50] [INFO ] Computed 61 invariants in 193 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:15:58] [INFO ] Implicit Places using invariants in 7631 ms returned []
[2025-05-31 08:15:58] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:16:02] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:16:33] [INFO ] Performed 331/3787 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:17:03] [INFO ] Performed 573/3787 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:17:33] [INFO ] Performed 805/3787 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:18:03] [INFO ] Performed 1051/3787 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:18:03] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:18:03] [INFO ] Implicit Places using invariants and state equation in 124850 ms returned []
Implicit Place search using SMT with State Equation took 132497 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3787/4412 places, 7330/8032 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 143190 ms. Remains : 3787/4412 places, 7330/8032 transitions.
[2025-05-31 08:18:03] [INFO ] Flatten gal took : 172 ms
[2025-05-31 08:18:03] [INFO ] Flatten gal took : 205 ms
[2025-05-31 08:18:03] [INFO ] Input system was already deterministic with 7330 transitions.
[2025-05-31 08:18:04] [INFO ] Flatten gal took : 318 ms
[2025-05-31 08:18:04] [INFO ] Flatten gal took : 356 ms
[2025-05-31 08:18:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality7001590843235003153.gal : 52 ms
[2025-05-31 08:18:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality6376546791642884727.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7001590843235003153.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality6376546791642884727.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:18:35] [INFO ] Flatten gal took : 245 ms
[2025-05-31 08:18:35] [INFO ] Applying decomposition
[2025-05-31 08:18:35] [INFO ] Flatten gal took : 202 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph10225635649539156974.txt' '-o' '/tmp/graph10225635649539156974.bin' '-w' '/tmp/graph10225635649539156974.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10225635649539156974.bin' '-l' '-1' '-v' '-w' '/tmp/graph10225635649539156974.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:18:35] [INFO ] Decomposing Gal with order
[2025-05-31 08:18:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:18:36] [INFO ] Removed a total of 7150 redundant transitions.
[2025-05-31 08:18:37] [INFO ] Flatten gal took : 1175 ms
[2025-05-31 08:18:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 6960 labels/synchronizations in 734 ms.
[2025-05-31 08:18:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality10415097228148394194.gal : 32 ms
[2025-05-31 08:18:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality16015265846833598594.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality10415097228148394194.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality16015265846833598594.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...285
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 4412/4412 places, 8032/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 0 with 378 rules applied. Total rules applied 378 place count 4412 transition count 7654
Reduce places removed 378 places and 0 transitions.
Iterating post reduction 1 with 378 rules applied. Total rules applied 756 place count 4034 transition count 7654
Performed 58 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 58 Pre rules applied. Total rules applied 756 place count 4034 transition count 7596
Deduced a syphon composed of 58 places in 2 ms
Reduce places removed 58 places and 0 transitions.
Iterating global reduction 2 with 116 rules applied. Total rules applied 872 place count 3976 transition count 7596
Discarding 83 places :
Symmetric choice reduction at 2 with 83 rule applications. Total rules 955 place count 3893 transition count 7430
Iterating global reduction 2 with 83 rules applied. Total rules applied 1038 place count 3893 transition count 7430
Drop transitions (Trivial Post-Agglo cleanup.) removed 45 transitions
Trivial Post-agglo rules discarded 45 transitions
Performed 45 trivial Post agglomeration. Transition count delta: 45
Iterating post reduction 2 with 45 rules applied. Total rules applied 1083 place count 3893 transition count 7385
Reduce places removed 45 places and 0 transitions.
Iterating post reduction 3 with 45 rules applied. Total rules applied 1128 place count 3848 transition count 7385
Performed 59 Post agglomeration using F-continuation condition.Transition count delta: 59
Deduced a syphon composed of 59 places in 1 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 4 with 118 rules applied. Total rules applied 1246 place count 3789 transition count 7326
Applied a total of 1246 rules in 2655 ms. Remains 3789 /4412 variables (removed 623) and now considering 7326/8032 (removed 706) transitions.
// Phase 1: matrix 7326 rows 3789 cols
[2025-05-31 08:19:11] [INFO ] Computed 63 invariants in 91 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:19:16] [INFO ] Implicit Places using invariants in 5833 ms returned [86, 140]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 5844 ms to find 2 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 3787/4412 places, 7326/8032 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 3787 transition count 7322
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 3783 transition count 7322
Applied a total of 8 rules in 1086 ms. Remains 3783 /3787 variables (removed 4) and now considering 7322/7326 (removed 4) transitions.
// Phase 1: matrix 7322 rows 3783 cols
[2025-05-31 08:19:18] [INFO ] Computed 61 invariants in 165 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:19:25] [INFO ] Implicit Places using invariants in 7295 ms returned []
[2025-05-31 08:19:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:19:29] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:20:00] [INFO ] Performed 308/3783 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:20:30] [INFO ] Performed 541/3783 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:21:00] [INFO ] Performed 777/3783 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:21:30] [INFO ] Performed 995/3783 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:21:30] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:21:30] [INFO ] Implicit Places using invariants and state equation in 125097 ms returned []
Implicit Place search using SMT with State Equation took 132399 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 3783/4412 places, 7322/8032 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 141985 ms. Remains : 3783/4412 places, 7322/8032 transitions.
[2025-05-31 08:21:30] [INFO ] Flatten gal took : 169 ms
[2025-05-31 08:21:30] [INFO ] Flatten gal took : 206 ms
[2025-05-31 08:21:31] [INFO ] Input system was already deterministic with 7322 transitions.
[2025-05-31 08:21:31] [INFO ] Flatten gal took : 199 ms
[2025-05-31 08:21:31] [INFO ] Flatten gal took : 205 ms
[2025-05-31 08:21:31] [INFO ] Time to serialize gal into /tmp/CTLCardinality17181291227611825426.gal : 30 ms
[2025-05-31 08:21:31] [INFO ] Time to serialize properties into /tmp/CTLCardinality4257769371968045702.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17181291227611825426.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4257769371968045702.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:22:01] [INFO ] Flatten gal took : 195 ms
[2025-05-31 08:22:01] [INFO ] Applying decomposition
[2025-05-31 08:22:01] [INFO ] Flatten gal took : 205 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph11637771214073902413.txt' '-o' '/tmp/graph11637771214073902413.bin' '-w' '/tmp/graph11637771214073902413.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph11637771214073902413.bin' '-l' '-1' '-v' '-w' '/tmp/graph11637771214073902413.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:22:02] [INFO ] Decomposing Gal with order
[2025-05-31 08:22:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:22:03] [INFO ] Removed a total of 7139 redundant transitions.
[2025-05-31 08:22:03] [INFO ] Flatten gal took : 1133 ms
[2025-05-31 08:22:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 6964 labels/synchronizations in 732 ms.
[2025-05-31 08:22:04] [INFO ] Time to serialize gal into /tmp/CTLCardinality13396858204308804823.gal : 39 ms
[2025-05-31 08:22:04] [INFO ] Time to serialize properties into /tmp/CTLCardinality4621061825219551038.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13396858204308804823.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4621061825219551038.ctl'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 4412/4412 places, 8032/8032 transitions.
Discarding 75 places :
Symmetric choice reduction at 0 with 75 rule applications. Total rules 75 place count 4337 transition count 7884
Iterating global reduction 0 with 75 rules applied. Total rules applied 150 place count 4337 transition count 7884
Applied a total of 150 rules in 2108 ms. Remains 4337 /4412 variables (removed 75) and now considering 7884/8032 (removed 148) transitions.
// Phase 1: matrix 7884 rows 4337 cols
[2025-05-31 08:22:36] [INFO ] Computed 63 invariants in 68 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:22:45] [INFO ] Implicit Places using invariants in 8473 ms returned [336]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 8489 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4336/4412 places, 7884/8032 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 4335 transition count 7883
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 4335 transition count 7883
Applied a total of 2 rules in 1910 ms. Remains 4335 /4336 variables (removed 1) and now considering 7883/7884 (removed 1) transitions.
// Phase 1: matrix 7883 rows 4335 cols
[2025-05-31 08:22:47] [INFO ] Computed 62 invariants in 69 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:22:53] [INFO ] Implicit Places using invariants in 6847 ms returned []
[2025-05-31 08:22:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:22:57] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:23:28] [INFO ] Performed 736/4335 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:23:58] [INFO ] Performed 1015/4335 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:24:28] [INFO ] Performed 1237/4335 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:24:58] [INFO ] Performed 1456/4335 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:24:58] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:24:58] [INFO ] Implicit Places using invariants and state equation in 125078 ms returned []
Implicit Place search using SMT with State Equation took 131930 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4335/4412 places, 7883/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 144437 ms. Remains : 4335/4412 places, 7883/8032 transitions.
[2025-05-31 08:24:59] [INFO ] Flatten gal took : 182 ms
[2025-05-31 08:24:59] [INFO ] Flatten gal took : 219 ms
[2025-05-31 08:24:59] [INFO ] Input system was already deterministic with 7883 transitions.
[2025-05-31 08:24:59] [INFO ] Flatten gal took : 271 ms
[2025-05-31 08:25:00] [INFO ] Flatten gal took : 212 ms
[2025-05-31 08:25:00] [INFO ] Time to serialize gal into /tmp/CTLCardinality4097260021352697402.gal : 32 ms
[2025-05-31 08:25:00] [INFO ] Time to serialize properties into /tmp/CTLCardinality7048771799963366035.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4097260021352697402.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality7048771799963366035.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:25:30] [INFO ] Flatten gal took : 244 ms
[2025-05-31 08:25:30] [INFO ] Applying decomposition
[2025-05-31 08:25:30] [INFO ] Flatten gal took : 354 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph12122336273530273519.txt' '-o' '/tmp/graph12122336273530273519.bin' '-w' '/tmp/graph12122336273530273519.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12122336273530273519.bin' '-l' '-1' '-v' '-w' '/tmp/graph12122336273530273519.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:25:31] [INFO ] Decomposing Gal with order
[2025-05-31 08:25:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:25:32] [INFO ] Removed a total of 7233 redundant transitions.
[2025-05-31 08:25:32] [INFO ] Flatten gal took : 984 ms
[2025-05-31 08:25:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 7018 labels/synchronizations in 827 ms.
[2025-05-31 08:25:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality4779088294951547602.gal : 38 ms
[2025-05-31 08:25:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality17649193043839872909.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality4779088294951547602.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17649193043839872909.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 85 places :
Symmetric choice reduction at 0 with 85 rule applications. Total rules 85 place count 4327 transition count 7864
Iterating global reduction 0 with 85 rules applied. Total rules applied 170 place count 4327 transition count 7864
Applied a total of 170 rules in 1938 ms. Remains 4327 /4412 variables (removed 85) and now considering 7864/8032 (removed 168) transitions.
// Phase 1: matrix 7864 rows 4327 cols
[2025-05-31 08:26:06] [INFO ] Computed 63 invariants in 70 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:26:14] [INFO ] Implicit Places using invariants in 8559 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8590 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4325/4412 places, 7864/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4323 transition count 7862
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4323 transition count 7862
Applied a total of 4 rules in 2376 ms. Remains 4323 /4325 variables (removed 2) and now considering 7862/7864 (removed 2) transitions.
// Phase 1: matrix 7862 rows 4323 cols
[2025-05-31 08:26:17] [INFO ] Computed 61 invariants in 65 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:26:25] [INFO ] Implicit Places using invariants in 8658 ms returned []
[2025-05-31 08:26:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:26:30] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:27:01] [INFO ] Performed 786/4323 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:27:32] [INFO ] Performed 1034/4323 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:28:02] [INFO ] Performed 1233/4323 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:28:32] [INFO ] Performed 1437/4323 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:28:32] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:28:32] [INFO ] Implicit Places using invariants and state equation in 126278 ms returned []
Implicit Place search using SMT with State Equation took 134956 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4323/4412 places, 7862/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 147861 ms. Remains : 4323/4412 places, 7862/8032 transitions.
[2025-05-31 08:28:32] [INFO ] Flatten gal took : 214 ms
[2025-05-31 08:28:32] [INFO ] Flatten gal took : 358 ms
[2025-05-31 08:28:33] [INFO ] Input system was already deterministic with 7862 transitions.
[2025-05-31 08:28:33] [INFO ] Flatten gal took : 268 ms
[2025-05-31 08:28:33] [INFO ] Flatten gal took : 291 ms
[2025-05-31 08:28:33] [INFO ] Time to serialize gal into /tmp/CTLCardinality11828767861629300791.gal : 44 ms
[2025-05-31 08:28:33] [INFO ] Time to serialize properties into /tmp/CTLCardinality925646216998737031.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11828767861629300791.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality925646216998737031.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:29:04] [INFO ] Flatten gal took : 210 ms
[2025-05-31 08:29:04] [INFO ] Applying decomposition
[2025-05-31 08:29:04] [INFO ] Flatten gal took : 219 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph7652045928185631134.txt' '-o' '/tmp/graph7652045928185631134.bin' '-w' '/tmp/graph7652045928185631134.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7652045928185631134.bin' '-l' '-1' '-v' '-w' '/tmp/graph7652045928185631134.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:29:04] [INFO ] Decomposing Gal with order
[2025-05-31 08:29:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:29:06] [INFO ] Removed a total of 7138 redundant transitions.
[2025-05-31 08:29:06] [INFO ] Flatten gal took : 974 ms
[2025-05-31 08:29:06] [INFO ] Fuse similar labels procedure discarded/fused a total of 6958 labels/synchronizations in 752 ms.
[2025-05-31 08:29:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality2892296509090259539.gal : 37 ms
[2025-05-31 08:29:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality5351953578437440352.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2892296509090259539.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5351953578437440352.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 83 place count 4329 transition count 7868
Iterating global reduction 0 with 83 rules applied. Total rules applied 166 place count 4329 transition count 7868
Applied a total of 166 rules in 2316 ms. Remains 4329 /4412 variables (removed 83) and now considering 7868/8032 (removed 164) transitions.
// Phase 1: matrix 7868 rows 4329 cols
[2025-05-31 08:29:39] [INFO ] Computed 63 invariants in 72 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:29:48] [INFO ] Implicit Places using invariants in 8254 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 8262 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4327/4412 places, 7868/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4325 transition count 7866
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4325 transition count 7866
Applied a total of 4 rules in 2214 ms. Remains 4325 /4327 variables (removed 2) and now considering 7866/7868 (removed 2) transitions.
// Phase 1: matrix 7866 rows 4325 cols
[2025-05-31 08:29:50] [INFO ] Computed 61 invariants in 70 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:29:59] [INFO ] Implicit Places using invariants in 8722 ms returned []
[2025-05-31 08:29:59] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:30:03] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:30:34] [INFO ] Performed 740/4325 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:31:04] [INFO ] Performed 1030/4325 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:31:34] [INFO ] Performed 1261/4325 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:32:05] [INFO ] Performed 1502/4325 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:32:05] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:32:05] [INFO ] Implicit Places using invariants and state equation in 126048 ms returned []
Implicit Place search using SMT with State Equation took 134783 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4325/4412 places, 7866/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 147577 ms. Remains : 4325/4412 places, 7866/8032 transitions.
[2025-05-31 08:32:05] [INFO ] Flatten gal took : 187 ms
[2025-05-31 08:32:05] [INFO ] Flatten gal took : 236 ms
[2025-05-31 08:32:05] [INFO ] Input system was already deterministic with 7866 transitions.
[2025-05-31 08:32:06] [INFO ] Flatten gal took : 212 ms
[2025-05-31 08:32:06] [INFO ] Flatten gal took : 218 ms
[2025-05-31 08:32:06] [INFO ] Time to serialize gal into /tmp/CTLCardinality8368776905028904575.gal : 32 ms
[2025-05-31 08:32:06] [INFO ] Time to serialize properties into /tmp/CTLCardinality4296867229743584701.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8368776905028904575.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality4296867229743584701.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:32:36] [INFO ] Flatten gal took : 214 ms
[2025-05-31 08:32:36] [INFO ] Applying decomposition
[2025-05-31 08:32:36] [INFO ] Flatten gal took : 221 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph16603152137103477967.txt' '-o' '/tmp/graph16603152137103477967.bin' '-w' '/tmp/graph16603152137103477967.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph16603152137103477967.bin' '-l' '-1' '-v' '-w' '/tmp/graph16603152137103477967.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:32:37] [INFO ] Decomposing Gal with order
[2025-05-31 08:32:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:32:38] [INFO ] Removed a total of 7144 redundant transitions.
[2025-05-31 08:32:38] [INFO ] Flatten gal took : 956 ms
[2025-05-31 08:32:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 6954 labels/synchronizations in 792 ms.
[2025-05-31 08:32:40] [INFO ] Time to serialize gal into /tmp/CTLCardinality6737768979775744523.gal : 37 ms
[2025-05-31 08:32:40] [INFO ] Time to serialize properties into /tmp/CTLCardinality3156166637775085482.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6737768979775744523.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality3156166637775085482.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 83 places :
Symmetric choice reduction at 0 with 83 rule applications. Total rules 83 place count 4329 transition count 7868
Iterating global reduction 0 with 83 rules applied. Total rules applied 166 place count 4329 transition count 7868
Applied a total of 166 rules in 1918 ms. Remains 4329 /4412 variables (removed 83) and now considering 7868/8032 (removed 164) transitions.
// Phase 1: matrix 7868 rows 4329 cols
[2025-05-31 08:33:12] [INFO ] Computed 63 invariants in 72 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:33:19] [INFO ] Implicit Places using invariants in 7551 ms returned [336, 542]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 7562 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4327/4412 places, 7868/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4325 transition count 7866
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4325 transition count 7866
Applied a total of 4 rules in 1935 ms. Remains 4325 /4327 variables (removed 2) and now considering 7866/7868 (removed 2) transitions.
// Phase 1: matrix 7866 rows 4325 cols
[2025-05-31 08:33:22] [INFO ] Computed 61 invariants in 108 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:33:30] [INFO ] Implicit Places using invariants in 9030 ms returned []
[2025-05-31 08:33:30] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:33:35] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:34:06] [INFO ] Performed 728/4325 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 08:34:36] [INFO ] Performed 1010/4325 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 08:35:06] [INFO ] Performed 1226/4325 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2025-05-31 08:35:36] [INFO ] Performed 1441/4325 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2025-05-31 08:35:36] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2025-05-31 08:35:36] [INFO ] Implicit Places using invariants and state equation in 125755 ms returned []
Implicit Place search using SMT with State Equation took 134804 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4325/4412 places, 7866/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 146220 ms. Remains : 4325/4412 places, 7866/8032 transitions.
[2025-05-31 08:35:36] [INFO ] Flatten gal took : 194 ms
[2025-05-31 08:35:37] [INFO ] Flatten gal took : 291 ms
[2025-05-31 08:35:37] [INFO ] Input system was already deterministic with 7866 transitions.
[2025-05-31 08:35:37] [INFO ] Flatten gal took : 211 ms
[2025-05-31 08:35:38] [INFO ] Flatten gal took : 222 ms
[2025-05-31 08:35:38] [INFO ] Time to serialize gal into /tmp/CTLCardinality8072727172261307738.gal : 33 ms
[2025-05-31 08:35:38] [INFO ] Time to serialize properties into /tmp/CTLCardinality8867954770178440324.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality8072727172261307738.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8867954770178440324.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:36:08] [INFO ] Flatten gal took : 226 ms
[2025-05-31 08:36:08] [INFO ] Applying decomposition
[2025-05-31 08:36:08] [INFO ] Flatten gal took : 236 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2745479185643171681.txt' '-o' '/tmp/graph2745479185643171681.bin' '-w' '/tmp/graph2745479185643171681.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2745479185643171681.bin' '-l' '-1' '-v' '-w' '/tmp/graph2745479185643171681.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:36:09] [INFO ] Decomposing Gal with order
[2025-05-31 08:36:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:36:10] [INFO ] Removed a total of 7140 redundant transitions.
[2025-05-31 08:36:10] [INFO ] Flatten gal took : 1025 ms
[2025-05-31 08:36:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 6952 labels/synchronizations in 773 ms.
[2025-05-31 08:36:12] [INFO ] Time to serialize gal into /tmp/CTLCardinality6749614862758321852.gal : 37 ms
[2025-05-31 08:36:12] [INFO ] Time to serialize properties into /tmp/CTLCardinality17097149016127800998.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality6749614862758321852.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17097149016127800998.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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 : 4412/4412 places, 8032/8032 transitions.
Discarding 70 places :
Symmetric choice reduction at 0 with 70 rule applications. Total rules 70 place count 4342 transition count 7893
Iterating global reduction 0 with 70 rules applied. Total rules applied 140 place count 4342 transition count 7893
Applied a total of 140 rules in 2097 ms. Remains 4342 /4412 variables (removed 70) and now considering 7893/8032 (removed 139) transitions.
// Phase 1: matrix 7893 rows 4342 cols
[2025-05-31 08:36:44] [INFO ] Computed 63 invariants in 69 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:36:51] [INFO ] Implicit Places using invariants in 7231 ms returned [336, 543]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 7239 ms to find 2 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 4340/4412 places, 7893/8032 transitions.
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 2 place count 4338 transition count 7891
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 4338 transition count 7891
Applied a total of 4 rules in 1966 ms. Remains 4338 /4340 variables (removed 2) and now considering 7891/7893 (removed 2) transitions.
// Phase 1: matrix 7891 rows 4338 cols
[2025-05-31 08:36:53] [INFO ] Computed 61 invariants in 121 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:37:01] [INFO ] Implicit Places using invariants in 8009 ms returned []
[2025-05-31 08:37:01] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 08:37:06] [INFO ] State equation strengthened by 7140 read => feed constraints.
[2025-05-31 08:37:40] [INFO ] Performed 720/4338 implicitness test of which 0 returned IMPLICIT in 32 seconds.
[2025-05-31 08:38:10] [INFO ] Performed 1041/4338 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2025-05-31 08:38:40] [INFO ] Performed 1284/4338 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2025-05-31 08:39:10] [INFO ] Performed 1536/4338 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2025-05-31 08:39:10] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2025-05-31 08:39:10] [INFO ] Implicit Places using invariants and state equation in 128855 ms returned []
Implicit Place search using SMT with State Equation took 136876 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 4338/4412 places, 7891/8032 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 148178 ms. Remains : 4338/4412 places, 7891/8032 transitions.
[2025-05-31 08:39:10] [INFO ] Flatten gal took : 197 ms
[2025-05-31 08:39:10] [INFO ] Flatten gal took : 212 ms
[2025-05-31 08:39:11] [INFO ] Input system was already deterministic with 7891 transitions.
[2025-05-31 08:39:11] [INFO ] Flatten gal took : 232 ms
[2025-05-31 08:39:11] [INFO ] Flatten gal took : 219 ms
[2025-05-31 08:39:11] [INFO ] Time to serialize gal into /tmp/CTLCardinality17615525782685689710.gal : 31 ms
[2025-05-31 08:39:11] [INFO ] Time to serialize properties into /tmp/CTLCardinality11492106973569320727.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality17615525782685689710.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality11492106973569320727.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:39:42] [INFO ] Flatten gal took : 213 ms
[2025-05-31 08:39:42] [INFO ] Applying decomposition
[2025-05-31 08:39:42] [INFO ] Flatten gal took : 220 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph718529512863381118.txt' '-o' '/tmp/graph718529512863381118.bin' '-w' '/tmp/graph718529512863381118.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph718529512863381118.bin' '-l' '-1' '-v' '-w' '/tmp/graph718529512863381118.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:39:42] [INFO ] Decomposing Gal with order
[2025-05-31 08:39:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:39:44] [INFO ] Removed a total of 7172 redundant transitions.
[2025-05-31 08:39:44] [INFO ] Flatten gal took : 993 ms
[2025-05-31 08:39:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 6954 labels/synchronizations in 807 ms.
[2025-05-31 08:39:45] [INFO ] Time to serialize gal into /tmp/CTLCardinality7909959135394227613.gal : 37 ms
[2025-05-31 08:39:45] [INFO ] Time to serialize properties into /tmp/CTLCardinality15430391526673576343.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality7909959135394227613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality15430391526673576343.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/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.
[2025-05-31 08:40:16] [INFO ] Flatten gal took : 243 ms
[2025-05-31 08:40:16] [INFO ] Flatten gal took : 296 ms
[2025-05-31 08:40:16] [INFO ] Applying decomposition
[2025-05-31 08:40:16] [INFO ] Flatten gal took : 223 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph13577080122551649942.txt' '-o' '/tmp/graph13577080122551649942.bin' '-w' '/tmp/graph13577080122551649942.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13577080122551649942.bin' '-l' '-1' '-v' '-w' '/tmp/graph13577080122551649942.weights' '-q' '0' '-e' '0.001'
[2025-05-31 08:40:17] [INFO ] Decomposing Gal with order
[2025-05-31 08:40:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 08:40:18] [INFO ] Removed a total of 7414 redundant transitions.
[2025-05-31 08:40:18] [INFO ] Flatten gal took : 980 ms
[2025-05-31 08:40:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 8715 labels/synchronizations in 767 ms.
[2025-05-31 08:40:20] [INFO ] Time to serialize gal into /tmp/CTLCardinality412572983310149912.gal : 44 ms
[2025-05-31 08:40:20] [INFO ] Time to serialize properties into /tmp/CTLCardinality5341831812411139145.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.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality412572983310149912.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality5341831812411139145.ctl' '--gen-order' 'FOLLOW'
its-ctl command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...282
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /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="CANConstruction-PT-060"
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-5832"
echo " Executing tool itstools"
echo " Input is CANConstruction-PT-060, 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 r030-smll-174853813500209"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-060.tgz
mv CANConstruction-PT-060 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;