About the Execution of GreatSPN+red for DoubleExponent-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4037.428 | 3600000.00 | 3687412.00 | 10187.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r135-tall-171631131400569.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is DoubleExponent-PT-100, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r135-tall-171631131400569
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K May 19 07:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 19 15:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 1.8M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-00
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-01
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-02
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-03
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-04
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-05
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-06
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-07
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-08
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-09
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-10
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2024-11
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2023-12
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2023-13
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2023-14
FORMULA_NAME DoubleExponent-PT-100-CTLCardinality-2023-15
=== Now, execution of the tool begins
BK_START 1716384363278
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-100
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-22 13:26:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2024-05-22 13:26:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 13:26:04] [INFO ] Load time of PNML (sax parser for PT used): 215 ms
[2024-05-22 13:26:04] [INFO ] Transformed 5304 places.
[2024-05-22 13:26:04] [INFO ] Transformed 4998 transitions.
[2024-05-22 13:26:04] [INFO ] Parsed PT model containing 5304 places and 4998 transitions and 14094 arcs in 339 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 17 ms.
Support contains 159 out of 5304 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5304/5304 places, 4998/4998 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 5300 transition count 4998
Applied a total of 4 rules in 938 ms. Remains 5300 /5304 variables (removed 4) and now considering 4998/4998 (removed 0) transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2024-05-22 13:26:06] [INFO ] Invariants computation overflowed in 145 ms
[2024-05-22 13:26:08] [INFO ] Implicit Places using invariants in 2091 ms returned []
// Phase 1: matrix 4998 rows 5300 cols
[2024-05-22 13:26:08] [INFO ] Invariants computation overflowed in 114 ms
[2024-05-22 13:28:49] [INFO ] Performed 3/5300 implicitness test of which 0 returned IMPLICIT in 157 seconds.
[2024-05-22 13:28:49] [INFO ] Timeout of Implicit test with SMT after 157 seconds.
[2024-05-22 13:28:49] [INFO ] Implicit Places using invariants and state equation in 160275 ms returned []
Implicit Place search using SMT with State Equation took 162392 ms to find 0 implicit places.
Running 4997 sub problems to find dead transitions.
// Phase 1: matrix 4998 rows 5300 cols
[2024-05-22 13:28:49] [INFO ] Invariants computation overflowed in 105 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5299/10298 variables, and 0 constraints, problems are : Problem set: 0 solved, 4997 unsolved in 30100 ms.
Refiners :[State Equation: 0/5300 constraints, PredecessorRefiner: 4997/4997 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 4997 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5299/10298 variables, and 0 constraints, problems are : Problem set: 0 solved, 4997 unsolved in 30075 ms.
Refiners :[State Equation: 0/5300 constraints, PredecessorRefiner: 0/4997 constraints, Known Traps: 0/0 constraints]
After SMT, in 62867ms problems are : Problem set: 0 solved, 4997 unsolved
Search for dead transitions found 0 dead transitions in 62926ms
Starting structural reductions in LTL mode, iteration 1 : 5300/5304 places, 4998/4998 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 226306 ms. Remains : 5300/5304 places, 4998/4998 transitions.
Support contains 159 out of 5300 places after structural reductions.
[2024-05-22 13:29:52] [INFO ] Flatten gal took : 290 ms
[2024-05-22 13:29:53] [INFO ] Flatten gal took : 179 ms
[2024-05-22 13:29:53] [INFO ] Input system was already deterministic with 4998 transitions.
Support contains 154 out of 5300 places (down from 159) after GAL structural reductions.
RANDOM walk for 40000 steps (1318 resets) in 2109 ms. (18 steps per ms) remains 86/88 properties
BEST_FIRST walk for 4001 steps (116 resets) in 152 ms. (26 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (114 resets) in 89 ms. (44 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (115 resets) in 44 ms. (88 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (108 resets) in 71 ms. (55 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (114 resets) in 59 ms. (66 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (106 resets) in 47 ms. (83 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4002 steps (110 resets) in 53 ms. (74 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (108 resets) in 59 ms. (66 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (111 resets) in 41 ms. (95 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (106 resets) in 41 ms. (95 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (113 resets) in 38 ms. (102 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (104 resets) in 33 ms. (117 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (112 resets) in 45 ms. (86 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (111 resets) in 36 ms. (108 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (107 resets) in 35 ms. (111 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (118 resets) in 44 ms. (88 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (107 resets) in 60 ms. (65 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (110 resets) in 151 ms. (26 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4002 steps (117 resets) in 35 ms. (111 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (111 resets) in 39 ms. (100 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (120 resets) in 44 ms. (88 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (110 resets) in 40 ms. (97 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (115 resets) in 59 ms. (66 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (113 resets) in 59 ms. (66 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4002 steps (110 resets) in 71 ms. (55 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4003 steps (117 resets) in 63 ms. (62 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (102 resets) in 55 ms. (71 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (106 resets) in 43 ms. (90 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (108 resets) in 66 ms. (59 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (112 resets) in 44 ms. (88 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (114 resets) in 42 ms. (93 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (112 resets) in 45 ms. (86 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (111 resets) in 40 ms. (97 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (108 resets) in 39 ms. (100 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (108 resets) in 39 ms. (100 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (108 resets) in 37 ms. (105 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (113 resets) in 40 ms. (97 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (105 resets) in 52 ms. (75 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (109 resets) in 44 ms. (88 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4002 steps (115 resets) in 40 ms. (97 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (114 resets) in 38 ms. (102 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (114 resets) in 122 ms. (32 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (115 resets) in 39 ms. (100 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (114 resets) in 34 ms. (114 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (105 resets) in 41 ms. (95 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (110 resets) in 32 ms. (121 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (112 resets) in 34 ms. (114 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (111 resets) in 32 ms. (121 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4000 steps (114 resets) in 32 ms. (121 steps per ms) remains 86/86 properties
BEST_FIRST walk for 4001 steps (114 resets) in 32 ms. (121 steps per ms) remains 86/86 properties
Interrupted probabilistic random walk after 48115 steps, run timeout after 3013 ms. (steps per millisecond=15 ) properties seen :1 out of 86
Probabilistic random walk after 48115 steps, saw 24066 distinct states, run finished after 3017 ms. (steps per millisecond=15 ) properties seen :1
// Phase 1: matrix 4998 rows 5300 cols
[2024-05-22 13:29:59] [INFO ] Invariants computation overflowed in 87 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/150 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 1 (OVERLAPS) 386/536 variables, 150/150 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/536 variables, 0/150 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 3 (OVERLAPS) 1840/2376 variables, 674/824 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2376 variables, 0/824 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 5 (OVERLAPS) 3308/5684 variables, 1670/2494 constraints. Problems are: Problem set: 0 solved, 85 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 5684/10298 variables, and 2494 constraints, problems are : Problem set: 0 solved, 85 unsolved in 5014 ms.
Refiners :[State Equation: 2494/5300 constraints, PredecessorRefiner: 85/85 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 85 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/150 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 1 (OVERLAPS) 386/536 variables, 150/150 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/536 variables, 0/150 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 3 (OVERLAPS) 1840/2376 variables, 674/824 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2376 variables, 85/909 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2376 variables, 0/909 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 6 (OVERLAPS) 3308/5684 variables, 1670/2579 constraints. Problems are: Problem set: 0 solved, 85 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5684/10298 variables, and 2579 constraints, problems are : Problem set: 0 solved, 85 unsolved in 5016 ms.
Refiners :[State Equation: 2494/5300 constraints, PredecessorRefiner: 85/85 constraints, Known Traps: 0/0 constraints]
After SMT, in 10212ms problems are : Problem set: 0 solved, 85 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 150 out of 5300 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Graph (complete) has 9091 edges and 5300 vertex of which 5298 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.13 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions (Trivial Post-Agglo cleanup.) removed 1052 transitions
Trivial Post-agglo rules discarded 1052 transitions
Performed 1052 trivial Post agglomeration. Transition count delta: 1052
Iterating post reduction 0 with 1055 rules applied. Total rules applied 1056 place count 5297 transition count 3944
Reduce places removed 1052 places and 0 transitions.
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Iterating post reduction 1 with 1103 rules applied. Total rules applied 2159 place count 4245 transition count 3893
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 2 with 51 rules applied. Total rules applied 2210 place count 4194 transition count 3893
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 201 Pre rules applied. Total rules applied 2210 place count 4194 transition count 3692
Deduced a syphon composed of 201 places in 179 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 3 with 402 rules applied. Total rules applied 2612 place count 3993 transition count 3692
Performed 845 Post agglomeration using F-continuation condition.Transition count delta: 845
Deduced a syphon composed of 845 places in 77 ms
Reduce places removed 845 places and 0 transitions.
Iterating global reduction 3 with 1690 rules applied. Total rules applied 4302 place count 3148 transition count 2847
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 101 places in 219 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 3 with 202 rules applied. Total rules applied 4504 place count 3047 transition count 2847
Performed 77 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 77 places in 68 ms
Reduce places removed 77 places and 0 transitions.
Iterating global reduction 3 with 154 rules applied. Total rules applied 4658 place count 2970 transition count 2847
Free-agglomeration rule applied 3 times.
Iterating global reduction 3 with 3 rules applied. Total rules applied 4661 place count 2970 transition count 2844
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 4664 place count 2967 transition count 2844
Free-agglomeration rule (complex) applied 390 times.
Iterating global reduction 4 with 390 rules applied. Total rules applied 5054 place count 2967 transition count 2454
Reduce places removed 390 places and 0 transitions.
Iterating post reduction 4 with 390 rules applied. Total rules applied 5444 place count 2577 transition count 2454
Partial Free-agglomeration rule applied 402 times.
Drop transitions (Partial Free agglomeration) removed 402 transitions
Iterating global reduction 5 with 402 rules applied. Total rules applied 5846 place count 2577 transition count 2454
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 1 rules applied. Total rules applied 5847 place count 2576 transition count 2453
Applied a total of 5847 rules in 2385 ms. Remains 2576 /5300 variables (removed 2724) and now considering 2453/4998 (removed 2545) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2385 ms. Remains : 2576/5300 places, 2453/4998 transitions.
RANDOM walk for 40000 steps (3821 resets) in 647 ms. (61 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (264 resets) in 36 ms. (108 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (259 resets) in 52 ms. (75 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (270 resets) in 63 ms. (62 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (275 resets) in 40 ms. (97 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (280 resets) in 39 ms. (100 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (292 resets) in 51 ms. (76 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (268 resets) in 34 ms. (114 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (285 resets) in 114 ms. (34 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (280 resets) in 29 ms. (133 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (280 resets) in 57 ms. (68 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (282 resets) in 42 ms. (93 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (270 resets) in 66 ms. (59 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (279 resets) in 39 ms. (100 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (276 resets) in 29 ms. (133 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (268 resets) in 40 ms. (97 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (284 resets) in 40 ms. (97 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (273 resets) in 39 ms. (100 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (269 resets) in 33 ms. (117 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (270 resets) in 38 ms. (102 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (278 resets) in 62 ms. (63 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (276 resets) in 32 ms. (121 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (277 resets) in 38 ms. (102 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (282 resets) in 54 ms. (72 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (278 resets) in 34 ms. (114 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (275 resets) in 51 ms. (76 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (283 resets) in 49 ms. (80 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (273 resets) in 49 ms. (80 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (275 resets) in 46 ms. (85 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (274 resets) in 38 ms. (102 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (282 resets) in 41 ms. (95 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (277 resets) in 51 ms. (76 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (271 resets) in 40 ms. (97 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (282 resets) in 41 ms. (95 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (282 resets) in 40 ms. (97 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (286 resets) in 34 ms. (114 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4000 steps (272 resets) in 49 ms. (80 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (276 resets) in 41 ms. (95 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (274 resets) in 43 ms. (90 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (283 resets) in 47 ms. (83 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (279 resets) in 40 ms. (97 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (278 resets) in 35 ms. (111 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (297 resets) in 33 ms. (117 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (269 resets) in 54 ms. (72 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (289 resets) in 61 ms. (64 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (273 resets) in 38 ms. (102 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (279 resets) in 31 ms. (125 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (261 resets) in 25 ms. (153 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4003 steps (272 resets) in 27 ms. (142 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4001 steps (276 resets) in 29 ms. (133 steps per ms) remains 85/85 properties
BEST_FIRST walk for 4002 steps (269 resets) in 29 ms. (133 steps per ms) remains 85/85 properties
Interrupted probabilistic random walk after 86679 steps, run timeout after 3001 ms. (steps per millisecond=28 ) properties seen :0 out of 85
Probabilistic random walk after 86679 steps, saw 43350 distinct states, run finished after 3001 ms. (steps per millisecond=28 ) properties seen :0
// Phase 1: matrix 2453 rows 2576 cols
[2024-05-22 13:30:15] [INFO ] Invariants computation overflowed in 48 ms
[2024-05-22 13:30:15] [INFO ] State equation strengthened by 363 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/150 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 1 (OVERLAPS) 499/649 variables, 150/150 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/649 variables, 8/158 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/649 variables, 0/158 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 4 (OVERLAPS) 2385/3034 variables, 970/1128 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/3034 variables, 146/1274 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/3034 variables, 0/1274 constraints. Problems are: Problem set: 0 solved, 85 unsolved
At refinement iteration 7 (OVERLAPS) 1893/4927 variables, 1363/2637 constraints. Problems are: Problem set: 0 solved, 85 unsolved
SMT process timed out in 45125ms, After SMT, problems are : Problem set: 0 solved, 85 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 150 out of 2576 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2576/2576 places, 2453/2453 transitions.
Applied a total of 0 rules in 134 ms. Remains 2576 /2576 variables (removed 0) and now considering 2453/2453 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 134 ms. Remains : 2576/2576 places, 2453/2453 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2576/2576 places, 2453/2453 transitions.
Applied a total of 0 rules in 110 ms. Remains 2576 /2576 variables (removed 0) and now considering 2453/2453 (removed 0) transitions.
// Phase 1: matrix 2453 rows 2576 cols
[2024-05-22 13:31:01] [INFO ] Invariants computation overflowed in 57 ms
[2024-05-22 13:31:02] [INFO ] Implicit Places using invariants in 1492 ms returned []
// Phase 1: matrix 2453 rows 2576 cols
[2024-05-22 13:31:02] [INFO ] Invariants computation overflowed in 51 ms
[2024-05-22 13:31:03] [INFO ] State equation strengthened by 363 read => feed constraints.
[2024-05-22 13:31:34] [INFO ] Performed 3/2576 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-22 13:32:20] [INFO ] Performed 175/2576 implicitness test of which 10 returned IMPLICIT in 76 seconds.
[2024-05-22 13:32:52] [INFO ] Performed 182/2576 implicitness test of which 10 returned IMPLICIT in 108 seconds.
[2024-05-22 13:33:42] [INFO ] Performed 203/2576 implicitness test of which 13 returned IMPLICIT in 158 seconds.
[2024-05-22 13:33:42] [INFO ] Implicit Places using invariants and state equation in 160099 ms returned [20, 27, 49, 56, 81, 87, 107, 114, 137, 142, 196, 198, 203]
[2024-05-22 13:33:42] [INFO ] Actually due to overlaps returned [203, 27, 20, 196, 198]
Discarding 5 places :
Implicit Place search using SMT with State Equation took 161597 ms to find 5 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 2571/2576 places, 2453/2453 transitions.
Partial Free-agglomeration rule applied 3 times.
Drop transitions (Partial Free agglomeration) removed 3 transitions
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 2571 transition count 2453
Applied a total of 3 rules in 215 ms. Remains 2571 /2571 variables (removed 0) and now considering 2453/2453 (removed 0) transitions.
// Phase 1: matrix 2453 rows 2571 cols
[2024-05-22 13:33:43] [INFO ] Invariants computation overflowed in 72 ms
[2024-05-22 13:33:44] [INFO ] Implicit Places using invariants in 1500 ms returned []
// Phase 1: matrix 2453 rows 2571 cols
[2024-05-22 13:33:44] [INFO ] Invariants computation overflowed in 71 ms
[2024-05-22 13:33:45] [INFO ] State equation strengthened by 363 read => feed constraints.
[2024-05-22 13:34:19] [INFO ] Performed 5/2571 implicitness test of which 0 returned IMPLICIT in 34 seconds.
[2024-05-22 13:34:54] [INFO ] Performed 172/2571 implicitness test of which 8 returned IMPLICIT in 69 seconds.
[2024-05-22 13:35:24] [INFO ] Performed 327/2571 implicitness test of which 17 returned IMPLICIT in 99 seconds.
[2024-05-22 13:35:58] [INFO ] Performed 512/2571 implicitness test of which 28 returned IMPLICIT in 132 seconds.
[2024-05-22 13:36:24] [INFO ] Implicit Places using invariants and state equation in 160113 ms returned [47, 54, 79, 85, 105, 112, 135, 140, 221, 228, 250, 256, 260, 279, 285, 305, 311, 334, 340, 362, 369, 421, 427, 448, 454, 479, 506, 512, 535, 542, 564, 571, 592, 602, 624, 630]
[2024-05-22 13:36:24] [INFO ] Actually due to overlaps returned [512, 228, 54, 427, 260, 47, 221, 421, 506]
Discarding 9 places :
Implicit Place search using SMT with State Equation took 161619 ms to find 9 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2562/2576 places, 2453/2453 transitions.
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 2562 transition count 2449
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 8 place count 2558 transition count 2449
Applied a total of 8 rules in 229 ms. Remains 2558 /2562 variables (removed 4) and now considering 2449/2453 (removed 4) transitions.
// Phase 1: matrix 2449 rows 2558 cols
[2024-05-22 13:36:24] [INFO ] Invariants computation overflowed in 69 ms
[2024-05-22 13:36:26] [INFO ] Implicit Places using invariants in 1505 ms returned []
// Phase 1: matrix 2449 rows 2558 cols
[2024-05-22 13:36:26] [INFO ] Invariants computation overflowed in 45 ms
[2024-05-22 13:36:27] [INFO ] State equation strengthened by 363 read => feed constraints.
[2024-05-22 13:36:58] [INFO ] Performed 5/2558 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-22 13:37:35] [INFO ] Performed 32/2558 implicitness test of which 0 returned IMPLICIT in 67 seconds.
[2024-05-22 13:38:10] [INFO ] Performed 34/2558 implicitness test of which 0 returned IMPLICIT in 103 seconds.
[2024-05-22 13:39:06] [INFO ] Performed 35/2558 implicitness test of which 0 returned IMPLICIT in 158 seconds.
[2024-05-22 13:39:06] [INFO ] Timeout of Implicit test with SMT after 158 seconds.
[2024-05-22 13:39:06] [INFO ] Implicit Places using invariants and state equation in 160102 ms returned []
Implicit Place search using SMT with State Equation took 161608 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 2558/2576 places, 2449/2453 transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 485378 ms. Remains : 2558/2576 places, 2449/2453 transitions.
[2024-05-22 13:39:06] [INFO ] Flatten gal took : 127 ms
[2024-05-22 13:39:06] [INFO ] Flatten gal took : 131 ms
[2024-05-22 13:39:07] [INFO ] Input system was already deterministic with 4998 transitions.
Computed a total of 7 stabilizing places and 7 stable transitions
Graph (complete) has 9091 edges and 5300 vertex of which 5298 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.28 ms
Starting structural reductions in SI_CTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1199 transitions
Trivial Post-agglo rules discarded 1199 transitions
Performed 1199 trivial Post agglomeration. Transition count delta: 1199
Iterating post reduction 0 with 1199 rules applied. Total rules applied 1199 place count 5299 transition count 3798
Reduce places removed 1199 places and 0 transitions.
Iterating post reduction 1 with 1199 rules applied. Total rules applied 2398 place count 4100 transition count 3798
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 200 Pre rules applied. Total rules applied 2398 place count 4100 transition count 3598
Deduced a syphon composed of 200 places in 191 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 2 with 400 rules applied. Total rules applied 2798 place count 3900 transition count 3598
Performed 701 Post agglomeration using F-continuation condition.Transition count delta: 701
Deduced a syphon composed of 701 places in 72 ms
Reduce places removed 701 places and 0 transitions.
Iterating global reduction 2 with 1402 rules applied. Total rules applied 4200 place count 3199 transition count 2897
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 4201 place count 3198 transition count 2896
Applied a total of 4201 rules in 1118 ms. Remains 3198 /5300 variables (removed 2102) and now considering 2896/4998 (removed 2102) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1118 ms. Remains : 3198/5300 places, 2896/4998 transitions.
[2024-05-22 13:39:08] [INFO ] Flatten gal took : 76 ms
[2024-05-22 13:39:08] [INFO ] Flatten gal took : 85 ms
[2024-05-22 13:39:08] [INFO ] Input system was already deterministic with 2896 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1195 transitions
Trivial Post-agglo rules discarded 1195 transitions
Performed 1195 trivial Post agglomeration. Transition count delta: 1195
Iterating post reduction 0 with 1195 rules applied. Total rules applied 1195 place count 5299 transition count 3802
Reduce places removed 1195 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 1197 rules applied. Total rules applied 2392 place count 4104 transition count 3800
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 2394 place count 4102 transition count 3800
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 200 Pre rules applied. Total rules applied 2394 place count 4102 transition count 3600
Deduced a syphon composed of 200 places in 168 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 3 with 400 rules applied. Total rules applied 2794 place count 3902 transition count 3600
Performed 699 Post agglomeration using F-continuation condition.Transition count delta: 699
Deduced a syphon composed of 699 places in 81 ms
Reduce places removed 699 places and 0 transitions.
Iterating global reduction 3 with 1398 rules applied. Total rules applied 4192 place count 3203 transition count 2901
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4193 place count 3202 transition count 2900
Applied a total of 4193 rules in 1036 ms. Remains 3202 /5300 variables (removed 2098) and now considering 2900/4998 (removed 2098) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1036 ms. Remains : 3202/5300 places, 2900/4998 transitions.
[2024-05-22 13:39:09] [INFO ] Flatten gal took : 68 ms
[2024-05-22 13:39:09] [INFO ] Flatten gal took : 71 ms
[2024-05-22 13:39:09] [INFO ] Input system was already deterministic with 2900 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 751 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 752 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:10] [INFO ] Flatten gal took : 99 ms
[2024-05-22 13:39:10] [INFO ] Flatten gal took : 106 ms
[2024-05-22 13:39:11] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1197 transitions
Trivial Post-agglo rules discarded 1197 transitions
Performed 1197 trivial Post agglomeration. Transition count delta: 1197
Iterating post reduction 0 with 1197 rules applied. Total rules applied 1197 place count 5299 transition count 3800
Reduce places removed 1197 places and 0 transitions.
Iterating post reduction 1 with 1197 rules applied. Total rules applied 2394 place count 4102 transition count 3800
Performed 199 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 199 Pre rules applied. Total rules applied 2394 place count 4102 transition count 3601
Deduced a syphon composed of 199 places in 166 ms
Reduce places removed 199 places and 0 transitions.
Iterating global reduction 2 with 398 rules applied. Total rules applied 2792 place count 3903 transition count 3601
Performed 701 Post agglomeration using F-continuation condition.Transition count delta: 701
Deduced a syphon composed of 701 places in 73 ms
Reduce places removed 701 places and 0 transitions.
Iterating global reduction 2 with 1402 rules applied. Total rules applied 4194 place count 3202 transition count 2900
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 4195 place count 3201 transition count 2899
Applied a total of 4195 rules in 1010 ms. Remains 3201 /5300 variables (removed 2099) and now considering 2899/4998 (removed 2099) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1011 ms. Remains : 3201/5300 places, 2899/4998 transitions.
[2024-05-22 13:39:12] [INFO ] Flatten gal took : 66 ms
[2024-05-22 13:39:12] [INFO ] Flatten gal took : 71 ms
[2024-05-22 13:39:12] [INFO ] Input system was already deterministic with 2899 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1189 transitions
Trivial Post-agglo rules discarded 1189 transitions
Performed 1189 trivial Post agglomeration. Transition count delta: 1189
Iterating post reduction 0 with 1189 rules applied. Total rules applied 1189 place count 5299 transition count 3808
Reduce places removed 1189 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 1 with 1194 rules applied. Total rules applied 2383 place count 4110 transition count 3803
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 2388 place count 4105 transition count 3803
Performed 201 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 201 Pre rules applied. Total rules applied 2388 place count 4105 transition count 3602
Deduced a syphon composed of 201 places in 169 ms
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 3 with 402 rules applied. Total rules applied 2790 place count 3904 transition count 3602
Performed 697 Post agglomeration using F-continuation condition.Transition count delta: 697
Deduced a syphon composed of 697 places in 80 ms
Reduce places removed 697 places and 0 transitions.
Iterating global reduction 3 with 1394 rules applied. Total rules applied 4184 place count 3207 transition count 2905
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4185 place count 3206 transition count 2904
Applied a total of 4185 rules in 996 ms. Remains 3206 /5300 variables (removed 2094) and now considering 2904/4998 (removed 2094) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 997 ms. Remains : 3206/5300 places, 2904/4998 transitions.
[2024-05-22 13:39:13] [INFO ] Flatten gal took : 63 ms
[2024-05-22 13:39:13] [INFO ] Flatten gal took : 79 ms
[2024-05-22 13:39:13] [INFO ] Input system was already deterministic with 2904 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 753 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 753 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:14] [INFO ] Flatten gal took : 95 ms
[2024-05-22 13:39:14] [INFO ] Flatten gal took : 102 ms
[2024-05-22 13:39:14] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 745 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 745 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:15] [INFO ] Flatten gal took : 93 ms
[2024-05-22 13:39:15] [INFO ] Flatten gal took : 99 ms
[2024-05-22 13:39:15] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 753 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 753 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:16] [INFO ] Flatten gal took : 92 ms
[2024-05-22 13:39:16] [INFO ] Flatten gal took : 101 ms
[2024-05-22 13:39:17] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 745 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 746 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:17] [INFO ] Flatten gal took : 94 ms
[2024-05-22 13:39:18] [INFO ] Flatten gal took : 99 ms
[2024-05-22 13:39:18] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 747 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 748 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:19] [INFO ] Flatten gal took : 95 ms
[2024-05-22 13:39:19] [INFO ] Flatten gal took : 101 ms
[2024-05-22 13:39:19] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 752 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 753 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:20] [INFO ] Flatten gal took : 93 ms
[2024-05-22 13:39:20] [INFO ] Flatten gal took : 99 ms
[2024-05-22 13:39:20] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 753 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 753 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:21] [INFO ] Flatten gal took : 91 ms
[2024-05-22 13:39:21] [INFO ] Flatten gal took : 100 ms
[2024-05-22 13:39:21] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1197 transitions
Trivial Post-agglo rules discarded 1197 transitions
Performed 1197 trivial Post agglomeration. Transition count delta: 1197
Iterating post reduction 0 with 1197 rules applied. Total rules applied 1197 place count 5299 transition count 3800
Reduce places removed 1197 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 1198 rules applied. Total rules applied 2395 place count 4102 transition count 3799
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 2396 place count 4101 transition count 3799
Performed 200 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 200 Pre rules applied. Total rules applied 2396 place count 4101 transition count 3599
Deduced a syphon composed of 200 places in 170 ms
Reduce places removed 200 places and 0 transitions.
Iterating global reduction 3 with 400 rules applied. Total rules applied 2796 place count 3901 transition count 3599
Performed 697 Post agglomeration using F-continuation condition.Transition count delta: 697
Deduced a syphon composed of 697 places in 95 ms
Reduce places removed 697 places and 0 transitions.
Iterating global reduction 3 with 1394 rules applied. Total rules applied 4190 place count 3204 transition count 2902
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4191 place count 3203 transition count 2901
Applied a total of 4191 rules in 952 ms. Remains 3203 /5300 variables (removed 2097) and now considering 2901/4998 (removed 2097) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 952 ms. Remains : 3203/5300 places, 2901/4998 transitions.
[2024-05-22 13:39:22] [INFO ] Flatten gal took : 62 ms
[2024-05-22 13:39:22] [INFO ] Flatten gal took : 66 ms
[2024-05-22 13:39:22] [INFO ] Input system was already deterministic with 2901 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 743 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 743 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:23] [INFO ] Flatten gal took : 91 ms
[2024-05-22 13:39:23] [INFO ] Flatten gal took : 98 ms
[2024-05-22 13:39:24] [INFO ] Input system was already deterministic with 4998 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1175 transitions
Trivial Post-agglo rules discarded 1175 transitions
Performed 1175 trivial Post agglomeration. Transition count delta: 1175
Iterating post reduction 0 with 1175 rules applied. Total rules applied 1175 place count 5299 transition count 3822
Reduce places removed 1175 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 1 with 1184 rules applied. Total rules applied 2359 place count 4124 transition count 3813
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 2368 place count 4115 transition count 3813
Performed 202 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 202 Pre rules applied. Total rules applied 2368 place count 4115 transition count 3611
Deduced a syphon composed of 202 places in 171 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 3 with 404 rules applied. Total rules applied 2772 place count 3913 transition count 3611
Performed 693 Post agglomeration using F-continuation condition.Transition count delta: 693
Deduced a syphon composed of 693 places in 81 ms
Reduce places removed 693 places and 0 transitions.
Iterating global reduction 3 with 1386 rules applied. Total rules applied 4158 place count 3220 transition count 2918
Partial Post-agglomeration rule applied 4 times.
Drop transitions (Partial Post agglomeration) removed 4 transitions
Iterating global reduction 3 with 4 rules applied. Total rules applied 4162 place count 3220 transition count 2918
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 3 with 1 rules applied. Total rules applied 4163 place count 3219 transition count 2917
Applied a total of 4163 rules in 1172 ms. Remains 3219 /5300 variables (removed 2081) and now considering 2917/4998 (removed 2081) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 1173 ms. Remains : 3219/5300 places, 2917/4998 transitions.
[2024-05-22 13:39:25] [INFO ] Flatten gal took : 67 ms
[2024-05-22 13:39:25] [INFO ] Flatten gal took : 70 ms
[2024-05-22 13:39:25] [INFO ] Input system was already deterministic with 2917 transitions.
Starting structural reductions in LTL mode, iteration 0 : 5300/5300 places, 4998/4998 transitions.
Applied a total of 0 rules in 743 ms. Remains 5300 /5300 variables (removed 0) and now considering 4998/4998 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 743 ms. Remains : 5300/5300 places, 4998/4998 transitions.
[2024-05-22 13:39:26] [INFO ] Flatten gal took : 92 ms
[2024-05-22 13:39:26] [INFO ] Flatten gal took : 99 ms
[2024-05-22 13:39:26] [INFO ] Input system was already deterministic with 4998 transitions.
[2024-05-22 13:39:26] [INFO ] Flatten gal took : 97 ms
[2024-05-22 13:39:26] [INFO ] Flatten gal took : 115 ms
[2024-05-22 13:39:26] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2024-05-22 13:39:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5300 places, 4998 transitions and 14090 arcs took 19 ms.
Total runtime 802547 ms.
There are residual formulas that ITS could not solve within timeout
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running DoubleExponent-PT-100
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/413/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 5300
TRANSITIONS: 4998
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 0.084s, Sys 0.004s]
SAVING FILE /home/mcc/execution/413/model (.net / .def) ...
EXPORT TIME: [User 0.016s, Sys 0.000s]
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.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
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="DoubleExponent-PT-100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is DoubleExponent-PT-100, 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 r135-tall-171631131400569"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleExponent-PT-100.tgz
mv DoubleExponent-PT-100 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 ;