About the Execution of LTSMin+red for FunctionPointer-PT-c128
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7261.756 | 3600000.00 | 14071746.00 | 602.50 | ????????F???F??? | normal |
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.r169-tall-167838856400761.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 FunctionPointer-PT-c128, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r169-tall-167838856400761
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 9.5K Feb 25 12:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 12:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 11:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 11:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 25 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 12:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.2M Mar 5 18:22 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 FunctionPointer-PT-c128-CTLCardinality-00
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-01
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-02
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-03
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-04
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-05
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-06
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-07
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-08
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-09
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-10
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-11
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-12
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-13
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-14
FORMULA_NAME FunctionPointer-PT-c128-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678641766114
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=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-c128
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-12 17:22:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-12 17:22:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 17:22:48] [INFO ] Load time of PNML (sax parser for PT used): 491 ms
[2023-03-12 17:22:48] [INFO ] Transformed 2826 places.
[2023-03-12 17:22:48] [INFO ] Transformed 8960 transitions.
[2023-03-12 17:22:48] [INFO ] Parsed PT model containing 2826 places and 8960 transitions and 36096 arcs in 624 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 22 ms.
Deduced a syphon composed of 1198 places in 34 ms
Reduce places removed 1198 places and 2998 transitions.
Support contains 76 out of 1628 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 1628/1628 places, 5962/5962 transitions.
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 1613 transition count 5962
Discarding 281 places :
Symmetric choice reduction at 1 with 281 rule applications. Total rules 296 place count 1332 transition count 3796
Iterating global reduction 1 with 281 rules applied. Total rules applied 577 place count 1332 transition count 3796
Ensure Unique test removed 396 transitions
Reduce isomorphic transitions removed 396 transitions.
Iterating post reduction 1 with 396 rules applied. Total rules applied 973 place count 1332 transition count 3400
Discarding 135 places :
Symmetric choice reduction at 2 with 135 rule applications. Total rules 1108 place count 1197 transition count 3130
Iterating global reduction 2 with 135 rules applied. Total rules applied 1243 place count 1197 transition count 3130
Ensure Unique test removed 80 transitions
Reduce isomorphic transitions removed 80 transitions.
Iterating post reduction 2 with 80 rules applied. Total rules applied 1323 place count 1197 transition count 3050
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 1330 place count 1190 transition count 3036
Iterating global reduction 3 with 7 rules applied. Total rules applied 1337 place count 1190 transition count 3036
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 1343 place count 1184 transition count 3024
Iterating global reduction 3 with 6 rules applied. Total rules applied 1349 place count 1184 transition count 3024
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 1355 place count 1178 transition count 3012
Iterating global reduction 3 with 6 rules applied. Total rules applied 1361 place count 1178 transition count 3012
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 1367 place count 1172 transition count 3000
Iterating global reduction 3 with 6 rules applied. Total rules applied 1373 place count 1172 transition count 3000
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 1379 place count 1166 transition count 2988
Iterating global reduction 3 with 6 rules applied. Total rules applied 1385 place count 1166 transition count 2988
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 1390 place count 1161 transition count 2978
Iterating global reduction 3 with 5 rules applied. Total rules applied 1395 place count 1161 transition count 2978
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 1398 place count 1158 transition count 2972
Iterating global reduction 3 with 3 rules applied. Total rules applied 1401 place count 1158 transition count 2972
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 1406 place count 1153 transition count 2956
Iterating global reduction 3 with 5 rules applied. Total rules applied 1411 place count 1153 transition count 2956
Discarding 13 places :
Symmetric choice reduction at 3 with 13 rule applications. Total rules 1424 place count 1140 transition count 2904
Iterating global reduction 3 with 13 rules applied. Total rules applied 1437 place count 1140 transition count 2904
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 1449 place count 1128 transition count 2860
Iterating global reduction 3 with 12 rules applied. Total rules applied 1461 place count 1128 transition count 2860
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 1470 place count 1119 transition count 2842
Iterating global reduction 3 with 9 rules applied. Total rules applied 1479 place count 1119 transition count 2842
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 1488 place count 1110 transition count 2824
Iterating global reduction 3 with 9 rules applied. Total rules applied 1497 place count 1110 transition count 2824
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 1506 place count 1101 transition count 2806
Iterating global reduction 3 with 9 rules applied. Total rules applied 1515 place count 1101 transition count 2806
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 1524 place count 1092 transition count 2788
Iterating global reduction 3 with 9 rules applied. Total rules applied 1533 place count 1092 transition count 2788
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 1540 place count 1085 transition count 2774
Iterating global reduction 3 with 7 rules applied. Total rules applied 1547 place count 1085 transition count 2774
Applied a total of 1547 rules in 1307 ms. Remains 1085 /1628 variables (removed 543) and now considering 2774/5962 (removed 3188) transitions.
[2023-03-12 17:22:49] [INFO ] Flow matrix only has 1891 transitions (discarded 883 similar events)
// Phase 1: matrix 1891 rows 1085 cols
[2023-03-12 17:22:49] [INFO ] Computed 3 place invariants in 49 ms
[2023-03-12 17:22:51] [INFO ] Implicit Places using invariants in 1191 ms returned []
[2023-03-12 17:22:51] [INFO ] Flow matrix only has 1891 transitions (discarded 883 similar events)
[2023-03-12 17:22:51] [INFO ] Invariant cache hit.
[2023-03-12 17:22:51] [INFO ] State equation strengthened by 441 read => feed constraints.
[2023-03-12 17:22:56] [INFO ] Implicit Places using invariants and state equation in 5166 ms returned []
Implicit Place search using SMT with State Equation took 6406 ms to find 0 implicit places.
[2023-03-12 17:22:56] [INFO ] Flow matrix only has 1891 transitions (discarded 883 similar events)
[2023-03-12 17:22:56] [INFO ] Invariant cache hit.
[2023-03-12 17:22:57] [INFO ] Dead Transitions using invariants and state equation in 1031 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 1085/1628 places, 2774/5962 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8757 ms. Remains : 1085/1628 places, 2774/5962 transitions.
Support contains 76 out of 1085 places after structural reductions.
[2023-03-12 17:22:57] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2023-03-12 17:22:57] [INFO ] Flatten gal took : 201 ms
[2023-03-12 17:22:57] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA FunctionPointer-PT-c128-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FunctionPointer-PT-c128-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-12 17:22:57] [INFO ] Flatten gal took : 137 ms
[2023-03-12 17:22:57] [INFO ] Input system was already deterministic with 2774 transitions.
Support contains 64 out of 1085 places (down from 76) after GAL structural reductions.
Incomplete random walk after 10057 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=29 ) properties (out of 48) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 43) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 43) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 42) 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 42) 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 41) 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 41) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 41) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 41) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 41) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 41) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 41) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 40) 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 40) 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 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 40) 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 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 40) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 40) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 39) 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 39) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 39) seen :0
Running SMT prover for 39 properties.
[2023-03-12 17:22:58] [INFO ] Flow matrix only has 1891 transitions (discarded 883 similar events)
[2023-03-12 17:22:58] [INFO ] Invariant cache hit.
[2023-03-12 17:22:59] [INFO ] [Real]Absence check using 3 positive place invariants in 4 ms returned sat
[2023-03-12 17:22:59] [INFO ] After 1037ms SMT Verify possible using all constraints in real domain returned unsat :2 sat :0 real:37
[2023-03-12 17:23:00] [INFO ] [Nat]Absence check using 3 positive place invariants in 5 ms returned sat
[2023-03-12 17:23:03] [INFO ] After 2171ms SMT Verify possible using state equation in natural domain returned unsat :6 sat :33
[2023-03-12 17:23:03] [INFO ] State equation strengthened by 441 read => feed constraints.
[2023-03-12 17:23:05] [INFO ] After 2122ms SMT Verify possible using 441 Read/Feed constraints in natural domain returned unsat :6 sat :33
[2023-03-12 17:23:08] [INFO ] After 5400ms SMT Verify possible using trap constraints in natural domain returned unsat :6 sat :33
Attempting to minimize the solution found.
Minimization took 1921 ms.
[2023-03-12 17:23:10] [INFO ] After 10727ms SMT Verify possible using all constraints in natural domain returned unsat :6 sat :33
Fused 39 Parikh solutions to 30 different solutions.
Parikh walk visited 1 properties in 5222 ms.
Support contains 40 out of 1085 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Graph (complete) has 4510 edges and 1085 vertex of which 903 are kept as prefixes of interest. Removing 182 places using SCC suffix rule.7 ms
Discarding 182 places :
Also discarding 0 output transitions
Drop transitions removed 362 transitions
Reduce isomorphic transitions removed 362 transitions.
Iterating post reduction 0 with 362 rules applied. Total rules applied 363 place count 903 transition count 2412
Discarding 14 places :
Symmetric choice reduction at 1 with 14 rule applications. Total rules 377 place count 889 transition count 2384
Iterating global reduction 1 with 14 rules applied. Total rules applied 391 place count 889 transition count 2384
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 399 place count 889 transition count 2376
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 408 place count 880 transition count 2358
Iterating global reduction 2 with 9 rules applied. Total rules applied 417 place count 880 transition count 2358
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 425 place count 872 transition count 2340
Iterating global reduction 2 with 8 rules applied. Total rules applied 433 place count 872 transition count 2340
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 442 place count 863 transition count 2320
Iterating global reduction 2 with 9 rules applied. Total rules applied 451 place count 863 transition count 2320
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 460 place count 854 transition count 2302
Iterating global reduction 2 with 9 rules applied. Total rules applied 469 place count 854 transition count 2302
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 475 place count 848 transition count 2290
Iterating global reduction 2 with 6 rules applied. Total rules applied 481 place count 848 transition count 2290
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 487 place count 842 transition count 2278
Iterating global reduction 2 with 6 rules applied. Total rules applied 493 place count 842 transition count 2278
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 498 place count 837 transition count 2268
Iterating global reduction 2 with 5 rules applied. Total rules applied 503 place count 837 transition count 2268
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 508 place count 832 transition count 2258
Iterating global reduction 2 with 5 rules applied. Total rules applied 513 place count 832 transition count 2258
Discarding 12 places :
Symmetric choice reduction at 2 with 12 rule applications. Total rules 525 place count 820 transition count 2214
Iterating global reduction 2 with 12 rules applied. Total rules applied 537 place count 820 transition count 2214
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 556 place count 801 transition count 2138
Iterating global reduction 2 with 19 rules applied. Total rules applied 575 place count 801 transition count 2138
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 593 place count 783 transition count 2084
Iterating global reduction 2 with 18 rules applied. Total rules applied 611 place count 783 transition count 2084
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 629 place count 765 transition count 2048
Iterating global reduction 2 with 18 rules applied. Total rules applied 647 place count 765 transition count 2048
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 665 place count 747 transition count 2012
Iterating global reduction 2 with 18 rules applied. Total rules applied 683 place count 747 transition count 2012
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 701 place count 729 transition count 1976
Iterating global reduction 2 with 18 rules applied. Total rules applied 719 place count 729 transition count 1976
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 737 place count 711 transition count 1940
Iterating global reduction 2 with 18 rules applied. Total rules applied 755 place count 711 transition count 1940
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 764 place count 702 transition count 1922
Iterating global reduction 2 with 9 rules applied. Total rules applied 773 place count 702 transition count 1922
Drop transitions removed 62 transitions
Redundant transition composition rules discarded 62 transitions
Iterating global reduction 2 with 62 rules applied. Total rules applied 835 place count 702 transition count 1860
Applied a total of 835 rules in 811 ms. Remains 702 /1085 variables (removed 383) and now considering 1860/2774 (removed 914) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 812 ms. Remains : 702/1085 places, 1860/2774 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=57 ) properties (out of 32) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 30) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 30) seen :0
Interrupted probabilistic random walk after 137469 steps, run timeout after 3001 ms. (steps per millisecond=45 ) properties seen :{}
Probabilistic random walk after 137469 steps, saw 89564 distinct states, run finished after 3006 ms. (steps per millisecond=45 ) properties seen :0
Running SMT prover for 30 properties.
[2023-03-12 17:23:19] [INFO ] Flow matrix only has 1152 transitions (discarded 708 similar events)
// Phase 1: matrix 1152 rows 702 cols
[2023-03-12 17:23:19] [INFO ] Computed 2 place invariants in 11 ms
[2023-03-12 17:23:20] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:23:20] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-12 17:23:20] [INFO ] After 455ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:30
[2023-03-12 17:23:20] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:23:20] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-12 17:23:22] [INFO ] After 1340ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :30
[2023-03-12 17:23:22] [INFO ] State equation strengthened by 186 read => feed constraints.
[2023-03-12 17:23:23] [INFO ] After 1183ms SMT Verify possible using 186 Read/Feed constraints in natural domain returned unsat :0 sat :30
[2023-03-12 17:23:24] [INFO ] Deduced a trap composed of 131 places in 202 ms of which 2 ms to minimize.
[2023-03-12 17:23:24] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 276 ms
[2023-03-12 17:23:25] [INFO ] After 3436ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :30
Attempting to minimize the solution found.
Minimization took 1132 ms.
[2023-03-12 17:23:26] [INFO ] After 6595ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :30
Fused 30 Parikh solutions to 25 different solutions.
Parikh walk visited 2 properties in 14094 ms.
Support contains 36 out of 702 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 702/702 places, 1860/1860 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 701 transition count 1858
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 701 transition count 1858
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 700 transition count 1856
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 700 transition count 1856
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 699 transition count 1854
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 699 transition count 1854
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 698 transition count 1852
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 698 transition count 1852
Applied a total of 8 rules in 160 ms. Remains 698 /702 variables (removed 4) and now considering 1852/1860 (removed 8) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 160 ms. Remains : 698/702 places, 1852/1860 transitions.
Incomplete random walk after 10002 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 28) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 27) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 27) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 26) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 26) seen :0
Interrupted probabilistic random walk after 135274 steps, run timeout after 3001 ms. (steps per millisecond=45 ) properties seen :{}
Probabilistic random walk after 135274 steps, saw 88134 distinct states, run finished after 3002 ms. (steps per millisecond=45 ) properties seen :0
Running SMT prover for 26 properties.
[2023-03-12 17:23:44] [INFO ] Flow matrix only has 1145 transitions (discarded 707 similar events)
// Phase 1: matrix 1145 rows 698 cols
[2023-03-12 17:23:44] [INFO ] Computed 2 place invariants in 8 ms
[2023-03-12 17:23:44] [INFO ] [Real]Absence check using 1 positive place invariants in 4 ms returned sat
[2023-03-12 17:23:44] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-12 17:23:44] [INFO ] After 404ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:26
[2023-03-12 17:23:45] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:23:45] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-12 17:23:46] [INFO ] After 1150ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :26
[2023-03-12 17:23:46] [INFO ] State equation strengthened by 183 read => feed constraints.
[2023-03-12 17:23:47] [INFO ] After 982ms SMT Verify possible using 183 Read/Feed constraints in natural domain returned unsat :0 sat :26
[2023-03-12 17:23:49] [INFO ] After 2590ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :26
Attempting to minimize the solution found.
Minimization took 923 ms.
[2023-03-12 17:23:50] [INFO ] After 5267ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :26
Fused 26 Parikh solutions to 20 different solutions.
Parikh walk visited 1 properties in 9789 ms.
Support contains 30 out of 698 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 698/698 places, 1852/1852 transitions.
Graph (complete) has 3103 edges and 698 vertex of which 695 are kept as prefixes of interest. Removing 3 places using SCC suffix rule.1 ms
Discarding 3 places :
Also discarding 0 output transitions
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 7 place count 695 transition count 1846
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 9 place count 693 transition count 1842
Iterating global reduction 1 with 2 rules applied. Total rules applied 11 place count 693 transition count 1842
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 15 place count 693 transition count 1838
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 19 place count 689 transition count 1830
Iterating global reduction 2 with 4 rules applied. Total rules applied 23 place count 689 transition count 1830
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 31 place count 689 transition count 1822
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 33 place count 687 transition count 1818
Iterating global reduction 3 with 2 rules applied. Total rules applied 35 place count 687 transition count 1818
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 37 place count 685 transition count 1814
Iterating global reduction 3 with 2 rules applied. Total rules applied 39 place count 685 transition count 1814
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 46 place count 678 transition count 1786
Iterating global reduction 3 with 7 rules applied. Total rules applied 53 place count 678 transition count 1786
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 60 place count 671 transition count 1772
Iterating global reduction 3 with 7 rules applied. Total rules applied 67 place count 671 transition count 1772
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 74 place count 664 transition count 1758
Iterating global reduction 3 with 7 rules applied. Total rules applied 81 place count 664 transition count 1758
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 87 place count 658 transition count 1746
Iterating global reduction 3 with 6 rules applied. Total rules applied 93 place count 658 transition count 1746
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 99 place count 652 transition count 1734
Iterating global reduction 3 with 6 rules applied. Total rules applied 105 place count 652 transition count 1734
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 111 place count 646 transition count 1722
Iterating global reduction 3 with 6 rules applied. Total rules applied 117 place count 646 transition count 1722
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 123 place count 640 transition count 1710
Iterating global reduction 3 with 6 rules applied. Total rules applied 129 place count 640 transition count 1710
Applied a total of 129 rules in 268 ms. Remains 640 /698 variables (removed 58) and now considering 1710/1852 (removed 142) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 268 ms. Remains : 640/698 places, 1710/1852 transitions.
Incomplete random walk after 10003 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=57 ) properties (out of 25) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 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 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 23) seen :0
Interrupted probabilistic random walk after 123703 steps, run timeout after 3001 ms. (steps per millisecond=41 ) properties seen :{}
Probabilistic random walk after 123703 steps, saw 80597 distinct states, run finished after 3001 ms. (steps per millisecond=41 ) properties seen :0
Running SMT prover for 23 properties.
[2023-03-12 17:24:03] [INFO ] Flow matrix only has 1046 transitions (discarded 664 similar events)
// Phase 1: matrix 1046 rows 640 cols
[2023-03-12 17:24:03] [INFO ] Computed 2 place invariants in 6 ms
[2023-03-12 17:24:03] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:24:03] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 4 ms returned sat
[2023-03-12 17:24:03] [INFO ] After 348ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:23
[2023-03-12 17:24:04] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:24:04] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-12 17:24:05] [INFO ] After 978ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :23
[2023-03-12 17:24:05] [INFO ] State equation strengthened by 162 read => feed constraints.
[2023-03-12 17:24:06] [INFO ] After 836ms SMT Verify possible using 162 Read/Feed constraints in natural domain returned unsat :0 sat :23
[2023-03-12 17:24:06] [INFO ] Deduced a trap composed of 135 places in 171 ms of which 1 ms to minimize.
[2023-03-12 17:24:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 240 ms
[2023-03-12 17:24:07] [INFO ] After 2356ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :23
Attempting to minimize the solution found.
Minimization took 785 ms.
[2023-03-12 17:24:08] [INFO ] After 4616ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :23
Fused 23 Parikh solutions to 21 different solutions.
Parikh walk visited 0 properties in 13873 ms.
Support contains 27 out of 640 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 640/640 places, 1710/1710 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 637 transition count 1702
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 637 transition count 1702
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 8 place count 635 transition count 1698
Iterating global reduction 0 with 2 rules applied. Total rules applied 10 place count 635 transition count 1698
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 12 place count 633 transition count 1694
Iterating global reduction 0 with 2 rules applied. Total rules applied 14 place count 633 transition count 1694
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 16 place count 631 transition count 1690
Iterating global reduction 0 with 2 rules applied. Total rules applied 18 place count 631 transition count 1690
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 20 place count 629 transition count 1686
Iterating global reduction 0 with 2 rules applied. Total rules applied 22 place count 629 transition count 1686
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 24 place count 627 transition count 1682
Iterating global reduction 0 with 2 rules applied. Total rules applied 26 place count 627 transition count 1682
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 28 place count 625 transition count 1678
Iterating global reduction 0 with 2 rules applied. Total rules applied 30 place count 625 transition count 1678
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 31 place count 624 transition count 1676
Iterating global reduction 0 with 1 rules applied. Total rules applied 32 place count 624 transition count 1676
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 33 place count 623 transition count 1674
Iterating global reduction 0 with 1 rules applied. Total rules applied 34 place count 623 transition count 1674
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 37 place count 620 transition count 1662
Iterating global reduction 0 with 3 rules applied. Total rules applied 40 place count 620 transition count 1662
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 43 place count 617 transition count 1656
Iterating global reduction 0 with 3 rules applied. Total rules applied 46 place count 617 transition count 1656
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 49 place count 614 transition count 1650
Iterating global reduction 0 with 3 rules applied. Total rules applied 52 place count 614 transition count 1650
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 55 place count 611 transition count 1644
Iterating global reduction 0 with 3 rules applied. Total rules applied 58 place count 611 transition count 1644
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 61 place count 608 transition count 1638
Iterating global reduction 0 with 3 rules applied. Total rules applied 64 place count 608 transition count 1638
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 67 place count 605 transition count 1632
Iterating global reduction 0 with 3 rules applied. Total rules applied 70 place count 605 transition count 1632
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 73 place count 602 transition count 1626
Iterating global reduction 0 with 3 rules applied. Total rules applied 76 place count 602 transition count 1626
Applied a total of 76 rules in 288 ms. Remains 602 /640 variables (removed 38) and now considering 1626/1710 (removed 84) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 288 ms. Remains : 602/640 places, 1626/1710 transitions.
Incomplete random walk after 10001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=61 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=500 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3 ms. (steps per millisecond=333 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4 ms. (steps per millisecond=250 ) properties (out of 23) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 23) seen :0
Interrupted probabilistic random walk after 115825 steps, run timeout after 3001 ms. (steps per millisecond=38 ) properties seen :{}
Probabilistic random walk after 115825 steps, saw 75468 distinct states, run finished after 3001 ms. (steps per millisecond=38 ) properties seen :0
Running SMT prover for 23 properties.
[2023-03-12 17:24:25] [INFO ] Flow matrix only has 985 transitions (discarded 641 similar events)
// Phase 1: matrix 985 rows 602 cols
[2023-03-12 17:24:25] [INFO ] Computed 2 place invariants in 8 ms
[2023-03-12 17:24:26] [INFO ] [Real]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:24:26] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-12 17:24:26] [INFO ] After 301ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:23
[2023-03-12 17:24:26] [INFO ] [Nat]Absence check using 1 positive place invariants in 3 ms returned sat
[2023-03-12 17:24:26] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2023-03-12 17:24:27] [INFO ] After 882ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :23
[2023-03-12 17:24:27] [INFO ] State equation strengthened by 148 read => feed constraints.
[2023-03-12 17:24:28] [INFO ] After 742ms SMT Verify possible using 148 Read/Feed constraints in natural domain returned unsat :0 sat :23
[2023-03-12 17:24:28] [INFO ] Deduced a trap composed of 135 places in 167 ms of which 1 ms to minimize.
[2023-03-12 17:24:28] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 227 ms
[2023-03-12 17:24:29] [INFO ] After 2131ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :23
Attempting to minimize the solution found.
Minimization took 687 ms.
[2023-03-12 17:24:30] [INFO ] After 4177ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :23
Fused 23 Parikh solutions to 19 different solutions.
Parikh walk visited 0 properties in 10487 ms.
Support contains 27 out of 602 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 602/602 places, 1626/1626 transitions.
Applied a total of 0 rules in 75 ms. Remains 602 /602 variables (removed 0) and now considering 1626/1626 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 76 ms. Remains : 602/602 places, 1626/1626 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 602/602 places, 1626/1626 transitions.
Applied a total of 0 rules in 74 ms. Remains 602 /602 variables (removed 0) and now considering 1626/1626 (removed 0) transitions.
[2023-03-12 17:24:41] [INFO ] Flow matrix only has 985 transitions (discarded 641 similar events)
[2023-03-12 17:24:41] [INFO ] Invariant cache hit.
[2023-03-12 17:24:41] [INFO ] Implicit Places using invariants in 469 ms returned []
[2023-03-12 17:24:41] [INFO ] Flow matrix only has 985 transitions (discarded 641 similar events)
[2023-03-12 17:24:41] [INFO ] Invariant cache hit.
[2023-03-12 17:24:41] [INFO ] State equation strengthened by 148 read => feed constraints.
[2023-03-12 17:24:44] [INFO ] Implicit Places using invariants and state equation in 2610 ms returned []
Implicit Place search using SMT with State Equation took 3081 ms to find 0 implicit places.
[2023-03-12 17:24:44] [INFO ] Redundant transitions in 107 ms returned []
[2023-03-12 17:24:44] [INFO ] Flow matrix only has 985 transitions (discarded 641 similar events)
[2023-03-12 17:24:44] [INFO ] Invariant cache hit.
[2023-03-12 17:24:44] [INFO ] Dead Transitions using invariants and state equation in 540 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3811 ms. Remains : 602/602 places, 1626/1626 transitions.
Successfully simplified 6 atomic propositions for a total of 14 simplifications.
[2023-03-12 17:24:44] [INFO ] Flatten gal took : 94 ms
[2023-03-12 17:24:45] [INFO ] Flatten gal took : 106 ms
[2023-03-12 17:24:45] [INFO ] Input system was already deterministic with 2774 transitions.
Support contains 54 out of 1085 places (down from 57) after GAL structural reductions.
Computed a total of 192 stabilizing places and 512 stable transitions
Graph (complete) has 6076 edges and 1085 vertex of which 1083 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.29 ms
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 30 places :
Symmetric choice reduction at 1 with 30 rule applications. Total rules 32 place count 1053 transition count 2702
Iterating global reduction 1 with 30 rules applied. Total rules applied 62 place count 1053 transition count 2702
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 74 place count 1053 transition count 2690
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 97 place count 1030 transition count 2634
Iterating global reduction 2 with 23 rules applied. Total rules applied 120 place count 1030 transition count 2634
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 140 place count 1010 transition count 2580
Iterating global reduction 2 with 20 rules applied. Total rules applied 160 place count 1010 transition count 2580
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 187 place count 983 transition count 2504
Iterating global reduction 2 with 27 rules applied. Total rules applied 214 place count 983 transition count 2504
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 241 place count 956 transition count 2436
Iterating global reduction 2 with 27 rules applied. Total rules applied 268 place count 956 transition count 2436
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 292 place count 932 transition count 2388
Iterating global reduction 2 with 24 rules applied. Total rules applied 316 place count 932 transition count 2388
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 340 place count 908 transition count 2340
Iterating global reduction 2 with 24 rules applied. Total rules applied 364 place count 908 transition count 2340
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 386 place count 886 transition count 2296
Iterating global reduction 2 with 22 rules applied. Total rules applied 408 place count 886 transition count 2296
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 427 place count 867 transition count 2258
Iterating global reduction 2 with 19 rules applied. Total rules applied 446 place count 867 transition count 2258
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 480 place count 833 transition count 2142
Iterating global reduction 2 with 34 rules applied. Total rules applied 514 place count 833 transition count 2142
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 543 place count 804 transition count 2026
Iterating global reduction 2 with 29 rules applied. Total rules applied 572 place count 804 transition count 2026
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 600 place count 776 transition count 1958
Iterating global reduction 2 with 28 rules applied. Total rules applied 628 place count 776 transition count 1958
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 656 place count 748 transition count 1902
Iterating global reduction 2 with 28 rules applied. Total rules applied 684 place count 748 transition count 1902
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 712 place count 720 transition count 1846
Iterating global reduction 2 with 28 rules applied. Total rules applied 740 place count 720 transition count 1846
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 768 place count 692 transition count 1790
Iterating global reduction 2 with 28 rules applied. Total rules applied 796 place count 692 transition count 1790
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 824 place count 664 transition count 1734
Iterating global reduction 2 with 28 rules applied. Total rules applied 852 place count 664 transition count 1734
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 858 place count 658 transition count 1722
Iterating global reduction 2 with 6 rules applied. Total rules applied 864 place count 658 transition count 1722
Applied a total of 864 rules in 686 ms. Remains 658 /1085 variables (removed 427) and now considering 1722/2774 (removed 1052) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 686 ms. Remains : 658/1085 places, 1722/2774 transitions.
[2023-03-12 17:24:46] [INFO ] Flatten gal took : 44 ms
[2023-03-12 17:24:46] [INFO ] Flatten gal took : 47 ms
[2023-03-12 17:24:46] [INFO ] Input system was already deterministic with 1722 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Graph (complete) has 6076 edges and 1085 vertex of which 1083 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.7 ms
Discarding 2 places :
Also discarding 0 output transitions
Discarding 33 places :
Symmetric choice reduction at 0 with 33 rule applications. Total rules 34 place count 1050 transition count 2696
Iterating global reduction 0 with 33 rules applied. Total rules applied 67 place count 1050 transition count 2696
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 83 place count 1050 transition count 2680
Discarding 28 places :
Symmetric choice reduction at 1 with 28 rule applications. Total rules 111 place count 1022 transition count 2614
Iterating global reduction 1 with 28 rules applied. Total rules applied 139 place count 1022 transition count 2614
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 147 place count 1022 transition count 2606
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 170 place count 999 transition count 2546
Iterating global reduction 2 with 23 rules applied. Total rules applied 193 place count 999 transition count 2546
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 223 place count 969 transition count 2464
Iterating global reduction 2 with 30 rules applied. Total rules applied 253 place count 969 transition count 2464
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 291 place count 931 transition count 2352
Iterating global reduction 2 with 38 rules applied. Total rules applied 329 place count 931 transition count 2352
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 364 place count 896 transition count 2260
Iterating global reduction 2 with 35 rules applied. Total rules applied 399 place count 896 transition count 2260
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 434 place count 861 transition count 2190
Iterating global reduction 2 with 35 rules applied. Total rules applied 469 place count 861 transition count 2190
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 502 place count 828 transition count 2124
Iterating global reduction 2 with 33 rules applied. Total rules applied 535 place count 828 transition count 2124
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 565 place count 798 transition count 2064
Iterating global reduction 2 with 30 rules applied. Total rules applied 595 place count 798 transition count 2064
Discarding 41 places :
Symmetric choice reduction at 2 with 41 rule applications. Total rules 636 place count 757 transition count 1942
Iterating global reduction 2 with 41 rules applied. Total rules applied 677 place count 757 transition count 1942
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 711 place count 723 transition count 1828
Iterating global reduction 2 with 34 rules applied. Total rules applied 745 place count 723 transition count 1828
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 768 place count 700 transition count 1776
Iterating global reduction 2 with 23 rules applied. Total rules applied 791 place count 700 transition count 1776
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 814 place count 677 transition count 1730
Iterating global reduction 2 with 23 rules applied. Total rules applied 837 place count 677 transition count 1730
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 859 place count 655 transition count 1686
Iterating global reduction 2 with 22 rules applied. Total rules applied 881 place count 655 transition count 1686
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 903 place count 633 transition count 1642
Iterating global reduction 2 with 22 rules applied. Total rules applied 925 place count 633 transition count 1642
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 947 place count 611 transition count 1598
Iterating global reduction 2 with 22 rules applied. Total rules applied 969 place count 611 transition count 1598
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 972 place count 608 transition count 1592
Iterating global reduction 2 with 3 rules applied. Total rules applied 975 place count 608 transition count 1592
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 977 place count 608 transition count 1590
Applied a total of 977 rules in 984 ms. Remains 608 /1085 variables (removed 477) and now considering 1590/2774 (removed 1184) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 985 ms. Remains : 608/1085 places, 1590/2774 transitions.
[2023-03-12 17:24:47] [INFO ] Flatten gal took : 61 ms
[2023-03-12 17:24:47] [INFO ] Flatten gal took : 54 ms
[2023-03-12 17:24:47] [INFO ] Input system was already deterministic with 1590 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Graph (complete) has 6076 edges and 1085 vertex of which 1083 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.3 ms
Discarding 2 places :
Also discarding 0 output transitions
Discarding 29 places :
Symmetric choice reduction at 0 with 29 rule applications. Total rules 30 place count 1054 transition count 2704
Iterating global reduction 0 with 29 rules applied. Total rules applied 59 place count 1054 transition count 2704
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 0 with 10 rules applied. Total rules applied 69 place count 1054 transition count 2694
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 94 place count 1029 transition count 2634
Iterating global reduction 1 with 25 rules applied. Total rules applied 119 place count 1029 transition count 2634
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 127 place count 1029 transition count 2626
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 148 place count 1008 transition count 2570
Iterating global reduction 2 with 21 rules applied. Total rules applied 169 place count 1008 transition count 2570
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 191 place count 986 transition count 2518
Iterating global reduction 2 with 22 rules applied. Total rules applied 213 place count 986 transition count 2518
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 244 place count 955 transition count 2432
Iterating global reduction 2 with 31 rules applied. Total rules applied 275 place count 955 transition count 2432
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 304 place count 926 transition count 2350
Iterating global reduction 2 with 29 rules applied. Total rules applied 333 place count 926 transition count 2350
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 362 place count 897 transition count 2292
Iterating global reduction 2 with 29 rules applied. Total rules applied 391 place count 897 transition count 2292
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 417 place count 871 transition count 2240
Iterating global reduction 2 with 26 rules applied. Total rules applied 443 place count 871 transition count 2240
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 466 place count 848 transition count 2194
Iterating global reduction 2 with 23 rules applied. Total rules applied 489 place count 848 transition count 2194
Discarding 35 places :
Symmetric choice reduction at 2 with 35 rule applications. Total rules 524 place count 813 transition count 2084
Iterating global reduction 2 with 35 rules applied. Total rules applied 559 place count 813 transition count 2084
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 597 place count 775 transition count 1956
Iterating global reduction 2 with 38 rules applied. Total rules applied 635 place count 775 transition count 1956
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 661 place count 749 transition count 1892
Iterating global reduction 2 with 26 rules applied. Total rules applied 687 place count 749 transition count 1892
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 713 place count 723 transition count 1840
Iterating global reduction 2 with 26 rules applied. Total rules applied 739 place count 723 transition count 1840
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 765 place count 697 transition count 1788
Iterating global reduction 2 with 26 rules applied. Total rules applied 791 place count 697 transition count 1788
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 817 place count 671 transition count 1736
Iterating global reduction 2 with 26 rules applied. Total rules applied 843 place count 671 transition count 1736
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 869 place count 645 transition count 1684
Iterating global reduction 2 with 26 rules applied. Total rules applied 895 place count 645 transition count 1684
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 901 place count 639 transition count 1672
Iterating global reduction 2 with 6 rules applied. Total rules applied 907 place count 639 transition count 1672
Drop transitions removed 8 transitions
Redundant transition composition rules discarded 8 transitions
Iterating global reduction 2 with 8 rules applied. Total rules applied 915 place count 639 transition count 1664
Applied a total of 915 rules in 700 ms. Remains 639 /1085 variables (removed 446) and now considering 1664/2774 (removed 1110) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 701 ms. Remains : 639/1085 places, 1664/2774 transitions.
[2023-03-12 17:24:48] [INFO ] Flatten gal took : 37 ms
[2023-03-12 17:24:48] [INFO ] Flatten gal took : 42 ms
[2023-03-12 17:24:48] [INFO ] Input system was already deterministic with 1664 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 35 place count 1050 transition count 2696
Iterating global reduction 1 with 33 rules applied. Total rules applied 68 place count 1050 transition count 2696
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 84 place count 1050 transition count 2680
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 112 place count 1022 transition count 2614
Iterating global reduction 2 with 28 rules applied. Total rules applied 140 place count 1022 transition count 2614
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 148 place count 1022 transition count 2606
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 171 place count 999 transition count 2546
Iterating global reduction 3 with 23 rules applied. Total rules applied 194 place count 999 transition count 2546
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 224 place count 969 transition count 2464
Iterating global reduction 3 with 30 rules applied. Total rules applied 254 place count 969 transition count 2464
Discarding 38 places :
Symmetric choice reduction at 3 with 38 rule applications. Total rules 292 place count 931 transition count 2352
Iterating global reduction 3 with 38 rules applied. Total rules applied 330 place count 931 transition count 2352
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 365 place count 896 transition count 2260
Iterating global reduction 3 with 35 rules applied. Total rules applied 400 place count 896 transition count 2260
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 435 place count 861 transition count 2190
Iterating global reduction 3 with 35 rules applied. Total rules applied 470 place count 861 transition count 2190
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 503 place count 828 transition count 2124
Iterating global reduction 3 with 33 rules applied. Total rules applied 536 place count 828 transition count 2124
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 566 place count 798 transition count 2064
Iterating global reduction 3 with 30 rules applied. Total rules applied 596 place count 798 transition count 2064
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 637 place count 757 transition count 1942
Iterating global reduction 3 with 41 rules applied. Total rules applied 678 place count 757 transition count 1942
Discarding 34 places :
Symmetric choice reduction at 3 with 34 rule applications. Total rules 712 place count 723 transition count 1828
Iterating global reduction 3 with 34 rules applied. Total rules applied 746 place count 723 transition count 1828
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 769 place count 700 transition count 1776
Iterating global reduction 3 with 23 rules applied. Total rules applied 792 place count 700 transition count 1776
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 815 place count 677 transition count 1730
Iterating global reduction 3 with 23 rules applied. Total rules applied 838 place count 677 transition count 1730
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 861 place count 654 transition count 1684
Iterating global reduction 3 with 23 rules applied. Total rules applied 884 place count 654 transition count 1684
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 907 place count 631 transition count 1638
Iterating global reduction 3 with 23 rules applied. Total rules applied 930 place count 631 transition count 1638
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 953 place count 608 transition count 1592
Iterating global reduction 3 with 23 rules applied. Total rules applied 976 place count 608 transition count 1592
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 979 place count 605 transition count 1586
Iterating global reduction 3 with 3 rules applied. Total rules applied 982 place count 605 transition count 1586
Applied a total of 982 rules in 410 ms. Remains 605 /1085 variables (removed 480) and now considering 1586/2774 (removed 1188) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 410 ms. Remains : 605/1085 places, 1586/2774 transitions.
[2023-03-12 17:24:48] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:48] [INFO ] Flatten gal took : 37 ms
[2023-03-12 17:24:48] [INFO ] Input system was already deterministic with 1586 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 30 places :
Symmetric choice reduction at 1 with 30 rule applications. Total rules 32 place count 1053 transition count 2702
Iterating global reduction 1 with 30 rules applied. Total rules applied 62 place count 1053 transition count 2702
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 76 place count 1053 transition count 2688
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 102 place count 1027 transition count 2628
Iterating global reduction 2 with 26 rules applied. Total rules applied 128 place count 1027 transition count 2628
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 136 place count 1027 transition count 2620
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 157 place count 1006 transition count 2566
Iterating global reduction 3 with 21 rules applied. Total rules applied 178 place count 1006 transition count 2566
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 206 place count 978 transition count 2488
Iterating global reduction 3 with 28 rules applied. Total rules applied 234 place count 978 transition count 2488
Discarding 36 places :
Symmetric choice reduction at 3 with 36 rule applications. Total rules 270 place count 942 transition count 2380
Iterating global reduction 3 with 36 rules applied. Total rules applied 306 place count 942 transition count 2380
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 338 place count 910 transition count 2296
Iterating global reduction 3 with 32 rules applied. Total rules applied 370 place count 910 transition count 2296
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 402 place count 878 transition count 2232
Iterating global reduction 3 with 32 rules applied. Total rules applied 434 place count 878 transition count 2232
Discarding 29 places :
Symmetric choice reduction at 3 with 29 rule applications. Total rules 463 place count 849 transition count 2174
Iterating global reduction 3 with 29 rules applied. Total rules applied 492 place count 849 transition count 2174
Discarding 27 places :
Symmetric choice reduction at 3 with 27 rule applications. Total rules 519 place count 822 transition count 2120
Iterating global reduction 3 with 27 rules applied. Total rules applied 546 place count 822 transition count 2120
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 578 place count 790 transition count 2032
Iterating global reduction 3 with 32 rules applied. Total rules applied 610 place count 790 transition count 2032
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 641 place count 759 transition count 1928
Iterating global reduction 3 with 31 rules applied. Total rules applied 672 place count 759 transition count 1928
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 693 place count 738 transition count 1868
Iterating global reduction 3 with 21 rules applied. Total rules applied 714 place count 738 transition count 1868
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 735 place count 717 transition count 1826
Iterating global reduction 3 with 21 rules applied. Total rules applied 756 place count 717 transition count 1826
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 777 place count 696 transition count 1784
Iterating global reduction 3 with 21 rules applied. Total rules applied 798 place count 696 transition count 1784
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 819 place count 675 transition count 1742
Iterating global reduction 3 with 21 rules applied. Total rules applied 840 place count 675 transition count 1742
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 861 place count 654 transition count 1700
Iterating global reduction 3 with 21 rules applied. Total rules applied 882 place count 654 transition count 1700
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 891 place count 645 transition count 1682
Iterating global reduction 3 with 9 rules applied. Total rules applied 900 place count 645 transition count 1682
Applied a total of 900 rules in 430 ms. Remains 645 /1085 variables (removed 440) and now considering 1682/2774 (removed 1092) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 431 ms. Remains : 645/1085 places, 1682/2774 transitions.
[2023-03-12 17:24:49] [INFO ] Flatten gal took : 34 ms
[2023-03-12 17:24:49] [INFO ] Flatten gal took : 40 ms
[2023-03-12 17:24:49] [INFO ] Input system was already deterministic with 1682 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Graph (complete) has 6076 edges and 1085 vertex of which 1083 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.2 ms
Discarding 2 places :
Also discarding 0 output transitions
Discarding 32 places :
Symmetric choice reduction at 0 with 32 rule applications. Total rules 33 place count 1051 transition count 2698
Iterating global reduction 0 with 32 rules applied. Total rules applied 65 place count 1051 transition count 2698
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 0 with 14 rules applied. Total rules applied 79 place count 1051 transition count 2684
Discarding 28 places :
Symmetric choice reduction at 1 with 28 rule applications. Total rules 107 place count 1023 transition count 2618
Iterating global reduction 1 with 28 rules applied. Total rules applied 135 place count 1023 transition count 2618
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 143 place count 1023 transition count 2610
Discarding 23 places :
Symmetric choice reduction at 2 with 23 rule applications. Total rules 166 place count 1000 transition count 2550
Iterating global reduction 2 with 23 rules applied. Total rules applied 189 place count 1000 transition count 2550
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 219 place count 970 transition count 2468
Iterating global reduction 2 with 30 rules applied. Total rules applied 249 place count 970 transition count 2468
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 287 place count 932 transition count 2356
Iterating global reduction 2 with 38 rules applied. Total rules applied 325 place count 932 transition count 2356
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 359 place count 898 transition count 2266
Iterating global reduction 2 with 34 rules applied. Total rules applied 393 place count 898 transition count 2266
Discarding 34 places :
Symmetric choice reduction at 2 with 34 rule applications. Total rules 427 place count 864 transition count 2198
Iterating global reduction 2 with 34 rules applied. Total rules applied 461 place count 864 transition count 2198
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 493 place count 832 transition count 2134
Iterating global reduction 2 with 32 rules applied. Total rules applied 525 place count 832 transition count 2134
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 554 place count 803 transition count 2076
Iterating global reduction 2 with 29 rules applied. Total rules applied 583 place count 803 transition count 2076
Discarding 37 places :
Symmetric choice reduction at 2 with 37 rule applications. Total rules 620 place count 766 transition count 1970
Iterating global reduction 2 with 37 rules applied. Total rules applied 657 place count 766 transition count 1970
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 690 place count 733 transition count 1860
Iterating global reduction 2 with 33 rules applied. Total rules applied 723 place count 733 transition count 1860
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 745 place count 711 transition count 1804
Iterating global reduction 2 with 22 rules applied. Total rules applied 767 place count 711 transition count 1804
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 789 place count 689 transition count 1760
Iterating global reduction 2 with 22 rules applied. Total rules applied 811 place count 689 transition count 1760
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 833 place count 667 transition count 1716
Iterating global reduction 2 with 22 rules applied. Total rules applied 855 place count 667 transition count 1716
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 877 place count 645 transition count 1672
Iterating global reduction 2 with 22 rules applied. Total rules applied 899 place count 645 transition count 1672
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 921 place count 623 transition count 1628
Iterating global reduction 2 with 22 rules applied. Total rules applied 943 place count 623 transition count 1628
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 949 place count 617 transition count 1616
Iterating global reduction 2 with 6 rules applied. Total rules applied 955 place count 617 transition count 1616
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 959 place count 617 transition count 1612
Applied a total of 959 rules in 605 ms. Remains 617 /1085 variables (removed 468) and now considering 1612/2774 (removed 1162) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 605 ms. Remains : 617/1085 places, 1612/2774 transitions.
[2023-03-12 17:24:50] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:50] [INFO ] Flatten gal took : 36 ms
[2023-03-12 17:24:50] [INFO ] Input system was already deterministic with 1612 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 35 place count 1050 transition count 2696
Iterating global reduction 1 with 33 rules applied. Total rules applied 68 place count 1050 transition count 2696
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 84 place count 1050 transition count 2680
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 112 place count 1022 transition count 2614
Iterating global reduction 2 with 28 rules applied. Total rules applied 140 place count 1022 transition count 2614
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 148 place count 1022 transition count 2606
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 171 place count 999 transition count 2546
Iterating global reduction 3 with 23 rules applied. Total rules applied 194 place count 999 transition count 2546
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 224 place count 969 transition count 2464
Iterating global reduction 3 with 30 rules applied. Total rules applied 254 place count 969 transition count 2464
Discarding 38 places :
Symmetric choice reduction at 3 with 38 rule applications. Total rules 292 place count 931 transition count 2352
Iterating global reduction 3 with 38 rules applied. Total rules applied 330 place count 931 transition count 2352
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 365 place count 896 transition count 2260
Iterating global reduction 3 with 35 rules applied. Total rules applied 400 place count 896 transition count 2260
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 435 place count 861 transition count 2190
Iterating global reduction 3 with 35 rules applied. Total rules applied 470 place count 861 transition count 2190
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 503 place count 828 transition count 2124
Iterating global reduction 3 with 33 rules applied. Total rules applied 536 place count 828 transition count 2124
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 566 place count 798 transition count 2064
Iterating global reduction 3 with 30 rules applied. Total rules applied 596 place count 798 transition count 2064
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 637 place count 757 transition count 1942
Iterating global reduction 3 with 41 rules applied. Total rules applied 678 place count 757 transition count 1942
Discarding 34 places :
Symmetric choice reduction at 3 with 34 rule applications. Total rules 712 place count 723 transition count 1828
Iterating global reduction 3 with 34 rules applied. Total rules applied 746 place count 723 transition count 1828
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 769 place count 700 transition count 1776
Iterating global reduction 3 with 23 rules applied. Total rules applied 792 place count 700 transition count 1776
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 815 place count 677 transition count 1730
Iterating global reduction 3 with 23 rules applied. Total rules applied 838 place count 677 transition count 1730
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 861 place count 654 transition count 1684
Iterating global reduction 3 with 23 rules applied. Total rules applied 884 place count 654 transition count 1684
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 907 place count 631 transition count 1638
Iterating global reduction 3 with 23 rules applied. Total rules applied 930 place count 631 transition count 1638
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 953 place count 608 transition count 1592
Iterating global reduction 3 with 23 rules applied. Total rules applied 976 place count 608 transition count 1592
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 979 place count 605 transition count 1586
Iterating global reduction 3 with 3 rules applied. Total rules applied 982 place count 605 transition count 1586
Applied a total of 982 rules in 412 ms. Remains 605 /1085 variables (removed 480) and now considering 1586/2774 (removed 1188) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 413 ms. Remains : 605/1085 places, 1586/2774 transitions.
[2023-03-12 17:24:50] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:50] [INFO ] Flatten gal took : 36 ms
[2023-03-12 17:24:50] [INFO ] Input system was already deterministic with 1586 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Graph (complete) has 6076 edges and 1085 vertex of which 1083 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.2 ms
Discarding 2 places :
Also discarding 0 output transitions
Discarding 31 places :
Symmetric choice reduction at 0 with 31 rule applications. Total rules 32 place count 1052 transition count 2702
Iterating global reduction 0 with 31 rules applied. Total rules applied 63 place count 1052 transition count 2702
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 79 place count 1052 transition count 2686
Discarding 26 places :
Symmetric choice reduction at 1 with 26 rule applications. Total rules 105 place count 1026 transition count 2626
Iterating global reduction 1 with 26 rules applied. Total rules applied 131 place count 1026 transition count 2626
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 139 place count 1026 transition count 2618
Discarding 21 places :
Symmetric choice reduction at 2 with 21 rule applications. Total rules 160 place count 1005 transition count 2562
Iterating global reduction 2 with 21 rules applied. Total rules applied 181 place count 1005 transition count 2562
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 209 place count 977 transition count 2484
Iterating global reduction 2 with 28 rules applied. Total rules applied 237 place count 977 transition count 2484
Discarding 36 places :
Symmetric choice reduction at 2 with 36 rule applications. Total rules 273 place count 941 transition count 2376
Iterating global reduction 2 with 36 rules applied. Total rules applied 309 place count 941 transition count 2376
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 342 place count 908 transition count 2288
Iterating global reduction 2 with 33 rules applied. Total rules applied 375 place count 908 transition count 2288
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 408 place count 875 transition count 2222
Iterating global reduction 2 with 33 rules applied. Total rules applied 441 place count 875 transition count 2222
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 473 place count 843 transition count 2158
Iterating global reduction 2 with 32 rules applied. Total rules applied 505 place count 843 transition count 2158
Discarding 29 places :
Symmetric choice reduction at 2 with 29 rule applications. Total rules 534 place count 814 transition count 2100
Iterating global reduction 2 with 29 rules applied. Total rules applied 563 place count 814 transition count 2100
Discarding 40 places :
Symmetric choice reduction at 2 with 40 rule applications. Total rules 603 place count 774 transition count 1980
Iterating global reduction 2 with 40 rules applied. Total rules applied 643 place count 774 transition count 1980
Discarding 33 places :
Symmetric choice reduction at 2 with 33 rule applications. Total rules 676 place count 741 transition count 1870
Iterating global reduction 2 with 33 rules applied. Total rules applied 709 place count 741 transition count 1870
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 731 place count 719 transition count 1822
Iterating global reduction 2 with 22 rules applied. Total rules applied 753 place count 719 transition count 1822
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 775 place count 697 transition count 1778
Iterating global reduction 2 with 22 rules applied. Total rules applied 797 place count 697 transition count 1778
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 819 place count 675 transition count 1734
Iterating global reduction 2 with 22 rules applied. Total rules applied 841 place count 675 transition count 1734
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 863 place count 653 transition count 1690
Iterating global reduction 2 with 22 rules applied. Total rules applied 885 place count 653 transition count 1690
Discarding 22 places :
Symmetric choice reduction at 2 with 22 rule applications. Total rules 907 place count 631 transition count 1646
Iterating global reduction 2 with 22 rules applied. Total rules applied 929 place count 631 transition count 1646
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 931 place count 629 transition count 1642
Iterating global reduction 2 with 2 rules applied. Total rules applied 933 place count 629 transition count 1642
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 937 place count 629 transition count 1638
Applied a total of 937 rules in 627 ms. Remains 629 /1085 variables (removed 456) and now considering 1638/2774 (removed 1136) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 628 ms. Remains : 629/1085 places, 1638/2774 transitions.
[2023-03-12 17:24:51] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:51] [INFO ] Flatten gal took : 37 ms
[2023-03-12 17:24:51] [INFO ] Input system was already deterministic with 1638 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 35 place count 1050 transition count 2696
Iterating global reduction 1 with 33 rules applied. Total rules applied 68 place count 1050 transition count 2696
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 84 place count 1050 transition count 2680
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 112 place count 1022 transition count 2614
Iterating global reduction 2 with 28 rules applied. Total rules applied 140 place count 1022 transition count 2614
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 148 place count 1022 transition count 2606
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 171 place count 999 transition count 2546
Iterating global reduction 3 with 23 rules applied. Total rules applied 194 place count 999 transition count 2546
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 224 place count 969 transition count 2464
Iterating global reduction 3 with 30 rules applied. Total rules applied 254 place count 969 transition count 2464
Discarding 38 places :
Symmetric choice reduction at 3 with 38 rule applications. Total rules 292 place count 931 transition count 2352
Iterating global reduction 3 with 38 rules applied. Total rules applied 330 place count 931 transition count 2352
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 365 place count 896 transition count 2260
Iterating global reduction 3 with 35 rules applied. Total rules applied 400 place count 896 transition count 2260
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 435 place count 861 transition count 2190
Iterating global reduction 3 with 35 rules applied. Total rules applied 470 place count 861 transition count 2190
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 503 place count 828 transition count 2124
Iterating global reduction 3 with 33 rules applied. Total rules applied 536 place count 828 transition count 2124
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 566 place count 798 transition count 2064
Iterating global reduction 3 with 30 rules applied. Total rules applied 596 place count 798 transition count 2064
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 637 place count 757 transition count 1942
Iterating global reduction 3 with 41 rules applied. Total rules applied 678 place count 757 transition count 1942
Discarding 34 places :
Symmetric choice reduction at 3 with 34 rule applications. Total rules 712 place count 723 transition count 1828
Iterating global reduction 3 with 34 rules applied. Total rules applied 746 place count 723 transition count 1828
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 769 place count 700 transition count 1776
Iterating global reduction 3 with 23 rules applied. Total rules applied 792 place count 700 transition count 1776
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 815 place count 677 transition count 1730
Iterating global reduction 3 with 23 rules applied. Total rules applied 838 place count 677 transition count 1730
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 861 place count 654 transition count 1684
Iterating global reduction 3 with 23 rules applied. Total rules applied 884 place count 654 transition count 1684
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 907 place count 631 transition count 1638
Iterating global reduction 3 with 23 rules applied. Total rules applied 930 place count 631 transition count 1638
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 953 place count 608 transition count 1592
Iterating global reduction 3 with 23 rules applied. Total rules applied 976 place count 608 transition count 1592
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 979 place count 605 transition count 1586
Iterating global reduction 3 with 3 rules applied. Total rules applied 982 place count 605 transition count 1586
Applied a total of 982 rules in 449 ms. Remains 605 /1085 variables (removed 480) and now considering 1586/2774 (removed 1188) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 450 ms. Remains : 605/1085 places, 1586/2774 transitions.
[2023-03-12 17:24:52] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:52] [INFO ] Flatten gal took : 36 ms
[2023-03-12 17:24:52] [INFO ] Input system was already deterministic with 1586 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 29 places :
Symmetric choice reduction at 1 with 29 rule applications. Total rules 31 place count 1054 transition count 2708
Iterating global reduction 1 with 29 rules applied. Total rules applied 60 place count 1054 transition count 2708
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 1 with 20 rules applied. Total rules applied 80 place count 1054 transition count 2688
Discarding 25 places :
Symmetric choice reduction at 2 with 25 rule applications. Total rules 105 place count 1029 transition count 2630
Iterating global reduction 2 with 25 rules applied. Total rules applied 130 place count 1029 transition count 2630
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 138 place count 1029 transition count 2622
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 159 place count 1008 transition count 2570
Iterating global reduction 3 with 21 rules applied. Total rules applied 180 place count 1008 transition count 2570
Discarding 27 places :
Symmetric choice reduction at 3 with 27 rule applications. Total rules 207 place count 981 transition count 2498
Iterating global reduction 3 with 27 rules applied. Total rules applied 234 place count 981 transition count 2498
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 269 place count 946 transition count 2394
Iterating global reduction 3 with 35 rules applied. Total rules applied 304 place count 946 transition count 2394
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 336 place count 914 transition count 2308
Iterating global reduction 3 with 32 rules applied. Total rules applied 368 place count 914 transition count 2308
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 400 place count 882 transition count 2244
Iterating global reduction 3 with 32 rules applied. Total rules applied 432 place count 882 transition count 2244
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 462 place count 852 transition count 2184
Iterating global reduction 3 with 30 rules applied. Total rules applied 492 place count 852 transition count 2184
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 520 place count 824 transition count 2128
Iterating global reduction 3 with 28 rules applied. Total rules applied 548 place count 824 transition count 2128
Discarding 39 places :
Symmetric choice reduction at 3 with 39 rule applications. Total rules 587 place count 785 transition count 2012
Iterating global reduction 3 with 39 rules applied. Total rules applied 626 place count 785 transition count 2012
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 659 place count 752 transition count 1902
Iterating global reduction 3 with 33 rules applied. Total rules applied 692 place count 752 transition count 1902
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 714 place count 730 transition count 1852
Iterating global reduction 3 with 22 rules applied. Total rules applied 736 place count 730 transition count 1852
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 758 place count 708 transition count 1808
Iterating global reduction 3 with 22 rules applied. Total rules applied 780 place count 708 transition count 1808
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 802 place count 686 transition count 1764
Iterating global reduction 3 with 22 rules applied. Total rules applied 824 place count 686 transition count 1764
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 846 place count 664 transition count 1720
Iterating global reduction 3 with 22 rules applied. Total rules applied 868 place count 664 transition count 1720
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 890 place count 642 transition count 1676
Iterating global reduction 3 with 22 rules applied. Total rules applied 912 place count 642 transition count 1676
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 915 place count 639 transition count 1670
Iterating global reduction 3 with 3 rules applied. Total rules applied 918 place count 639 transition count 1670
Applied a total of 918 rules in 428 ms. Remains 639 /1085 variables (removed 446) and now considering 1670/2774 (removed 1104) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 428 ms. Remains : 639/1085 places, 1670/2774 transitions.
[2023-03-12 17:24:52] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:52] [INFO ] Flatten gal took : 37 ms
[2023-03-12 17:24:52] [INFO ] Input system was already deterministic with 1670 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 33 places :
Symmetric choice reduction at 1 with 33 rule applications. Total rules 35 place count 1050 transition count 2696
Iterating global reduction 1 with 33 rules applied. Total rules applied 68 place count 1050 transition count 2696
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 84 place count 1050 transition count 2680
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 112 place count 1022 transition count 2614
Iterating global reduction 2 with 28 rules applied. Total rules applied 140 place count 1022 transition count 2614
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 148 place count 1022 transition count 2606
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 171 place count 999 transition count 2546
Iterating global reduction 3 with 23 rules applied. Total rules applied 194 place count 999 transition count 2546
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 224 place count 969 transition count 2464
Iterating global reduction 3 with 30 rules applied. Total rules applied 254 place count 969 transition count 2464
Discarding 38 places :
Symmetric choice reduction at 3 with 38 rule applications. Total rules 292 place count 931 transition count 2352
Iterating global reduction 3 with 38 rules applied. Total rules applied 330 place count 931 transition count 2352
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 365 place count 896 transition count 2260
Iterating global reduction 3 with 35 rules applied. Total rules applied 400 place count 896 transition count 2260
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 435 place count 861 transition count 2190
Iterating global reduction 3 with 35 rules applied. Total rules applied 470 place count 861 transition count 2190
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 502 place count 829 transition count 2126
Iterating global reduction 3 with 32 rules applied. Total rules applied 534 place count 829 transition count 2126
Discarding 29 places :
Symmetric choice reduction at 3 with 29 rule applications. Total rules 563 place count 800 transition count 2068
Iterating global reduction 3 with 29 rules applied. Total rules applied 592 place count 800 transition count 2068
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 632 place count 760 transition count 1948
Iterating global reduction 3 with 40 rules applied. Total rules applied 672 place count 760 transition count 1948
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 705 place count 727 transition count 1836
Iterating global reduction 3 with 33 rules applied. Total rules applied 738 place count 727 transition count 1836
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 761 place count 704 transition count 1784
Iterating global reduction 3 with 23 rules applied. Total rules applied 784 place count 704 transition count 1784
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 807 place count 681 transition count 1738
Iterating global reduction 3 with 23 rules applied. Total rules applied 830 place count 681 transition count 1738
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 853 place count 658 transition count 1692
Iterating global reduction 3 with 23 rules applied. Total rules applied 876 place count 658 transition count 1692
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 899 place count 635 transition count 1646
Iterating global reduction 3 with 23 rules applied. Total rules applied 922 place count 635 transition count 1646
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 945 place count 612 transition count 1600
Iterating global reduction 3 with 23 rules applied. Total rules applied 968 place count 612 transition count 1600
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 971 place count 609 transition count 1594
Iterating global reduction 3 with 3 rules applied. Total rules applied 974 place count 609 transition count 1594
Applied a total of 974 rules in 405 ms. Remains 609 /1085 variables (removed 476) and now considering 1594/2774 (removed 1180) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 405 ms. Remains : 609/1085 places, 1594/2774 transitions.
[2023-03-12 17:24:53] [INFO ] Flatten gal took : 31 ms
[2023-03-12 17:24:53] [INFO ] Flatten gal took : 36 ms
[2023-03-12 17:24:53] [INFO ] Input system was already deterministic with 1594 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 31 places :
Symmetric choice reduction at 1 with 31 rule applications. Total rules 33 place count 1052 transition count 2704
Iterating global reduction 1 with 31 rules applied. Total rules applied 64 place count 1052 transition count 2704
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 1 with 18 rules applied. Total rules applied 82 place count 1052 transition count 2686
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 108 place count 1026 transition count 2626
Iterating global reduction 2 with 26 rules applied. Total rules applied 134 place count 1026 transition count 2626
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 142 place count 1026 transition count 2618
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 164 place count 1004 transition count 2560
Iterating global reduction 3 with 22 rules applied. Total rules applied 186 place count 1004 transition count 2560
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 214 place count 976 transition count 2484
Iterating global reduction 3 with 28 rules applied. Total rules applied 242 place count 976 transition count 2484
Discarding 36 places :
Symmetric choice reduction at 3 with 36 rule applications. Total rules 278 place count 940 transition count 2378
Iterating global reduction 3 with 36 rules applied. Total rules applied 314 place count 940 transition count 2378
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 346 place count 908 transition count 2292
Iterating global reduction 3 with 32 rules applied. Total rules applied 378 place count 908 transition count 2292
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 410 place count 876 transition count 2228
Iterating global reduction 3 with 32 rules applied. Total rules applied 442 place count 876 transition count 2228
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 473 place count 845 transition count 2166
Iterating global reduction 3 with 31 rules applied. Total rules applied 504 place count 845 transition count 2166
Discarding 29 places :
Symmetric choice reduction at 3 with 29 rule applications. Total rules 533 place count 816 transition count 2108
Iterating global reduction 3 with 29 rules applied. Total rules applied 562 place count 816 transition count 2108
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 602 place count 776 transition count 1988
Iterating global reduction 3 with 40 rules applied. Total rules applied 642 place count 776 transition count 1988
Discarding 34 places :
Symmetric choice reduction at 3 with 34 rule applications. Total rules 676 place count 742 transition count 1874
Iterating global reduction 3 with 34 rules applied. Total rules applied 710 place count 742 transition count 1874
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 733 place count 719 transition count 1822
Iterating global reduction 3 with 23 rules applied. Total rules applied 756 place count 719 transition count 1822
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 779 place count 696 transition count 1776
Iterating global reduction 3 with 23 rules applied. Total rules applied 802 place count 696 transition count 1776
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 825 place count 673 transition count 1730
Iterating global reduction 3 with 23 rules applied. Total rules applied 848 place count 673 transition count 1730
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 871 place count 650 transition count 1684
Iterating global reduction 3 with 23 rules applied. Total rules applied 894 place count 650 transition count 1684
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 917 place count 627 transition count 1638
Iterating global reduction 3 with 23 rules applied. Total rules applied 940 place count 627 transition count 1638
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 943 place count 624 transition count 1632
Iterating global reduction 3 with 3 rules applied. Total rules applied 946 place count 624 transition count 1632
Applied a total of 946 rules in 404 ms. Remains 624 /1085 variables (removed 461) and now considering 1632/2774 (removed 1142) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 404 ms. Remains : 624/1085 places, 1632/2774 transitions.
[2023-03-12 17:24:53] [INFO ] Flatten gal took : 33 ms
[2023-03-12 17:24:53] [INFO ] Flatten gal took : 35 ms
[2023-03-12 17:24:54] [INFO ] Input system was already deterministic with 1632 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 30 places :
Symmetric choice reduction at 1 with 30 rule applications. Total rules 32 place count 1053 transition count 2704
Iterating global reduction 1 with 30 rules applied. Total rules applied 62 place count 1053 transition count 2704
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 1 with 18 rules applied. Total rules applied 80 place count 1053 transition count 2686
Discarding 24 places :
Symmetric choice reduction at 2 with 24 rule applications. Total rules 104 place count 1029 transition count 2630
Iterating global reduction 2 with 24 rules applied. Total rules applied 128 place count 1029 transition count 2630
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 136 place count 1029 transition count 2622
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 155 place count 1010 transition count 2576
Iterating global reduction 3 with 19 rules applied. Total rules applied 174 place count 1010 transition count 2576
Discarding 26 places :
Symmetric choice reduction at 3 with 26 rule applications. Total rules 200 place count 984 transition count 2506
Iterating global reduction 3 with 26 rules applied. Total rules applied 226 place count 984 transition count 2506
Discarding 34 places :
Symmetric choice reduction at 3 with 34 rule applications. Total rules 260 place count 950 transition count 2402
Iterating global reduction 3 with 34 rules applied. Total rules applied 294 place count 950 transition count 2402
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 326 place count 918 transition count 2316
Iterating global reduction 3 with 32 rules applied. Total rules applied 358 place count 918 transition count 2316
Discarding 32 places :
Symmetric choice reduction at 3 with 32 rule applications. Total rules 390 place count 886 transition count 2252
Iterating global reduction 3 with 32 rules applied. Total rules applied 422 place count 886 transition count 2252
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 452 place count 856 transition count 2192
Iterating global reduction 3 with 30 rules applied. Total rules applied 482 place count 856 transition count 2192
Discarding 28 places :
Symmetric choice reduction at 3 with 28 rule applications. Total rules 510 place count 828 transition count 2136
Iterating global reduction 3 with 28 rules applied. Total rules applied 538 place count 828 transition count 2136
Discarding 41 places :
Symmetric choice reduction at 3 with 41 rule applications. Total rules 579 place count 787 transition count 2014
Iterating global reduction 3 with 41 rules applied. Total rules applied 620 place count 787 transition count 2014
Discarding 34 places :
Symmetric choice reduction at 3 with 34 rule applications. Total rules 654 place count 753 transition count 1900
Iterating global reduction 3 with 34 rules applied. Total rules applied 688 place count 753 transition count 1900
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 711 place count 730 transition count 1848
Iterating global reduction 3 with 23 rules applied. Total rules applied 734 place count 730 transition count 1848
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 757 place count 707 transition count 1802
Iterating global reduction 3 with 23 rules applied. Total rules applied 780 place count 707 transition count 1802
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 803 place count 684 transition count 1756
Iterating global reduction 3 with 23 rules applied. Total rules applied 826 place count 684 transition count 1756
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 849 place count 661 transition count 1710
Iterating global reduction 3 with 23 rules applied. Total rules applied 872 place count 661 transition count 1710
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 895 place count 638 transition count 1664
Iterating global reduction 3 with 23 rules applied. Total rules applied 918 place count 638 transition count 1664
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 921 place count 635 transition count 1658
Iterating global reduction 3 with 3 rules applied. Total rules applied 924 place count 635 transition count 1658
Applied a total of 924 rules in 421 ms. Remains 635 /1085 variables (removed 450) and now considering 1658/2774 (removed 1116) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 421 ms. Remains : 635/1085 places, 1658/2774 transitions.
[2023-03-12 17:24:54] [INFO ] Flatten gal took : 34 ms
[2023-03-12 17:24:54] [INFO ] Flatten gal took : 37 ms
[2023-03-12 17:24:54] [INFO ] Input system was already deterministic with 1658 transitions.
Starting structural reductions in LTL mode, iteration 0 : 1085/1085 places, 2774/2774 transitions.
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1083 transition count 2774
Discarding 32 places :
Symmetric choice reduction at 1 with 32 rule applications. Total rules 34 place count 1051 transition count 2698
Iterating global reduction 1 with 32 rules applied. Total rules applied 66 place count 1051 transition count 2698
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 82 place count 1051 transition count 2682
Discarding 28 places :
Symmetric choice reduction at 2 with 28 rule applications. Total rules 110 place count 1023 transition count 2616
Iterating global reduction 2 with 28 rules applied. Total rules applied 138 place count 1023 transition count 2616
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 146 place count 1023 transition count 2608
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 169 place count 1000 transition count 2548
Iterating global reduction 3 with 23 rules applied. Total rules applied 192 place count 1000 transition count 2548
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 222 place count 970 transition count 2466
Iterating global reduction 3 with 30 rules applied. Total rules applied 252 place count 970 transition count 2466
Discarding 38 places :
Symmetric choice reduction at 3 with 38 rule applications. Total rules 290 place count 932 transition count 2354
Iterating global reduction 3 with 38 rules applied. Total rules applied 328 place count 932 transition count 2354
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 363 place count 897 transition count 2262
Iterating global reduction 3 with 35 rules applied. Total rules applied 398 place count 897 transition count 2262
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 433 place count 862 transition count 2192
Iterating global reduction 3 with 35 rules applied. Total rules applied 468 place count 862 transition count 2192
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 501 place count 829 transition count 2126
Iterating global reduction 3 with 33 rules applied. Total rules applied 534 place count 829 transition count 2126
Discarding 30 places :
Symmetric choice reduction at 3 with 30 rule applications. Total rules 564 place count 799 transition count 2066
Iterating global reduction 3 with 30 rules applied. Total rules applied 594 place count 799 transition count 2066
Discarding 40 places :
Symmetric choice reduction at 3 with 40 rule applications. Total rules 634 place count 759 transition count 1948
Iterating global reduction 3 with 40 rules applied. Total rules applied 674 place count 759 transition count 1948
Discarding 33 places :
Symmetric choice reduction at 3 with 33 rule applications. Total rules 707 place count 726 transition count 1838
Iterating global reduction 3 with 33 rules applied. Total rules applied 740 place count 726 transition count 1838
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 762 place count 704 transition count 1788
Iterating global reduction 3 with 22 rules applied. Total rules applied 784 place count 704 transition count 1788
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 806 place count 682 transition count 1744
Iterating global reduction 3 with 22 rules applied. Total rules applied 828 place count 682 transition count 1744
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 850 place count 660 transition count 1700
Iterating global reduction 3 with 22 rules applied. Total rules applied 872 place count 660 transition count 1700
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 894 place count 638 transition count 1656
Iterating global reduction 3 with 22 rules applied. Total rules applied 916 place count 638 transition count 1656
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 938 place count 616 transition count 1612
Iterating global reduction 3 with 22 rules applied. Total rules applied 960 place count 616 transition count 1612
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 963 place count 613 transition count 1606
Iterating global reduction 3 with 3 rules applied. Total rules applied 966 place count 613 transition count 1606
Applied a total of 966 rules in 394 ms. Remains 613 /1085 variables (removed 472) and now considering 1606/2774 (removed 1168) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 394 ms. Remains : 613/1085 places, 1606/2774 transitions.
[2023-03-12 17:24:55] [INFO ] Flatten gal took : 31 ms
[2023-03-12 17:24:55] [INFO ] Flatten gal took : 36 ms
[2023-03-12 17:24:55] [INFO ] Input system was already deterministic with 1606 transitions.
[2023-03-12 17:24:55] [INFO ] Flatten gal took : 73 ms
[2023-03-12 17:24:55] [INFO ] Flatten gal took : 59 ms
[2023-03-12 17:24:55] [INFO ] Export to MCC of 14 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2023-03-12 17:24:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1085 places, 2774 transitions and 11274 arcs took 16 ms.
Total runtime 127684 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/537/ctl_0_ --ctl=/tmp/537/ctl_1_ --ctl=/tmp/537/ctl_2_ --ctl=/tmp/537/ctl_3_ --ctl=/tmp/537/ctl_4_ --ctl=/tmp/537/ctl_5_ --ctl=/tmp/537/ctl_6_ --ctl=/tmp/537/ctl_7_ --ctl=/tmp/537/ctl_8_ --ctl=/tmp/537/ctl_9_ --ctl=/tmp/537/ctl_10_ --ctl=/tmp/537/ctl_11_ --ctl=/tmp/537/ctl_12_ --ctl=/tmp/537/ctl_13_ --mu-par --mu-opt
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8880664 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16094912 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 CTLCardinality -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="FunctionPointer-PT-c128"
export BK_EXAMINATION="CTLCardinality"
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 FunctionPointer-PT-c128, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r169-tall-167838856400761"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-c128.tgz
mv FunctionPointer-PT-c128 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;