About the Execution of LTSMin+red for NoC3x3-PT-6B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8758.920 | 3600000.00 | 14234546.00 | 633.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r265-smll-167863539900314.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool ltsminxred
Input is NoC3x3-PT-6B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r265-smll-167863539900314
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1004K
-rw-r--r-- 1 mcc users 7.9K Feb 26 09:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 09:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 09:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 09:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 09:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 09:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 09:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 552K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-00
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-01
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-02
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-03
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-04
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-05
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-06
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-07
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-08
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-09
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-10
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-11
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-12
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-13
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-14
FORMULA_NAME NoC3x3-PT-6B-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1678942996916
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-6B
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-16 05:03:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-16 05:03:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 05:03:19] [INFO ] Load time of PNML (sax parser for PT used): 240 ms
[2023-03-16 05:03:19] [INFO ] Transformed 1544 places.
[2023-03-16 05:03:19] [INFO ] Transformed 2229 transitions.
[2023-03-16 05:03:19] [INFO ] Found NUPN structural information;
[2023-03-16 05:03:19] [INFO ] Parsed PT model containing 1544 places and 2229 transitions and 6663 arcs in 427 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 37 ms.
Support contains 139 out of 1544 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1544/1544 places, 2229/2229 transitions.
Discarding 337 places :
Symmetric choice reduction at 0 with 337 rule applications. Total rules 337 place count 1207 transition count 1892
Iterating global reduction 0 with 337 rules applied. Total rules applied 674 place count 1207 transition count 1892
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 764 place count 1117 transition count 1740
Iterating global reduction 0 with 90 rules applied. Total rules applied 854 place count 1117 transition count 1740
Discarding 69 places :
Symmetric choice reduction at 0 with 69 rule applications. Total rules 923 place count 1048 transition count 1628
Iterating global reduction 0 with 69 rules applied. Total rules applied 992 place count 1048 transition count 1628
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 1003 place count 1037 transition count 1606
Iterating global reduction 0 with 11 rules applied. Total rules applied 1014 place count 1037 transition count 1606
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 1021 place count 1030 transition count 1588
Iterating global reduction 0 with 7 rules applied. Total rules applied 1028 place count 1030 transition count 1588
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 1033 place count 1025 transition count 1583
Iterating global reduction 0 with 5 rules applied. Total rules applied 1038 place count 1025 transition count 1583
Applied a total of 1038 rules in 550 ms. Remains 1025 /1544 variables (removed 519) and now considering 1583/2229 (removed 646) transitions.
// Phase 1: matrix 1583 rows 1025 cols
[2023-03-16 05:03:20] [INFO ] Computed 66 place invariants in 47 ms
[2023-03-16 05:03:21] [INFO ] Implicit Places using invariants in 992 ms returned []
[2023-03-16 05:03:21] [INFO ] Invariant cache hit.
[2023-03-16 05:03:23] [INFO ] Implicit Places using invariants and state equation in 1544 ms returned []
Implicit Place search using SMT with State Equation took 2577 ms to find 0 implicit places.
[2023-03-16 05:03:23] [INFO ] Invariant cache hit.
[2023-03-16 05:03:24] [INFO ] Dead Transitions using invariants and state equation in 1805 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1025/1544 places, 1583/2229 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 4938 ms. Remains : 1025/1544 places, 1583/2229 transitions.
Support contains 139 out of 1025 places after structural reductions.
[2023-03-16 05:03:25] [INFO ] Flatten gal took : 232 ms
[2023-03-16 05:03:25] [INFO ] Flatten gal took : 125 ms
[2023-03-16 05:03:25] [INFO ] Input system was already deterministic with 1583 transitions.
Incomplete random walk after 10000 steps, including 22 resets, run finished after 953 ms. (steps per millisecond=10 ) properties (out of 78) seen :54
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 24) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 24) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=76 ) properties (out of 23) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 22) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 22) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 21) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 21) seen :0
Running SMT prover for 21 properties.
[2023-03-16 05:03:27] [INFO ] Invariant cache hit.
[2023-03-16 05:03:28] [INFO ] [Real]Absence check using 66 positive place invariants in 49 ms returned sat
[2023-03-16 05:03:28] [INFO ] After 999ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:21
[2023-03-16 05:03:28] [INFO ] [Nat]Absence check using 66 positive place invariants in 47 ms returned sat
[2023-03-16 05:03:32] [INFO ] After 3021ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :21
[2023-03-16 05:03:32] [INFO ] Deduced a trap composed of 23 places in 428 ms of which 10 ms to minimize.
[2023-03-16 05:03:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 570 ms
[2023-03-16 05:03:33] [INFO ] Deduced a trap composed of 63 places in 113 ms of which 5 ms to minimize.
[2023-03-16 05:03:33] [INFO ] Deduced a trap composed of 69 places in 94 ms of which 1 ms to minimize.
[2023-03-16 05:03:33] [INFO ] Deduced a trap composed of 51 places in 79 ms of which 2 ms to minimize.
[2023-03-16 05:03:33] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 537 ms
[2023-03-16 05:03:34] [INFO ] Deduced a trap composed of 90 places in 183 ms of which 1 ms to minimize.
[2023-03-16 05:03:34] [INFO ] Deduced a trap composed of 71 places in 196 ms of which 1 ms to minimize.
[2023-03-16 05:03:34] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 580 ms
[2023-03-16 05:03:34] [INFO ] Deduced a trap composed of 60 places in 239 ms of which 1 ms to minimize.
[2023-03-16 05:03:34] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 366 ms
[2023-03-16 05:03:35] [INFO ] Deduced a trap composed of 50 places in 124 ms of which 1 ms to minimize.
[2023-03-16 05:03:35] [INFO ] Deduced a trap composed of 74 places in 94 ms of which 0 ms to minimize.
[2023-03-16 05:03:35] [INFO ] Deduced a trap composed of 68 places in 76 ms of which 0 ms to minimize.
[2023-03-16 05:03:35] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 520 ms
[2023-03-16 05:03:36] [INFO ] Deduced a trap composed of 61 places in 600 ms of which 2 ms to minimize.
[2023-03-16 05:03:37] [INFO ] Deduced a trap composed of 53 places in 669 ms of which 1 ms to minimize.
[2023-03-16 05:03:38] [INFO ] Deduced a trap composed of 39 places in 585 ms of which 1 ms to minimize.
[2023-03-16 05:03:38] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 2097 ms
[2023-03-16 05:03:38] [INFO ] Deduced a trap composed of 125 places in 167 ms of which 1 ms to minimize.
[2023-03-16 05:03:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 351 ms
[2023-03-16 05:03:39] [INFO ] Deduced a trap composed of 48 places in 414 ms of which 0 ms to minimize.
[2023-03-16 05:03:39] [INFO ] Deduced a trap composed of 90 places in 383 ms of which 1 ms to minimize.
[2023-03-16 05:03:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1026 ms
[2023-03-16 05:03:40] [INFO ] Deduced a trap composed of 9 places in 622 ms of which 1 ms to minimize.
[2023-03-16 05:03:40] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 755 ms
[2023-03-16 05:03:41] [INFO ] Deduced a trap composed of 65 places in 149 ms of which 1 ms to minimize.
[2023-03-16 05:03:41] [INFO ] Deduced a trap composed of 62 places in 144 ms of which 1 ms to minimize.
[2023-03-16 05:03:41] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 494 ms
[2023-03-16 05:03:41] [INFO ] After 12369ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :21
Attempting to minimize the solution found.
Minimization took 2157 ms.
[2023-03-16 05:03:43] [INFO ] After 15597ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :21
Parikh walk visited 8 properties in 338 ms.
Support contains 37 out of 1025 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Drop transitions removed 52 transitions
Trivial Post-agglo rules discarded 52 transitions
Performed 52 trivial Post agglomeration. Transition count delta: 52
Iterating post reduction 0 with 52 rules applied. Total rules applied 52 place count 1025 transition count 1531
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 1 with 52 rules applied. Total rules applied 104 place count 973 transition count 1531
Performed 93 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 93 Pre rules applied. Total rules applied 104 place count 973 transition count 1438
Deduced a syphon composed of 93 places in 4 ms
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 2 with 186 rules applied. Total rules applied 290 place count 880 transition count 1438
Discarding 50 places :
Symmetric choice reduction at 2 with 50 rule applications. Total rules 340 place count 830 transition count 1273
Iterating global reduction 2 with 50 rules applied. Total rules applied 390 place count 830 transition count 1273
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 390 place count 830 transition count 1272
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 392 place count 829 transition count 1272
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 410 place count 811 transition count 1214
Iterating global reduction 2 with 18 rules applied. Total rules applied 428 place count 811 transition count 1214
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 433 place count 806 transition count 1204
Iterating global reduction 2 with 5 rules applied. Total rules applied 438 place count 806 transition count 1204
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 440 place count 806 transition count 1202
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 444 place count 802 transition count 1194
Iterating global reduction 3 with 4 rules applied. Total rules applied 448 place count 802 transition count 1194
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 450 place count 800 transition count 1190
Iterating global reduction 3 with 2 rules applied. Total rules applied 452 place count 800 transition count 1190
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 453 place count 800 transition count 1189
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 454 place count 799 transition count 1187
Iterating global reduction 4 with 1 rules applied. Total rules applied 455 place count 799 transition count 1187
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 456 place count 799 transition count 1186
Performed 166 Post agglomeration using F-continuation condition.Transition count delta: 166
Deduced a syphon composed of 166 places in 2 ms
Reduce places removed 166 places and 0 transitions.
Iterating global reduction 5 with 332 rules applied. Total rules applied 788 place count 633 transition count 1020
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 793 place count 628 transition count 1007
Iterating global reduction 5 with 5 rules applied. Total rules applied 798 place count 628 transition count 1007
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 800 place count 626 transition count 1003
Iterating global reduction 5 with 2 rules applied. Total rules applied 802 place count 626 transition count 1003
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 803 place count 625 transition count 1001
Iterating global reduction 5 with 1 rules applied. Total rules applied 804 place count 625 transition count 1001
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 805 place count 624 transition count 999
Iterating global reduction 5 with 1 rules applied. Total rules applied 806 place count 624 transition count 999
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 807 place count 623 transition count 997
Iterating global reduction 5 with 1 rules applied. Total rules applied 808 place count 623 transition count 997
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 809 place count 623 transition count 996
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -38
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 1011 place count 522 transition count 1034
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: -44
Deduced a syphon composed of 33 places in 2 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 6 with 66 rules applied. Total rules applied 1077 place count 489 transition count 1078
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 6 with 19 rules applied. Total rules applied 1096 place count 489 transition count 1059
Free-agglomeration rule applied 24 times.
Iterating global reduction 6 with 24 rules applied. Total rules applied 1120 place count 489 transition count 1035
Reduce places removed 24 places and 0 transitions.
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 6 with 38 rules applied. Total rules applied 1158 place count 465 transition count 1021
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 1159 place count 465 transition count 1020
Applied a total of 1159 rules in 654 ms. Remains 465 /1025 variables (removed 560) and now considering 1020/1583 (removed 563) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 655 ms. Remains : 465/1025 places, 1020/1583 transitions.
Incomplete random walk after 10000 steps, including 59 resets, run finished after 412 ms. (steps per millisecond=24 ) properties (out of 13) seen :5
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 8) seen :0
Running SMT prover for 8 properties.
[2023-03-16 05:03:45] [INFO ] Flow matrix only has 1014 transitions (discarded 6 similar events)
// Phase 1: matrix 1014 rows 465 cols
[2023-03-16 05:03:45] [INFO ] Computed 66 place invariants in 19 ms
[2023-03-16 05:03:45] [INFO ] [Real]Absence check using 66 positive place invariants in 24 ms returned sat
[2023-03-16 05:03:46] [INFO ] After 821ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2023-03-16 05:03:46] [INFO ] [Nat]Absence check using 66 positive place invariants in 24 ms returned sat
[2023-03-16 05:03:47] [INFO ] After 755ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2023-03-16 05:03:47] [INFO ] State equation strengthened by 51 read => feed constraints.
[2023-03-16 05:03:47] [INFO ] After 425ms SMT Verify possible using 51 Read/Feed constraints in natural domain returned unsat :0 sat :8
[2023-03-16 05:03:48] [INFO ] Deduced a trap composed of 40 places in 141 ms of which 1 ms to minimize.
[2023-03-16 05:03:48] [INFO ] Deduced a trap composed of 20 places in 152 ms of which 7 ms to minimize.
[2023-03-16 05:03:48] [INFO ] Deduced a trap composed of 10 places in 123 ms of which 1 ms to minimize.
[2023-03-16 05:03:48] [INFO ] Deduced a trap composed of 20 places in 108 ms of which 1 ms to minimize.
[2023-03-16 05:03:48] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 755 ms
[2023-03-16 05:03:49] [INFO ] After 1741ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 401 ms.
[2023-03-16 05:03:49] [INFO ] After 3154ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :8
Parikh walk visited 0 properties in 80 ms.
Support contains 26 out of 465 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 465/465 places, 1020/1020 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 465 transition count 1019
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 464 transition count 1019
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 2 place count 464 transition count 1018
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 463 transition count 1018
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 7 place count 460 transition count 1010
Iterating global reduction 2 with 3 rules applied. Total rules applied 10 place count 460 transition count 1010
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 22 place count 454 transition count 1004
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 23 place count 453 transition count 998
Iterating global reduction 2 with 1 rules applied. Total rules applied 24 place count 453 transition count 998
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 30 place count 450 transition count 998
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 31 place count 449 transition count 994
Iterating global reduction 2 with 1 rules applied. Total rules applied 32 place count 449 transition count 994
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 33 place count 449 transition count 993
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 34 place count 448 transition count 993
Applied a total of 34 rules in 95 ms. Remains 448 /465 variables (removed 17) and now considering 993/1020 (removed 27) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 95 ms. Remains : 448/465 places, 993/1020 transitions.
Incomplete random walk after 10000 steps, including 57 resets, run finished after 428 ms. (steps per millisecond=23 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 8) seen :1
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
[2023-03-16 05:03:50] [INFO ] Flow matrix only has 987 transitions (discarded 6 similar events)
// Phase 1: matrix 987 rows 448 cols
[2023-03-16 05:03:50] [INFO ] Computed 66 place invariants in 14 ms
[2023-03-16 05:03:50] [INFO ] [Real]Absence check using 66 positive place invariants in 24 ms returned sat
[2023-03-16 05:03:51] [INFO ] After 775ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2023-03-16 05:03:51] [INFO ] [Nat]Absence check using 66 positive place invariants in 24 ms returned sat
[2023-03-16 05:03:52] [INFO ] After 791ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :7
[2023-03-16 05:03:52] [INFO ] State equation strengthened by 51 read => feed constraints.
[2023-03-16 05:03:52] [INFO ] After 443ms SMT Verify possible using 51 Read/Feed constraints in natural domain returned unsat :0 sat :7
[2023-03-16 05:03:53] [INFO ] Deduced a trap composed of 19 places in 135 ms of which 1 ms to minimize.
[2023-03-16 05:03:53] [INFO ] Deduced a trap composed of 22 places in 112 ms of which 1 ms to minimize.
[2023-03-16 05:03:53] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 387 ms
[2023-03-16 05:03:53] [INFO ] After 1299ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 364 ms.
[2023-03-16 05:03:53] [INFO ] After 2681ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Parikh walk visited 0 properties in 27 ms.
Support contains 24 out of 448 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 448/448 places, 993/993 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 447 transition count 991
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 447 transition count 991
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 446 transition count 990
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 6 place count 445 transition count 990
Applied a total of 6 rules in 40 ms. Remains 445 /448 variables (removed 3) and now considering 990/993 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 40 ms. Remains : 445/448 places, 990/993 transitions.
Incomplete random walk after 10000 steps, including 61 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 7) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2023-03-16 05:03:54] [INFO ] Flow matrix only has 984 transitions (discarded 6 similar events)
// Phase 1: matrix 984 rows 445 cols
[2023-03-16 05:03:54] [INFO ] Computed 66 place invariants in 11 ms
[2023-03-16 05:03:54] [INFO ] [Real]Absence check using 66 positive place invariants in 23 ms returned sat
[2023-03-16 05:03:55] [INFO ] After 705ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-16 05:03:55] [INFO ] [Nat]Absence check using 66 positive place invariants in 22 ms returned sat
[2023-03-16 05:03:56] [INFO ] After 669ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-16 05:03:56] [INFO ] State equation strengthened by 51 read => feed constraints.
[2023-03-16 05:03:56] [INFO ] After 348ms SMT Verify possible using 51 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2023-03-16 05:03:56] [INFO ] After 787ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 286 ms.
[2023-03-16 05:03:57] [INFO ] After 1953ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
Parikh walk visited 0 properties in 66 ms.
Support contains 21 out of 445 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 445/445 places, 990/990 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 441 transition count 986
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 440 transition count 979
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 440 transition count 979
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 11 place count 440 transition count 978
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 12 place count 439 transition count 969
Iterating global reduction 0 with 1 rules applied. Total rules applied 13 place count 439 transition count 969
Applied a total of 13 rules in 52 ms. Remains 439 /445 variables (removed 6) and now considering 969/990 (removed 21) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 52 ms. Remains : 439/445 places, 969/990 transitions.
Incomplete random walk after 10000 steps, including 61 resets, run finished after 388 ms. (steps per millisecond=25 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
[2023-03-16 05:03:57] [INFO ] Flow matrix only has 967 transitions (discarded 2 similar events)
// Phase 1: matrix 967 rows 439 cols
[2023-03-16 05:03:57] [INFO ] Computed 66 place invariants in 27 ms
[2023-03-16 05:03:58] [INFO ] [Real]Absence check using 66 positive place invariants in 25 ms returned sat
[2023-03-16 05:03:58] [INFO ] After 654ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-16 05:03:58] [INFO ] [Nat]Absence check using 66 positive place invariants in 23 ms returned sat
[2023-03-16 05:03:59] [INFO ] After 537ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-16 05:03:59] [INFO ] State equation strengthened by 51 read => feed constraints.
[2023-03-16 05:03:59] [INFO ] After 244ms SMT Verify possible using 51 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2023-03-16 05:03:59] [INFO ] After 605ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 273 ms.
[2023-03-16 05:04:00] [INFO ] After 1605ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
Parikh walk visited 0 properties in 2 ms.
Support contains 18 out of 439 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 439/439 places, 969/969 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 438 transition count 961
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 438 transition count 961
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 8 place count 435 transition count 958
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 9 place count 435 transition count 957
Applied a total of 9 rules in 45 ms. Remains 435 /439 variables (removed 4) and now considering 957/969 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 45 ms. Remains : 435/439 places, 957/969 transitions.
Incomplete random walk after 10000 steps, including 64 resets, run finished after 313 ms. (steps per millisecond=31 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 5) seen :0
Interrupted probabilistic random walk after 148692 steps, run timeout after 3001 ms. (steps per millisecond=49 ) properties seen :{}
Probabilistic random walk after 148692 steps, saw 56630 distinct states, run finished after 3003 ms. (steps per millisecond=49 ) properties seen :0
Running SMT prover for 5 properties.
[2023-03-16 05:04:03] [INFO ] Flow matrix only has 955 transitions (discarded 2 similar events)
// Phase 1: matrix 955 rows 435 cols
[2023-03-16 05:04:03] [INFO ] Computed 66 place invariants in 5 ms
[2023-03-16 05:04:03] [INFO ] [Real]Absence check using 66 positive place invariants in 23 ms returned sat
[2023-03-16 05:04:04] [INFO ] After 610ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-16 05:04:04] [INFO ] [Nat]Absence check using 66 positive place invariants in 22 ms returned sat
[2023-03-16 05:04:04] [INFO ] After 535ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-16 05:04:04] [INFO ] State equation strengthened by 51 read => feed constraints.
[2023-03-16 05:04:05] [INFO ] After 304ms SMT Verify possible using 51 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2023-03-16 05:04:05] [INFO ] After 674ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 255 ms.
[2023-03-16 05:04:05] [INFO ] After 1656ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
Parikh walk visited 0 properties in 34 ms.
Support contains 18 out of 435 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 435/435 places, 957/957 transitions.
Applied a total of 0 rules in 15 ms. Remains 435 /435 variables (removed 0) and now considering 957/957 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 15 ms. Remains : 435/435 places, 957/957 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 435/435 places, 957/957 transitions.
Applied a total of 0 rules in 15 ms. Remains 435 /435 variables (removed 0) and now considering 957/957 (removed 0) transitions.
[2023-03-16 05:04:05] [INFO ] Flow matrix only has 955 transitions (discarded 2 similar events)
[2023-03-16 05:04:05] [INFO ] Invariant cache hit.
[2023-03-16 05:04:06] [INFO ] Implicit Places using invariants in 362 ms returned [13, 51, 95, 136, 198, 274, 320, 415]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 366 ms to find 8 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 427/435 places, 957/957 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 0 with 42 rules applied. Total rules applied 42 place count 406 transition count 936
Applied a total of 42 rules in 22 ms. Remains 406 /427 variables (removed 21) and now considering 936/957 (removed 21) transitions.
[2023-03-16 05:04:06] [INFO ] Flow matrix only has 934 transitions (discarded 2 similar events)
// Phase 1: matrix 934 rows 406 cols
[2023-03-16 05:04:06] [INFO ] Computed 58 place invariants in 5 ms
[2023-03-16 05:04:06] [INFO ] Implicit Places using invariants in 323 ms returned []
[2023-03-16 05:04:06] [INFO ] Flow matrix only has 934 transitions (discarded 2 similar events)
[2023-03-16 05:04:06] [INFO ] Invariant cache hit.
[2023-03-16 05:04:07] [INFO ] State equation strengthened by 53 read => feed constraints.
[2023-03-16 05:04:07] [INFO ] Implicit Places using invariants and state equation in 964 ms returned []
Implicit Place search using SMT with State Equation took 1292 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 406/435 places, 936/957 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 1698 ms. Remains : 406/435 places, 936/957 transitions.
Incomplete random walk after 10000 steps, including 71 resets, run finished after 266 ms. (steps per millisecond=37 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 5 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 5) seen :0
Interrupted probabilistic random walk after 159805 steps, run timeout after 3001 ms. (steps per millisecond=53 ) properties seen :{}
Probabilistic random walk after 159805 steps, saw 49927 distinct states, run finished after 3001 ms. (steps per millisecond=53 ) properties seen :0
Running SMT prover for 5 properties.
[2023-03-16 05:04:11] [INFO ] Flow matrix only has 934 transitions (discarded 2 similar events)
[2023-03-16 05:04:11] [INFO ] Invariant cache hit.
[2023-03-16 05:04:11] [INFO ] [Real]Absence check using 58 positive place invariants in 20 ms returned sat
[2023-03-16 05:04:11] [INFO ] After 574ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-16 05:04:11] [INFO ] [Nat]Absence check using 58 positive place invariants in 19 ms returned sat
[2023-03-16 05:04:12] [INFO ] After 502ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-16 05:04:12] [INFO ] State equation strengthened by 53 read => feed constraints.
[2023-03-16 05:04:12] [INFO ] After 310ms SMT Verify possible using 53 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2023-03-16 05:04:12] [INFO ] After 645ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 260 ms.
[2023-03-16 05:04:13] [INFO ] After 1585ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
Parikh walk visited 0 properties in 2 ms.
Support contains 18 out of 406 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 406/406 places, 936/936 transitions.
Applied a total of 0 rules in 14 ms. Remains 406 /406 variables (removed 0) and now considering 936/936 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 16 ms. Remains : 406/406 places, 936/936 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 406/406 places, 936/936 transitions.
Applied a total of 0 rules in 12 ms. Remains 406 /406 variables (removed 0) and now considering 936/936 (removed 0) transitions.
[2023-03-16 05:04:13] [INFO ] Flow matrix only has 934 transitions (discarded 2 similar events)
[2023-03-16 05:04:13] [INFO ] Invariant cache hit.
[2023-03-16 05:04:13] [INFO ] Implicit Places using invariants in 363 ms returned []
[2023-03-16 05:04:13] [INFO ] Flow matrix only has 934 transitions (discarded 2 similar events)
[2023-03-16 05:04:13] [INFO ] Invariant cache hit.
[2023-03-16 05:04:14] [INFO ] State equation strengthened by 53 read => feed constraints.
[2023-03-16 05:04:14] [INFO ] Implicit Places using invariants and state equation in 1004 ms returned []
Implicit Place search using SMT with State Equation took 1369 ms to find 0 implicit places.
[2023-03-16 05:04:14] [INFO ] Redundant transitions in 69 ms returned []
[2023-03-16 05:04:14] [INFO ] Flow matrix only has 934 transitions (discarded 2 similar events)
[2023-03-16 05:04:14] [INFO ] Invariant cache hit.
[2023-03-16 05:04:15] [INFO ] Dead Transitions using invariants and state equation in 695 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2156 ms. Remains : 406/406 places, 936/936 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 406 transition count 934
Drop transitions removed 13 transitions
Redundant transition composition rules discarded 13 transitions
Iterating global reduction 1 with 13 rules applied. Total rules applied 15 place count 406 transition count 921
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 1 with 7 rules applied. Total rules applied 22 place count 406 transition count 921
Applied a total of 22 rules in 38 ms. Remains 406 /406 variables (removed 0) and now considering 921/936 (removed 15) transitions.
Running SMT prover for 5 properties.
// Phase 1: matrix 921 rows 406 cols
[2023-03-16 05:04:15] [INFO ] Computed 58 place invariants in 8 ms
[2023-03-16 05:04:15] [INFO ] [Real]Absence check using 58 positive place invariants in 30 ms returned sat
[2023-03-16 05:04:16] [INFO ] After 732ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2023-03-16 05:04:16] [INFO ] [Nat]Absence check using 58 positive place invariants in 21 ms returned sat
[2023-03-16 05:04:16] [INFO ] After 549ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2023-03-16 05:04:17] [INFO ] After 899ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 246 ms.
[2023-03-16 05:04:17] [INFO ] After 1324ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
[2023-03-16 05:04:17] [INFO ] Flatten gal took : 74 ms
[2023-03-16 05:04:17] [INFO ] Flatten gal took : 84 ms
[2023-03-16 05:04:17] [INFO ] Input system was already deterministic with 1583 transitions.
Computed a total of 65 stabilizing places and 65 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 55 place count 970 transition count 1487
Iterating global reduction 0 with 55 rules applied. Total rules applied 110 place count 970 transition count 1487
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 136 place count 944 transition count 1439
Iterating global reduction 0 with 26 rules applied. Total rules applied 162 place count 944 transition count 1439
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 177 place count 929 transition count 1407
Iterating global reduction 0 with 15 rules applied. Total rules applied 192 place count 929 transition count 1407
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 204 place count 917 transition count 1388
Iterating global reduction 0 with 12 rules applied. Total rules applied 216 place count 917 transition count 1388
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 220 place count 917 transition count 1384
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 225 place count 912 transition count 1377
Iterating global reduction 1 with 5 rules applied. Total rules applied 230 place count 912 transition count 1377
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 233 place count 909 transition count 1372
Iterating global reduction 1 with 3 rules applied. Total rules applied 236 place count 909 transition count 1372
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 239 place count 906 transition count 1367
Iterating global reduction 1 with 3 rules applied. Total rules applied 242 place count 906 transition count 1367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 243 place count 906 transition count 1366
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 245 place count 904 transition count 1363
Iterating global reduction 2 with 2 rules applied. Total rules applied 247 place count 904 transition count 1363
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 250 place count 904 transition count 1360
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 251 place count 903 transition count 1359
Iterating global reduction 3 with 1 rules applied. Total rules applied 252 place count 903 transition count 1359
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 254 place count 903 transition count 1357
Applied a total of 254 rules in 240 ms. Remains 903 /1025 variables (removed 122) and now considering 1357/1583 (removed 226) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 240 ms. Remains : 903/1025 places, 1357/1583 transitions.
[2023-03-16 05:04:18] [INFO ] Flatten gal took : 52 ms
[2023-03-16 05:04:18] [INFO ] Flatten gal took : 48 ms
[2023-03-16 05:04:18] [INFO ] Input system was already deterministic with 1357 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 973 transition count 1495
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 973 transition count 1495
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 129 place count 948 transition count 1445
Iterating global reduction 0 with 25 rules applied. Total rules applied 154 place count 948 transition count 1445
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 168 place count 934 transition count 1419
Iterating global reduction 0 with 14 rules applied. Total rules applied 182 place count 934 transition count 1419
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 192 place count 924 transition count 1402
Iterating global reduction 0 with 10 rules applied. Total rules applied 202 place count 924 transition count 1402
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 206 place count 924 transition count 1398
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 211 place count 919 transition count 1391
Iterating global reduction 1 with 5 rules applied. Total rules applied 216 place count 919 transition count 1391
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 219 place count 916 transition count 1386
Iterating global reduction 1 with 3 rules applied. Total rules applied 222 place count 916 transition count 1386
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 225 place count 913 transition count 1381
Iterating global reduction 1 with 3 rules applied. Total rules applied 228 place count 913 transition count 1381
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 229 place count 913 transition count 1380
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 230 place count 912 transition count 1378
Iterating global reduction 2 with 1 rules applied. Total rules applied 231 place count 912 transition count 1378
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 232 place count 911 transition count 1377
Iterating global reduction 2 with 1 rules applied. Total rules applied 233 place count 911 transition count 1377
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 234 place count 911 transition count 1376
Applied a total of 234 rules in 227 ms. Remains 911 /1025 variables (removed 114) and now considering 1376/1583 (removed 207) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 229 ms. Remains : 911/1025 places, 1376/1583 transitions.
[2023-03-16 05:04:18] [INFO ] Flatten gal took : 45 ms
[2023-03-16 05:04:18] [INFO ] Flatten gal took : 52 ms
[2023-03-16 05:04:18] [INFO ] Input system was already deterministic with 1376 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 55 transitions
Trivial Post-agglo rules discarded 55 transitions
Performed 55 trivial Post agglomeration. Transition count delta: 55
Iterating post reduction 0 with 55 rules applied. Total rules applied 55 place count 1024 transition count 1527
Reduce places removed 55 places and 0 transitions.
Iterating post reduction 1 with 55 rules applied. Total rules applied 110 place count 969 transition count 1527
Performed 93 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 93 Pre rules applied. Total rules applied 110 place count 969 transition count 1434
Deduced a syphon composed of 93 places in 4 ms
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 2 with 186 rules applied. Total rules applied 296 place count 876 transition count 1434
Discarding 55 places :
Symmetric choice reduction at 2 with 55 rule applications. Total rules 351 place count 821 transition count 1254
Iterating global reduction 2 with 55 rules applied. Total rules applied 406 place count 821 transition count 1254
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 406 place count 821 transition count 1251
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 412 place count 818 transition count 1251
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 432 place count 798 transition count 1182
Iterating global reduction 2 with 20 rules applied. Total rules applied 452 place count 798 transition count 1182
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 458 place count 792 transition count 1168
Iterating global reduction 2 with 6 rules applied. Total rules applied 464 place count 792 transition count 1168
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 466 place count 792 transition count 1166
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 469 place count 789 transition count 1160
Iterating global reduction 3 with 3 rules applied. Total rules applied 472 place count 789 transition count 1160
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 474 place count 787 transition count 1156
Iterating global reduction 3 with 2 rules applied. Total rules applied 476 place count 787 transition count 1156
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 477 place count 787 transition count 1155
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 478 place count 786 transition count 1153
Iterating global reduction 4 with 1 rules applied. Total rules applied 479 place count 786 transition count 1153
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 480 place count 786 transition count 1152
Performed 173 Post agglomeration using F-continuation condition.Transition count delta: 173
Deduced a syphon composed of 173 places in 0 ms
Reduce places removed 173 places and 0 transitions.
Iterating global reduction 5 with 346 rules applied. Total rules applied 826 place count 613 transition count 979
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 832 place count 607 transition count 964
Iterating global reduction 5 with 6 rules applied. Total rules applied 838 place count 607 transition count 964
Discarding 4 places :
Symmetric choice reduction at 5 with 4 rule applications. Total rules 842 place count 603 transition count 956
Iterating global reduction 5 with 4 rules applied. Total rules applied 846 place count 603 transition count 956
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 847 place count 602 transition count 954
Iterating global reduction 5 with 1 rules applied. Total rules applied 848 place count 602 transition count 954
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 849 place count 601 transition count 952
Iterating global reduction 5 with 1 rules applied. Total rules applied 850 place count 601 transition count 952
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 851 place count 600 transition count 950
Iterating global reduction 5 with 1 rules applied. Total rules applied 852 place count 600 transition count 950
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 853 place count 600 transition count 949
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 854 place count 599 transition count 948
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 856 place count 597 transition count 948
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 7 with 10 rules applied. Total rules applied 866 place count 592 transition count 943
Applied a total of 866 rules in 462 ms. Remains 592 /1025 variables (removed 433) and now considering 943/1583 (removed 640) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 463 ms. Remains : 592/1025 places, 943/1583 transitions.
[2023-03-16 05:04:19] [INFO ] Flatten gal took : 30 ms
[2023-03-16 05:04:19] [INFO ] Flatten gal took : 31 ms
[2023-03-16 05:04:19] [INFO ] Input system was already deterministic with 943 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 969 transition count 1489
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 969 transition count 1489
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 139 place count 942 transition count 1436
Iterating global reduction 0 with 27 rules applied. Total rules applied 166 place count 942 transition count 1436
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 181 place count 927 transition count 1404
Iterating global reduction 0 with 15 rules applied. Total rules applied 196 place count 927 transition count 1404
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 208 place count 915 transition count 1385
Iterating global reduction 0 with 12 rules applied. Total rules applied 220 place count 915 transition count 1385
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 224 place count 915 transition count 1381
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 229 place count 910 transition count 1374
Iterating global reduction 1 with 5 rules applied. Total rules applied 234 place count 910 transition count 1374
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 236 place count 908 transition count 1371
Iterating global reduction 1 with 2 rules applied. Total rules applied 238 place count 908 transition count 1371
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 240 place count 906 transition count 1368
Iterating global reduction 1 with 2 rules applied. Total rules applied 242 place count 906 transition count 1368
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 243 place count 906 transition count 1367
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 244 place count 905 transition count 1365
Iterating global reduction 2 with 1 rules applied. Total rules applied 245 place count 905 transition count 1365
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 246 place count 904 transition count 1364
Iterating global reduction 2 with 1 rules applied. Total rules applied 247 place count 904 transition count 1364
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 248 place count 904 transition count 1363
Applied a total of 248 rules in 236 ms. Remains 904 /1025 variables (removed 121) and now considering 1363/1583 (removed 220) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 238 ms. Remains : 904/1025 places, 1363/1583 transitions.
[2023-03-16 05:04:19] [INFO ] Flatten gal took : 47 ms
[2023-03-16 05:04:19] [INFO ] Flatten gal took : 52 ms
[2023-03-16 05:04:19] [INFO ] Input system was already deterministic with 1363 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 1024 transition count 1526
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 1 with 56 rules applied. Total rules applied 112 place count 968 transition count 1526
Performed 92 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 92 Pre rules applied. Total rules applied 112 place count 968 transition count 1434
Deduced a syphon composed of 92 places in 3 ms
Reduce places removed 92 places and 0 transitions.
Iterating global reduction 2 with 184 rules applied. Total rules applied 296 place count 876 transition count 1434
Discarding 56 places :
Symmetric choice reduction at 2 with 56 rule applications. Total rules 352 place count 820 transition count 1257
Iterating global reduction 2 with 56 rules applied. Total rules applied 408 place count 820 transition count 1257
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 408 place count 820 transition count 1252
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 418 place count 815 transition count 1252
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 443 place count 790 transition count 1156
Iterating global reduction 2 with 25 rules applied. Total rules applied 468 place count 790 transition count 1156
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 474 place count 784 transition count 1143
Iterating global reduction 2 with 6 rules applied. Total rules applied 480 place count 784 transition count 1143
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 484 place count 780 transition count 1135
Iterating global reduction 2 with 4 rules applied. Total rules applied 488 place count 780 transition count 1135
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 490 place count 778 transition count 1131
Iterating global reduction 2 with 2 rules applied. Total rules applied 492 place count 778 transition count 1131
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 493 place count 778 transition count 1130
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 494 place count 777 transition count 1128
Iterating global reduction 3 with 1 rules applied. Total rules applied 495 place count 777 transition count 1128
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 496 place count 777 transition count 1127
Performed 174 Post agglomeration using F-continuation condition.Transition count delta: 174
Deduced a syphon composed of 174 places in 0 ms
Reduce places removed 174 places and 0 transitions.
Iterating global reduction 4 with 348 rules applied. Total rules applied 844 place count 603 transition count 953
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 847 place count 600 transition count 947
Iterating global reduction 4 with 3 rules applied. Total rules applied 850 place count 600 transition count 947
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 853 place count 597 transition count 941
Iterating global reduction 4 with 3 rules applied. Total rules applied 856 place count 597 transition count 941
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 857 place count 596 transition count 940
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 858 place count 595 transition count 940
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 862 place count 593 transition count 938
Applied a total of 862 rules in 337 ms. Remains 593 /1025 variables (removed 432) and now considering 938/1583 (removed 645) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 339 ms. Remains : 593/1025 places, 938/1583 transitions.
[2023-03-16 05:04:20] [INFO ] Flatten gal took : 25 ms
[2023-03-16 05:04:20] [INFO ] Flatten gal took : 28 ms
[2023-03-16 05:04:20] [INFO ] Input system was already deterministic with 938 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 55 places :
Symmetric choice reduction at 0 with 55 rule applications. Total rules 55 place count 970 transition count 1488
Iterating global reduction 0 with 55 rules applied. Total rules applied 110 place count 970 transition count 1488
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 136 place count 944 transition count 1437
Iterating global reduction 0 with 26 rules applied. Total rules applied 162 place count 944 transition count 1437
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 176 place count 930 transition count 1407
Iterating global reduction 0 with 14 rules applied. Total rules applied 190 place count 930 transition count 1407
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 201 place count 919 transition count 1389
Iterating global reduction 0 with 11 rules applied. Total rules applied 212 place count 919 transition count 1389
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 216 place count 919 transition count 1385
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 220 place count 915 transition count 1380
Iterating global reduction 1 with 4 rules applied. Total rules applied 224 place count 915 transition count 1380
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 226 place count 913 transition count 1377
Iterating global reduction 1 with 2 rules applied. Total rules applied 228 place count 913 transition count 1377
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 230 place count 911 transition count 1373
Iterating global reduction 1 with 2 rules applied. Total rules applied 232 place count 911 transition count 1373
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 234 place count 909 transition count 1370
Iterating global reduction 1 with 2 rules applied. Total rules applied 236 place count 909 transition count 1370
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 239 place count 909 transition count 1367
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 240 place count 908 transition count 1366
Iterating global reduction 2 with 1 rules applied. Total rules applied 241 place count 908 transition count 1366
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 242 place count 908 transition count 1365
Applied a total of 242 rules in 238 ms. Remains 908 /1025 variables (removed 117) and now considering 1365/1583 (removed 218) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 239 ms. Remains : 908/1025 places, 1365/1583 transitions.
[2023-03-16 05:04:20] [INFO ] Flatten gal took : 37 ms
[2023-03-16 05:04:20] [INFO ] Flatten gal took : 39 ms
[2023-03-16 05:04:20] [INFO ] Input system was already deterministic with 1365 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 973 transition count 1491
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 973 transition count 1491
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 129 place count 948 transition count 1444
Iterating global reduction 0 with 25 rules applied. Total rules applied 154 place count 948 transition count 1444
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 168 place count 934 transition count 1414
Iterating global reduction 0 with 14 rules applied. Total rules applied 182 place count 934 transition count 1414
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 193 place count 923 transition count 1397
Iterating global reduction 0 with 11 rules applied. Total rules applied 204 place count 923 transition count 1397
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 208 place count 923 transition count 1393
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 212 place count 919 transition count 1387
Iterating global reduction 1 with 4 rules applied. Total rules applied 216 place count 919 transition count 1387
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 218 place count 917 transition count 1384
Iterating global reduction 1 with 2 rules applied. Total rules applied 220 place count 917 transition count 1384
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 222 place count 915 transition count 1381
Iterating global reduction 1 with 2 rules applied. Total rules applied 224 place count 915 transition count 1381
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 225 place count 915 transition count 1380
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 226 place count 914 transition count 1378
Iterating global reduction 2 with 1 rules applied. Total rules applied 227 place count 914 transition count 1378
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 228 place count 913 transition count 1377
Iterating global reduction 2 with 1 rules applied. Total rules applied 229 place count 913 transition count 1377
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 230 place count 913 transition count 1376
Applied a total of 230 rules in 242 ms. Remains 913 /1025 variables (removed 112) and now considering 1376/1583 (removed 207) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 243 ms. Remains : 913/1025 places, 1376/1583 transitions.
[2023-03-16 05:04:21] [INFO ] Flatten gal took : 38 ms
[2023-03-16 05:04:21] [INFO ] Flatten gal took : 39 ms
[2023-03-16 05:04:21] [INFO ] Input system was already deterministic with 1376 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 57 places :
Symmetric choice reduction at 0 with 57 rule applications. Total rules 57 place count 968 transition count 1485
Iterating global reduction 0 with 57 rules applied. Total rules applied 114 place count 968 transition count 1485
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 141 place count 941 transition count 1432
Iterating global reduction 0 with 27 rules applied. Total rules applied 168 place count 941 transition count 1432
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 183 place count 926 transition count 1400
Iterating global reduction 0 with 15 rules applied. Total rules applied 198 place count 926 transition count 1400
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 210 place count 914 transition count 1381
Iterating global reduction 0 with 12 rules applied. Total rules applied 222 place count 914 transition count 1381
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 226 place count 914 transition count 1377
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 231 place count 909 transition count 1370
Iterating global reduction 1 with 5 rules applied. Total rules applied 236 place count 909 transition count 1370
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 239 place count 906 transition count 1365
Iterating global reduction 1 with 3 rules applied. Total rules applied 242 place count 906 transition count 1365
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 245 place count 903 transition count 1360
Iterating global reduction 1 with 3 rules applied. Total rules applied 248 place count 903 transition count 1360
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 249 place count 903 transition count 1359
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 251 place count 901 transition count 1356
Iterating global reduction 2 with 2 rules applied. Total rules applied 253 place count 901 transition count 1356
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 256 place count 901 transition count 1353
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 257 place count 900 transition count 1352
Iterating global reduction 3 with 1 rules applied. Total rules applied 258 place count 900 transition count 1352
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 259 place count 900 transition count 1351
Applied a total of 259 rules in 237 ms. Remains 900 /1025 variables (removed 125) and now considering 1351/1583 (removed 232) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 238 ms. Remains : 900/1025 places, 1351/1583 transitions.
[2023-03-16 05:04:21] [INFO ] Flatten gal took : 33 ms
[2023-03-16 05:04:21] [INFO ] Flatten gal took : 35 ms
[2023-03-16 05:04:21] [INFO ] Input system was already deterministic with 1351 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 52 places :
Symmetric choice reduction at 0 with 52 rule applications. Total rules 52 place count 973 transition count 1491
Iterating global reduction 0 with 52 rules applied. Total rules applied 104 place count 973 transition count 1491
Discarding 23 places :
Symmetric choice reduction at 0 with 23 rule applications. Total rules 127 place count 950 transition count 1445
Iterating global reduction 0 with 23 rules applied. Total rules applied 150 place count 950 transition count 1445
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 162 place count 938 transition count 1419
Iterating global reduction 0 with 12 rules applied. Total rules applied 174 place count 938 transition count 1419
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 182 place count 930 transition count 1405
Iterating global reduction 0 with 8 rules applied. Total rules applied 190 place count 930 transition count 1405
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 194 place count 930 transition count 1401
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 198 place count 926 transition count 1395
Iterating global reduction 1 with 4 rules applied. Total rules applied 202 place count 926 transition count 1395
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 205 place count 923 transition count 1390
Iterating global reduction 1 with 3 rules applied. Total rules applied 208 place count 923 transition count 1390
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 211 place count 920 transition count 1385
Iterating global reduction 1 with 3 rules applied. Total rules applied 214 place count 920 transition count 1385
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 215 place count 920 transition count 1384
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 217 place count 918 transition count 1381
Iterating global reduction 2 with 2 rules applied. Total rules applied 219 place count 918 transition count 1381
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 222 place count 918 transition count 1378
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 223 place count 917 transition count 1377
Iterating global reduction 3 with 1 rules applied. Total rules applied 224 place count 917 transition count 1377
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 225 place count 917 transition count 1376
Applied a total of 225 rules in 234 ms. Remains 917 /1025 variables (removed 108) and now considering 1376/1583 (removed 207) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 234 ms. Remains : 917/1025 places, 1376/1583 transitions.
[2023-03-16 05:04:21] [INFO ] Flatten gal took : 32 ms
[2023-03-16 05:04:21] [INFO ] Flatten gal took : 35 ms
[2023-03-16 05:04:22] [INFO ] Input system was already deterministic with 1376 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 1024 transition count 1524
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 116 place count 966 transition count 1524
Performed 95 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 95 Pre rules applied. Total rules applied 116 place count 966 transition count 1429
Deduced a syphon composed of 95 places in 4 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 2 with 190 rules applied. Total rules applied 306 place count 871 transition count 1429
Discarding 61 places :
Symmetric choice reduction at 2 with 61 rule applications. Total rules 367 place count 810 transition count 1240
Iterating global reduction 2 with 61 rules applied. Total rules applied 428 place count 810 transition count 1240
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 428 place count 810 transition count 1235
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 438 place count 805 transition count 1235
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 463 place count 780 transition count 1139
Iterating global reduction 2 with 25 rules applied. Total rules applied 488 place count 780 transition count 1139
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 495 place count 773 transition count 1124
Iterating global reduction 2 with 7 rules applied. Total rules applied 502 place count 773 transition count 1124
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 503 place count 773 transition count 1123
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 507 place count 769 transition count 1115
Iterating global reduction 3 with 4 rules applied. Total rules applied 511 place count 769 transition count 1115
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 513 place count 767 transition count 1111
Iterating global reduction 3 with 2 rules applied. Total rules applied 515 place count 767 transition count 1111
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 516 place count 767 transition count 1110
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 517 place count 766 transition count 1108
Iterating global reduction 4 with 1 rules applied. Total rules applied 518 place count 766 transition count 1108
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 519 place count 766 transition count 1107
Performed 178 Post agglomeration using F-continuation condition.Transition count delta: 178
Deduced a syphon composed of 178 places in 0 ms
Reduce places removed 178 places and 0 transitions.
Iterating global reduction 5 with 356 rules applied. Total rules applied 875 place count 588 transition count 929
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 881 place count 582 transition count 917
Iterating global reduction 5 with 6 rules applied. Total rules applied 887 place count 582 transition count 917
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 892 place count 577 transition count 907
Iterating global reduction 5 with 5 rules applied. Total rules applied 897 place count 577 transition count 907
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 898 place count 576 transition count 905
Iterating global reduction 5 with 1 rules applied. Total rules applied 899 place count 576 transition count 905
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 900 place count 575 transition count 903
Iterating global reduction 5 with 1 rules applied. Total rules applied 901 place count 575 transition count 903
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 902 place count 574 transition count 901
Iterating global reduction 5 with 1 rules applied. Total rules applied 903 place count 574 transition count 901
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 904 place count 574 transition count 900
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 905 place count 573 transition count 899
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 914 place count 564 transition count 899
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 0 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 7 with 48 rules applied. Total rules applied 962 place count 540 transition count 875
Applied a total of 962 rules in 354 ms. Remains 540 /1025 variables (removed 485) and now considering 875/1583 (removed 708) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 355 ms. Remains : 540/1025 places, 875/1583 transitions.
[2023-03-16 05:04:22] [INFO ] Flatten gal took : 21 ms
[2023-03-16 05:04:22] [INFO ] Flatten gal took : 23 ms
[2023-03-16 05:04:22] [INFO ] Input system was already deterministic with 875 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 56 places :
Symmetric choice reduction at 0 with 56 rule applications. Total rules 56 place count 969 transition count 1486
Iterating global reduction 0 with 56 rules applied. Total rules applied 112 place count 969 transition count 1486
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 138 place count 943 transition count 1436
Iterating global reduction 0 with 26 rules applied. Total rules applied 164 place count 943 transition count 1436
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 179 place count 928 transition count 1404
Iterating global reduction 0 with 15 rules applied. Total rules applied 194 place count 928 transition count 1404
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 206 place count 916 transition count 1385
Iterating global reduction 0 with 12 rules applied. Total rules applied 218 place count 916 transition count 1385
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 222 place count 916 transition count 1381
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 227 place count 911 transition count 1374
Iterating global reduction 1 with 5 rules applied. Total rules applied 232 place count 911 transition count 1374
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 235 place count 908 transition count 1369
Iterating global reduction 1 with 3 rules applied. Total rules applied 238 place count 908 transition count 1369
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 241 place count 905 transition count 1364
Iterating global reduction 1 with 3 rules applied. Total rules applied 244 place count 905 transition count 1364
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 245 place count 905 transition count 1363
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 247 place count 903 transition count 1360
Iterating global reduction 2 with 2 rules applied. Total rules applied 249 place count 903 transition count 1360
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 252 place count 903 transition count 1357
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 253 place count 902 transition count 1356
Iterating global reduction 3 with 1 rules applied. Total rules applied 254 place count 902 transition count 1356
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 255 place count 902 transition count 1355
Applied a total of 255 rules in 228 ms. Remains 902 /1025 variables (removed 123) and now considering 1355/1583 (removed 228) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 229 ms. Remains : 902/1025 places, 1355/1583 transitions.
[2023-03-16 05:04:22] [INFO ] Flatten gal took : 33 ms
[2023-03-16 05:04:22] [INFO ] Flatten gal took : 53 ms
[2023-03-16 05:04:22] [INFO ] Input system was already deterministic with 1355 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 0 with 56 rules applied. Total rules applied 56 place count 1024 transition count 1526
Reduce places removed 56 places and 0 transitions.
Iterating post reduction 1 with 56 rules applied. Total rules applied 112 place count 968 transition count 1526
Performed 95 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 95 Pre rules applied. Total rules applied 112 place count 968 transition count 1431
Deduced a syphon composed of 95 places in 4 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 2 with 190 rules applied. Total rules applied 302 place count 873 transition count 1431
Discarding 58 places :
Symmetric choice reduction at 2 with 58 rule applications. Total rules 360 place count 815 transition count 1256
Iterating global reduction 2 with 58 rules applied. Total rules applied 418 place count 815 transition count 1256
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 418 place count 815 transition count 1252
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 426 place count 811 transition count 1252
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 450 place count 787 transition count 1165
Iterating global reduction 2 with 24 rules applied. Total rules applied 474 place count 787 transition count 1165
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 480 place count 781 transition count 1152
Iterating global reduction 2 with 6 rules applied. Total rules applied 486 place count 781 transition count 1152
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 487 place count 781 transition count 1151
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 490 place count 778 transition count 1145
Iterating global reduction 3 with 3 rules applied. Total rules applied 493 place count 778 transition count 1145
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 495 place count 776 transition count 1141
Iterating global reduction 3 with 2 rules applied. Total rules applied 497 place count 776 transition count 1141
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 499 place count 776 transition count 1139
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 500 place count 775 transition count 1137
Iterating global reduction 4 with 1 rules applied. Total rules applied 501 place count 775 transition count 1137
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 502 place count 775 transition count 1136
Performed 175 Post agglomeration using F-continuation condition.Transition count delta: 175
Deduced a syphon composed of 175 places in 1 ms
Reduce places removed 175 places and 0 transitions.
Iterating global reduction 5 with 350 rules applied. Total rules applied 852 place count 600 transition count 961
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 858 place count 594 transition count 949
Iterating global reduction 5 with 6 rules applied. Total rules applied 864 place count 594 transition count 949
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 869 place count 589 transition count 939
Iterating global reduction 5 with 5 rules applied. Total rules applied 874 place count 589 transition count 939
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 875 place count 588 transition count 937
Iterating global reduction 5 with 1 rules applied. Total rules applied 876 place count 588 transition count 937
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 877 place count 587 transition count 935
Iterating global reduction 5 with 1 rules applied. Total rules applied 878 place count 587 transition count 935
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 879 place count 586 transition count 933
Iterating global reduction 5 with 1 rules applied. Total rules applied 880 place count 586 transition count 933
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 881 place count 586 transition count 932
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 882 place count 585 transition count 931
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 883 place count 584 transition count 931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 887 place count 582 transition count 929
Applied a total of 887 rules in 360 ms. Remains 582 /1025 variables (removed 443) and now considering 929/1583 (removed 654) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 361 ms. Remains : 582/1025 places, 929/1583 transitions.
[2023-03-16 05:04:23] [INFO ] Flatten gal took : 23 ms
[2023-03-16 05:04:23] [INFO ] Flatten gal took : 26 ms
[2023-03-16 05:04:23] [INFO ] Input system was already deterministic with 929 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 54 place count 971 transition count 1491
Iterating global reduction 0 with 54 rules applied. Total rules applied 108 place count 971 transition count 1491
Discarding 26 places :
Symmetric choice reduction at 0 with 26 rule applications. Total rules 134 place count 945 transition count 1439
Iterating global reduction 0 with 26 rules applied. Total rules applied 160 place count 945 transition count 1439
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 175 place count 930 transition count 1407
Iterating global reduction 0 with 15 rules applied. Total rules applied 190 place count 930 transition count 1407
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 202 place count 918 transition count 1388
Iterating global reduction 0 with 12 rules applied. Total rules applied 214 place count 918 transition count 1388
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 218 place count 918 transition count 1384
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 223 place count 913 transition count 1377
Iterating global reduction 1 with 5 rules applied. Total rules applied 228 place count 913 transition count 1377
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 231 place count 910 transition count 1372
Iterating global reduction 1 with 3 rules applied. Total rules applied 234 place count 910 transition count 1372
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 237 place count 907 transition count 1367
Iterating global reduction 1 with 3 rules applied. Total rules applied 240 place count 907 transition count 1367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 241 place count 907 transition count 1366
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 243 place count 905 transition count 1363
Iterating global reduction 2 with 2 rules applied. Total rules applied 245 place count 905 transition count 1363
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 248 place count 905 transition count 1360
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 249 place count 904 transition count 1359
Iterating global reduction 3 with 1 rules applied. Total rules applied 250 place count 904 transition count 1359
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 251 place count 904 transition count 1358
Applied a total of 251 rules in 260 ms. Remains 904 /1025 variables (removed 121) and now considering 1358/1583 (removed 225) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 261 ms. Remains : 904/1025 places, 1358/1583 transitions.
[2023-03-16 05:04:23] [INFO ] Flatten gal took : 37 ms
[2023-03-16 05:04:23] [INFO ] Flatten gal took : 41 ms
[2023-03-16 05:04:23] [INFO ] Input system was already deterministic with 1358 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Discarding 49 places :
Symmetric choice reduction at 0 with 49 rule applications. Total rules 49 place count 976 transition count 1500
Iterating global reduction 0 with 49 rules applied. Total rules applied 98 place count 976 transition count 1500
Discarding 24 places :
Symmetric choice reduction at 0 with 24 rule applications. Total rules 122 place count 952 transition count 1455
Iterating global reduction 0 with 24 rules applied. Total rules applied 146 place count 952 transition count 1455
Discarding 14 places :
Symmetric choice reduction at 0 with 14 rule applications. Total rules 160 place count 938 transition count 1425
Iterating global reduction 0 with 14 rules applied. Total rules applied 174 place count 938 transition count 1425
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 184 place count 928 transition count 1409
Iterating global reduction 0 with 10 rules applied. Total rules applied 194 place count 928 transition count 1409
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 198 place count 928 transition count 1405
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 203 place count 923 transition count 1398
Iterating global reduction 1 with 5 rules applied. Total rules applied 208 place count 923 transition count 1398
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 211 place count 920 transition count 1393
Iterating global reduction 1 with 3 rules applied. Total rules applied 214 place count 920 transition count 1393
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 217 place count 917 transition count 1388
Iterating global reduction 1 with 3 rules applied. Total rules applied 220 place count 917 transition count 1388
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 221 place count 917 transition count 1387
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 223 place count 915 transition count 1384
Iterating global reduction 2 with 2 rules applied. Total rules applied 225 place count 915 transition count 1384
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 228 place count 915 transition count 1381
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 229 place count 914 transition count 1380
Iterating global reduction 3 with 1 rules applied. Total rules applied 230 place count 914 transition count 1380
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 232 place count 914 transition count 1378
Applied a total of 232 rules in 227 ms. Remains 914 /1025 variables (removed 111) and now considering 1378/1583 (removed 205) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 228 ms. Remains : 914/1025 places, 1378/1583 transitions.
[2023-03-16 05:04:24] [INFO ] Flatten gal took : 33 ms
[2023-03-16 05:04:24] [INFO ] Flatten gal took : 46 ms
[2023-03-16 05:04:24] [INFO ] Input system was already deterministic with 1378 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 1024 transition count 1525
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 967 transition count 1525
Performed 95 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 95 Pre rules applied. Total rules applied 114 place count 967 transition count 1430
Deduced a syphon composed of 95 places in 4 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 2 with 190 rules applied. Total rules applied 304 place count 872 transition count 1430
Discarding 58 places :
Symmetric choice reduction at 2 with 58 rule applications. Total rules 362 place count 814 transition count 1248
Iterating global reduction 2 with 58 rules applied. Total rules applied 420 place count 814 transition count 1248
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 420 place count 814 transition count 1243
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 430 place count 809 transition count 1243
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 453 place count 786 transition count 1154
Iterating global reduction 2 with 23 rules applied. Total rules applied 476 place count 786 transition count 1154
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 483 place count 779 transition count 1139
Iterating global reduction 2 with 7 rules applied. Total rules applied 490 place count 779 transition count 1139
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 491 place count 779 transition count 1138
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 495 place count 775 transition count 1130
Iterating global reduction 3 with 4 rules applied. Total rules applied 499 place count 775 transition count 1130
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 500 place count 774 transition count 1128
Iterating global reduction 3 with 1 rules applied. Total rules applied 501 place count 774 transition count 1128
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 502 place count 774 transition count 1127
Performed 172 Post agglomeration using F-continuation condition.Transition count delta: 172
Deduced a syphon composed of 172 places in 1 ms
Reduce places removed 172 places and 0 transitions.
Iterating global reduction 4 with 344 rules applied. Total rules applied 846 place count 602 transition count 955
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 852 place count 596 transition count 943
Iterating global reduction 4 with 6 rules applied. Total rules applied 858 place count 596 transition count 943
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 862 place count 592 transition count 935
Iterating global reduction 4 with 4 rules applied. Total rules applied 866 place count 592 transition count 935
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 867 place count 591 transition count 933
Iterating global reduction 4 with 1 rules applied. Total rules applied 868 place count 591 transition count 933
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 869 place count 590 transition count 931
Iterating global reduction 4 with 1 rules applied. Total rules applied 870 place count 590 transition count 931
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 871 place count 589 transition count 929
Iterating global reduction 4 with 1 rules applied. Total rules applied 872 place count 589 transition count 929
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 873 place count 589 transition count 928
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 874 place count 588 transition count 927
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 879 place count 583 transition count 927
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Deduced a syphon composed of 14 places in 1 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 6 with 28 rules applied. Total rules applied 907 place count 569 transition count 913
Applied a total of 907 rules in 303 ms. Remains 569 /1025 variables (removed 456) and now considering 913/1583 (removed 670) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 304 ms. Remains : 569/1025 places, 913/1583 transitions.
[2023-03-16 05:04:24] [INFO ] Flatten gal took : 22 ms
[2023-03-16 05:04:24] [INFO ] Flatten gal took : 23 ms
[2023-03-16 05:04:24] [INFO ] Input system was already deterministic with 913 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1025/1025 places, 1583/1583 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 1024 transition count 1525
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 967 transition count 1525
Performed 95 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 95 Pre rules applied. Total rules applied 114 place count 967 transition count 1430
Deduced a syphon composed of 95 places in 4 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 2 with 190 rules applied. Total rules applied 304 place count 872 transition count 1430
Discarding 62 places :
Symmetric choice reduction at 2 with 62 rule applications. Total rules 366 place count 810 transition count 1240
Iterating global reduction 2 with 62 rules applied. Total rules applied 428 place count 810 transition count 1240
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 428 place count 810 transition count 1235
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 438 place count 805 transition count 1235
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 464 place count 779 transition count 1137
Iterating global reduction 2 with 26 rules applied. Total rules applied 490 place count 779 transition count 1137
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 497 place count 772 transition count 1122
Iterating global reduction 2 with 7 rules applied. Total rules applied 504 place count 772 transition count 1122
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 505 place count 772 transition count 1121
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 509 place count 768 transition count 1113
Iterating global reduction 3 with 4 rules applied. Total rules applied 513 place count 768 transition count 1113
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 515 place count 766 transition count 1109
Iterating global reduction 3 with 2 rules applied. Total rules applied 517 place count 766 transition count 1109
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 518 place count 766 transition count 1108
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 519 place count 765 transition count 1106
Iterating global reduction 4 with 1 rules applied. Total rules applied 520 place count 765 transition count 1106
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 521 place count 765 transition count 1105
Performed 178 Post agglomeration using F-continuation condition.Transition count delta: 178
Deduced a syphon composed of 178 places in 0 ms
Reduce places removed 178 places and 0 transitions.
Iterating global reduction 5 with 356 rules applied. Total rules applied 877 place count 587 transition count 927
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 883 place count 581 transition count 915
Iterating global reduction 5 with 6 rules applied. Total rules applied 889 place count 581 transition count 915
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 894 place count 576 transition count 905
Iterating global reduction 5 with 5 rules applied. Total rules applied 899 place count 576 transition count 905
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 900 place count 575 transition count 903
Iterating global reduction 5 with 1 rules applied. Total rules applied 901 place count 575 transition count 903
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 902 place count 574 transition count 901
Iterating global reduction 5 with 1 rules applied. Total rules applied 903 place count 574 transition count 901
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 904 place count 573 transition count 899
Iterating global reduction 5 with 1 rules applied. Total rules applied 905 place count 573 transition count 899
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 906 place count 573 transition count 898
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 907 place count 572 transition count 897
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 916 place count 563 transition count 897
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 0 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 7 with 48 rules applied. Total rules applied 964 place count 539 transition count 873
Applied a total of 964 rules in 322 ms. Remains 539 /1025 variables (removed 486) and now considering 873/1583 (removed 710) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 323 ms. Remains : 539/1025 places, 873/1583 transitions.
[2023-03-16 05:04:24] [INFO ] Flatten gal took : 20 ms
[2023-03-16 05:04:25] [INFO ] Flatten gal took : 23 ms
[2023-03-16 05:04:25] [INFO ] Input system was already deterministic with 873 transitions.
[2023-03-16 05:04:25] [INFO ] Flatten gal took : 41 ms
[2023-03-16 05:04:25] [INFO ] Flatten gal took : 55 ms
[2023-03-16 05:04:25] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 5 ms.
[2023-03-16 05:04:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1025 places, 1583 transitions and 4991 arcs took 11 ms.
Total runtime 65810 ms.
There are residual formulas that ITS could not solve within timeout
pnml2lts-sym model.pnml --lace-workers=4 --vset=lddmc --saturation=sat -rbs,w2W,ru,hf --sylvan-sizes=20,28,20,28 --ctl=/tmp/637/ctl_0_ --ctl=/tmp/637/ctl_1_ --ctl=/tmp/637/ctl_2_ --ctl=/tmp/637/ctl_3_ --ctl=/tmp/637/ctl_4_ --ctl=/tmp/637/ctl_5_ --ctl=/tmp/637/ctl_6_ --ctl=/tmp/637/ctl_7_ --ctl=/tmp/637/ctl_8_ --ctl=/tmp/637/ctl_9_ --ctl=/tmp/637/ctl_10_ --ctl=/tmp/637/ctl_11_ --ctl=/tmp/637/ctl_12_ --ctl=/tmp/637/ctl_13_ --ctl=/tmp/637/ctl_14_ --ctl=/tmp/637/ctl_15_ --mu-par --mu-opt
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7384924 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16095936 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML
mcc2023
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="NoC3x3-PT-6B"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="ltsminxred"
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-5348"
echo " Executing tool ltsminxred"
echo " Input is NoC3x3-PT-6B, 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 r265-smll-167863539900314"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-6B.tgz
mv NoC3x3-PT-6B execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;