About the Execution of ITS-Tools for CANConstruction-PT-090
| 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 | ????T????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-174853813600234.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-090, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r030-smll-174853813600234
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 8.3K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K 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 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K 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 4.0K 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 12M 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-090-CTLFireability-2023-12
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2023-13
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2023-14
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2023-15
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-00
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-01
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-02
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-03
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-04
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-05
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-06
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-07
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-08
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-09
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-10
FORMULA_NAME CANConstruction-PT-090-CTLFireability-2025-11
=== Now, execution of the tool begins
BK_START 1748714009925
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-090
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLFireability PT
Running Version 202505121319
[2025-05-31 17:53:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-05-31 17:53:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-31 17:53:33] [INFO ] Load time of PNML (sax parser for PT used): 1261 ms
[2025-05-31 17:53:33] [INFO ] Transformed 17282 places.
[2025-05-31 17:53:34] [INFO ] Transformed 33120 transitions.
[2025-05-31 17:53:34] [INFO ] Parsed PT model containing 17282 places and 33120 transitions and 99000 arcs in 1720 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 106 ms.
Support contains 153 out of 17282 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 17282/17282 places, 33120/33120 transitions.
Discarding 7854 places :
Symmetric choice reduction at 0 with 7854 rule applications. Total rules 7854 place count 9428 transition count 17412
Iterating global reduction 0 with 7854 rules applied. Total rules applied 15708 place count 9428 transition count 17412
Applied a total of 15708 rules in 8225 ms. Remains 9428 /17282 variables (removed 7854) and now considering 17412/33120 (removed 15708) transitions.
// Phase 1: matrix 17412 rows 9428 cols
[2025-05-31 17:53:43] [INFO ] Computed 181 invariants in 524 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 17:54:09] [INFO ] Implicit Places using invariants in 25936 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, 390, 404, 418, 432, 446, 460, 474, 488, 502, 516, 530, 544, 558, 586, 600, 614, 628, 642, 656, 670, 684, 698, 712, 726, 740, 754, 768, 782, 796, 810, 824, 838, 852, 866, 880, 894, 908, 922, 936, 950, 964, 978, 992, 1006, 1020, 1034, 1048, 1062, 1076, 1090, 1104, 1118, 1132, 1146, 1160, 1174, 1188, 1202, 1216, 1230, 1244, 1258]
Discarding 89 places :
Implicit Place search using SMT only with invariants took 26035 ms to find 89 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9339/17282 places, 17412/33120 transitions.
Discarding 88 places :
Symmetric choice reduction at 0 with 88 rule applications. Total rules 88 place count 9251 transition count 17324
Iterating global reduction 0 with 88 rules applied. Total rules applied 176 place count 9251 transition count 17324
Applied a total of 176 rules in 9567 ms. Remains 9251 /9339 variables (removed 88) and now considering 17324/17412 (removed 88) transitions.
// Phase 1: matrix 17324 rows 9251 cols
[2025-05-31 17:54:19] [INFO ] Computed 92 invariants in 370 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 17:54:42] [INFO ] Implicit Places using invariants in 23773 ms returned []
Implicit Place search using SMT only with invariants took 23789 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9251/17282 places, 17324/33120 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 67662 ms. Remains : 9251/17282 places, 17324/33120 transitions.
Support contains 153 out of 9251 places after structural reductions.
[2025-05-31 17:54:44] [INFO ] Flatten gal took : 1067 ms
[2025-05-31 17:54:44] [INFO ] Flatten gal took : 667 ms
[2025-05-31 17:54:46] [INFO ] Input system was already deterministic with 17324 transitions.
Support contains 152 out of 9251 places (down from 153) after GAL structural reductions.
RANDOM walk for 40000 steps (24 resets) in 6797 ms. (5 steps per ms) remains 39/89 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 39/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 38/39 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15 ms. (250 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 38/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 37/38 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 20 ms. (190 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 18 ms. (210 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 25 ms. (154 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 23 ms. (166 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 24 ms. (160 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17 ms. (222 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19 ms. (200 steps per ms) remains 37/37 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16 ms. (235 steps per ms) remains 37/37 properties
[2025-05-31 17:54:48] [INFO ] Invariant cache hit.
[2025-05-31 17:54:49] [INFO ] State equation strengthened by 16110 read => feed constraints.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/66 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 37 unsolved
At refinement iteration 1 (OVERLAPS) 9144/9210 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 37 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 9210/26575 variables, and 51 constraints, problems are : Problem set: 0 solved, 37 unsolved in 5020 ms.
Refiners :[Positive P Invariants (semi-flows): 51/91 constraints, Generalized P Invariants (flows): 0/1 constraints, State Equation: 0/9251 constraints, ReadFeed: 0/16110 constraints, PredecessorRefiner: 37/37 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 37 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/66 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 37 unsolved
At refinement iteration 1 (OVERLAPS) 9144/9210 variables, 51/51 constraints. Problems are: Problem set: 0 solved, 37 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:55:20] [INFO ] Deduced a trap composed of 5 places in 21988 ms of which 418 ms to minimize.
SMT process timed out in 31513ms, After SMT, problems are : Problem set: 0 solved, 37 unsolved
Fused 37 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 66 out of 9251 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 488 transitions
Trivial Post-agglo rules discarded 488 transitions
Performed 488 trivial Post agglomeration. Transition count delta: 488
Iterating post reduction 0 with 488 rules applied. Total rules applied 488 place count 9251 transition count 16836
Reduce places removed 488 places and 0 transitions.
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Iterating post reduction 1 with 578 rules applied. Total rules applied 1066 place count 8763 transition count 16746
Reduce places removed 90 places and 0 transitions.
Iterating post reduction 2 with 90 rules applied. Total rules applied 1156 place count 8673 transition count 16746
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 89 Pre rules applied. Total rules applied 1156 place count 8673 transition count 16657
Deduced a syphon composed of 89 places in 11 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 3 with 178 rules applied. Total rules applied 1334 place count 8584 transition count 16657
Discarding 26 places :
Symmetric choice reduction at 3 with 26 rule applications. Total rules 1360 place count 8558 transition count 16605
Iterating global reduction 3 with 26 rules applied. Total rules applied 1386 place count 8558 transition count 16605
Drop transitions (Trivial Post-Agglo cleanup.) removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 3 with 17 rules applied. Total rules applied 1403 place count 8558 transition count 16588
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 4 with 17 rules applied. Total rules applied 1420 place count 8541 transition count 16588
Performed 111 Post agglomeration using F-continuation condition.Transition count delta: 111
Deduced a syphon composed of 111 places in 10 ms
Reduce places removed 111 places and 0 transitions.
Iterating global reduction 5 with 222 rules applied. Total rules applied 1642 place count 8430 transition count 16477
Free-agglomeration rule applied 2 times.
Iterating global reduction 5 with 2 rules applied. Total rules applied 1644 place count 8430 transition count 16475
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1646 place count 8428 transition count 16475
Partial Free-agglomeration rule applied 14 times.
Drop transitions (Partial Free agglomeration) removed 14 transitions
Iterating global reduction 6 with 14 rules applied. Total rules applied 1660 place count 8428 transition count 16475
Applied a total of 1660 rules in 22280 ms. Remains 8428 /9251 variables (removed 823) and now considering 16475/17324 (removed 849) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 22284 ms. Remains : 8428/9251 places, 16475/17324 transitions.
RANDOM walk for 40000 steps (61 resets) in 2258 ms. (17 steps per ms) remains 13/37 properties
BEST_FIRST walk for 40004 steps (8 resets) in 138 ms. (287 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 152 ms. (261 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 144 ms. (275 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 130 ms. (305 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 130 ms. (305 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 123 ms. (322 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 131 ms. (303 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (8 resets) in 117 ms. (339 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 138 ms. (287 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 135 ms. (294 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40003 steps (8 resets) in 114 ms. (347 steps per ms) remains 13/13 properties
BEST_FIRST walk for 40004 steps (8 resets) in 83 ms. (476 steps per ms) remains 13/13 properties
// Phase 1: matrix 16475 rows 8428 cols
[2025-05-31 17:55:44] [INFO ] Computed 92 invariants in 703 ms
[2025-05-31 17:55:44] [INFO ] State equation strengthened by 16111 read => feed constraints.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/30 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 13 unsolved
At refinement iteration 1 (OVERLAPS) 8331/8361 variables, 25/25 constraints. Problems are: Problem set: 0 solved, 13 unsolved
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:09] [INFO ] Deduced a trap composed of 2 places in 22272 ms of which 191 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:12] [INFO ] Deduced a trap composed of 93 places in 2583 ms of which 293 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:14] [INFO ] Deduced a trap composed of 93 places in 2431 ms of which 220 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:16] [INFO ] Deduced a trap composed of 94 places in 2206 ms of which 40 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:19] [INFO ] Deduced a trap composed of 94 places in 2141 ms of which 39 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:21] [INFO ] Deduced a trap composed of 94 places in 2124 ms of which 38 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:23] [INFO ] Deduced a trap composed of 94 places in 2010 ms of which 36 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:26] [INFO ] Deduced a trap composed of 94 places in 2115 ms of which 38 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:28] [INFO ] Deduced a trap composed of 94 places in 2091 ms of which 37 ms to minimize.
Starting Z3 with timeout 120.0 s and query timeout 12000.0 ms
[2025-05-31 17:56:30] [INFO ] Deduced a trap composed of 93 places in 2142 ms of which 213 ms to minimize.
SMT process timed out in 46587ms, After SMT, problems are : Problem set: 0 solved, 13 unsolved
Fused 13 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 30 out of 8428 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8428/8428 places, 16475/16475 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 6 place count 8428 transition count 16469
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 12 place count 8422 transition count 16469
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 32 place count 8402 transition count 16429
Iterating global reduction 2 with 20 rules applied. Total rules applied 52 place count 8402 transition count 16429
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 60 place count 8398 transition count 16425
Applied a total of 60 rules in 11400 ms. Remains 8398 /8428 variables (removed 30) and now considering 16425/16475 (removed 50) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11400 ms. Remains : 8398/8428 places, 16425/16475 transitions.
[2025-05-31 17:56:42] [INFO ] Flatten gal took : 416 ms
[2025-05-31 17:56:42] [INFO ] Flatten gal took : 437 ms
[2025-05-31 17:56:43] [INFO ] Input system was already deterministic with 17324 transitions.
Computed a total of 273 stabilizing places and 362 stable transitions
Starting structural reductions in SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 582 transitions
Trivial Post-agglo rules discarded 582 transitions
Performed 582 trivial Post agglomeration. Transition count delta: 582
Iterating post reduction 0 with 582 rules applied. Total rules applied 582 place count 9251 transition count 16742
Reduce places removed 582 places and 0 transitions.
Iterating post reduction 1 with 582 rules applied. Total rules applied 1164 place count 8669 transition count 16742
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 1164 place count 8669 transition count 16653
Deduced a syphon composed of 89 places in 5 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 1342 place count 8580 transition count 16653
Discarding 65 places :
Symmetric choice reduction at 2 with 65 rule applications. Total rules 1407 place count 8515 transition count 16523
Iterating global reduction 2 with 65 rules applied. Total rules applied 1472 place count 8515 transition count 16523
Drop transitions (Trivial Post-Agglo cleanup.) removed 49 transitions
Trivial Post-agglo rules discarded 49 transitions
Performed 49 trivial Post agglomeration. Transition count delta: 49
Iterating post reduction 2 with 49 rules applied. Total rules applied 1521 place count 8515 transition count 16474
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 3 with 49 rules applied. Total rules applied 1570 place count 8466 transition count 16474
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 3 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 4 with 180 rules applied. Total rules applied 1750 place count 8376 transition count 16384
Applied a total of 1750 rules in 12823 ms. Remains 8376 /9251 variables (removed 875) and now considering 16384/17324 (removed 940) transitions.
// Phase 1: matrix 16384 rows 8376 cols
[2025-05-31 17:56:57] [INFO ] Computed 92 invariants in 640 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 17:57:20] [INFO ] Implicit Places using invariants in 24272 ms returned [125]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 24286 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8375/9251 places, 16384/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8375 transition count 16382
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8373 transition count 16382
Applied a total of 4 rules in 4151 ms. Remains 8373 /8375 variables (removed 2) and now considering 16382/16384 (removed 2) transitions.
// Phase 1: matrix 16382 rows 8373 cols
[2025-05-31 17:57:25] [INFO ] Computed 91 invariants in 735 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 17:57:49] [INFO ] Implicit Places using invariants in 24383 ms returned []
Implicit Place search using SMT only with invariants took 24394 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8373/9251 places, 16382/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 65658 ms. Remains : 8373/9251 places, 16382/17324 transitions.
[2025-05-31 17:57:49] [INFO ] Flatten gal took : 542 ms
[2025-05-31 17:57:50] [INFO ] Flatten gal took : 470 ms
[2025-05-31 17:57:51] [INFO ] Input system was already deterministic with 16382 transitions.
[2025-05-31 17:57:52] [INFO ] Flatten gal took : 652 ms
RANDOM walk for 30780 steps (49 resets) in 2134 ms. (14 steps per ms) remains 0/1 properties
FORMULA CANConstruction-PT-090-CTLFireability-2025-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-05-31 17:57:52] [INFO ] Flatten gal took : 444 ms
[2025-05-31 17:57:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality629882639854267583.gal : 251 ms
[2025-05-31 17:57:53] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4919269858667305750.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality629882639854267583.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4919269858667305750.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Discarding 63 places :
Symmetric choice reduction at 0 with 63 rule applications. Total rules 63 place count 9188 transition count 17199
Iterating global reduction 0 with 63 rules applied. Total rules applied 126 place count 9188 transition count 17199
Applied a total of 126 rules in 9378 ms. Remains 9188 /9251 variables (removed 63) and now considering 17199/17324 (removed 125) transitions.
// Phase 1: matrix 17199 rows 9188 cols
[2025-05-31 17:58:03] [INFO ] Computed 92 invariants in 406 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 17:58:30] [INFO ] Implicit Places using invariants in 27570 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 27595 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9187/9251 places, 17199/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9186 transition count 17198
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9186 transition count 17198
Applied a total of 2 rules in 9885 ms. Remains 9186 /9187 variables (removed 1) and now considering 17198/17199 (removed 1) transitions.
// Phase 1: matrix 17198 rows 9186 cols
[2025-05-31 17:58:40] [INFO ] Computed 91 invariants in 537 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 17:59:07] [INFO ] Implicit Places using invariants in 26973 ms returned []
Implicit Place search using SMT only with invariants took 26976 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9186/9251 places, 17198/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 73837 ms. Remains : 9186/9251 places, 17198/17324 transitions.
[2025-05-31 17:59:07] [INFO ] Flatten gal took : 626 ms
[2025-05-31 17:59:08] [INFO ] Flatten gal took : 551 ms
[2025-05-31 17:59:09] [INFO ] Input system was already deterministic with 17198 transitions.
[2025-05-31 17:59:09] [INFO ] Flatten gal took : 477 ms
[2025-05-31 17:59:10] [INFO ] Flatten gal took : 418 ms
[2025-05-31 17:59:10] [INFO ] Time to serialize gal into /tmp/CTLFireability8894796570864815901.gal : 73 ms
[2025-05-31 17:59:10] [INFO ] Time to serialize properties into /tmp/CTLFireability493261085182063834.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/CTLFireability8894796570864815901.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability493261085182063834.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 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 17:59:40] [INFO ] Flatten gal took : 464 ms
[2025-05-31 17:59:40] [INFO ] Applying decomposition
[2025-05-31 17:59:41] [INFO ] Flatten gal took : 499 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/graph8018525986604259382.txt' '-o' '/tmp/graph8018525986604259382.bin' '-w' '/tmp/graph8018525986604259382.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph8018525986604259382.bin' '-l' '-1' '-v' '-w' '/tmp/graph8018525986604259382.weights' '-q' '0' '-e' '0.001'
[2025-05-31 17:59:42] [INFO ] Decomposing Gal with order
[2025-05-31 17:59:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 17:59:48] [INFO ] Removed a total of 16282 redundant transitions.
[2025-05-31 17:59:48] [INFO ] Flatten gal took : 3457 ms
[2025-05-31 17:59:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 32022 labels/synchronizations in 3881 ms.
[2025-05-31 17:59:53] [INFO ] Time to serialize gal into /tmp/CTLFireability12298636750208778373.gal : 185 ms
[2025-05-31 17:59:53] [INFO ] Time to serialize properties into /tmp/CTLFireability13869736229843754312.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/CTLFireability12298636750208778373.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13869736229843754312.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 578 transitions
Trivial Post-agglo rules discarded 578 transitions
Performed 578 trivial Post agglomeration. Transition count delta: 578
Iterating post reduction 0 with 578 rules applied. Total rules applied 578 place count 9251 transition count 16746
Reduce places removed 578 places and 0 transitions.
Iterating post reduction 1 with 578 rules applied. Total rules applied 1156 place count 8673 transition count 16746
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 1156 place count 8673 transition count 16657
Deduced a syphon composed of 89 places in 23 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 1334 place count 8584 transition count 16657
Discarding 63 places :
Symmetric choice reduction at 2 with 63 rule applications. Total rules 1397 place count 8521 transition count 16531
Iterating global reduction 2 with 63 rules applied. Total rules applied 1460 place count 8521 transition count 16531
Drop transitions (Trivial Post-Agglo cleanup.) removed 47 transitions
Trivial Post-agglo rules discarded 47 transitions
Performed 47 trivial Post agglomeration. Transition count delta: 47
Iterating post reduction 2 with 47 rules applied. Total rules applied 1507 place count 8521 transition count 16484
Reduce places removed 47 places and 0 transitions.
Iterating post reduction 3 with 47 rules applied. Total rules applied 1554 place count 8474 transition count 16484
Performed 87 Post agglomeration using F-continuation condition.Transition count delta: 87
Deduced a syphon composed of 87 places in 3 ms
Reduce places removed 87 places and 0 transitions.
Iterating global reduction 4 with 174 rules applied. Total rules applied 1728 place count 8387 transition count 16397
Applied a total of 1728 rules in 13621 ms. Remains 8387 /9251 variables (removed 864) and now considering 16397/17324 (removed 927) transitions.
// Phase 1: matrix 16397 rows 8387 cols
[2025-05-31 18:00:37] [INFO ] Computed 92 invariants in 634 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:01:00] [INFO ] Implicit Places using invariants in 23316 ms returned [130]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 23329 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8386/9251 places, 16397/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8386 transition count 16395
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8384 transition count 16395
Applied a total of 4 rules in 4145 ms. Remains 8384 /8386 variables (removed 2) and now considering 16395/16397 (removed 2) transitions.
// Phase 1: matrix 16395 rows 8384 cols
[2025-05-31 18:01:05] [INFO ] Computed 91 invariants in 637 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:01:27] [INFO ] Implicit Places using invariants in 23094 ms returned []
Implicit Place search using SMT only with invariants took 23096 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8384/9251 places, 16395/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 64193 ms. Remains : 8384/9251 places, 16395/17324 transitions.
[2025-05-31 18:01:28] [INFO ] Flatten gal took : 387 ms
[2025-05-31 18:01:28] [INFO ] Flatten gal took : 615 ms
[2025-05-31 18:01:29] [INFO ] Input system was already deterministic with 16395 transitions.
[2025-05-31 18:01:29] [INFO ] Flatten gal took : 421 ms
[2025-05-31 18:01:30] [INFO ] Flatten gal took : 471 ms
[2025-05-31 18:01:30] [INFO ] Time to serialize gal into /tmp/CTLFireability12184319400534022452.gal : 67 ms
[2025-05-31 18:01:30] [INFO ] Time to serialize properties into /tmp/CTLFireability605602578724475316.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/CTLFireability12184319400534022452.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability605602578724475316.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 18:02:01] [INFO ] Flatten gal took : 584 ms
[2025-05-31 18:02:01] [INFO ] Applying decomposition
[2025-05-31 18:02:01] [INFO ] Flatten gal took : 409 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/graph5623049970292831508.txt' '-o' '/tmp/graph5623049970292831508.bin' '-w' '/tmp/graph5623049970292831508.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5623049970292831508.bin' '-l' '-1' '-v' '-w' '/tmp/graph5623049970292831508.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:02:02] [INFO ] Decomposing Gal with order
[2025-05-31 18:02:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:02:06] [INFO ] Removed a total of 16094 redundant transitions.
[2025-05-31 18:02:06] [INFO ] Flatten gal took : 2855 ms
[2025-05-31 18:02:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 16028 labels/synchronizations in 4105 ms.
[2025-05-31 18:02:11] [INFO ] Time to serialize gal into /tmp/CTLFireability6726656662374141957.gal : 107 ms
[2025-05-31 18:02:11] [INFO ] Time to serialize properties into /tmp/CTLFireability1596401489805250450.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/CTLFireability6726656662374141957.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability1596401489805250450.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Discarding 62 places :
Symmetric choice reduction at 0 with 62 rule applications. Total rules 62 place count 9189 transition count 17201
Iterating global reduction 0 with 62 rules applied. Total rules applied 124 place count 9189 transition count 17201
Applied a total of 124 rules in 9459 ms. Remains 9189 /9251 variables (removed 62) and now considering 17201/17324 (removed 123) transitions.
// Phase 1: matrix 17201 rows 9189 cols
[2025-05-31 18:02:50] [INFO ] Computed 92 invariants in 356 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:03:17] [INFO ] Implicit Places using invariants in 27205 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 27219 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9188/9251 places, 17201/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9187 transition count 17200
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9187 transition count 17200
Applied a total of 2 rules in 10015 ms. Remains 9187 /9188 variables (removed 1) and now considering 17200/17201 (removed 1) transitions.
// Phase 1: matrix 17200 rows 9187 cols
[2025-05-31 18:03:28] [INFO ] Computed 91 invariants in 314 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:03:54] [INFO ] Implicit Places using invariants in 26692 ms returned []
Implicit Place search using SMT only with invariants took 26698 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9187/9251 places, 17200/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 73406 ms. Remains : 9187/9251 places, 17200/17324 transitions.
[2025-05-31 18:03:54] [INFO ] Flatten gal took : 396 ms
[2025-05-31 18:03:55] [INFO ] Flatten gal took : 485 ms
[2025-05-31 18:03:56] [INFO ] Input system was already deterministic with 17200 transitions.
[2025-05-31 18:03:56] [INFO ] Flatten gal took : 465 ms
[2025-05-31 18:03:57] [INFO ] Flatten gal took : 500 ms
[2025-05-31 18:03:57] [INFO ] Time to serialize gal into /tmp/CTLFireability14387305957449345944.gal : 81 ms
[2025-05-31 18:03:57] [INFO ] Time to serialize properties into /tmp/CTLFireability3464888763324785935.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability14387305957449345944.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3464888763324785935.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 18:04:27] [INFO ] Flatten gal took : 510 ms
[2025-05-31 18:04:27] [INFO ] Applying decomposition
[2025-05-31 18:04:28] [INFO ] Flatten gal took : 455 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/graph9186011693640237980.txt' '-o' '/tmp/graph9186011693640237980.bin' '-w' '/tmp/graph9186011693640237980.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9186011693640237980.bin' '-l' '-1' '-v' '-w' '/tmp/graph9186011693640237980.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:04:29] [INFO ] Decomposing Gal with order
[2025-05-31 18:04:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:04:33] [INFO ] Removed a total of 16283 redundant transitions.
[2025-05-31 18:04:33] [INFO ] Flatten gal took : 2731 ms
[2025-05-31 18:04:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 32020 labels/synchronizations in 3690 ms.
[2025-05-31 18:04:38] [INFO ] Time to serialize gal into /tmp/CTLFireability15109902204370085072.gal : 123 ms
[2025-05-31 18:04:38] [INFO ] Time to serialize properties into /tmp/CTLFireability3747280035699662915.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/CTLFireability15109902204370085072.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability3747280035699662915.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 582 transitions
Trivial Post-agglo rules discarded 582 transitions
Performed 582 trivial Post agglomeration. Transition count delta: 582
Iterating post reduction 0 with 582 rules applied. Total rules applied 582 place count 9251 transition count 16742
Reduce places removed 582 places and 0 transitions.
Iterating post reduction 1 with 582 rules applied. Total rules applied 1164 place count 8669 transition count 16742
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 1164 place count 8669 transition count 16653
Deduced a syphon composed of 89 places in 5 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 1342 place count 8580 transition count 16653
Discarding 64 places :
Symmetric choice reduction at 2 with 64 rule applications. Total rules 1406 place count 8516 transition count 16525
Iterating global reduction 2 with 64 rules applied. Total rules applied 1470 place count 8516 transition count 16525
Drop transitions (Trivial Post-Agglo cleanup.) removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 2 with 48 rules applied. Total rules applied 1518 place count 8516 transition count 16477
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 3 with 48 rules applied. Total rules applied 1566 place count 8468 transition count 16477
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 4 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 4 with 180 rules applied. Total rules applied 1746 place count 8378 transition count 16387
Applied a total of 1746 rules in 12545 ms. Remains 8378 /9251 variables (removed 873) and now considering 16387/17324 (removed 937) transitions.
// Phase 1: matrix 16387 rows 8378 cols
[2025-05-31 18:05:21] [INFO ] Computed 92 invariants in 1013 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:05:44] [INFO ] Implicit Places using invariants in 23427 ms returned [126]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 23439 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8377/9251 places, 16387/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8377 transition count 16385
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8375 transition count 16385
Applied a total of 4 rules in 4097 ms. Remains 8375 /8377 variables (removed 2) and now considering 16385/16387 (removed 2) transitions.
// Phase 1: matrix 16385 rows 8375 cols
[2025-05-31 18:05:48] [INFO ] Computed 91 invariants in 700 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:06:10] [INFO ] Implicit Places using invariants in 22164 ms returned []
Implicit Place search using SMT only with invariants took 22166 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8375/9251 places, 16385/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 62250 ms. Remains : 8375/9251 places, 16385/17324 transitions.
[2025-05-31 18:06:10] [INFO ] Flatten gal took : 613 ms
[2025-05-31 18:06:11] [INFO ] Flatten gal took : 419 ms
[2025-05-31 18:06:12] [INFO ] Input system was already deterministic with 16385 transitions.
[2025-05-31 18:06:12] [INFO ] Flatten gal took : 396 ms
[2025-05-31 18:06:12] [INFO ] Flatten gal took : 412 ms
[2025-05-31 18:06:12] [INFO ] Time to serialize gal into /tmp/CTLFireability12109116851856384294.gal : 64 ms
[2025-05-31 18:06:12] [INFO ] Time to serialize properties into /tmp/CTLFireability17955995216170319701.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/CTLFireability12109116851856384294.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability17955995216170319701.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 18:06:43] [INFO ] Flatten gal took : 438 ms
[2025-05-31 18:06:43] [INFO ] Applying decomposition
[2025-05-31 18:06:43] [INFO ] Flatten gal took : 466 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/graph7044901149172798704.txt' '-o' '/tmp/graph7044901149172798704.bin' '-w' '/tmp/graph7044901149172798704.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7044901149172798704.bin' '-l' '-1' '-v' '-w' '/tmp/graph7044901149172798704.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:06:44] [INFO ] Decomposing Gal with order
[2025-05-31 18:06:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:06:48] [INFO ] Removed a total of 16107 redundant transitions.
[2025-05-31 18:06:48] [INFO ] Flatten gal took : 2767 ms
[2025-05-31 18:06:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 16024 labels/synchronizations in 3268 ms.
[2025-05-31 18:06:52] [INFO ] Time to serialize gal into /tmp/CTLFireability3776027320711793907.gal : 78 ms
[2025-05-31 18:06:52] [INFO ] Time to serialize properties into /tmp/CTLFireability10429493024526672745.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/CTLFireability3776027320711793907.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10429493024526672745.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 581 transitions
Trivial Post-agglo rules discarded 581 transitions
Performed 581 trivial Post agglomeration. Transition count delta: 581
Iterating post reduction 0 with 581 rules applied. Total rules applied 581 place count 9251 transition count 16743
Reduce places removed 581 places and 0 transitions.
Iterating post reduction 1 with 581 rules applied. Total rules applied 1162 place count 8670 transition count 16743
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 1162 place count 8670 transition count 16654
Deduced a syphon composed of 89 places in 4 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 1340 place count 8581 transition count 16654
Discarding 66 places :
Symmetric choice reduction at 2 with 66 rule applications. Total rules 1406 place count 8515 transition count 16522
Iterating global reduction 2 with 66 rules applied. Total rules applied 1472 place count 8515 transition count 16522
Drop transitions (Trivial Post-Agglo cleanup.) removed 50 transitions
Trivial Post-agglo rules discarded 50 transitions
Performed 50 trivial Post agglomeration. Transition count delta: 50
Iterating post reduction 2 with 50 rules applied. Total rules applied 1522 place count 8515 transition count 16472
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 3 with 50 rules applied. Total rules applied 1572 place count 8465 transition count 16472
Performed 88 Post agglomeration using F-continuation condition.Transition count delta: 88
Deduced a syphon composed of 88 places in 3 ms
Reduce places removed 88 places and 0 transitions.
Iterating global reduction 4 with 176 rules applied. Total rules applied 1748 place count 8377 transition count 16384
Applied a total of 1748 rules in 12014 ms. Remains 8377 /9251 variables (removed 874) and now considering 16384/17324 (removed 940) transitions.
// Phase 1: matrix 16384 rows 8377 cols
[2025-05-31 18:07:35] [INFO ] Computed 92 invariants in 701 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:07:57] [INFO ] Implicit Places using invariants in 22720 ms returned [126]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 22734 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8376/9251 places, 16384/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8376 transition count 16382
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8374 transition count 16382
Applied a total of 4 rules in 4491 ms. Remains 8374 /8376 variables (removed 2) and now considering 16382/16384 (removed 2) transitions.
// Phase 1: matrix 16382 rows 8374 cols
[2025-05-31 18:08:02] [INFO ] Computed 91 invariants in 593 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:08:23] [INFO ] Implicit Places using invariants in 21943 ms returned []
Implicit Place search using SMT only with invariants took 21947 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8374/9251 places, 16382/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 61206 ms. Remains : 8374/9251 places, 16382/17324 transitions.
[2025-05-31 18:08:24] [INFO ] Flatten gal took : 532 ms
[2025-05-31 18:08:24] [INFO ] Flatten gal took : 386 ms
[2025-05-31 18:08:25] [INFO ] Input system was already deterministic with 16382 transitions.
RANDOM walk for 10006 steps (13 resets) in 414 ms. (24 steps per ms) remains 0/1 properties
FORMULA CANConstruction-PT-090-CTLFireability-2025-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
[2025-05-31 18:08:25] [INFO ] Flatten gal took : 502 ms
[2025-05-31 18:08:26] [INFO ] Flatten gal took : 444 ms
[2025-05-31 18:08:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15208283231964922351.gal : 69 ms
[2025-05-31 18:08:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9821868829964864895.prop : 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-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15208283231964922351.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality9821868829964864895.prop' '--nowitness' '--gen-order' 'FOLLOW'
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in LTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Discarding 64 places :
Symmetric choice reduction at 0 with 64 rule applications. Total rules 64 place count 9187 transition count 17197
Iterating global reduction 0 with 64 rules applied. Total rules applied 128 place count 9187 transition count 17197
Applied a total of 128 rules in 9912 ms. Remains 9187 /9251 variables (removed 64) and now considering 17197/17324 (removed 127) transitions.
// Phase 1: matrix 17197 rows 9187 cols
[2025-05-31 18:08:36] [INFO ] Computed 92 invariants in 395 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:09:02] [INFO ] Implicit Places using invariants in 25939 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 25961 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9186/9251 places, 17197/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9185 transition count 17196
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9185 transition count 17196
Applied a total of 2 rules in 9293 ms. Remains 9185 /9186 variables (removed 1) and now considering 17196/17197 (removed 1) transitions.
// Phase 1: matrix 17196 rows 9185 cols
[2025-05-31 18:09:11] [INFO ] Computed 91 invariants in 343 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:09:39] [INFO ] Implicit Places using invariants in 27810 ms returned []
Implicit Place search using SMT only with invariants took 27834 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9185/9251 places, 17196/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 73001 ms. Remains : 9185/9251 places, 17196/17324 transitions.
[2025-05-31 18:09:40] [INFO ] Flatten gal took : 549 ms
[2025-05-31 18:09:40] [INFO ] Flatten gal took : 426 ms
[2025-05-31 18:09:41] [INFO ] Input system was already deterministic with 17196 transitions.
[2025-05-31 18:09:41] [INFO ] Flatten gal took : 413 ms
[2025-05-31 18:09:42] [INFO ] Flatten gal took : 469 ms
[2025-05-31 18:09:42] [INFO ] Time to serialize gal into /tmp/CTLFireability493248020663456203.gal : 60 ms
[2025-05-31 18:09:42] [INFO ] Time to serialize properties into /tmp/CTLFireability6845453213865803588.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/CTLFireability493248020663456203.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6845453213865803588.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 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 18:10:12] [INFO ] Flatten gal took : 598 ms
[2025-05-31 18:10:12] [INFO ] Applying decomposition
[2025-05-31 18:10:13] [INFO ] Flatten gal took : 487 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/graph9920404599448982109.txt' '-o' '/tmp/graph9920404599448982109.bin' '-w' '/tmp/graph9920404599448982109.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph9920404599448982109.bin' '-l' '-1' '-v' '-w' '/tmp/graph9920404599448982109.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:10:14] [INFO ] Decomposing Gal with order
[2025-05-31 18:10:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:10:18] [INFO ] Removed a total of 16282 redundant transitions.
[2025-05-31 18:10:18] [INFO ] Flatten gal took : 2772 ms
[2025-05-31 18:10:22] [INFO ] Fuse similar labels procedure discarded/fused a total of 32024 labels/synchronizations in 3697 ms.
[2025-05-31 18:10:22] [INFO ] Time to serialize gal into /tmp/CTLFireability7360251085883609613.gal : 94 ms
[2025-05-31 18:10:22] [INFO ] Time to serialize properties into /tmp/CTLFireability13443255768158731187.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/CTLFireability7360251085883609613.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13443255768158731187.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 : 9251/9251 places, 17324/17324 transitions.
Discarding 61 places :
Symmetric choice reduction at 0 with 61 rule applications. Total rules 61 place count 9190 transition count 17203
Iterating global reduction 0 with 61 rules applied. Total rules applied 122 place count 9190 transition count 17203
Applied a total of 122 rules in 9771 ms. Remains 9190 /9251 variables (removed 61) and now considering 17203/17324 (removed 121) transitions.
// Phase 1: matrix 17203 rows 9190 cols
[2025-05-31 18:11:02] [INFO ] Computed 92 invariants in 479 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:11:29] [INFO ] Implicit Places using invariants in 27322 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 27341 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9189/9251 places, 17203/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9188 transition count 17202
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9188 transition count 17202
Applied a total of 2 rules in 9810 ms. Remains 9188 /9189 variables (removed 1) and now considering 17202/17203 (removed 1) transitions.
// Phase 1: matrix 17202 rows 9188 cols
[2025-05-31 18:11:39] [INFO ] Computed 91 invariants in 309 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:12:06] [INFO ] Implicit Places using invariants in 27316 ms returned []
Implicit Place search using SMT only with invariants took 27320 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9188/9251 places, 17202/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 74243 ms. Remains : 9188/9251 places, 17202/17324 transitions.
[2025-05-31 18:12:07] [INFO ] Flatten gal took : 560 ms
[2025-05-31 18:12:08] [INFO ] Flatten gal took : 466 ms
[2025-05-31 18:12:08] [INFO ] Input system was already deterministic with 17202 transitions.
[2025-05-31 18:12:09] [INFO ] Flatten gal took : 446 ms
[2025-05-31 18:12:09] [INFO ] Flatten gal took : 415 ms
[2025-05-31 18:12:09] [INFO ] Time to serialize gal into /tmp/CTLFireability16269014893254277729.gal : 68 ms
[2025-05-31 18:12:09] [INFO ] Time to serialize properties into /tmp/CTLFireability16451942325380271824.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/CTLFireability16269014893254277729.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16451942325380271824.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 18:12:40] [INFO ] Flatten gal took : 670 ms
[2025-05-31 18:12:40] [INFO ] Applying decomposition
[2025-05-31 18:12:40] [INFO ] Flatten gal took : 452 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/graph13419188602385671086.txt' '-o' '/tmp/graph13419188602385671086.bin' '-w' '/tmp/graph13419188602385671086.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph13419188602385671086.bin' '-l' '-1' '-v' '-w' '/tmp/graph13419188602385671086.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:12:41] [INFO ] Decomposing Gal with order
[2025-05-31 18:12:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:12:45] [INFO ] Removed a total of 16279 redundant transitions.
[2025-05-31 18:12:46] [INFO ] Flatten gal took : 2747 ms
[2025-05-31 18:12:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 32012 labels/synchronizations in 3562 ms.
[2025-05-31 18:12:50] [INFO ] Time to serialize gal into /tmp/CTLFireability13283325627505887440.gal : 101 ms
[2025-05-31 18:12:50] [INFO ] Time to serialize properties into /tmp/CTLFireability13136528184986361225.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/CTLFireability13283325627505887440.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13136528184986361225.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 582 transitions
Trivial Post-agglo rules discarded 582 transitions
Performed 582 trivial Post agglomeration. Transition count delta: 582
Iterating post reduction 0 with 582 rules applied. Total rules applied 582 place count 9251 transition count 16742
Reduce places removed 582 places and 0 transitions.
Iterating post reduction 1 with 582 rules applied. Total rules applied 1164 place count 8669 transition count 16742
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 1164 place count 8669 transition count 16653
Deduced a syphon composed of 89 places in 7 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 1342 place count 8580 transition count 16653
Discarding 65 places :
Symmetric choice reduction at 2 with 65 rule applications. Total rules 1407 place count 8515 transition count 16523
Iterating global reduction 2 with 65 rules applied. Total rules applied 1472 place count 8515 transition count 16523
Drop transitions (Trivial Post-Agglo cleanup.) removed 49 transitions
Trivial Post-agglo rules discarded 49 transitions
Performed 49 trivial Post agglomeration. Transition count delta: 49
Iterating post reduction 2 with 49 rules applied. Total rules applied 1521 place count 8515 transition count 16474
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 3 with 49 rules applied. Total rules applied 1570 place count 8466 transition count 16474
Performed 90 Post agglomeration using F-continuation condition.Transition count delta: 90
Deduced a syphon composed of 90 places in 4 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 4 with 180 rules applied. Total rules applied 1750 place count 8376 transition count 16384
Applied a total of 1750 rules in 12797 ms. Remains 8376 /9251 variables (removed 875) and now considering 16384/17324 (removed 940) transitions.
// Phase 1: matrix 16384 rows 8376 cols
[2025-05-31 18:13:33] [INFO ] Computed 92 invariants in 910 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:13:56] [INFO ] Implicit Places using invariants in 23154 ms returned [125]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 23173 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8375/9251 places, 16384/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8375 transition count 16382
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8373 transition count 16382
Applied a total of 4 rules in 4588 ms. Remains 8373 /8375 variables (removed 2) and now considering 16382/16384 (removed 2) transitions.
// Phase 1: matrix 16382 rows 8373 cols
[2025-05-31 18:14:01] [INFO ] Computed 91 invariants in 882 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:14:25] [INFO ] Implicit Places using invariants in 24992 ms returned []
Implicit Place search using SMT only with invariants took 24997 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8373/9251 places, 16382/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 65560 ms. Remains : 8373/9251 places, 16382/17324 transitions.
[2025-05-31 18:14:26] [INFO ] Flatten gal took : 555 ms
[2025-05-31 18:14:26] [INFO ] Flatten gal took : 462 ms
[2025-05-31 18:14:27] [INFO ] Input system was already deterministic with 16382 transitions.
[2025-05-31 18:14:27] [INFO ] Flatten gal took : 393 ms
[2025-05-31 18:14:28] [INFO ] Flatten gal took : 466 ms
[2025-05-31 18:14:28] [INFO ] Time to serialize gal into /tmp/CTLFireability14969082338856873480.gal : 71 ms
[2025-05-31 18:14:28] [INFO ] Time to serialize properties into /tmp/CTLFireability903995799319983048.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/CTLFireability14969082338856873480.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability903995799319983048.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 18:14:58] [INFO ] Flatten gal took : 388 ms
[2025-05-31 18:14:58] [INFO ] Applying decomposition
[2025-05-31 18:14:59] [INFO ] Flatten gal took : 404 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/graph17897937860394982181.txt' '-o' '/tmp/graph17897937860394982181.bin' '-w' '/tmp/graph17897937860394982181.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17897937860394982181.bin' '-l' '-1' '-v' '-w' '/tmp/graph17897937860394982181.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:15:00] [INFO ] Decomposing Gal with order
[2025-05-31 18:15:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:15:03] [INFO ] Removed a total of 16109 redundant transitions.
[2025-05-31 18:15:04] [INFO ] Flatten gal took : 2632 ms
[2025-05-31 18:15:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 15842 labels/synchronizations in 2982 ms.
[2025-05-31 18:15:07] [INFO ] Time to serialize gal into /tmp/CTLFireability4102847132461318273.gal : 68 ms
[2025-05-31 18:15:07] [INFO ] Time to serialize properties into /tmp/CTLFireability13234522339789804599.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/CTLFireability4102847132461318273.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13234522339789804599.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 580 transitions
Trivial Post-agglo rules discarded 580 transitions
Performed 580 trivial Post agglomeration. Transition count delta: 580
Iterating post reduction 0 with 580 rules applied. Total rules applied 580 place count 9251 transition count 16744
Reduce places removed 580 places and 0 transitions.
Iterating post reduction 1 with 580 rules applied. Total rules applied 1160 place count 8671 transition count 16744
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 89 Pre rules applied. Total rules applied 1160 place count 8671 transition count 16655
Deduced a syphon composed of 89 places in 6 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 2 with 178 rules applied. Total rules applied 1338 place count 8582 transition count 16655
Discarding 66 places :
Symmetric choice reduction at 2 with 66 rule applications. Total rules 1404 place count 8516 transition count 16523
Iterating global reduction 2 with 66 rules applied. Total rules applied 1470 place count 8516 transition count 16523
Drop transitions (Trivial Post-Agglo cleanup.) removed 50 transitions
Trivial Post-agglo rules discarded 50 transitions
Performed 50 trivial Post agglomeration. Transition count delta: 50
Iterating post reduction 2 with 50 rules applied. Total rules applied 1520 place count 8516 transition count 16473
Reduce places removed 50 places and 0 transitions.
Iterating post reduction 3 with 50 rules applied. Total rules applied 1570 place count 8466 transition count 16473
Performed 87 Post agglomeration using F-continuation condition.Transition count delta: 87
Deduced a syphon composed of 87 places in 3 ms
Reduce places removed 87 places and 0 transitions.
Iterating global reduction 4 with 174 rules applied. Total rules applied 1744 place count 8379 transition count 16386
Applied a total of 1744 rules in 12397 ms. Remains 8379 /9251 variables (removed 872) and now considering 16386/17324 (removed 938) transitions.
// Phase 1: matrix 16386 rows 8379 cols
[2025-05-31 18:15:50] [INFO ] Computed 92 invariants in 758 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:16:13] [INFO ] Implicit Places using invariants in 23466 ms returned [127]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 23485 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8378/9251 places, 16386/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8378 transition count 16384
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8376 transition count 16384
Applied a total of 4 rules in 4055 ms. Remains 8376 /8378 variables (removed 2) and now considering 16384/16386 (removed 2) transitions.
// Phase 1: matrix 16384 rows 8376 cols
[2025-05-31 18:16:18] [INFO ] Computed 91 invariants in 821 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:16:39] [INFO ] Implicit Places using invariants in 22077 ms returned []
Implicit Place search using SMT only with invariants took 22083 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8376/9251 places, 16384/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 62028 ms. Remains : 8376/9251 places, 16384/17324 transitions.
[2025-05-31 18:16:39] [INFO ] Flatten gal took : 335 ms
[2025-05-31 18:16:40] [INFO ] Flatten gal took : 404 ms
[2025-05-31 18:16:40] [INFO ] Input system was already deterministic with 16384 transitions.
[2025-05-31 18:16:41] [INFO ] Flatten gal took : 386 ms
[2025-05-31 18:16:41] [INFO ] Flatten gal took : 405 ms
[2025-05-31 18:16:41] [INFO ] Time to serialize gal into /tmp/CTLFireability9411242996675167165.gal : 63 ms
[2025-05-31 18:16:41] [INFO ] Time to serialize properties into /tmp/CTLFireability12086514827574182838.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/CTLFireability9411242996675167165.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12086514827574182838.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 18:17:12] [INFO ] Flatten gal took : 637 ms
[2025-05-31 18:17:12] [INFO ] Applying decomposition
[2025-05-31 18:17:12] [INFO ] Flatten gal took : 488 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/graph4868497752714120118.txt' '-o' '/tmp/graph4868497752714120118.bin' '-w' '/tmp/graph4868497752714120118.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4868497752714120118.bin' '-l' '-1' '-v' '-w' '/tmp/graph4868497752714120118.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:17:13] [INFO ] Decomposing Gal with order
[2025-05-31 18:17:14] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:17:17] [INFO ] Removed a total of 16099 redundant transitions.
[2025-05-31 18:17:17] [INFO ] Flatten gal took : 2650 ms
[2025-05-31 18:17:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 16016 labels/synchronizations in 3205 ms.
[2025-05-31 18:17:20] [INFO ] Time to serialize gal into /tmp/CTLFireability5007538091974947033.gal : 71 ms
[2025-05-31 18:17:20] [INFO ] Time to serialize properties into /tmp/CTLFireability931079514617767100.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/CTLFireability5007538091974947033.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability931079514617767100.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 -...261
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Discarding 44 places :
Symmetric choice reduction at 0 with 44 rule applications. Total rules 44 place count 9207 transition count 17237
Iterating global reduction 0 with 44 rules applied. Total rules applied 88 place count 9207 transition count 17237
Applied a total of 88 rules in 9204 ms. Remains 9207 /9251 variables (removed 44) and now considering 17237/17324 (removed 87) transitions.
// Phase 1: matrix 17237 rows 9207 cols
[2025-05-31 18:18:00] [INFO ] Computed 92 invariants in 370 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:18:24] [INFO ] Implicit Places using invariants in 24762 ms returned []
Implicit Place search using SMT only with invariants took 24767 ms to find 0 implicit places.
Running 17147 sub problems to find dead transitions.
[2025-05-31 18:18:24] [INFO ] Invariant cache hit.
[2025-05-31 18:18:25] [INFO ] State equation strengthened by 16110 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/9206 variables, 91/91 constraints. Problems are: Problem set: 0 solved, 17147 unsolved
SMT process timed out in 63384ms, After SMT, problems are : Problem set: 0 solved, 17147 unsolved
Search for dead transitions found 0 dead transitions in 63498ms
Starting structural reductions in LTL mode, iteration 1 : 9207/9251 places, 17237/17324 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 97531 ms. Remains : 9207/9251 places, 17237/17324 transitions.
[2025-05-31 18:19:29] [INFO ] Flatten gal took : 481 ms
[2025-05-31 18:19:29] [INFO ] Flatten gal took : 469 ms
[2025-05-31 18:19:30] [INFO ] Input system was already deterministic with 17237 transitions.
[2025-05-31 18:19:30] [INFO ] Flatten gal took : 417 ms
[2025-05-31 18:19:31] [INFO ] Flatten gal took : 461 ms
[2025-05-31 18:19:31] [INFO ] Time to serialize gal into /tmp/CTLFireability6341241701773287728.gal : 71 ms
[2025-05-31 18:19:31] [INFO ] Time to serialize properties into /tmp/CTLFireability14118730441048532996.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/CTLFireability6341241701773287728.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14118730441048532996.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 18:20:01] [INFO ] Flatten gal took : 539 ms
[2025-05-31 18:20:01] [INFO ] Applying decomposition
[2025-05-31 18:20:02] [INFO ] Flatten gal took : 489 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/graph7373195507411744196.txt' '-o' '/tmp/graph7373195507411744196.bin' '-w' '/tmp/graph7373195507411744196.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph7373195507411744196.bin' '-l' '-1' '-v' '-w' '/tmp/graph7373195507411744196.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:20:03] [INFO ] Decomposing Gal with order
[2025-05-31 18:20:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:20:07] [INFO ] Removed a total of 16273 redundant transitions.
[2025-05-31 18:20:07] [INFO ] Flatten gal took : 2716 ms
[2025-05-31 18:20:11] [INFO ] Fuse similar labels procedure discarded/fused a total of 32094 labels/synchronizations in 3644 ms.
[2025-05-31 18:20:11] [INFO ] Time to serialize gal into /tmp/CTLFireability15245087801522743779.gal : 82 ms
[2025-05-31 18:20:11] [INFO ] Time to serialize properties into /tmp/CTLFireability4234968987499210632.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/CTLFireability15245087801522743779.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4234968987499210632.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 581 transitions
Trivial Post-agglo rules discarded 581 transitions
Performed 581 trivial Post agglomeration. Transition count delta: 581
Iterating post reduction 0 with 581 rules applied. Total rules applied 581 place count 9251 transition count 16743
Reduce places removed 581 places and 0 transitions.
Iterating post reduction 1 with 581 rules applied. Total rules applied 1162 place count 8670 transition count 16743
Performed 90 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 90 Pre rules applied. Total rules applied 1162 place count 8670 transition count 16653
Deduced a syphon composed of 90 places in 8 ms
Reduce places removed 90 places and 0 transitions.
Iterating global reduction 2 with 180 rules applied. Total rules applied 1342 place count 8580 transition count 16653
Discarding 60 places :
Symmetric choice reduction at 2 with 60 rule applications. Total rules 1402 place count 8520 transition count 16533
Iterating global reduction 2 with 60 rules applied. Total rules applied 1462 place count 8520 transition count 16533
Drop transitions (Trivial Post-Agglo cleanup.) removed 44 transitions
Trivial Post-agglo rules discarded 44 transitions
Performed 44 trivial Post agglomeration. Transition count delta: 44
Iterating post reduction 2 with 44 rules applied. Total rules applied 1506 place count 8520 transition count 16489
Reduce places removed 44 places and 0 transitions.
Iterating post reduction 3 with 44 rules applied. Total rules applied 1550 place count 8476 transition count 16489
Performed 92 Post agglomeration using F-continuation condition.Transition count delta: 92
Deduced a syphon composed of 92 places in 4 ms
Reduce places removed 92 places and 0 transitions.
Iterating global reduction 4 with 184 rules applied. Total rules applied 1734 place count 8384 transition count 16397
Applied a total of 1734 rules in 12996 ms. Remains 8384 /9251 variables (removed 867) and now considering 16397/17324 (removed 927) transitions.
// Phase 1: matrix 16397 rows 8384 cols
[2025-05-31 18:20:55] [INFO ] Computed 92 invariants in 807 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:21:16] [INFO ] Implicit Places using invariants in 21711 ms returned [128]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 21723 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8383/9251 places, 16397/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8383 transition count 16395
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8381 transition count 16395
Applied a total of 4 rules in 4277 ms. Remains 8381 /8383 variables (removed 2) and now considering 16395/16397 (removed 2) transitions.
// Phase 1: matrix 16395 rows 8381 cols
[2025-05-31 18:21:21] [INFO ] Computed 91 invariants in 802 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:21:45] [INFO ] Implicit Places using invariants in 24941 ms returned []
Implicit Place search using SMT only with invariants took 24942 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8381/9251 places, 16395/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 63946 ms. Remains : 8381/9251 places, 16395/17324 transitions.
[2025-05-31 18:21:46] [INFO ] Flatten gal took : 551 ms
[2025-05-31 18:21:46] [INFO ] Flatten gal took : 511 ms
[2025-05-31 18:21:47] [INFO ] Input system was already deterministic with 16395 transitions.
[2025-05-31 18:21:47] [INFO ] Flatten gal took : 400 ms
[2025-05-31 18:21:48] [INFO ] Flatten gal took : 416 ms
[2025-05-31 18:21:48] [INFO ] Time to serialize gal into /tmp/CTLFireability14887812102085502335.gal : 64 ms
[2025-05-31 18:21:48] [INFO ] Time to serialize properties into /tmp/CTLFireability4676023450619670651.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/CTLFireability14887812102085502335.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability4676023450619670651.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 18:22:18] [INFO ] Flatten gal took : 440 ms
[2025-05-31 18:22:18] [INFO ] Applying decomposition
[2025-05-31 18:22:19] [INFO ] Flatten gal took : 422 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/graph10558830898738913133.txt' '-o' '/tmp/graph10558830898738913133.bin' '-w' '/tmp/graph10558830898738913133.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph10558830898738913133.bin' '-l' '-1' '-v' '-w' '/tmp/graph10558830898738913133.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:22:20] [INFO ] Decomposing Gal with order
[2025-05-31 18:22:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:22:24] [INFO ] Removed a total of 16116 redundant transitions.
[2025-05-31 18:22:24] [INFO ] Flatten gal took : 2825 ms
[2025-05-31 18:22:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 15864 labels/synchronizations in 3156 ms.
[2025-05-31 18:22:27] [INFO ] Time to serialize gal into /tmp/CTLFireability15288268389094351624.gal : 102 ms
[2025-05-31 18:22:27] [INFO ] Time to serialize properties into /tmp/CTLFireability6146440582274740560.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/CTLFireability15288268389094351624.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability6146440582274740560.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 : 9251/9251 places, 17324/17324 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 9185 transition count 17193
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 9185 transition count 17193
Applied a total of 132 rules in 9516 ms. Remains 9185 /9251 variables (removed 66) and now considering 17193/17324 (removed 131) transitions.
// Phase 1: matrix 17193 rows 9185 cols
[2025-05-31 18:23:07] [INFO ] Computed 92 invariants in 541 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:23:33] [INFO ] Implicit Places using invariants in 25738 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 25748 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9184/9251 places, 17193/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9183 transition count 17192
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9183 transition count 17192
Applied a total of 2 rules in 9511 ms. Remains 9183 /9184 variables (removed 1) and now considering 17192/17193 (removed 1) transitions.
// Phase 1: matrix 17192 rows 9183 cols
[2025-05-31 18:23:43] [INFO ] Computed 91 invariants in 428 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:24:08] [INFO ] Implicit Places using invariants in 26222 ms returned []
Implicit Place search using SMT only with invariants took 26223 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9183/9251 places, 17192/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 71001 ms. Remains : 9183/9251 places, 17192/17324 transitions.
[2025-05-31 18:24:09] [INFO ] Flatten gal took : 393 ms
[2025-05-31 18:24:09] [INFO ] Flatten gal took : 487 ms
[2025-05-31 18:24:10] [INFO ] Input system was already deterministic with 17192 transitions.
[2025-05-31 18:24:10] [INFO ] Flatten gal took : 444 ms
[2025-05-31 18:24:11] [INFO ] Flatten gal took : 460 ms
[2025-05-31 18:24:11] [INFO ] Time to serialize gal into /tmp/CTLFireability7355489763596749893.gal : 71 ms
[2025-05-31 18:24:11] [INFO ] Time to serialize properties into /tmp/CTLFireability12378128274790209343.ctl : 3 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLFireability7355489763596749893.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability12378128274790209343.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 18:24:42] [INFO ] Flatten gal took : 434 ms
[2025-05-31 18:24:42] [INFO ] Applying decomposition
[2025-05-31 18:24:42] [INFO ] Flatten gal took : 454 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/graph504320065892290975.txt' '-o' '/tmp/graph504320065892290975.bin' '-w' '/tmp/graph504320065892290975.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph504320065892290975.bin' '-l' '-1' '-v' '-w' '/tmp/graph504320065892290975.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:24:43] [INFO ] Decomposing Gal with order
[2025-05-31 18:24:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:24:47] [INFO ] Removed a total of 16286 redundant transitions.
[2025-05-31 18:24:47] [INFO ] Flatten gal took : 2992 ms
[2025-05-31 18:24:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 32032 labels/synchronizations in 3551 ms.
[2025-05-31 18:24:51] [INFO ] Time to serialize gal into /tmp/CTLFireability10036076153348415331.gal : 92 ms
[2025-05-31 18:24:51] [INFO ] Time to serialize properties into /tmp/CTLFireability15271993828887466533.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/CTLFireability10036076153348415331.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15271993828887466533.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 : 9251/9251 places, 17324/17324 transitions.
Discarding 66 places :
Symmetric choice reduction at 0 with 66 rule applications. Total rules 66 place count 9185 transition count 17193
Iterating global reduction 0 with 66 rules applied. Total rules applied 132 place count 9185 transition count 17193
Applied a total of 132 rules in 9208 ms. Remains 9185 /9251 variables (removed 66) and now considering 17193/17324 (removed 131) transitions.
// Phase 1: matrix 17193 rows 9185 cols
[2025-05-31 18:25:31] [INFO ] Computed 92 invariants in 347 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:25:55] [INFO ] Implicit Places using invariants in 24868 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 24883 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9184/9251 places, 17193/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9183 transition count 17192
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9183 transition count 17192
Applied a total of 2 rules in 9603 ms. Remains 9183 /9184 variables (removed 1) and now considering 17192/17193 (removed 1) transitions.
// Phase 1: matrix 17192 rows 9183 cols
[2025-05-31 18:26:05] [INFO ] Computed 91 invariants in 341 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:26:32] [INFO ] Implicit Places using invariants in 26559 ms returned []
Implicit Place search using SMT only with invariants took 26561 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9183/9251 places, 17192/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 70256 ms. Remains : 9183/9251 places, 17192/17324 transitions.
[2025-05-31 18:26:32] [INFO ] Flatten gal took : 581 ms
[2025-05-31 18:26:33] [INFO ] Flatten gal took : 547 ms
[2025-05-31 18:26:34] [INFO ] Input system was already deterministic with 17192 transitions.
[2025-05-31 18:26:34] [INFO ] Flatten gal took : 456 ms
[2025-05-31 18:26:35] [INFO ] Flatten gal took : 474 ms
[2025-05-31 18:26:35] [INFO ] Time to serialize gal into /tmp/CTLFireability2566559755943905297.gal : 72 ms
[2025-05-31 18:26:35] [INFO ] Time to serialize properties into /tmp/CTLFireability16371245595807305906.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/CTLFireability2566559755943905297.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability16371245595807305906.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 18:27:05] [INFO ] Flatten gal took : 454 ms
[2025-05-31 18:27:05] [INFO ] Applying decomposition
[2025-05-31 18:27:06] [INFO ] Flatten gal took : 486 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/graph2486171438058084303.txt' '-o' '/tmp/graph2486171438058084303.bin' '-w' '/tmp/graph2486171438058084303.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2486171438058084303.bin' '-l' '-1' '-v' '-w' '/tmp/graph2486171438058084303.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:27:06] [INFO ] Decomposing Gal with order
[2025-05-31 18:27:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:27:11] [INFO ] Removed a total of 16282 redundant transitions.
[2025-05-31 18:27:11] [INFO ] Flatten gal took : 2759 ms
[2025-05-31 18:27:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 32030 labels/synchronizations in 3462 ms.
[2025-05-31 18:27:15] [INFO ] Time to serialize gal into /tmp/CTLFireability3561336808323402979.gal : 111 ms
[2025-05-31 18:27:15] [INFO ] Time to serialize properties into /tmp/CTLFireability10751449050053786716.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/CTLFireability3561336808323402979.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability10751449050053786716.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 : 9251/9251 places, 17324/17324 transitions.
Discarding 60 places :
Symmetric choice reduction at 0 with 60 rule applications. Total rules 60 place count 9191 transition count 17205
Iterating global reduction 0 with 60 rules applied. Total rules applied 120 place count 9191 transition count 17205
Applied a total of 120 rules in 9280 ms. Remains 9191 /9251 variables (removed 60) and now considering 17205/17324 (removed 119) transitions.
// Phase 1: matrix 17205 rows 9191 cols
[2025-05-31 18:27:54] [INFO ] Computed 92 invariants in 339 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:28:21] [INFO ] Implicit Places using invariants in 27001 ms returned [492]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 27027 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 9190/9251 places, 17205/17324 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 9189 transition count 17204
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 9189 transition count 17204
Applied a total of 2 rules in 9795 ms. Remains 9189 /9190 variables (removed 1) and now considering 17204/17205 (removed 1) transitions.
// Phase 1: matrix 17204 rows 9189 cols
[2025-05-31 18:28:31] [INFO ] Computed 91 invariants in 340 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:28:56] [INFO ] Implicit Places using invariants in 25018 ms returned []
Implicit Place search using SMT only with invariants took 25019 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 9189/9251 places, 17204/17324 transitions.
Finished structural reductions in LTL mode , in 2 iterations and 71121 ms. Remains : 9189/9251 places, 17204/17324 transitions.
[2025-05-31 18:28:56] [INFO ] Flatten gal took : 409 ms
[2025-05-31 18:28:57] [INFO ] Flatten gal took : 458 ms
[2025-05-31 18:28:57] [INFO ] Input system was already deterministic with 17204 transitions.
[2025-05-31 18:28:58] [INFO ] Flatten gal took : 417 ms
[2025-05-31 18:28:58] [INFO ] Flatten gal took : 434 ms
[2025-05-31 18:28:58] [INFO ] Time to serialize gal into /tmp/CTLFireability1249797286190051303.gal : 70 ms
[2025-05-31 18:28:58] [INFO ] Time to serialize properties into /tmp/CTLFireability14401100961157623304.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/CTLFireability1249797286190051303.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability14401100961157623304.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 18:29:29] [INFO ] Flatten gal took : 414 ms
[2025-05-31 18:29:29] [INFO ] Applying decomposition
[2025-05-31 18:29:29] [INFO ] Flatten gal took : 430 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/graph14015996817450343567.txt' '-o' '/tmp/graph14015996817450343567.bin' '-w' '/tmp/graph14015996817450343567.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph14015996817450343567.bin' '-l' '-1' '-v' '-w' '/tmp/graph14015996817450343567.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:29:30] [INFO ] Decomposing Gal with order
[2025-05-31 18:29:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:29:35] [INFO ] Removed a total of 16283 redundant transitions.
[2025-05-31 18:29:35] [INFO ] Flatten gal took : 2836 ms
[2025-05-31 18:29:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 32006 labels/synchronizations in 3514 ms.
[2025-05-31 18:29:39] [INFO ] Time to serialize gal into /tmp/CTLFireability3461825213959231413.gal : 117 ms
[2025-05-31 18:29:39] [INFO ] Time to serialize properties into /tmp/CTLFireability15543193500410896801.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/CTLFireability3461825213959231413.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability15543193500410896801.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 SI_CTL mode, iteration 0 : 9251/9251 places, 17324/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 579 transitions
Trivial Post-agglo rules discarded 579 transitions
Performed 579 trivial Post agglomeration. Transition count delta: 579
Iterating post reduction 0 with 579 rules applied. Total rules applied 579 place count 9251 transition count 16745
Reduce places removed 579 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 580 rules applied. Total rules applied 1159 place count 8672 transition count 16744
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 1160 place count 8671 transition count 16744
Performed 89 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 89 Pre rules applied. Total rules applied 1160 place count 8671 transition count 16655
Deduced a syphon composed of 89 places in 5 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 3 with 178 rules applied. Total rules applied 1338 place count 8582 transition count 16655
Discarding 64 places :
Symmetric choice reduction at 3 with 64 rule applications. Total rules 1402 place count 8518 transition count 16527
Iterating global reduction 3 with 64 rules applied. Total rules applied 1466 place count 8518 transition count 16527
Drop transitions (Trivial Post-Agglo cleanup.) removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 3 with 48 rules applied. Total rules applied 1514 place count 8518 transition count 16479
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 4 with 48 rules applied. Total rules applied 1562 place count 8470 transition count 16479
Performed 91 Post agglomeration using F-continuation condition.Transition count delta: 91
Deduced a syphon composed of 91 places in 3 ms
Reduce places removed 91 places and 0 transitions.
Iterating global reduction 5 with 182 rules applied. Total rules applied 1744 place count 8379 transition count 16388
Applied a total of 1744 rules in 12385 ms. Remains 8379 /9251 variables (removed 872) and now considering 16388/17324 (removed 936) transitions.
// Phase 1: matrix 16388 rows 8379 cols
[2025-05-31 18:30:22] [INFO ] Computed 92 invariants in 871 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:30:47] [INFO ] Implicit Places using invariants in 25420 ms returned [127]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 25440 ms to find 1 implicit places.
Starting structural reductions in SI_CTL mode, iteration 1 : 8378/9251 places, 16388/17324 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 8378 transition count 16386
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 8376 transition count 16386
Applied a total of 4 rules in 4088 ms. Remains 8376 /8378 variables (removed 2) and now considering 16386/16388 (removed 2) transitions.
// Phase 1: matrix 16386 rows 8376 cols
[2025-05-31 18:30:51] [INFO ] Computed 91 invariants in 614 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 18:31:12] [INFO ] Implicit Places using invariants in 21685 ms returned []
Implicit Place search using SMT only with invariants took 21686 ms to find 0 implicit places.
Starting structural reductions in SI_CTL mode, iteration 2 : 8376/9251 places, 16386/17324 transitions.
Finished structural reductions in SI_CTL mode , in 2 iterations and 63599 ms. Remains : 8376/9251 places, 16386/17324 transitions.
[2025-05-31 18:31:13] [INFO ] Flatten gal took : 494 ms
[2025-05-31 18:31:13] [INFO ] Flatten gal took : 412 ms
[2025-05-31 18:31:14] [INFO ] Input system was already deterministic with 16386 transitions.
[2025-05-31 18:31:15] [INFO ] Flatten gal took : 422 ms
[2025-05-31 18:31:15] [INFO ] Flatten gal took : 455 ms
[2025-05-31 18:31:15] [INFO ] Time to serialize gal into /tmp/CTLFireability13647467986829370791.gal : 69 ms
[2025-05-31 18:31:15] [INFO ] Time to serialize properties into /tmp/CTLFireability9808745992179260159.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/CTLFireability13647467986829370791.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability9808745992179260159.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 18:31:46] [INFO ] Flatten gal took : 441 ms
[2025-05-31 18:31:46] [INFO ] Applying decomposition
[2025-05-31 18:31:46] [INFO ] Flatten gal took : 477 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/graph12039115272241202150.txt' '-o' '/tmp/graph12039115272241202150.bin' '-w' '/tmp/graph12039115272241202150.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph12039115272241202150.bin' '-l' '-1' '-v' '-w' '/tmp/graph12039115272241202150.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:31:47] [INFO ] Decomposing Gal with order
[2025-05-31 18:31:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:31:51] [INFO ] Removed a total of 16112 redundant transitions.
[2025-05-31 18:31:51] [INFO ] Flatten gal took : 2864 ms
[2025-05-31 18:31:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 16024 labels/synchronizations in 3242 ms.
[2025-05-31 18:31:54] [INFO ] Time to serialize gal into /tmp/CTLFireability8802053730750974216.gal : 84 ms
[2025-05-31 18:31:54] [INFO ] Time to serialize properties into /tmp/CTLFireability7370676640432706165.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/CTLFireability8802053730750974216.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability7370676640432706165.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 -...262
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 18:32:25] [INFO ] Flatten gal took : 424 ms
[2025-05-31 18:32:25] [INFO ] Flatten gal took : 440 ms
[2025-05-31 18:32:26] [INFO ] Applying decomposition
[2025-05-31 18:32:26] [INFO ] Flatten gal took : 445 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/graph6831964166755193741.txt' '-o' '/tmp/graph6831964166755193741.bin' '-w' '/tmp/graph6831964166755193741.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph6831964166755193741.bin' '-l' '-1' '-v' '-w' '/tmp/graph6831964166755193741.weights' '-q' '0' '-e' '0.001'
[2025-05-31 18:32:27] [INFO ] Decomposing Gal with order
[2025-05-31 18:32:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 18:32:31] [INFO ] Removed a total of 16246 redundant transitions.
[2025-05-31 18:32:32] [INFO ] Flatten gal took : 2907 ms
[2025-05-31 18:32:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 32086 labels/synchronizations in 3537 ms.
[2025-05-31 18:32:36] [INFO ] Time to serialize gal into /tmp/CTLFireability14336841970121376221.gal : 119 ms
[2025-05-31 18:32:36] [INFO ] Time to serialize properties into /tmp/CTLFireability13506672732749323018.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/CTLFireability14336841970121376221.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability13506672732749323018.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 14 CTL formulae.
ITS-tools command line returned an error code 137
[2025-05-31 18:46:37] [INFO ] Flatten gal took : 915 ms
[2025-05-31 18:46:38] [INFO ] Time to serialize gal into /tmp/CTLFireability9924434753979649998.gal : 143 ms
[2025-05-31 18:46:38] [INFO ] Time to serialize properties into /tmp/CTLFireability11243340045549054547.ctl : 31 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/CTLFireability9924434753979649998.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLFireability11243340045549054547.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 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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANConstruction-PT-090"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is CANConstruction-PT-090, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r030-smll-174853813600234"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-090.tgz
mv CANConstruction-PT-090 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;