About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S32C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15949.728 | 3600000.00 | 4010792.00 | 8030.20 | 1 1 1 1 ? 1 1 1 1 ? ? 1 1 1 1 1 | normal |
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.r245-tall-171654349400221.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 MultiCrashLeafsetExtension-PT-S32C11, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-171654349400221
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 35M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 19 16:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 35M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1716645868290
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C11
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 14:04:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2024-05-25 14:04:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 14:04:30] [INFO ] Load time of PNML (sax parser for PT used): 1103 ms
[2024-05-25 14:04:30] [INFO ] Transformed 34406 places.
[2024-05-25 14:04:30] [INFO ] Transformed 51525 transitions.
[2024-05-25 14:04:30] [INFO ] Parsed PT model containing 34406 places and 51525 transitions and 192310 arcs in 1470 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 109 ms.
Current structural bounds on expressions (Initially) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[+inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf, +inf]
[2024-05-25 14:04:31] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
// Phase 1: matrix 50469 rows 34406 cols
[2024-05-25 14:04:40] [INFO ] Computed 1963 invariants in 8749 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[99, 33, 33, 33, 1, 33, 99, 99, 33, 1, 99, 33, 1, 33, 33, 33]
RANDOM walk for 10000 steps (88 resets) in 609 ms. (16 steps per ms)
BEST_FIRST walk for 160014 steps (208 resets) in 1331 ms. (120 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0] Max Struct:[99, 33, 33, 33, 1, 33, 99, 99, 33, 1, 99, 33, 1, 33, 33, 33]
[2024-05-25 14:04:42] [INFO ] Flow matrix only has 50469 transitions (discarded 1056 similar events)
[2024-05-25 14:04:42] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0] Max Struct:[99, 33, 33, 33, 1, 33, 99, 99, 33, 1, 99, 33, 1, 33, 33, 33]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0] Max Struct:[99, 33, 33, 33, 1, 33, 99, 99, 33, 1, 99, 33, 1, 33, 33, 33]
Support contains 16 out of 34406 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 34406/34406 places, 51525/51525 transitions.
Graph (complete) has 112391 edges and 34406 vertex of which 34348 are kept as prefixes of interest. Removing 58 places using SCC suffix rule.80 ms
Discarding 58 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 11607 transitions
Trivial Post-agglo rules discarded 11607 transitions
Performed 11607 trivial Post agglomeration. Transition count delta: 11607
Iterating post reduction 0 with 11607 rules applied. Total rules applied 11608 place count 34348 transition count 39918
Reduce places removed 11607 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 11611 rules applied. Total rules applied 23219 place count 22741 transition count 39914
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 23223 place count 22737 transition count 39914
Performed 725 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 725 Pre rules applied. Total rules applied 23223 place count 22737 transition count 39189
Deduced a syphon composed of 725 places in 69 ms
Reduce places removed 725 places and 0 transitions.
Iterating global reduction 3 with 1450 rules applied. Total rules applied 24673 place count 22012 transition count 39189
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 120 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 66 rules applied. Total rules applied 24739 place count 21979 transition count 39156
Free-agglomeration rule (complex) applied 1578 times.
Iterating global reduction 3 with 1578 rules applied. Total rules applied 26317 place count 21979 transition count 37578
Reduce places removed 1578 places and 0 transitions.
Iterating post reduction 3 with 1578 rules applied. Total rules applied 27895 place count 20401 transition count 37578
Partial Free-agglomeration rule applied 3687 times.
Drop transitions (Partial Free agglomeration) removed 3687 transitions
Iterating global reduction 4 with 3687 rules applied. Total rules applied 31582 place count 20401 transition count 37578
Applied a total of 31582 rules in 13418 ms. Remains 20401 /34406 variables (removed 14005) and now considering 37578/51525 (removed 13947) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 13445 ms. Remains : 20401/34406 places, 37578/51525 transitions.
[2024-05-25 14:06:15] [INFO ] Flow matrix only has 36013 transitions (discarded 1565 similar events)
// Phase 1: matrix 36013 rows 20401 cols
[2024-05-25 14:06:28] [INFO ] Computed 1905 invariants in 13079 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0] Max Struct:[2, 1, 1, 1, 1, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 259115 steps (3836 resets) in 30001 ms. (8 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 2703342 steps (4015 resets) in 35007 ms. (77 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 0, 1, 1, 0, 0, 0] Max Struct:[2, 1, 2, 2, 1, 1, 2]
[2024-05-25 14:07:33] [INFO ] Flow matrix only has 36013 transitions (discarded 1565 similar events)
[2024-05-25 14:07:33] [INFO ] Invariant cache hit.
[2024-05-25 14:07:36] [INFO ] [Real]Absence check using 65 positive place invariants in 829 ms returned sat
[2024-05-25 14:07:37] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 629 ms returned unsat
[2024-05-25 14:07:40] [INFO ] [Real]Absence check using 65 positive place invariants in 847 ms returned sat
[2024-05-25 14:07:41] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 794 ms returned sat
[2024-05-25 14:08:22] [INFO ] [Real]Absence check using state equation in 40842 ms returned unknown
[2024-05-25 14:08:25] [INFO ] [Real]Absence check using 65 positive place invariants in 819 ms returned sat
[2024-05-25 14:08:26] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 472 ms returned unsat
[2024-05-25 14:08:29] [INFO ] [Real]Absence check using 65 positive place invariants in 830 ms returned sat
[2024-05-25 14:08:29] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 283 ms returned unsat
[2024-05-25 14:08:33] [INFO ] [Real]Absence check using 65 positive place invariants in 802 ms returned sat
[2024-05-25 14:08:33] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 824 ms returned sat
[2024-05-25 14:09:14] [INFO ] [Real]Absence check using state equation in 40987 ms returned unknown
[2024-05-25 14:09:18] [INFO ] [Real]Absence check using 65 positive place invariants in 809 ms returned sat
[2024-05-25 14:09:18] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 758 ms returned sat
[2024-05-25 14:09:59] [INFO ] [Real]Absence check using state equation in 41224 ms returned unknown
[2024-05-25 14:10:02] [INFO ] [Real]Absence check using 65 positive place invariants in 781 ms returned sat
[2024-05-25 14:10:03] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 730 ms returned sat
[2024-05-25 14:10:45] [INFO ] [Real]Absence check using state equation in 41294 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[1, 0, 1, 1, 0, 0, 0] Max Struct:[1, 1, 1, 1, 1, 1, 2]
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 2]
Support contains 4 out of 20401 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20401/20401 places, 37578/37578 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 20401 transition count 37574
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 8 place count 20397 transition count 37574
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 8 place count 20397 transition count 37573
Deduced a syphon composed of 1 places in 21 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 10 place count 20396 transition count 37573
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 18 place count 20396 transition count 37565
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 26 place count 20388 transition count 37565
Partial Free-agglomeration rule applied 1 times.
Drop transitions (Partial Free agglomeration) removed 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 27 place count 20388 transition count 37565
Applied a total of 27 rules in 4239 ms. Remains 20388 /20401 variables (removed 13) and now considering 37565/37578 (removed 13) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4239 ms. Remains : 20388/20401 places, 37565/37578 transitions.
[2024-05-25 14:10:49] [INFO ] Flow matrix only has 35999 transitions (discarded 1566 similar events)
// Phase 1: matrix 35999 rows 20388 cols
[2024-05-25 14:11:01] [INFO ] Computed 1905 invariants in 12411 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 2]
RANDOM walk for 276854 steps (4102 resets) in 30001 ms. (9 steps per ms)
BEST_FIRST walk for 1645695 steps (2446 resets) in 20004 ms. (82 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 2]
[2024-05-25 14:11:51] [INFO ] Flow matrix only has 35999 transitions (discarded 1566 similar events)
[2024-05-25 14:11:51] [INFO ] Invariant cache hit.
[2024-05-25 14:11:54] [INFO ] [Real]Absence check using 65 positive place invariants in 765 ms returned sat
[2024-05-25 14:11:55] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 773 ms returned sat
[2024-05-25 14:12:36] [INFO ] [Real]Absence check using state equation in 41225 ms returned unknown
[2024-05-25 14:12:40] [INFO ] [Real]Absence check using 65 positive place invariants in 855 ms returned sat
[2024-05-25 14:12:40] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 742 ms returned sat
[2024-05-25 14:13:21] [INFO ] [Real]Absence check using state equation in 40914 ms returned unknown
[2024-05-25 14:13:25] [INFO ] [Real]Absence check using 65 positive place invariants in 786 ms returned sat
[2024-05-25 14:13:25] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 774 ms returned sat
[2024-05-25 14:14:06] [INFO ] [Real]Absence check using state equation in 40980 ms returned unknown
[2024-05-25 14:14:10] [INFO ] [Real]Absence check using 65 positive place invariants in 808 ms returned sat
[2024-05-25 14:14:10] [INFO ] [Real]Absence check using 65 positive and 1840 generalized place invariants in 843 ms returned sat
[2024-05-25 14:14:51] [INFO ] [Real]Absence check using state equation in 40977 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 2]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 2]
Support contains 4 out of 20388 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20388/20388 places, 37565/37565 transitions.
Applied a total of 0 rules in 1454 ms. Remains 20388 /20388 variables (removed 0) and now considering 37565/37565 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1454 ms. Remains : 20388/20388 places, 37565/37565 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20388/20388 places, 37565/37565 transitions.
Applied a total of 0 rules in 1300 ms. Remains 20388 /20388 variables (removed 0) and now considering 37565/37565 (removed 0) transitions.
[2024-05-25 14:14:54] [INFO ] Flow matrix only has 35999 transitions (discarded 1566 similar events)
[2024-05-25 14:14:54] [INFO ] Invariant cache hit.
[2024-05-25 14:15:28] [INFO ] Performed 5183/20388 implicitness test of which 232 returned IMPLICIT in 30 seconds.
[2024-05-25 14:15:59] [INFO ] Performed 8246/20388 implicitness test of which 430 returned IMPLICIT in 60 seconds.
[2024-05-25 14:16:29] [INFO ] Performed 11515/20388 implicitness test of which 673 returned IMPLICIT in 90 seconds.
[2024-05-25 14:16:59] [INFO ] Performed 13725/20388 implicitness test of which 818 returned IMPLICIT in 120 seconds.
[2024-05-25 14:17:29] [INFO ] Performed 16132/20388 implicitness test of which 946 returned IMPLICIT in 150 seconds.
[2024-05-25 14:17:34] [INFO ] Implicit Places using invariants in 160069 ms returned [4, 7, 20, 35, 52, 71, 92, 115, 140, 167, 196, 227, 260, 295, 332, 371, 412, 454, 495, 534, 571, 606, 639, 670, 699, 726, 751, 774, 795, 814, 831, 846, 859, 895, 901, 914, 927, 942, 959, 978, 999, 1022, 1047, 1074, 1103, 1134, 1167, 1202, 1239, 1278, 1318, 1357, 1394, 1429, 1462, 1493, 1522, 1549, 1574, 1597, 1618, 1637, 1654, 1669, 1682, 1695, 1731, 1737, 1750, 1763, 1776, 1791, 1808, 1827, 1848, 1871, 1896, 1923, 1952, 1983, 2016, 2051, 2088, 2126, 2163, 2198, 2231, 2262, 2291, 2318, 2343, 2366, 2387, 2406, 2423, 2438, 2451, 2464, 2477, 2513, 2519, 2532, 2545, 2558, 2571, 2586, 2603, 2622, 2643, 2666, 2691, 2718, 2747, 2778, 2811, 2846, 2882, 2917, 2950, 2981, 3010, 3037, 3062, 3085, 3106, 3125, 3142, 3157, 3170, 3183, 3196, 3209, 3245, 3251, 3264, 3277, 3290, 3303, 3316, 3331, 3348, 3367, 3388, 3411, 3436, 3463, 3492, 3523, 3556, 3590, 3623, 3654, 3683, 3710, 3735, 3758, 3779, 3798, 3815, 3830, 3843, 3856, 3869, 3882, 3895, 3931, 3937, 3950, 3963, 3976, 3989, 4002, 4015, 4030, 4047, 4066, 4087, 4110, 4135, 4162, 4191, 4222, 4254, 4285, 4314, 4341, 4366, 4389, 4410, 4429, 4446, 4461, 4474, 4487, 4500, 4513, 4526, 4539, 4575, 4581, 4594, 4607, 4620, 4633, 4646, 4659, 4672, 4687, 4704, 4723, 4744, 4767, 4792, 4819, 4848, 4878, 4907, 4934, 4959, 4982, 5003, 5022, 5039, 5054, 5067, 5080, 5093, 5106, 5119, 5132, 5145, 5181, 5187, 5200, 5213, 5226, 5239, 5252, 5265, 5278, 5291, 5306, 5323, 5342, 5363, 5386, 5411, 5438, 5466, 5493, 5518, 5541, 5562, 5581, 5598, 5613, 5626, 5639, 5652, 5665, 5678, 5691, 5704, 5717, 5753, 5759, 5772, 5785, 5798, 5811, 5824, 5837, 5850, 5863, 5876, 5891, 5908, 5927, 5948, 5971, 5996, 6022, 6047, 6070, 6091, 6110, 6127, 6142, 6155, 6168, 6181, 6194, 6207, 6220, 6233, 6246, 6259, 6295, 6301, 6314, 6327, 6340, 6353, 6366, 6379, 6392, 6405, 6418, 6431, 6446, 6463, 6482, 6503, 6526, 6550, 6573, 6594, 6613, 6630, 6645, 6658, 6671, 6684, 6697, 6710, 6723, 6736, 6749, 6762, 6775, 6811, 6817, 6830, 6843, 6856, 6869, 6882, 6895, 6908, 6921, 6934, 6947, 6960, 6975, 6992, 7011, 7032, 7054, 7075, 7094, 7111, 7126, 7139, 7152, 7165, 7178, 7191, 7204, 7217, 7230, 7243, 7256, 7269, 7305, 7311, 7324, 7337, 7350, 7363, 7376, 7389, 7402, 7415, 7428, 7441, 7454, 7467, 7482, 7499, 7518, 7538, 7557, 7574, 7589, 7602, 7615, 7628, 7641, 7654, 7667, 7680, 7693, 7706, 7719, 7732, 7745, 7781, 7787, 7800, 7813, 7826, 7839, 7852, 7865, 7878, 7891, 7904, 7917, 7930, 7943, 7956, 7971, 7988, 8006, 8023, 8038, 8051, 8064, 8077, 8090, 8103, 8116, 8129, 8142, 8155, 8168, 8181, 8194, 8207, 8243, 8249, 8262, 8275, 8288, 8301, 8314, 8327, 8340, 8353, 8366, 8379, 8392, 8405, 8418, 8431, 8446, 8462, 8477, 8490, 8503, 8516, 8529, 8542, 8555, 8568, 8581, 8594, 8607, 8620, 8633, 8646, 8659, 8695, 8701, 8714, 8727, 8740, 8753, 8766, 8779, 8792, 8805, 8818, 8831, 8844, 8857, 8870, 8883, 8896, 8910, 8923, 8936, 8949, 8962, 8975, 8988, 9001, 9014, 9027, 9040, 9053, 9066, 9079, 9092, 9105, 9141, 9147, 9160, 9173, 9186, 9199, 9212, 9225, 9238, 9251, 9264, 9277, 9290, 9303, 9316, 9329, 9342, 9355, 9368, 9381, 9394, 9407, 9420, 9433, 9446, 9459, 9472, 9485, 9498, 9511, 9524, 9537, 9550, 9586, 9588, 9591, 9604, 9617, 9630, 9643, 9656, 9669, 9682, 9695, 9708, 9721, 9734, 9747, 9760, 9773, 9786, 9799, 9812, 9825, 9838, 9851, 9864, 9877, 9890, 9903, 9916, 9929, 9942, 9955, 9968, 9981, 9994, 10030, 10036, 10049, 10062, 10075, 10088, 10101, 10114, 10127, 10140, 10153, 10166, 10179, 10192, 10205, 10218, 10231, 10244, 10257, 10270, 10283, 10296, 10309, 10322, 10335, 10348, 10361, 10374, 10387, 10400, 10413, 10426, 10439, 10475, 10481, 10494, 10507, 10520, 10533, 10546, 10559, 10572, 10585, 10598, 10611, 10624, 10637, 10650, 10663, 10676, 10689, 10703, 10716, 10729, 10742, 10755, 10768, 10781, 10794, 10807, 10820, 10833, 10846, 10859, 10872, 10885, 10921, 10927, 10940, 10953, 10966, 10979, 10992, 11005, 11018, 11031, 11044, 11057, 11070, 11083, 11096, 11109, 11122, 11137, 11153, 11168, 11181, 11194, 11207, 11220, 11233, 11246, 11259, 11272, 11285, 11298, 11311, 11324, 11337, 11373, 11379, 11392, 11405, 11418, 11431, 11444, 11457, 11470, 11483, 11496, 11509, 11522, 11535, 11548, 11561, 11576, 11593, 11611, 11628, 11643, 11656, 11669, 11682, 11695, 11708, 11721, 11734, 11747, 11760, 11773, 11786, 11799, 11835, 11841, 11854, 11867, 11880, 11893, 11906, 11919, 11932, 11945, 11958, 11971, 11984, 11997, 12010, 12025, 12042, 12061, 12081, 12100, 12117, 12132, 12145, 12158, 12171, 12184, 12197, 12210, 12223, 12236, 12249, 12262, 12275, 12311, 12317, 12330, 12343, 12356, 12369, 12382, 12395, 12408, 12421, 12434, 12447, 12460, 12473, 12488, 12505, 12524, 12545, 12567, 12588, 12607, 12624, 12639, 12652, 12665, 12678, 12691, 12704, 12717, 12730, 12743, 12756, 12769, 12805, 12811, 12824, 12837, 12850, 12863, 12876, 12889, 12902, 12915, 12928, 12941, 12954, 12969, 12986, 13005, 13026, 13049, 13073, 13096, 13117, 13136, 13153, 13168, 13181, 13194, 13207, 13220, 13233, 13246, 13259, 13272, 13285, 13321, 13327, 13340, 13353, 13366, 13379, 13392, 13405, 13418, 13431, 13444, 13457, 13472, 13489, 13508, 13529, 13552, 13577, 13603, 13628, 13651, 13672, 13691, 13708, 13723, 13736, 13749, 13762, 13775, 13788, 13801, 13814, 13827, 13863, 13869, 13882, 13895, 13908, 13921, 13934, 13947, 13960, 13973, 13986, 14001, 14018, 14037, 14058, 14081, 14107, 14134, 14162, 14189, 14214, 14237, 14258, 14277, 14294, 14309, 14322, 14335, 14348, 14361, 14374, 14387, 14400, 14436, 14442, 14455, 14468, 14481, 14494, 14507, 14520, 14533, 14546, 14561, 14578, 14597, 14618, 14641, 14666, 14693, 14722, 14752, 14781, 14808, 14833, 14856, 14877, 14896, 14913, 14928, 14941, 14954, 14967, 14980, 14993, 15006, 15042, 15048, 15061, 15074, 15087, 15100, 15113, 15126, 15139, 15154, 15171, 15190, 15211, 15234, 15259, 15286, 15315, 15346, 15378, 15409, 15438, 15465, 15490, 15513, 15534, 15553, 15570, 15585, 15598, 15611, 15624, 15637, 15650, 15686, 15692, 15705, 15718, 15731, 15744, 15757, 15770, 15785, 15802, 15821, 15842, 15865, 15890, 15917, 15946, 15977, 16010, 16044, 16077, 16108, 16137, 16164, 16189, 16212, 16233, 16252, 16269, 16284, 16297, 16310, 16323, 16336, 16372, 16378, 16391, 16404, 16417, 16430, 16443, 16458, 16475, 16494]
[2024-05-25 14:17:34] [INFO ] Actually due to overlaps returned [895, 1731, 2513, 3245, 3931, 4575, 5181, 5753, 6295, 6811, 7305, 7781, 8243, 8695, 9141, 9586, 10030, 10475, 10921, 11373, 11835, 12311, 12805, 13321, 13863, 14436, 15042, 15686, 16372, 814, 831, 846, 859, 1654, 1669, 1682, 1695, 2438, 2451, 2464, 2477, 3170, 3183, 3196, 3209, 3856, 3869, 3882, 3895, 4500, 4513, 4526, 4539, 5106, 5119, 5132, 5145, 5678, 5691, 5704, 5717, 6220, 6233, 6246, 6259, 6736, 6749, 6762, 6775, 7230, 7243, 7256, 7269, 7706, 7719, 7732, 7745, 8168, 8181, 8194, 8207, 8620, 8633, 8646, 8659, 9066, 9079, 9092, 9105, 9511, 9524, 9537, 9550, 9955, 9968, 9981, 9994, 10400, 10413, 10426, 10439, 10846, 10859, 10872, 10885, 11298, 11311, 11324, 11337, 11760, 11773, 11786, 11799, 12236, 12249, 12262, 12275, 12730, 12743, 12756, 12769, 13246, 13259, 13272, 13285, 13788, 13801, 13814, 13827, 14361, 14374, 14387, 14400, 14967, 14980, 14993, 15006, 15611, 15624, 15637, 15650, 16297, 16310, 16323, 16336, 4, 9588]
Discarding 147 places :
Implicit Place search using SMT only with invariants took 160131 ms to find 147 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 20241/20388 places, 37565/37565 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 20241 transition count 37563
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 20239 transition count 37563
Applied a total of 4 rules in 2551 ms. Remains 20239 /20241 variables (removed 2) and now considering 37563/37565 (removed 2) transitions.
[2024-05-25 14:17:37] [INFO ] Flow matrix only has 35997 transitions (discarded 1566 similar events)
// Phase 1: matrix 35997 rows 20239 cols
[2024-05-25 14:17:54] [INFO ] Computed 1758 invariants in 16970 ms
[2024-05-25 14:18:28] [INFO ] Performed 6497/20239 implicitness test of which 268 returned IMPLICIT in 30 seconds.
[2024-05-25 14:18:58] [INFO ] Performed 10385/20239 implicitness test of which 504 returned IMPLICIT in 60 seconds.
[2024-05-25 14:19:28] [INFO ] Performed 13199/20239 implicitness test of which 672 returned IMPLICIT in 90 seconds.
[2024-05-25 14:19:59] [INFO ] Performed 16225/20239 implicitness test of which 812 returned IMPLICIT in 121 seconds.
[2024-05-25 14:20:32] [INFO ] Performed 19536/20239 implicitness test of which 945 returned IMPLICIT in 154 seconds.
[2024-05-25 14:20:34] [INFO ] Implicit Places using invariants in 177056 ms returned [6, 19, 34, 51, 70, 91, 114, 139, 166, 195, 226, 259, 294, 331, 370, 411, 453, 494, 533, 570, 605, 638, 669, 698, 725, 750, 773, 794, 894, 907, 920, 935, 952, 971, 992, 1015, 1040, 1067, 1096, 1127, 1160, 1195, 1232, 1271, 1311, 1350, 1387, 1422, 1455, 1486, 1515, 1542, 1567, 1590, 1611, 1630, 1725, 1738, 1751, 1764, 1779, 1796, 1815, 1836, 1859, 1884, 1911, 1940, 1971, 2004, 2039, 2076, 2114, 2151, 2186, 2219, 2250, 2279, 2306, 2331, 2354, 2375, 2394, 2411, 2502, 2515, 2528, 2541, 2554, 2569, 2586, 2605, 2626, 2649, 2674, 2701, 2730, 2761, 2794, 2829, 2865, 2900, 2933, 2964, 2993, 3020, 3045, 3068, 3089, 3108, 3125, 3140, 3229, 3242, 3255, 3268, 3281, 3294, 3309, 3326, 3345, 3366, 3389, 3414, 3441, 3470, 3501, 3534, 3568, 3601, 3632, 3661, 3688, 3713, 3736, 3757, 3776, 3793, 3808, 3821, 3910, 3923, 3936, 3949, 3962, 3975, 3988, 4003, 4020, 4039, 4060, 4083, 4108, 4135, 4164, 4195, 4227, 4258, 4287, 4314, 4339, 4362, 4383, 4402, 4419, 4434, 4447, 4460, 4549, 4562, 4575, 4588, 4601, 4614, 4627, 4640, 4655, 4672, 4691, 4712, 4735, 4760, 4787, 4816, 4846, 4875, 4902, 4927, 4950, 4971, 4990, 5007, 5022, 5035, 5048, 5061, 5150, 5163, 5176, 5189, 5202, 5215, 5228, 5241, 5254, 5269, 5286, 5305, 5326, 5349, 5374, 5401, 5429, 5456, 5481, 5504, 5525, 5544, 5561, 5576, 5589, 5602, 5615, 5628, 5717, 5730, 5743, 5756, 5769, 5782, 5795, 5808, 5821, 5834, 5849, 5866, 5885, 5906, 5929, 5954, 5980, 6005, 6028, 6049, 6068, 6085, 6100, 6113, 6126, 6139, 6152, 6165, 6254, 6267, 6280, 6293, 6306, 6319, 6332, 6345, 6358, 6371, 6384, 6399, 6416, 6435, 6456, 6479, 6503, 6526, 6547, 6566, 6583, 6598, 6611, 6624, 6637, 6650, 6663, 6676, 6765, 6778, 6791, 6804, 6817, 6830, 6843, 6856, 6869, 6882, 6895, 6908, 6923, 6940, 6959, 6980, 7002, 7023, 7042, 7059, 7074, 7087, 7100, 7113, 7126, 7139, 7152, 7165, 7254, 7267, 7280, 7293, 7306, 7319, 7332, 7345, 7358, 7371, 7384, 7397, 7410, 7425, 7442, 7461, 7481, 7500, 7517, 7532, 7545, 7558, 7571, 7584, 7597, 7610, 7623, 7636, 7725, 7738, 7751, 7764, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 7909, 7926, 7944, 7961, 7976, 7989, 8002, 8015, 8028, 8041, 8054, 8067, 8080, 8093, 8182, 8195, 8208, 8221, 8234, 8247, 8260, 8273, 8286, 8299, 8312, 8325, 8338, 8351, 8364, 8379, 8395, 8410, 8423, 8436, 8449, 8462, 8475, 8488, 8501, 8514, 8527, 8540, 8629, 8642, 8655, 8668, 8681, 8694, 8707, 8720, 8733, 8746, 8759, 8772, 8785, 8798, 8811, 8824, 8838, 8851, 8864, 8877, 8890, 8903, 8916, 8929, 8942, 8955, 8968, 8981, 9070, 9083, 9096, 9109, 9122, 9135, 9148, 9161, 9174, 9187, 9200, 9213, 9226, 9239, 9252, 9265, 9278, 9291, 9304, 9317, 9330, 9343, 9356, 9369, 9382, 9395, 9408, 9421, 9508, 9521, 9534, 9547, 9560, 9573, 9586, 9599, 9612, 9625, 9638, 9651, 9664, 9677, 9690, 9703, 9716, 9729, 9742, 9755, 9768, 9781, 9794, 9807, 9820, 9833, 9846, 9859, 9947, 9960, 9973, 9986, 9999, 10012, 10025, 10038, 10051, 10064, 10077, 10090, 10103, 10116, 10129, 10142, 10155, 10168, 10181, 10194, 10207, 10220, 10233, 10246, 10259, 10272, 10285, 10298, 10387, 10400, 10413, 10426, 10439, 10452, 10465, 10478, 10491, 10504, 10517, 10530, 10543, 10556, 10569, 10582, 10595, 10609, 10622, 10635, 10648, 10661, 10674, 10687, 10700, 10713, 10726, 10739, 10828, 10841, 10854, 10867, 10880, 10893, 10906, 10919, 10932, 10945, 10958, 10971, 10984, 10997, 11010, 11023, 11038, 11054, 11069, 11082, 11095, 11108, 11121, 11134, 11147, 11160, 11173, 11186, 11275, 11288, 11301, 11314, 11327, 11340, 11353, 11366, 11379, 11392, 11405, 11418, 11431, 11444, 11457, 11472, 11489, 11507, 11524, 11539, 11552, 11565, 11578, 11591, 11604, 11617, 11630, 11643, 11732, 11745, 11758, 11771, 11784, 11797, 11810, 11823, 11836, 11849, 11862, 11875, 11888, 11901, 11916, 11933, 11952, 11972, 11991, 12008, 12023, 12036, 12049, 12062, 12075, 12088, 12101, 12114, 12203, 12216, 12229, 12242, 12255, 12268, 12281, 12294, 12307, 12320, 12333, 12346, 12359, 12374, 12391, 12410, 12431, 12453, 12474, 12493, 12510, 12525, 12538, 12551, 12564, 12577, 12590, 12603, 12692, 12705, 12718, 12731, 12744, 12757, 12770, 12783, 12796, 12809, 12822, 12835, 12850, 12867, 12886, 12907, 12930, 12954, 12977, 12998, 13017, 13034, 13049, 13062, 13075, 13088, 13101, 13114, 13203, 13216, 13229, 13242, 13255, 13268, 13281, 13294, 13307, 13320, 13333, 13348, 13365, 13384, 13405, 13428, 13453, 13479, 13504, 13527, 13548, 13567, 13584, 13599, 13612, 13625, 13638, 13651, 13740, 13753, 13766, 13779, 13792, 13805, 13818, 13831, 13844, 13857, 13872, 13889, 13908, 13929, 13952, 13978, 14005, 14033, 14060, 14085, 14108, 14129, 14148, 14165, 14180, 14193, 14206, 14219, 14308, 14321, 14334, 14347, 14360, 14373, 14386, 14399, 14412, 14427, 14444, 14463, 14484, 14507, 14532, 14559, 14588, 14618, 14647, 14674, 14699, 14722, 14743, 14762, 14779, 14794, 14807, 14820, 14909, 14922, 14935, 14948, 14961, 14974, 14987, 15000, 15015, 15032, 15051, 15072, 15095, 15120, 15147, 15176, 15207, 15239, 15270, 15299, 15326, 15351, 15374, 15395, 15414, 15431, 15446, 15459, 15548, 15561, 15574, 15587, 15600, 15613, 15626, 15641, 15658, 15677, 15698, 15721, 15746, 15773, 15802, 15833, 15866, 15900, 15933, 15964, 15993, 16020, 16045, 16068, 16089, 16108, 16125, 16140, 16229, 16242, 16255, 16268, 16281, 16294, 16309, 16326, 16345, 16366, 16389, 16414, 16441, 16470, 16501, 16534, 16569, 16605, 16640, 16673, 16704, 16733, 16760, 16785, 16808, 16829, 16848, 16865, 16880, 16893, 16906, 16919, 16955, 16961, 16974, 16987, 17000, 17013, 17028, 17045, 17064, 17085, 17108, 17133, 17160, 17189, 17220, 17253, 17288, 17325, 17363, 17400, 17435, 17468, 17499, 17528, 17555, 17580, 17603, 17624, 17643, 17660, 17675, 17688, 17701, 17737, 17743, 17756, 17769, 17782, 17797, 17814, 17833, 17854, 17877, 17902, 17929, 17958, 17989, 18022, 18057, 18094, 18133, 18173, 18212, 18249, 18284, 18317, 18348, 18377, 18404, 18429, 18452, 18473, 18492, 18509, 18524, 18537, 18573, 18575, 18578, 18591, 18604, 18619, 18636, 18655, 18676, 18699, 18724, 18751, 18780, 18811, 18844, 18879, 18916, 18955, 18996, 19038, 19079, 19118, 19155, 19190, 19223, 19254, 19283, 19310, 19335, 19358, 19379, 19398, 19415, 19430, 19466]
[2024-05-25 14:20:34] [INFO ] Actually due to overlaps returned [16955, 17737, 18573, 19466, 6, 19, 34, 51, 70, 91, 114, 139, 166, 195, 226, 259, 294, 331, 370, 411, 453, 494, 533, 570, 605, 638, 669, 698, 725, 750, 773, 794, 894, 907, 920, 935, 952, 971, 992, 1015, 1040, 1067, 1096, 1127, 1160, 1195, 1232, 1271, 1311, 1350, 1387, 1422, 1455, 1486, 1515, 1542, 1567, 1590, 1611, 1630, 1725, 1738, 1751, 1764, 1779, 1796, 1815, 1836, 1859, 1884, 1911, 1940, 1971, 2004, 2039, 2076, 2114, 2151, 2186, 2219, 2250, 2279, 2306, 2331, 2354, 2375, 2394, 2411, 2502, 2515, 2528, 2541, 2554, 2569, 2586, 2605, 2626, 2649, 2674, 2701, 2730, 2761, 2794, 2829, 2865, 2900, 2933, 2964, 2993, 3020, 3045, 3068, 3089, 3108, 3125, 3140, 3229, 3242, 3255, 3268, 3281, 3294, 3309, 3326, 3345, 3366, 3389, 3414, 3441, 3470, 3501, 3534, 3568, 3601, 3632, 3661, 3688, 3713, 3736, 3757, 3776, 3793, 3808, 3821, 3910, 3923, 3936, 3949, 3962, 3975, 3988, 4003, 4020, 4039, 4060, 4083, 4108, 4135, 4164, 4195, 4227, 4258, 4287, 4314, 4339, 4362, 4383, 4402, 4419, 4434, 4447, 4460, 4549, 4562, 4575, 4588, 4601, 4614, 4627, 4640, 4655, 4672, 4691, 4712, 4735, 4760, 4787, 4816, 4846, 4875, 4902, 4927, 4950, 4971, 4990, 5007, 5022, 5035, 5048, 5061, 5150, 5163, 5176, 5189, 5202, 5215, 5228, 5241, 5254, 5269, 5286, 5305, 5326, 5349, 5374, 5401, 5429, 5456, 5481, 5504, 5525, 5544, 5561, 5576, 5589, 5602, 5615, 5628, 5717, 5730, 5743, 5756, 5769, 5782, 5795, 5808, 5821, 5834, 5849, 5866, 5885, 5906, 5929, 5954, 5980, 6005, 6028, 6049, 6068, 6085, 6100, 6113, 6126, 6139, 6152, 6165, 6254, 6267, 6280, 6293, 6306, 6319, 6332, 6345, 6358, 6371, 6384, 6399, 6416, 6435, 6456, 6479, 6503, 6526, 6547, 6566, 6583, 6598, 6611, 6624, 6637, 6650, 6663, 6676, 6765, 6778, 6791, 6804, 6817, 6830, 6843, 6856, 6869, 6882, 6895, 6908, 6923, 6940, 6959, 6980, 7002, 7023, 7042, 7059, 7074, 7087, 7100, 7113, 7126, 7139, 7152, 7165, 7254, 7267, 7280, 7293, 7306, 7319, 7332, 7345, 7358, 7371, 7384, 7397, 7410, 7425, 7442, 7461, 7481, 7500, 7517, 7532, 7545, 7558, 7571, 7584, 7597, 7610, 7623, 7636, 7725, 7738, 7751, 7764, 7777, 7790, 7803, 7816, 7829, 7842, 7855, 7868, 7881, 7894, 7909, 7926, 7944, 7961, 7976, 7989, 8002, 8015, 8028, 8041, 8054, 8067, 8080, 8093, 8182, 8195, 8208, 8221, 8234, 8247, 8260, 8273, 8286, 8299, 8312, 8325, 8338, 8351, 8364, 8379, 8395, 8410, 8423, 8436, 8449, 8462, 8475, 8488, 8501, 8514, 8527, 8540, 8629, 8642, 8655, 8668, 8681, 8694, 8707, 8720, 8733, 8746, 8759, 8772, 8785, 8798, 8811, 8824, 8838, 8851, 8864, 8877, 8890, 8903, 8916, 8929, 8942, 8955, 8968, 8981, 9070, 9083, 9096, 9109, 9122, 9135, 9148, 9161, 9174, 9187, 9200, 9213, 9226, 9239, 9252, 9265, 9278, 9291, 9304, 9317, 9330, 9343, 9356, 9369, 9382, 9395, 9408, 9421, 9508, 9521, 9534, 9547, 9560, 9573, 9586, 9599, 9612, 9625, 9638, 9651, 9664, 9677, 9690, 9703, 9716, 9729, 9742, 9755, 9768, 9781, 9794, 9807, 9820, 9833, 9846, 9859, 9947, 9960, 9973, 9986, 9999, 10012, 10025, 10038, 10051, 10064, 10077, 10090, 10103, 10116, 10129, 10142, 10155, 10168, 10181, 10194, 10207, 10220, 10233, 10246, 10259, 10272, 10285, 10298, 10387, 10400, 10413, 10426, 10439, 10452, 10465, 10478, 10491, 10504, 10517, 10530, 10543, 10556, 10569, 10582, 10595, 10609, 10622, 10635, 10648, 10661, 10674, 10687, 10700, 10713, 10726, 10739, 10828, 10841, 10854, 10867, 10880, 10893, 10906, 10919, 10932, 10945, 10958, 10971, 10984, 10997, 11010, 11023, 11038, 11054, 11069, 11082, 11095, 11108, 11121, 11134, 11147, 11160, 11173, 11186, 11275, 11288, 11301, 11314, 11327, 11340, 11353, 11366, 11379, 11392, 11405, 11418, 11431, 11444, 11457, 11472, 11489, 11507, 11524, 11539, 11552, 11565, 11578, 11591, 11604, 11617, 11630, 11643, 11732, 11745, 11758, 11771, 11784, 11797, 11810, 11823, 11836, 11849, 11862, 11875, 11888, 11901, 11916, 11933, 11952, 11972, 11991, 12008, 12023, 12036, 12049, 12062, 12075, 12088, 12101, 12114, 12203, 12216, 12229, 12242, 12255, 12268, 12281, 12294, 12307, 12320, 12333, 12346, 12359, 12374, 12391, 12410, 12431, 12453, 12474, 12493, 12510, 12525, 12538, 12551, 12564, 12577, 12590, 12603, 12692, 12705, 12718, 12731, 12744, 12757, 12770, 12783, 12796, 12809, 12822, 12835, 12850, 12867, 12886, 12907, 12930, 12954, 12977, 12998, 13017, 13034, 13049, 13062, 13075, 13088, 13101, 13114, 13203, 13216, 13229, 13242, 13255, 13268, 13281, 13294, 13307, 13320, 13333, 13348, 13365, 13384, 13405, 13428, 13453, 13479, 13504, 13527, 13548, 13567, 13584, 13599, 13612, 13625, 13638, 13651, 13740, 13753, 13766, 13779, 13792, 13805, 13818, 13831, 13844, 13857, 13872, 13889, 13908, 13929, 13952, 13978, 14005, 14033, 14060, 14085, 14108, 14129, 14148, 14165, 14180, 14193, 14206, 14219, 14308, 14321, 14334, 14347, 14360, 14373, 14386, 14399, 14412, 14427, 14444, 14463, 14484, 14507, 14532, 14559, 14588, 14618, 14647, 14674, 14699, 14722, 14743, 14762, 14779, 14794, 14807, 14820, 14909, 14922, 14935, 14948, 14961, 14974, 14987, 15000, 15015, 15032, 15051, 15072, 15095, 15120, 15147, 15176, 15207, 15239, 15270, 15299, 15326, 15351, 15374, 15395, 15414, 15431, 15446, 15459, 15548, 15561, 15574, 15587, 15600, 15613, 15626, 15641, 15658, 15677, 15698, 15721, 15746, 15773, 15802, 15833, 15866, 15900, 15933, 15964, 15993, 16020, 16045, 16068, 16089, 16108, 16125, 16140, 16229, 16242, 16255, 16268, 16281, 16294, 16309, 16326, 16345, 16366, 16389, 16414, 16441, 16470, 16501, 16534, 16569, 16605, 16640, 16673, 16704, 16733, 16760, 16785, 16808, 16829, 16848, 16865, 16880, 16961, 16974, 16987, 17000, 17013, 17028, 17045, 17064, 17085, 17108, 17133, 17160, 17189, 17220, 17253, 17288, 17325, 17363, 17400, 17435, 17468, 17499, 17528, 17555, 17580, 17603, 17624, 17643, 17660, 17743, 17756, 17769, 17782, 17797, 17814, 17833, 17854, 17877, 17902, 17929, 17958, 17989, 18022, 18057, 18094, 18133, 18173, 18212, 18249, 18284, 18317, 18348, 18377, 18404, 18429, 18452, 18473, 18492, 18578, 18591, 18604, 18619, 18636, 18655, 18676, 18699, 18724, 18751, 18780, 18811, 18844, 18879, 18916, 18955, 18996, 19038, 19079, 19118, 19155, 19190, 19223, 19254, 19283, 19310, 19335, 19358, 19379, 18575]
Discarding 933 places :
Implicit Place search using SMT only with invariants took 177159 ms to find 933 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 19306/20388 places, 37563/37565 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 19306 transition count 37562
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 19305 transition count 37562
Applied a total of 2 rules in 2463 ms. Remains 19305 /19306 variables (removed 1) and now considering 37562/37563 (removed 1) transitions.
[2024-05-25 14:20:36] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
// Phase 1: matrix 35996 rows 19305 cols
[2024-05-25 14:20:49] [INFO ] Computed 825 invariants in 12530 ms
[2024-05-25 14:21:22] [INFO ] Performed 8006/19305 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-25 14:21:52] [INFO ] Performed 12935/19305 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-25 14:22:22] [INFO ] Performed 17738/19305 implicitness test of which 9 returned IMPLICIT in 90 seconds.
[2024-05-25 14:22:53] [INFO ] Performed 18672/19305 implicitness test of which 12 returned IMPLICIT in 120 seconds.
[2024-05-25 14:23:24] [INFO ] Performed 18847/19305 implicitness test of which 12 returned IMPLICIT in 151 seconds.
[2024-05-25 14:23:29] [INFO ] Implicit Places using invariants in 172584 ms returned [16052, 16065, 16078, 16804, 16817, 16830, 17608, 17623, 17636, 18466, 18483, 18498]
Discarding 12 places :
Implicit Place search using SMT only with invariants took 172617 ms to find 12 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 3 : 19293/20388 places, 37562/37565 transitions.
Applied a total of 0 rules in 1292 ms. Remains 19293 /19293 variables (removed 0) and now considering 37562/37562 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 4 iterations and 517523 ms. Remains : 19293/20388 places, 37562/37565 transitions.
[2024-05-25 14:23:30] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
// Phase 1: matrix 35996 rows 19293 cols
[2024-05-25 14:23:47] [INFO ] Computed 813 invariants in 16688 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0] Max Struct:[1, 1, 1, 2]
RANDOM walk for 260179 steps (3980 resets) in 30001 ms. (8 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 1513957 steps (1796 resets) in 15003 ms. (100 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
[2024-05-25 14:24:32] [INFO ] Flow matrix only has 35996 transitions (discarded 1566 similar events)
[2024-05-25 14:24:32] [INFO ] Invariant cache hit.
[2024-05-25 14:24:35] [INFO ] [Real]Absence check using 63 positive place invariants in 734 ms returned sat
[2024-05-25 14:24:36] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 422 ms returned sat
[2024-05-25 14:25:17] [INFO ] [Real]Absence check using state equation in 41469 ms returned unknown
[2024-05-25 14:25:20] [INFO ] [Real]Absence check using 63 positive place invariants in 675 ms returned sat
[2024-05-25 14:25:21] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 355 ms returned sat
[2024-05-25 14:26:02] [INFO ] [Real]Absence check using state equation in 41697 ms returned unknown
[2024-05-25 14:26:05] [INFO ] [Real]Absence check using 63 positive place invariants in 666 ms returned sat
[2024-05-25 14:26:05] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 310 ms returned sat
[2024-05-25 14:26:47] [INFO ] [Real]Absence check using state equation in 41916 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
Support contains 3 out of 19293 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19293/19293 places, 37562/37562 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 19293 transition count 37561
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 19292 transition count 37561
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 19292 transition count 37560
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4 place count 19291 transition count 37560
Applied a total of 4 rules in 2787 ms. Remains 19291 /19293 variables (removed 2) and now considering 37560/37562 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2789 ms. Remains : 19291/19293 places, 37560/37562 transitions.
[2024-05-25 14:26:50] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
// Phase 1: matrix 35994 rows 19291 cols
[2024-05-25 14:27:02] [INFO ] Computed 813 invariants in 11905 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
RANDOM walk for 269636 steps (4124 resets) in 30001 ms. (8 steps per ms)
BEST_FIRST walk for 1475403 steps (1747 resets) in 15003 ms. (98 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
[2024-05-25 14:27:47] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:27:47] [INFO ] Invariant cache hit.
[2024-05-25 14:27:50] [INFO ] [Real]Absence check using 63 positive place invariants in 673 ms returned sat
[2024-05-25 14:27:50] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 312 ms returned sat
[2024-05-25 14:28:32] [INFO ] [Real]Absence check using state equation in 41845 ms returned unknown
[2024-05-25 14:28:35] [INFO ] [Real]Absence check using 63 positive place invariants in 639 ms returned sat
[2024-05-25 14:28:35] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 273 ms returned sat
[2024-05-25 14:29:17] [INFO ] [Real]Absence check using state equation in 41997 ms returned unknown
[2024-05-25 14:29:20] [INFO ] [Real]Absence check using 63 positive place invariants in 647 ms returned sat
[2024-05-25 14:29:20] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 299 ms returned sat
[2024-05-25 14:30:02] [INFO ] [Real]Absence check using state equation in 41797 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
Support contains 3 out of 19291 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19291/19291 places, 37560/37560 transitions.
Applied a total of 0 rules in 1190 ms. Remains 19291 /19291 variables (removed 0) and now considering 37560/37560 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1190 ms. Remains : 19291/19291 places, 37560/37560 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19291/19291 places, 37560/37560 transitions.
Applied a total of 0 rules in 1210 ms. Remains 19291 /19291 variables (removed 0) and now considering 37560/37560 (removed 0) transitions.
[2024-05-25 14:30:05] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:30:05] [INFO ] Invariant cache hit.
[2024-05-25 14:30:38] [INFO ] Performed 8986/19291 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-25 14:31:08] [INFO ] Performed 14718/19291 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-25 14:31:38] [INFO ] Performed 18649/19291 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-05-25 14:32:14] [INFO ] Performed 18834/19291 implicitness test of which 0 returned IMPLICIT in 125 seconds.
[2024-05-25 14:32:14] [INFO ] Timeout of Implicit test with SMT after 125 seconds.
[2024-05-25 14:32:14] [INFO ] Implicit Places using invariants in 129282 ms returned []
Implicit Place search using SMT only with invariants took 129283 ms to find 0 implicit places.
Running 37434 sub problems to find dead transitions.
[2024-05-25 14:32:14] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:32:14] [INFO ] Invariant cache hit.
[2024-05-25 14:32:16] [INFO ] State equation strengthened by 16546 read => feed constraints.
SMT process timed out in 500126ms, After SMT, problems are : Problem set: 0 solved, 37434 unsolved
Search for dead transitions found 0 dead transitions in 500556ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 631186 ms. Remains : 19291/19291 places, 37560/37560 transitions.
RANDOM walk for 40000 steps (609 resets) in 5687 ms. (7 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (46 resets) in 590 ms. (67 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (45 resets) in 535 ms. (74 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (45 resets) in 488 ms. (81 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (45 resets) in 511 ms. (78 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (44 resets) in 401 ms. (99 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (45 resets) in 391 ms. (102 steps per ms) remains 6/6 properties
Interrupted probabilistic random walk after 18104 steps, run timeout after 6001 ms. (steps per millisecond=3 ) properties seen :0 out of 6
Probabilistic random walk after 18104 steps, saw 8828 distinct states, run finished after 6005 ms. (steps per millisecond=3 ) properties seen :0
[2024-05-25 14:40:43] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:40:43] [INFO ] Invariant cache hit.
[2024-05-25 14:40:44] [INFO ] State equation strengthened by 16546 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7501/7504 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7504 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 34/7538 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 6 unsolved
[2024-05-25 14:41:01] [INFO ] Deduced a trap composed of 2144 places in 13336 ms of which 353 ms to minimize.
SMT process timed out in 18031ms, After SMT, problems are : Problem set: 0 solved, 6 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 3 out of 19291 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19291/19291 places, 37560/37560 transitions.
Applied a total of 0 rules in 1184 ms. Remains 19291 /19291 variables (removed 0) and now considering 37560/37560 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1188 ms. Remains : 19291/19291 places, 37560/37560 transitions.
RANDOM walk for 40000 steps (611 resets) in 4403 ms. (9 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (46 resets) in 406 ms. (98 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (45 resets) in 389 ms. (102 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (45 resets) in 388 ms. (102 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (46 resets) in 459 ms. (86 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (44 resets) in 389 ms. (102 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (44 resets) in 388 ms. (102 steps per ms) remains 6/6 properties
Interrupted probabilistic random walk after 9285 steps, run timeout after 3001 ms. (steps per millisecond=3 ) properties seen :0 out of 6
Probabilistic random walk after 9285 steps, saw 4520 distinct states, run finished after 3001 ms. (steps per millisecond=3 ) properties seen :0
[2024-05-25 14:41:07] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:41:07] [INFO ] Invariant cache hit.
[2024-05-25 14:41:08] [INFO ] State equation strengthened by 16546 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/3 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 7501/7504 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/7504 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 34/7538 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 6 unsolved
[2024-05-25 14:41:25] [INFO ] Deduced a trap composed of 2144 places in 13243 ms of which 55 ms to minimize.
[2024-05-25 14:41:38] [INFO ] Deduced a trap composed of 3735 places in 13317 ms of which 52 ms to minimize.
[2024-05-25 14:41:52] [INFO ] Deduced a trap composed of 1966 places in 13482 ms of which 51 ms to minimize.
[2024-05-25 14:42:06] [INFO ] Deduced a trap composed of 2254 places in 14228 ms of which 52 ms to minimize.
SMT process timed out in 58847ms, After SMT, problems are : Problem set: 0 solved, 6 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 3 out of 19291 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19291/19291 places, 37560/37560 transitions.
Applied a total of 0 rules in 1218 ms. Remains 19291 /19291 variables (removed 0) and now considering 37560/37560 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1218 ms. Remains : 19291/19291 places, 37560/37560 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19291/19291 places, 37560/37560 transitions.
Applied a total of 0 rules in 1299 ms. Remains 19291 /19291 variables (removed 0) and now considering 37560/37560 (removed 0) transitions.
[2024-05-25 14:42:09] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:42:09] [INFO ] Invariant cache hit.
[2024-05-25 14:42:42] [INFO ] Performed 7814/19291 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-25 14:43:12] [INFO ] Performed 14680/19291 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-25 14:43:42] [INFO ] Performed 18629/19291 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-05-25 14:44:15] [INFO ] Performed 18799/19291 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2024-05-25 14:44:15] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2024-05-25 14:44:15] [INFO ] Implicit Places using invariants in 126291 ms returned []
Implicit Place search using SMT only with invariants took 126291 ms to find 0 implicit places.
Running 37434 sub problems to find dead transitions.
[2024-05-25 14:44:15] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:44:15] [INFO ] Invariant cache hit.
[2024-05-25 14:44:17] [INFO ] State equation strengthened by 16546 read => feed constraints.
SMT process timed out in 501574ms, After SMT, problems are : Problem set: 0 solved, 37434 unsolved
Search for dead transitions found 0 dead transitions in 501954ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 629702 ms. Remains : 19291/19291 places, 37560/37560 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 2]
Starting property specific reduction for MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-04
Current structural bounds on expressions (Initially) : Max Seen:[0] Max Struct:[+inf]
Current structural bounds on expressions (Adding known information on max bounds.) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (Before main loop) : Max Seen:[0] Max Struct:[1]
[2024-05-25 14:52:37] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:52:37] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 10000 steps (152 resets) in 1021 ms. (9 steps per ms)
BEST_FIRST walk for 10000 steps (11 resets) in 93 ms. (106 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-05-25 14:52:38] [INFO ] Flow matrix only has 35994 transitions (discarded 1566 similar events)
[2024-05-25 14:52:38] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 19291 places. Attempting structural reductions.
Drop transitions (Removing consumers from one bounded place Node4ThinksNode25ShouldBeNodeMasterToReplaceNode11) removed 2 transitions
Starting structural reductions in REACHABILITY mode, iteration 0 : 19291/19291 places, 37558/37558 transitions.
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 19290 transition count 37556
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 19289 transition count 37554
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 3 place count 19288 transition count 37552
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 4 place count 19287 transition count 37550
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 4 with 1 rules applied. Total rules applied 5 place count 19287 transition count 37549
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 6 place count 19286 transition count 37549
Applied a total of 6 rules in 2595 ms. Remains 19286 /19291 variables (removed 5) and now considering 37549/37558 (removed 9) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2598 ms. Remains : 19286/19291 places, 37549/37558 transitions.
[2024-05-25 14:52:43] [INFO ] Flow matrix only has 35983 transitions (discarded 1566 similar events)
// Phase 1: matrix 35983 rows 19286 cols
[2024-05-25 14:52:54] [INFO ] Computed 813 invariants in 10922 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 270771 steps (4141 resets) in 30001 ms. (9 steps per ms)
BEST_FIRST walk for 544415 steps (646 resets) in 5001 ms. (108 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-05-25 14:53:29] [INFO ] Flow matrix only has 35983 transitions (discarded 1566 similar events)
[2024-05-25 14:53:29] [INFO ] Invariant cache hit.
[2024-05-25 14:53:32] [INFO ] [Real]Absence check using 63 positive place invariants in 666 ms returned sat
[2024-05-25 14:53:32] [INFO ] [Real]Absence check using 63 positive and 750 generalized place invariants in 344 ms returned sat
[2024-05-25 14:54:14] [INFO ] [Real]Absence check using state equation in 41972 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[0] Max Struct:[1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 19286 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19286/19286 places, 37549/37549 transitions.
Applied a total of 0 rules in 1116 ms. Remains 19286 /19286 variables (removed 0) and now considering 37549/37549 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1117 ms. Remains : 19286/19286 places, 37549/37549 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 19286/19286 places, 37549/37549 transitions.
Applied a total of 0 rules in 1134 ms. Remains 19286 /19286 variables (removed 0) and now considering 37549/37549 (removed 0) transitions.
[2024-05-25 14:54:16] [INFO ] Flow matrix only has 35983 transitions (discarded 1566 similar events)
[2024-05-25 14:54:16] [INFO ] Invariant cache hit.
[2024-05-25 14:54:49] [INFO ] Performed 9708/19286 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-05-25 14:55:19] [INFO ] Performed 16942/19286 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-05-25 14:55:51] [INFO ] Performed 18725/19286 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2024-05-25 14:56:22] [INFO ] Performed 19005/19286 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2024-05-25 14:56:22] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2024-05-25 14:56:22] [INFO ] Implicit Places using invariants in 125727 ms returned []
Implicit Place search using SMT only with invariants took 125730 ms to find 0 implicit places.
Running 37423 sub problems to find dead transitions.
[2024-05-25 14:56:23] [INFO ] Flow matrix only has 35983 transitions (discarded 1566 similar events)
[2024-05-25 14:56:23] [INFO ] Invariant cache hit.
[2024-05-25 14:56:24] [INFO ] State equation strengthened by 16541 read => feed constraints.
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------
Running MultiCrashLeafsetExtension-PT-S32C11
IS_COLORED=
IS_NUPN=
LOADING PETRI NET FILE /home/mcc/execution/model.pnml (PNML) ...
PNML VERSION 2009, P/T NET.
COLOR CLASSES: 0
CONSTANTS: 0
PLACES: 34406
TRANSITIONS: 51525
COLOR VARS: 0
MEASURES: 0
LOADING TIME: [User 1.322s, Sys 0.124s]
SAVING FILE /home/mcc/execution/model (.net / .def) ...
EXPORT TIME: [User 0.289s, Sys 0.016s]
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -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="MultiCrashLeafsetExtension-PT-S32C11"
export BK_EXAMINATION="UpperBounds"
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 MultiCrashLeafsetExtension-PT-S32C11, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-171654349400221"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C11.tgz
mv MultiCrashLeafsetExtension-PT-S32C11 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;