About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S24C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10897.771 | 1592235.00 | 1728084.00 | 3837.60 | 1 1 1 1 0 0 1 0 ? 1 1 0 0 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.r508-tall-171654350900093.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 ltsminxred
Input is MultiCrashLeafsetExtension-PT-S24C06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r508-tall-171654350900093
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 16K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 12 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Apr 12 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 13M 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-S24C06-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717204182309
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C06
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 01:09:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2024-06-01 01:09:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 01:09:44] [INFO ] Load time of PNML (sax parser for PT used): 640 ms
[2024-06-01 01:09:44] [INFO ] Transformed 12464 places.
[2024-06-01 01:09:44] [INFO ] Transformed 18463 transitions.
[2024-06-01 01:09:44] [INFO ] Parsed PT model containing 12464 places and 18463 transitions and 71462 arcs in 840 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 10 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-06-01 01:09:44] [INFO ] Flow matrix only has 17863 transitions (discarded 600 similar events)
// Phase 1: matrix 17863 rows 12464 cols
[2024-06-01 01:09:45] [INFO ] Computed 1029 invariants in 1168 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:[75, 75, 25, 25, 1, 1, 25, 1, 1, 25, 1, 1, 1, 75, 25, 25]
RANDOM walk for 10000 steps (162 resets) in 280 ms. (35 steps per ms)
BEST_FIRST walk for 160009 steps (480 resets) in 741 ms. (215 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1] Max Struct:[75, 75, 25, 25, 1, 1, 25, 1, 1, 25, 1, 1, 1, 75, 25, 25]
[2024-06-01 01:09:46] [INFO ] Flow matrix only has 17863 transitions (discarded 600 similar events)
[2024-06-01 01:09:46] [INFO ] Invariant cache hit.
[2024-06-01 01:09:48] [INFO ] [Real]Absence check using 66 positive place invariants in 254 ms returned sat
[2024-06-01 01:09:48] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 135 ms returned unsat
[2024-06-01 01:09:50] [INFO ] [Real]Absence check using 66 positive place invariants in 252 ms returned sat
[2024-06-01 01:09:50] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 391 ms returned sat
[2024-06-01 01:09:53] [INFO ] [Real]Absence check using state equation in 3183 ms returned unknown
[2024-06-01 01:09:54] [INFO ] [Real]Absence check using 66 positive place invariants in 245 ms returned sat
[2024-06-01 01:09:55] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 416 ms returned sat
[2024-06-01 01:09:58] [INFO ] [Real]Absence check using state equation in 3191 ms returned unknown
[2024-06-01 01:10:00] [INFO ] [Real]Absence check using 66 positive place invariants in 242 ms returned sat
[2024-06-01 01:10:00] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 132 ms returned unsat
[2024-06-01 01:10:01] [INFO ] [Real]Absence check using 66 positive place invariants in 241 ms returned sat
[2024-06-01 01:10:01] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 412 ms returned sat
[2024-06-01 01:10:05] [INFO ] [Real]Absence check using state equation in 3213 ms returned unknown
[2024-06-01 01:10:06] [INFO ] [Real]Absence check using 66 positive place invariants in 242 ms returned sat
[2024-06-01 01:10:06] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 427 ms returned sat
[2024-06-01 01:10:10] [INFO ] [Real]Absence check using state equation in 3210 ms returned unknown
[2024-06-01 01:10:11] [INFO ] [Real]Absence check using 66 positive place invariants in 237 ms returned sat
[2024-06-01 01:10:11] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 131 ms returned unsat
[2024-06-01 01:10:13] [INFO ] [Real]Absence check using 66 positive place invariants in 239 ms returned sat
[2024-06-01 01:10:13] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 432 ms returned sat
[2024-06-01 01:10:16] [INFO ] [Real]Absence check using state equation in 3182 ms returned unknown
[2024-06-01 01:10:18] [INFO ] [Real]Absence check using 66 positive place invariants in 240 ms returned sat
[2024-06-01 01:10:18] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 410 ms returned sat
[2024-06-01 01:10:21] [INFO ] [Real]Absence check using state equation in 3206 ms returned unknown
[2024-06-01 01:10:23] [INFO ] [Real]Absence check using 66 positive place invariants in 241 ms returned sat
[2024-06-01 01:10:23] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 136 ms returned unsat
[2024-06-01 01:10:24] [INFO ] [Real]Absence check using 66 positive place invariants in 245 ms returned sat
[2024-06-01 01:10:25] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 409 ms returned sat
[2024-06-01 01:10:28] [INFO ] [Real]Absence check using state equation in 3204 ms returned unknown
[2024-06-01 01:10:29] [INFO ] [Real]Absence check using 66 positive place invariants in 237 ms returned sat
[2024-06-01 01:10:30] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 423 ms returned sat
[2024-06-01 01:10:33] [INFO ] [Real]Absence check using state equation in 3180 ms returned unknown
[2024-06-01 01:10:34] [INFO ] [Real]Absence check using 66 positive place invariants in 241 ms returned sat
[2024-06-01 01:10:35] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 432 ms returned sat
[2024-06-01 01:10:38] [INFO ] [Real]Absence check using state equation in 3157 ms returned unknown
[2024-06-01 01:10:39] [INFO ] [Real]Absence check using 66 positive place invariants in 240 ms returned sat
[2024-06-01 01:10:40] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 423 ms returned sat
[2024-06-01 01:10:43] [INFO ] [Real]Absence check using state equation in 3147 ms returned unknown
[2024-06-01 01:10:44] [INFO ] [Real]Absence check using 66 positive place invariants in 241 ms returned sat
[2024-06-01 01:10:44] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 140 ms returned unsat
[2024-06-01 01:10:46] [INFO ] [Real]Absence check using 66 positive place invariants in 243 ms returned sat
[2024-06-01 01:10:46] [INFO ] [Real]Absence check using 66 positive and 963 generalized place invariants in 135 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1] Max Struct:[1, 75, 25, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 75, 1, 1]
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[75, 25, 1, 1, 1, 1, 1, 1, 1, 75]
Support contains 10 out of 12464 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12464/12464 places, 18463/18463 transitions.
Graph (complete) has 41533 edges and 12464 vertex of which 12424 are kept as prefixes of interest. Removing 40 places using SCC suffix rule.39 ms
Discarding 40 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 3597 transitions
Trivial Post-agglo rules discarded 3597 transitions
Performed 3597 trivial Post agglomeration. Transition count delta: 3597
Iterating post reduction 0 with 3597 rules applied. Total rules applied 3598 place count 12424 transition count 14866
Reduce places removed 3597 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 3599 rules applied. Total rules applied 7197 place count 8827 transition count 14864
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 7199 place count 8825 transition count 14864
Performed 300 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 300 Pre rules applied. Total rules applied 7199 place count 8825 transition count 14564
Deduced a syphon composed of 300 places in 13 ms
Reduce places removed 300 places and 0 transitions.
Iterating global reduction 3 with 600 rules applied. Total rules applied 7799 place count 8525 transition count 14564
Discarding 3297 places :
Symmetric choice reduction at 3 with 3297 rule applications. Total rules 11096 place count 5228 transition count 11267
Iterating global reduction 3 with 3297 rules applied. Total rules applied 14393 place count 5228 transition count 11267
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 10 Pre rules applied. Total rules applied 14393 place count 5228 transition count 11257
Deduced a syphon composed of 10 places in 7 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 3 with 20 rules applied. Total rules applied 14413 place count 5218 transition count 11257
Discarding 547 places :
Symmetric choice reduction at 3 with 547 rule applications. Total rules 14960 place count 4671 transition count 7975
Iterating global reduction 3 with 547 rules applied. Total rules applied 15507 place count 4671 transition count 7975
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 11 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 15557 place count 4646 transition count 7950
Free-agglomeration rule (complex) applied 339 times.
Iterating global reduction 3 with 339 rules applied. Total rules applied 15896 place count 4646 transition count 10346
Reduce places removed 339 places and 0 transitions.
Iterating post reduction 3 with 339 rules applied. Total rules applied 16235 place count 4307 transition count 10346
Partial Free-agglomeration rule applied 50 times.
Drop transitions (Partial Free agglomeration) removed 50 transitions
Iterating global reduction 4 with 50 rules applied. Total rules applied 16285 place count 4307 transition count 10346
Applied a total of 16285 rules in 4652 ms. Remains 4307 /12464 variables (removed 8157) and now considering 10346/18463 (removed 8117) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4666 ms. Remains : 4307/12464 places, 10346/18463 transitions.
[2024-06-01 01:10:51] [INFO ] Flow matrix only has 9460 transitions (discarded 886 similar events)
// Phase 1: matrix 9460 rows 4307 cols
[2024-06-01 01:10:51] [INFO ] Computed 989 invariants in 247 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[2, 1, 1, 1, 1, 1, 1, 1, 1, 2]
RANDOM walk for 905741 steps (24279 resets) in 30001 ms. (30 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 8808000 steps (29228 resets) in 45009 ms. (195 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[2, 1, 1, 1, 1, 1, 1, 1, 2]
[2024-06-01 01:12:06] [INFO ] Flow matrix only has 9460 transitions (discarded 886 similar events)
[2024-06-01 01:12:06] [INFO ] Invariant cache hit.
[2024-06-01 01:12:06] [INFO ] [Real]Absence check using 49 positive place invariants in 95 ms returned sat
[2024-06-01 01:12:06] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 30 ms returned unsat
[2024-06-01 01:12:07] [INFO ] [Real]Absence check using 49 positive place invariants in 90 ms returned sat
[2024-06-01 01:12:07] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 173 ms returned sat
[2024-06-01 01:12:10] [INFO ] [Real]Absence check using state equation in 3240 ms returned sat
[2024-06-01 01:12:11] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:12:11] [INFO ] [Nat]Absence check using 49 positive place invariants in 94 ms returned sat
[2024-06-01 01:12:11] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 194 ms returned sat
[2024-06-01 01:12:15] [INFO ] [Nat]Absence check using state equation in 3475 ms returned sat
[2024-06-01 01:12:15] [INFO ] State equation strengthened by 5602 read => feed constraints.
[2024-06-01 01:12:20] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:12:24] [INFO ] [Nat]Added 5602 Read/Feed constraints in 9341 ms returned unknown
[2024-06-01 01:12:25] [INFO ] [Real]Absence check using 49 positive place invariants in 90 ms returned sat
[2024-06-01 01:12:25] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 190 ms returned sat
[2024-06-01 01:12:28] [INFO ] [Real]Absence check using state equation in 3531 ms returned sat
[2024-06-01 01:12:30] [INFO ] [Real]Added 5602 Read/Feed constraints in 1085 ms returned unsat
[2024-06-01 01:12:30] [INFO ] [Real]Absence check using 49 positive place invariants in 90 ms returned sat
[2024-06-01 01:12:30] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 189 ms returned sat
[2024-06-01 01:12:34] [INFO ] [Real]Absence check using state equation in 3235 ms returned sat
[2024-06-01 01:12:35] [INFO ] [Real]Added 5602 Read/Feed constraints in 1346 ms returned sat
[2024-06-01 01:12:35] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:12:36] [INFO ] [Nat]Absence check using 49 positive place invariants in 90 ms returned sat
[2024-06-01 01:12:36] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 191 ms returned sat
[2024-06-01 01:12:40] [INFO ] [Nat]Absence check using state equation in 3970 ms returned sat
[2024-06-01 01:12:45] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:12:47] [INFO ] [Nat]Added 5602 Read/Feed constraints in 7021 ms returned unsat
[2024-06-01 01:12:48] [INFO ] [Real]Absence check using 49 positive place invariants in 92 ms returned sat
[2024-06-01 01:12:48] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 191 ms returned sat
[2024-06-01 01:12:51] [INFO ] [Real]Absence check using state equation in 3551 ms returned sat
[2024-06-01 01:12:51] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:12:52] [INFO ] [Nat]Absence check using 49 positive place invariants in 93 ms returned sat
[2024-06-01 01:12:52] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 193 ms returned sat
[2024-06-01 01:12:56] [INFO ] [Nat]Absence check using state equation in 3908 ms returned sat
[2024-06-01 01:13:01] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:13:05] [INFO ] [Nat]Added 5602 Read/Feed constraints in 8800 ms returned sat
[2024-06-01 01:13:10] [INFO ] Deduced a trap composed of 522 places in 4981 ms of which 198 ms to minimize.
[2024-06-01 01:13:10] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 5565 ms
[2024-06-01 01:13:11] [INFO ] Computed and/alt/rep : 4614/6649/4614 causal constraints (skipped 4821 transitions) in 839 ms.
[2024-06-01 01:13:13] [INFO ] Added : 11 causal constraints over 3 iterations in 2769 ms. Result :sat
Minimization took 6319 ms.
[2024-06-01 01:13:20] [INFO ] [Real]Absence check using 49 positive place invariants in 112 ms returned sat
[2024-06-01 01:13:20] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 191 ms returned sat
[2024-06-01 01:13:24] [INFO ] [Real]Absence check using state equation in 3860 ms returned sat
[2024-06-01 01:13:26] [INFO ] [Real]Added 5602 Read/Feed constraints in 1687 ms returned sat
[2024-06-01 01:13:26] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:13:27] [INFO ] [Nat]Absence check using 49 positive place invariants in 90 ms returned sat
[2024-06-01 01:13:27] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 199 ms returned sat
[2024-06-01 01:13:30] [INFO ] [Nat]Absence check using state equation in 3588 ms returned sat
[2024-06-01 01:13:35] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:13:40] [INFO ] [Nat]Added 5602 Read/Feed constraints in 9305 ms returned unknown
[2024-06-01 01:13:40] [INFO ] [Real]Absence check using 49 positive place invariants in 92 ms returned sat
[2024-06-01 01:13:40] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 203 ms returned sat
[2024-06-01 01:13:44] [INFO ] [Real]Absence check using state equation in 3288 ms returned sat
[2024-06-01 01:13:45] [INFO ] [Real]Added 5602 Read/Feed constraints in 1017 ms returned unsat
[2024-06-01 01:13:45] [INFO ] [Real]Absence check using 49 positive place invariants in 88 ms returned sat
[2024-06-01 01:13:46] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 189 ms returned sat
[2024-06-01 01:13:49] [INFO ] [Real]Absence check using state equation in 3392 ms returned sat
[2024-06-01 01:13:50] [INFO ] [Real]Added 5602 Read/Feed constraints in 1082 ms returned sat
[2024-06-01 01:13:50] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:13:51] [INFO ] [Nat]Absence check using 49 positive place invariants in 90 ms returned sat
[2024-06-01 01:13:51] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 194 ms returned sat
[2024-06-01 01:13:55] [INFO ] [Nat]Absence check using state equation in 3411 ms returned sat
[2024-06-01 01:13:59] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:14:02] [INFO ] [Nat]Added 5602 Read/Feed constraints in 7334 ms returned unsat
[2024-06-01 01:14:02] [INFO ] [Real]Absence check using 49 positive place invariants in 88 ms returned sat
[2024-06-01 01:14:02] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 135 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[1, 0, 0, 0, 0, 0, 0, 0, 1] Max Struct:[1, 1, 0, 0, 1, 1, 0, 0, 1]
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-12 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-11 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-07 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-05 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 1]
Support contains 3 out of 4307 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4307/4307 places, 10346/10346 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 4307 transition count 10345
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4306 transition count 10345
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 4306 transition count 10343
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 6 place count 4304 transition count 10343
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 9 place count 4301 transition count 10340
Iterating global reduction 3 with 3 rules applied. Total rules applied 12 place count 4301 transition count 10340
Applied a total of 12 rules in 1322 ms. Remains 4301 /4307 variables (removed 6) and now considering 10340/10346 (removed 6) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1322 ms. Remains : 4301/4307 places, 10340/10346 transitions.
[2024-06-01 01:14:04] [INFO ] Flow matrix only has 9454 transitions (discarded 886 similar events)
// Phase 1: matrix 9454 rows 4301 cols
[2024-06-01 01:14:04] [INFO ] Computed 989 invariants in 233 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0] Max Struct:[1, 1, 1]
RANDOM walk for 907958 steps (24344 resets) in 30001 ms. (30 steps per ms)
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 1931312 steps (6409 resets) in 10002 ms. (193 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0, 0] Max Struct:[1, 1]
[2024-06-01 01:14:44] [INFO ] Flow matrix only has 9454 transitions (discarded 886 similar events)
[2024-06-01 01:14:44] [INFO ] Invariant cache hit.
[2024-06-01 01:14:45] [INFO ] [Real]Absence check using 49 positive place invariants in 89 ms returned sat
[2024-06-01 01:14:45] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 194 ms returned sat
[2024-06-01 01:14:48] [INFO ] [Real]Absence check using state equation in 3021 ms returned sat
[2024-06-01 01:14:48] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:14:48] [INFO ] [Nat]Absence check using 49 positive place invariants in 89 ms returned sat
[2024-06-01 01:14:49] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 189 ms returned sat
[2024-06-01 01:14:52] [INFO ] [Nat]Absence check using state equation in 3165 ms returned sat
[2024-06-01 01:14:52] [INFO ] State equation strengthened by 5602 read => feed constraints.
[2024-06-01 01:14:57] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:15:01] [INFO ] [Nat]Added 5602 Read/Feed constraints in 9089 ms returned unsat
[2024-06-01 01:15:01] [INFO ] [Real]Absence check using 49 positive place invariants in 89 ms returned sat
[2024-06-01 01:15:02] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 187 ms returned sat
[2024-06-01 01:15:05] [INFO ] [Real]Absence check using state equation in 3680 ms returned sat
[2024-06-01 01:15:07] [INFO ] [Real]Added 5602 Read/Feed constraints in 1144 ms returned sat
[2024-06-01 01:15:07] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:15:07] [INFO ] [Nat]Absence check using 49 positive place invariants in 91 ms returned sat
[2024-06-01 01:15:07] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 193 ms returned sat
[2024-06-01 01:15:11] [INFO ] [Nat]Absence check using state equation in 3799 ms returned sat
[2024-06-01 01:15:16] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:15:20] [INFO ] [Nat]Added 5602 Read/Feed constraints in 8432 ms returned sat
[2024-06-01 01:15:25] [INFO ] Deduced a trap composed of 478 places in 4670 ms of which 28 ms to minimize.
[2024-06-01 01:15:30] [INFO ] Deduced a trap composed of 308 places in 5290 ms of which 32 ms to minimize.
[2024-06-01 01:15:36] [INFO ] Deduced a trap composed of 296 places in 5396 ms of which 28 ms to minimize.
[2024-06-01 01:15:36] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 16482 ms
[2024-06-01 01:15:37] [INFO ] Computed and/alt/rep : 4610/6642/4610 causal constraints (skipped 4819 transitions) in 794 ms.
[2024-06-01 01:15:39] [INFO ] Added : 13 causal constraints over 4 iterations in 3295 ms. Result :sat
Minimization took 6164 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[0, 0] Max Struct:[0, 1]
FORMULA MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-04 0 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[0] Max Struct:[1]
Support contains 1 out of 4301 places. Attempting structural reductions.
Drop transitions (Removing consumers from one bounded place Node24ThinksNode7ShouldBeNodeMasterToReplaceNode8) removed 2 transitions
Starting structural reductions in REACHABILITY mode, iteration 0 : 4301/4301 places, 10338/10338 transitions.
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 4300 transition count 10336
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 4299 transition count 10334
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 3 place count 4298 transition count 10332
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 4 place count 4297 transition count 10330
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 5 place count 4296 transition count 10328
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 6 place count 4295 transition count 10326
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 7 place count 4294 transition count 10324
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 8 place count 4293 transition count 10322
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 9 place count 4292 transition count 10320
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 10 place count 4291 transition count 10318
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 11 place count 4290 transition count 10316
Reduce places removed 1 places and 2 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 12 place count 4289 transition count 10314
Applied a total of 12 rules in 730 ms. Remains 4289 /4301 variables (removed 12) and now considering 10314/10338 (removed 24) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 730 ms. Remains : 4289/4301 places, 10314/10338 transitions.
[2024-06-01 01:15:46] [INFO ] Flow matrix only has 9428 transitions (discarded 886 similar events)
// Phase 1: matrix 9428 rows 4289 cols
[2024-06-01 01:15:47] [INFO ] Computed 989 invariants in 239 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 907733 steps (24334 resets) in 30001 ms. (30 steps per ms)
BEST_FIRST walk for 943549 steps (3131 resets) in 5001 ms. (188 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-06-01 01:16:22] [INFO ] Flow matrix only has 9428 transitions (discarded 886 similar events)
[2024-06-01 01:16:22] [INFO ] Invariant cache hit.
[2024-06-01 01:16:22] [INFO ] [Real]Absence check using 49 positive place invariants in 91 ms returned sat
[2024-06-01 01:16:22] [INFO ] [Real]Absence check using 49 positive and 940 generalized place invariants in 200 ms returned sat
[2024-06-01 01:16:26] [INFO ] [Real]Absence check using state equation in 4145 ms returned sat
[2024-06-01 01:16:27] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:16:27] [INFO ] [Nat]Absence check using 49 positive place invariants in 87 ms returned sat
[2024-06-01 01:16:27] [INFO ] [Nat]Absence check using 49 positive and 940 generalized place invariants in 189 ms returned sat
[2024-06-01 01:16:32] [INFO ] [Nat]Absence check using state equation in 4332 ms returned sat
[2024-06-01 01:16:32] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:16:37] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:16:41] [INFO ] [Nat]Added 5589 Read/Feed constraints in 9329 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 4289 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4289/4289 places, 10314/10314 transitions.
Applied a total of 0 rules in 511 ms. Remains 4289 /4289 variables (removed 0) and now considering 10314/10314 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 511 ms. Remains : 4289/4289 places, 10314/10314 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4289/4289 places, 10314/10314 transitions.
Applied a total of 0 rules in 502 ms. Remains 4289 /4289 variables (removed 0) and now considering 10314/10314 (removed 0) transitions.
[2024-06-01 01:16:42] [INFO ] Flow matrix only has 9428 transitions (discarded 886 similar events)
[2024-06-01 01:16:42] [INFO ] Invariant cache hit.
[2024-06-01 01:16:55] [INFO ] Implicit Places using invariants in 13351 ms returned [4, 7, 9, 10, 11, 12, 13, 14, 15, 19, 25, 33, 43, 55, 69, 85, 103, 123, 145, 168, 190, 191, 192, 193, 194, 195, 196, 216, 234, 250, 264, 276, 286, 294, 300, 304, 306, 321, 327, 329, 330, 331, 332, 333, 334, 335, 337, 341, 347, 355, 365, 377, 391, 407, 425, 445, 466, 486, 487, 488, 489, 490, 491, 492, 510, 526, 540, 552, 562, 570, 576, 580, 582, 584, 599, 605, 607, 608, 609, 610, 611, 612, 613, 615, 617, 621, 627, 635, 645, 657, 671, 687, 705, 724, 742, 743, 744, 745, 746, 747, 748, 764, 778, 790, 800, 808, 814, 818, 820, 822, 824, 839, 845, 847, 848, 849, 850, 851, 852, 853, 855, 857, 859, 863, 869, 877, 887, 899, 913, 929, 946, 962, 963, 964, 965, 966, 967, 968, 982, 994, 1004, 1012, 1018, 1022, 1024, 1026, 1028, 1030, 1045, 1051, 1053, 1054, 1055, 1056, 1057, 1058, 1059, 1061, 1063, 1065, 1067, 1071, 1077, 1085, 1095, 1107, 1121, 1136, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1168, 1178, 1186, 1192, 1196, 1198, 1200, 1202, 1204, 1206, 1221, 1227, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1237, 1239, 1241, 1243, 1245, 1249, 1255, 1263, 1273, 1285, 1298, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1326, 1334, 1340, 1344, 1346, 1348, 1350, 1352, 1354, 1356, 1371, 1377, 1379, 1380, 1381, 1382, 1383, 1384, 1385, 1387, 1389, 1391, 1393, 1395, 1397, 1401, 1407, 1415, 1425, 1436, 1446, 1447, 1448, 1449, 1450, 1451, 1452, 1460, 1466, 1470, 1472, 1474, 1476, 1478, 1480, 1482, 1484, 1499, 1505, 1507, 1508, 1509, 1510, 1511, 1512, 1513, 1515, 1517, 1519, 1521, 1523, 1525, 1527, 1531, 1537, 1545, 1554, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1574, 1578, 1580, 1582, 1584, 1586, 1588, 1590, 1592, 1594, 1609, 1615, 1617, 1618, 1619, 1620, 1621, 1622, 1623, 1625, 1627, 1629, 1631, 1633, 1635, 1637, 1639, 1643, 1649, 1656, 1662, 1663, 1664, 1665, 1666, 1667, 1668, 1672, 1674, 1676, 1678, 1680, 1682, 1684, 1686, 1688, 1690, 1705, 1711, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1721, 1723, 1725, 1727, 1729, 1731, 1733, 1735, 1737, 1741, 1746, 1750, 1751, 1752, 1753, 1754, 1755, 1756, 1758, 1760, 1762, 1764, 1766, 1768, 1770, 1772, 1774, 1776, 1791, 1797, 1799, 1800, 1801, 1802, 1803, 1804, 1805, 1807, 1809, 1811, 1813, 1815, 1817, 1819, 1821, 1823, 1825, 1828, 1830, 1831, 1832, 1833, 1834, 1835, 1836, 1838, 1840, 1842, 1844, 1846, 1848, 1850, 1852, 1854, 1856, 1871, 1877, 1879, 1880, 1881, 1882, 1883, 1884, 1885, 1887, 1889, 1891, 1893, 1895, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1910, 1911, 1912, 1913, 1914, 1915, 1917, 1919, 1921, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1950, 1952, 1955, 1957, 1958, 1959, 1960, 1961, 1962, 1963, 1965, 1967, 1969, 1971, 1973, 1975, 1977, 1979, 1981, 1983, 1985, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1995, 1997, 1999, 2001, 2003, 2005, 2007, 2009, 2011, 2013, 2028, 2034, 2036, 2037, 2038, 2039, 2040, 2041, 2042, 2044, 2046, 2048, 2050, 2052, 2054, 2056, 2058, 2060, 2062, 2064, 2066, 2067, 2068, 2069, 2070, 2071, 2072, 2074, 2076, 2078, 2080, 2082, 2084, 2086, 2088, 2090, 2092, 2107, 2113, 2115, 2116, 2117, 2118, 2119, 2120, 2121, 2123, 2125, 2127, 2129, 2131, 2133, 2135, 2137, 2139, 2141, 2143, 2146, 2147, 2148, 2149, 2150, 2151, 2152, 2154, 2156, 2158, 2160, 2162, 2164, 2166, 2168, 2170, 2172, 2187, 2193, 2195, 2196, 2197, 2198, 2199, 2200, 2201, 2203, 2205, 2207, 2209, 2211, 2213, 2215, 2217, 2219, 2221, 2225, 2230, 2231, 2232, 2233, 2234, 2235, 2236, 2240, 2242, 2244, 2246, 2248, 2250, 2252, 2254, 2256, 2258, 2273, 2279, 2281, 2282, 2283, 2284, 2285, 2286, 2287, 2289, 2291, 2293, 2295, 2297, 2299, 2301, 2303, 2305, 2309, 2315, 2322, 2323, 2324, 2325, 2326, 2327, 2328, 2334, 2338, 2340, 2342, 2344, 2346, 2348, 2350, 2352, 2354, 2369, 2375, 2377, 2378, 2379, 2380, 2381, 2382, 2383, 2385, 2387, 2389, 2391, 2393, 2395, 2397, 2399, 2403, 2409, 2417, 2426, 2427, 2428, 2429, 2430, 2431, 2432, 2440, 2446, 2450, 2452, 2454, 2456, 2458, 2460, 2462, 2464, 2479, 2485, 2487, 2488, 2489, 2490, 2491, 2492, 2493, 2495, 2497, 2499, 2501, 2503, 2505, 2507, 2511, 2517, 2525, 2535, 2546, 2547, 2548, 2549, 2550, 2551, 2552, 2562, 2570, 2576, 2580, 2582, 2584, 2586, 2588, 2590, 2592, 2607, 2613, 2615, 2616, 2617, 2618, 2619, 2620, 2621, 2623, 2625, 2627, 2629, 2631, 2633, 2637, 2643, 2651, 2661, 2673, 2686, 2687, 2688, 2689, 2690, 2691, 2692, 2704, 2714, 2722, 2728, 2732, 2734, 2736, 2738, 2740, 2742, 2757, 2763, 2765, 2766, 2767, 2768, 2769, 2770, 2771, 2773, 2775, 2777, 2779, 2781, 2785, 2791, 2799, 2809, 2821, 2835, 2850, 2851, 2852, 2853, 2854, 2855, 2856, 2870, 2882, 2892, 2900, 2906, 2910, 2912, 2914, 2916, 2918, 2933, 2939, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2949, 2951, 2953, 2955, 2959, 2965, 2973, 2983, 2995, 3009, 3025, 3042, 3043, 3044, 3045, 3046, 3047, 3048, 3064, 3078, 3090, 3100, 3108, 3114, 3118, 3120, 3122, 3124, 3139, 3145, 3147, 3148, 3149, 3150, 3151, 3152, 3153, 3155, 3157, 3159, 3163, 3169, 3177, 3187, 3199, 3213, 3229, 3247, 3266, 3267, 3268, 3269, 3270, 3271, 3272, 3290, 3306, 3320, 3332, 3342, 3350, 3356, 3360, 3362, 3364, 3379, 3385, 3387, 3388, 3389, 3390, 3391, 3392, 3393, 3395, 3397, 3401, 3407, 3415, 3425, 3437, 3451, 3467, 3485, 3505, 3526, 3527, 3528, 3529, 3530, 3531, 3532, 3552, 3570, 3586, 3600, 3612, 3622, 3630, 3636, 3640, 3642, 3657, 3659, 3662, 3664, 3665, 3666, 3667, 3668, 3669, 3670, 3672, 3676, 3682, 3690, 3700, 3712, 3726, 3730, 3748, 3768, 3790, 3813, 3814, 3815, 3816, 3817, 3818, 3819, 3841, 3861, 3879, 3895, 3909, 3921, 3931, 3939, 3945, 3949, 3964]
[2024-06-01 01:16:55] [INFO ] Actually due to overlaps returned [321, 599, 839, 1045, 1221, 1371, 1499, 1609, 1705, 1791, 1871, 1950, 2028, 2107, 2187, 2273, 2369, 2479, 2607, 2757, 2933, 3139, 3379, 3657, 3964, 4, 9, 10, 11, 12, 13, 14, 190, 191, 192, 193, 194, 195, 329, 330, 331, 332, 333, 334, 486, 487, 488, 489, 490, 491, 607, 608, 609, 610, 611, 612, 742, 743, 744, 745, 746, 747, 847, 848, 849, 850, 851, 852, 962, 963, 964, 965, 966, 967, 1053, 1054, 1055, 1056, 1057, 1058, 1150, 1151, 1152, 1153, 1154, 1155, 1229, 1230, 1231, 1232, 1233, 1234, 1310, 1311, 1312, 1313, 1314, 1315, 1379, 1380, 1381, 1382, 1383, 1384, 1446, 1447, 1448, 1449, 1450, 1451, 1507, 1508, 1509, 1510, 1511, 1512, 1562, 1563, 1564, 1565, 1566, 1567, 1617, 1618, 1619, 1620, 1621, 1622, 1662, 1663, 1664, 1665, 1666, 1667, 1713, 1714, 1715, 1716, 1717, 1718, 1750, 1751, 1752, 1753, 1754, 1755, 1799, 1800, 1801, 1802, 1803, 1804, 1830, 1831, 1832, 1833, 1834, 1835, 1879, 1880, 1881, 1882, 1883, 1884, 1909, 1910, 1911, 1912, 1913, 1914, 1952, 1957, 1958, 1959, 1960, 1961, 1962, 1987, 1988, 1989, 1990, 1991, 1992, 2036, 2037, 2038, 2039, 2040, 2041, 2066, 2067, 2068, 2069, 2070, 2071, 2115, 2116, 2117, 2118, 2119, 2120, 2146, 2147, 2148, 2149, 2150, 2151, 2195, 2196, 2197, 2198, 2199, 2200, 2230, 2231, 2232, 2233, 2234, 2235, 2281, 2282, 2283, 2284, 2285, 2286, 2322, 2323, 2324, 2325, 2326, 2327, 2377, 2378, 2379, 2380, 2381, 2382, 2426, 2427, 2428, 2429, 2430, 2431, 2487, 2488, 2489, 2490, 2491, 2492, 2546, 2547, 2548, 2549, 2550, 2551, 2615, 2616, 2617, 2618, 2619, 2620, 2686, 2687, 2688, 2689, 2690, 2691, 2765, 2766, 2767, 2768, 2769, 2770, 2850, 2851, 2852, 2853, 2854, 2855, 2941, 2942, 2943, 2944, 2945, 2946, 3042, 3043, 3044, 3045, 3046, 3047, 3147, 3148, 3149, 3150, 3151, 3152, 3266, 3267, 3268, 3269, 3270, 3271, 3387, 3388, 3389, 3390, 3391, 3392, 3526, 3527, 3528, 3529, 3530, 3531, 3659, 3664, 3665, 3666, 3667, 3668, 3669, 3813, 3814, 3815, 3816, 3817, 3818]
Discarding 328 places :
Implicit Place search using SMT only with invariants took 13376 ms to find 328 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 3961/4289 places, 10314/10314 transitions.
Discarding 288 places :
Symmetric choice reduction at 0 with 288 rule applications. Total rules 288 place count 3673 transition count 10026
Iterating global reduction 0 with 288 rules applied. Total rules applied 576 place count 3673 transition count 10026
Discarding 288 places :
Symmetric choice reduction at 0 with 288 rule applications. Total rules 864 place count 3385 transition count 9738
Iterating global reduction 0 with 288 rules applied. Total rules applied 1152 place count 3385 transition count 9738
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 1155 place count 3385 transition count 9735
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 1158 place count 3382 transition count 9735
Applied a total of 1158 rules in 1374 ms. Remains 3382 /3961 variables (removed 579) and now considering 9735/10314 (removed 579) transitions.
[2024-06-01 01:16:57] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
// Phase 1: matrix 8849 rows 3382 cols
[2024-06-01 01:16:57] [INFO ] Computed 661 invariants in 143 ms
[2024-06-01 01:17:06] [INFO ] Implicit Places using invariants in 9341 ms returned [6, 8, 12, 18, 26, 36, 48, 62, 78, 96, 116, 138, 161, 183, 203, 221, 237, 251, 263, 273, 281, 287, 291, 293, 312, 314, 316, 320, 326, 334, 344, 356, 370, 386, 404, 424, 445, 465, 483, 499, 513, 525, 535, 543, 549, 553, 555, 557, 565, 567, 569, 571, 575, 581, 589, 599, 611, 625, 641, 659, 678, 696, 712, 726, 738, 748, 756, 762, 766, 768, 770, 772, 780, 782, 784, 786, 788, 792, 798, 806, 816, 828, 842, 858, 875, 891, 905, 917, 927, 935, 941, 945, 947, 949, 951, 953, 961, 963, 965, 967, 969, 971, 975, 981, 989, 999, 1011, 1025, 1040, 1054, 1066, 1076, 1084, 1090, 1094, 1096, 1098, 1100, 1102, 1104, 1112, 1114, 1116, 1118, 1120, 1122, 1124, 1128, 1134, 1142, 1152, 1164, 1177, 1189, 1199, 1207, 1213, 1217, 1219, 1221, 1223, 1225, 1227, 1229, 1237, 1239, 1241, 1243, 1245, 1247, 1249, 1251, 1255, 1261, 1269, 1279, 1290, 1300, 1308, 1314, 1318, 1320, 1322, 1324, 1326, 1328, 1330, 1332, 1340, 1342, 1344, 1346, 1348, 1350, 1352, 1354, 1356, 1360, 1366, 1374, 1383, 1391, 1397, 1401, 1403, 1405, 1407, 1409, 1411, 1413, 1415, 1417, 1425, 1427, 1429, 1431, 1433, 1435, 1437, 1439, 1441, 1443, 1447, 1453, 1460, 1466, 1470, 1472, 1474, 1476, 1478, 1480, 1482, 1484, 1486, 1488, 1496, 1498, 1500, 1502, 1504, 1506, 1508, 1510, 1512, 1514, 1516, 1520, 1525, 1529, 1531, 1533, 1535, 1537, 1539, 1541, 1543, 1545, 1547, 1549, 1557, 1559, 1561, 1563, 1565, 1567, 1569, 1571, 1573, 1575, 1577, 1579, 1582, 1584, 1586, 1588, 1590, 1592, 1594, 1596, 1598, 1600, 1602, 1604, 1612, 1614, 1616, 1618, 1620, 1622, 1624, 1626, 1628, 1630, 1632, 1634, 1636, 1638, 1640, 1642, 1644, 1646, 1648, 1650, 1652, 1654, 1656, 1658, 1664, 1666, 1668, 1670, 1672, 1674, 1676, 1678, 1680, 1682, 1684, 1686, 1688, 1690, 1692, 1694, 1696, 1698, 1700, 1702, 1704, 1706, 1708, 1710, 1717, 1719, 1721, 1723, 1725, 1727, 1729, 1731, 1733, 1735, 1737, 1739, 1741, 1743, 1745, 1747, 1749, 1751, 1753, 1755, 1757, 1759, 1761, 1763, 1771, 1773, 1775, 1777, 1779, 1781, 1783, 1785, 1787, 1789, 1791, 1793, 1795, 1798, 1800, 1802, 1804, 1806, 1808, 1810, 1812, 1814, 1816, 1818, 1826, 1828, 1830, 1832, 1834, 1836, 1838, 1840, 1842, 1844, 1846, 1848, 1852, 1857, 1861, 1863, 1865, 1867, 1869, 1871, 1873, 1875, 1877, 1879, 1887, 1889, 1891, 1893, 1895, 1897, 1899, 1901, 1903, 1905, 1907, 1911, 1917, 1924, 1930, 1934, 1936, 1938, 1940, 1942, 1944, 1946, 1948, 1950, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1972, 1974, 1976, 1980, 1986, 1994, 2003, 2011, 2017, 2021, 2023, 2025, 2027, 2029, 2031, 2033, 2035, 2043, 2045, 2047, 2049, 2051, 2053, 2055, 2057, 2059, 2063, 2069, 2077, 2087, 2098, 2108, 2116, 2122, 2126, 2128, 2130, 2132, 2134, 2136, 2138, 2146, 2148, 2150, 2152, 2154, 2156, 2158, 2160, 2164, 2170, 2178, 2188, 2200, 2213, 2225, 2235, 2243, 2249, 2253, 2255, 2257, 2259, 2261, 2263, 2271, 2273, 2275, 2277, 2279, 2281, 2283, 2287, 2293, 2301, 2311, 2323, 2337, 2352, 2366, 2378, 2388, 2396, 2402, 2406, 2408, 2410, 2412, 2414, 2422, 2424, 2426, 2428, 2430, 2432, 2436, 2442, 2450, 2460, 2472, 2486, 2502, 2519, 2535, 2549, 2561, 2571, 2579, 2585, 2589, 2591, 2593, 2595, 2603, 2605, 2607, 2609, 2611, 2615, 2621, 2629, 2639, 2651, 2665, 2681, 2699, 2718, 2736, 2752, 2766, 2778, 2788, 2796, 2802, 2806, 2808, 2810, 2818, 2820, 2822, 2824, 2828, 2834, 2842, 2852, 2864, 2878, 2894, 2912, 2932, 2953, 2973, 2991, 3007, 3021, 3033, 3043, 3051, 3057, 3061, 3063, 3069, 3071, 3073, 3077, 3083, 3091, 3101, 3113, 3127, 3131, 3149, 3169, 3191, 3214, 3236, 3256, 3274, 3290, 3304, 3316, 3326, 3334, 3340, 3344]
Discarding 600 places :
Implicit Place search using SMT only with invariants took 9370 ms to find 600 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 2782/4289 places, 9735/10314 transitions.
Applied a total of 0 rules in 471 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 25097 ms. Remains : 2782/4289 places, 9735/10314 transitions.
[2024-06-01 01:17:07] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
// Phase 1: matrix 8849 rows 2782 cols
[2024-06-01 01:17:07] [INFO ] Computed 61 invariants in 217 ms
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 976856 steps (27708 resets) in 30001 ms. (32 steps per ms)
BEST_FIRST walk for 1000001 steps (2376 resets) in 3530 ms. (283 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-06-01 01:17:40] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:17:40] [INFO ] Invariant cache hit.
[2024-06-01 01:17:41] [INFO ] [Real]Absence check using 47 positive place invariants in 50 ms returned sat
[2024-06-01 01:17:41] [INFO ] [Real]Absence check using 47 positive and 14 generalized place invariants in 7 ms returned sat
[2024-06-01 01:17:44] [INFO ] [Real]Absence check using state equation in 3372 ms returned sat
[2024-06-01 01:17:44] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:17:45] [INFO ] [Nat]Absence check using 47 positive place invariants in 51 ms returned sat
[2024-06-01 01:17:45] [INFO ] [Nat]Absence check using 47 positive and 14 generalized place invariants in 6 ms returned sat
[2024-06-01 01:17:48] [INFO ] [Nat]Absence check using state equation in 3422 ms returned sat
[2024-06-01 01:17:48] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:17:53] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:17:57] [INFO ] [Nat]Added 5589 Read/Feed constraints in 9281 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 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 470 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 470 ms. Remains : 2782/2782 places, 9735/9735 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 468 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
[2024-06-01 01:17:58] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:17:58] [INFO ] Invariant cache hit.
[2024-06-01 01:18:03] [INFO ] Implicit Places using invariants in 4980 ms returned []
[2024-06-01 01:18:03] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:18:03] [INFO ] Invariant cache hit.
[2024-06-01 01:18:07] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:18:37] [INFO ] Performed 345/2782 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-06-01 01:19:07] [INFO ] Performed 851/2782 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-06-01 01:19:37] [INFO ] Performed 1099/2782 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-06-01 01:20:07] [INFO ] Performed 1280/2782 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2024-06-01 01:20:07] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2024-06-01 01:20:07] [INFO ] Implicit Places using invariants and state equation in 124073 ms returned []
Implicit Place search using SMT with State Equation took 129059 ms to find 0 implicit places.
[2024-06-01 01:20:09] [INFO ] Redundant transitions in 1386 ms returned []
Running 9641 sub problems to find dead transitions.
[2024-06-01 01:20:09] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:20:09] [INFO ] Invariant cache hit.
[2024-06-01 01:20:09] [INFO ] State equation strengthened by 5589 read => feed constraints.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/2779 variables, 44/44 constraints. Problems are: Problem set: 0 solved, 9641 unsolved
SMT process timed out in 87046ms, After SMT, problems are : Problem set: 0 solved, 9641 unsolved
Search for dead transitions found 0 dead transitions in 87158ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 218136 ms. Remains : 2782/2782 places, 9735/9735 transitions.
RANDOM walk for 40000 steps (1133 resets) in 1700 ms. (23 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (93 resets) in 206 ms. (193 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (94 resets) in 209 ms. (190 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 26274 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 2
Probabilistic random walk after 26274 steps, saw 11169 distinct states, run finished after 3003 ms. (steps per millisecond=8 ) properties seen :0
[2024-06-01 01:21:40] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:21:40] [INFO ] Invariant cache hit.
[2024-06-01 01:21:40] [INFO ] State equation strengthened by 5589 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2688 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 38/2726 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/2726 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 44/2770 variables, 44/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2770 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 12/2782 variables, 12/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2782 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 8849/11631 variables, 2782/2843 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/11631 variables, 5589/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 11631/11631 variables, and 8432 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5029 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 14/14 constraints, State Equation: 2782/2782 constraints, ReadFeed: 5589/5589 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-06-01 01:21:47] [INFO ] Deduced a trap composed of 119 places in 1934 ms of which 18 ms to minimize.
[2024-06-01 01:21:49] [INFO ] Deduced a trap composed of 525 places in 2016 ms of which 17 ms to minimize.
[2024-06-01 01:21:51] [INFO ] Deduced a trap composed of 113 places in 1992 ms of which 16 ms to minimize.
SMT process timed out in 11569ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 478 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 485 ms. Remains : 2782/2782 places, 9735/9735 transitions.
RANDOM walk for 40000 steps (1132 resets) in 1469 ms. (27 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40003 steps (95 resets) in 151 ms. (263 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (94 resets) in 144 ms. (275 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 26793 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 2
Probabilistic random walk after 26793 steps, saw 11387 distinct states, run finished after 3001 ms. (steps per millisecond=8 ) properties seen :0
[2024-06-01 01:21:55] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:21:55] [INFO ] Invariant cache hit.
[2024-06-01 01:21:55] [INFO ] State equation strengthened by 5589 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2688 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 38/2726 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/2726 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 44/2770 variables, 44/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2770 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 12/2782 variables, 12/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2782 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 8849/11631 variables, 2782/2843 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/11631 variables, 5589/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 11631/11631 variables, and 8432 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5548 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 14/14 constraints, State Equation: 2782/2782 constraints, ReadFeed: 5589/5589 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-06-01 01:22:03] [INFO ] Deduced a trap composed of 119 places in 1926 ms of which 17 ms to minimize.
[2024-06-01 01:22:05] [INFO ] Deduced a trap composed of 525 places in 2026 ms of which 17 ms to minimize.
[2024-06-01 01:22:07] [INFO ] Deduced a trap composed of 113 places in 2011 ms of which 18 ms to minimize.
[2024-06-01 01:22:09] [INFO ] Deduced a trap composed of 279 places in 2012 ms of which 17 ms to minimize.
[2024-06-01 01:22:11] [INFO ] Deduced a trap composed of 145 places in 2003 ms of which 18 ms to minimize.
[2024-06-01 01:22:13] [INFO ] Deduced a trap composed of 117 places in 2012 ms of which 17 ms to minimize.
[2024-06-01 01:22:15] [INFO ] Deduced a trap composed of 113 places in 1999 ms of which 17 ms to minimize.
[2024-06-01 01:22:17] [INFO ] Deduced a trap composed of 535 places in 2014 ms of which 17 ms to minimize.
[2024-06-01 01:22:20] [INFO ] Deduced a trap composed of 167 places in 2015 ms of which 17 ms to minimize.
[2024-06-01 01:22:22] [INFO ] Deduced a trap composed of 223 places in 1998 ms of which 16 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2688 variables, 10/13 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2688 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 38/2726 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-06-01 01:22:24] [INFO ] Deduced a trap composed of 5 places in 1978 ms of which 18 ms to minimize.
[2024-06-01 01:22:26] [INFO ] Deduced a trap composed of 39 places in 1970 ms of which 19 ms to minimize.
[2024-06-01 01:22:28] [INFO ] Deduced a trap composed of 39 places in 1987 ms of which 17 ms to minimize.
[2024-06-01 01:22:30] [INFO ] Deduced a trap composed of 89 places in 2089 ms of which 16 ms to minimize.
[2024-06-01 01:22:32] [INFO ] Deduced a trap composed of 98 places in 2042 ms of which 17 ms to minimize.
[2024-06-01 01:22:34] [INFO ] Deduced a trap composed of 213 places in 2035 ms of which 18 ms to minimize.
[2024-06-01 01:22:36] [INFO ] Deduced a trap composed of 185 places in 2080 ms of which 18 ms to minimize.
[2024-06-01 01:22:38] [INFO ] Deduced a trap composed of 70 places in 2025 ms of which 17 ms to minimize.
[2024-06-01 01:22:40] [INFO ] Deduced a trap composed of 98 places in 1952 ms of which 18 ms to minimize.
[2024-06-01 01:22:42] [INFO ] Deduced a trap composed of 123 places in 1973 ms of which 18 ms to minimize.
[2024-06-01 01:22:44] [INFO ] Deduced a trap composed of 123 places in 2123 ms of which 17 ms to minimize.
[2024-06-01 01:22:47] [INFO ] Deduced a trap composed of 236 places in 2032 ms of which 16 ms to minimize.
SMT process timed out in 51389ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 476 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 477 ms. Remains : 2782/2782 places, 9735/9735 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 466 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
[2024-06-01 01:22:48] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:22:48] [INFO ] Invariant cache hit.
[2024-06-01 01:22:52] [INFO ] Implicit Places using invariants in 4906 ms returned []
[2024-06-01 01:22:52] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:22:52] [INFO ] Invariant cache hit.
[2024-06-01 01:22:55] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:23:26] [INFO ] Performed 469/2782 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-06-01 01:23:56] [INFO ] Performed 918/2782 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2024-06-01 01:24:27] [INFO ] Performed 1168/2782 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2024-06-01 01:24:57] [INFO ] Performed 1316/2782 implicitness test of which 0 returned IMPLICIT in 120 seconds.
[2024-06-01 01:24:57] [INFO ] Timeout of Implicit test with SMT after 120 seconds.
[2024-06-01 01:24:57] [INFO ] Implicit Places using invariants and state equation in 124431 ms returned []
Implicit Place search using SMT with State Equation took 129345 ms to find 0 implicit places.
[2024-06-01 01:24:58] [INFO ] Redundant transitions in 887 ms returned []
Running 9641 sub problems to find dead transitions.
[2024-06-01 01:24:58] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:24:58] [INFO ] Invariant cache hit.
[2024-06-01 01:24:58] [INFO ] State equation strengthened by 5589 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2779 variables, 44/44 constraints. Problems are: Problem set: 0 solved, 9641 unsolved
SMT process timed out in 86646ms, After SMT, problems are : Problem set: 0 solved, 9641 unsolved
Search for dead transitions found 0 dead transitions in 86735ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 217486 ms. Remains : 2782/2782 places, 9735/9735 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[0] Max Struct:[1]
Starting property specific reduction for MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-08
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-06-01 01:26:25] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:26:25] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 10000 steps (283 resets) in 311 ms. (32 steps per ms)
BEST_FIRST walk for 10001 steps (23 resets) in 37 ms. (263 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-06-01 01:26:25] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:26:25] [INFO ] Invariant cache hit.
[2024-06-01 01:26:25] [INFO ] [Real]Absence check using 47 positive place invariants in 52 ms returned sat
[2024-06-01 01:26:25] [INFO ] [Real]Absence check using 47 positive and 14 generalized place invariants in 5 ms returned sat
[2024-06-01 01:26:28] [INFO ] [Real]Absence check using state equation in 2535 ms returned sat
[2024-06-01 01:26:28] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:26:29] [INFO ] [Real]Added 5589 Read/Feed constraints in 513 ms returned sat
[2024-06-01 01:26:29] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:26:29] [INFO ] [Nat]Absence check using 47 positive place invariants in 49 ms returned sat
[2024-06-01 01:26:29] [INFO ] [Nat]Absence check using 47 positive and 14 generalized place invariants in 10 ms returned sat
[2024-06-01 01:26:32] [INFO ] [Nat]Absence check using state equation in 2582 ms returned sat
[2024-06-01 01:26:32] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:26:33] [INFO ] [Nat]Added 5589 Read/Feed constraints in 1278 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 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 465 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 466 ms. Remains : 2782/2782 places, 9735/9735 transitions.
[2024-06-01 01:26:33] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:26:33] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[0] Max Struct:[1]
RANDOM walk for 964327 steps (27354 resets) in 30001 ms. (32 steps per ms)
BEST_FIRST walk for 1000001 steps (2380 resets) in 3597 ms. (277 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[0] Max Struct:[1]
[2024-06-01 01:27:07] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:27:07] [INFO ] Invariant cache hit.
[2024-06-01 01:27:07] [INFO ] [Real]Absence check using 47 positive place invariants in 52 ms returned sat
[2024-06-01 01:27:07] [INFO ] [Real]Absence check using 47 positive and 14 generalized place invariants in 5 ms returned sat
[2024-06-01 01:27:11] [INFO ] [Real]Absence check using state equation in 3414 ms returned sat
[2024-06-01 01:27:11] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 01:27:11] [INFO ] [Nat]Absence check using 47 positive place invariants in 52 ms returned sat
[2024-06-01 01:27:11] [INFO ] [Nat]Absence check using 47 positive and 14 generalized place invariants in 5 ms returned sat
[2024-06-01 01:27:15] [INFO ] [Nat]Absence check using state equation in 3373 ms returned sat
[2024-06-01 01:27:15] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:27:19] [INFO ] SMT solver returned unknown. Retrying;
[2024-06-01 01:27:23] [INFO ] [Nat]Added 5589 Read/Feed constraints in 8641 ms returned sat
[2024-06-01 01:27:25] [INFO ] Deduced a trap composed of 319 places in 2059 ms of which 18 ms to minimize.
[2024-06-01 01:27:28] [INFO ] Deduced a trap composed of 89 places in 2141 ms of which 18 ms to minimize.
[2024-06-01 01:27:28] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 4811 ms
[2024-06-01 01:27:29] [INFO ] Computed and/alt/rep : 4524/6553/4524 causal constraints (skipped 4231 transitions) in 533 ms.
[2024-06-01 01:27:30] [INFO ] Added : 17 causal constraints over 4 iterations in 2276 ms. Result :sat
Minimization took 10472 ms.
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 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 472 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 474 ms. Remains : 2782/2782 places, 9735/9735 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 453 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
[2024-06-01 01:27:42] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:27:42] [INFO ] Invariant cache hit.
[2024-06-01 01:27:47] [INFO ] Implicit Places using invariants in 5043 ms returned []
[2024-06-01 01:27:47] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:27:47] [INFO ] Invariant cache hit.
[2024-06-01 01:27:50] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:28:21] [INFO ] Performed 369/2782 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-06-01 01:28:53] [INFO ] Performed 861/2782 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2024-06-01 01:29:23] [INFO ] Performed 1158/2782 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2024-06-01 01:29:54] [INFO ] Performed 1301/2782 implicitness test of which 0 returned IMPLICIT in 123 seconds.
[2024-06-01 01:29:54] [INFO ] Timeout of Implicit test with SMT after 123 seconds.
[2024-06-01 01:29:54] [INFO ] Implicit Places using invariants and state equation in 127104 ms returned []
Implicit Place search using SMT with State Equation took 132149 ms to find 0 implicit places.
[2024-06-01 01:29:55] [INFO ] Redundant transitions in 1300 ms returned []
Running 9641 sub problems to find dead transitions.
[2024-06-01 01:29:55] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:29:55] [INFO ] Invariant cache hit.
[2024-06-01 01:29:55] [INFO ] State equation strengthened by 5589 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2779 variables, 44/44 constraints. Problems are: Problem set: 0 solved, 9641 unsolved
SMT process timed out in 86646ms, After SMT, problems are : Problem set: 0 solved, 9641 unsolved
Search for dead transitions found 0 dead transitions in 86730ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 220655 ms. Remains : 2782/2782 places, 9735/9735 transitions.
RANDOM walk for 40000 steps (1132 resets) in 1265 ms. (31 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (94 resets) in 152 ms. (261 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (92 resets) in 148 ms. (268 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 27514 steps, run timeout after 3001 ms. (steps per millisecond=9 ) properties seen :0 out of 2
Probabilistic random walk after 27514 steps, saw 11677 distinct states, run finished after 3001 ms. (steps per millisecond=9 ) properties seen :0
[2024-06-01 01:31:25] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:31:25] [INFO ] Invariant cache hit.
[2024-06-01 01:31:25] [INFO ] State equation strengthened by 5589 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2688 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 38/2726 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/2726 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 44/2770 variables, 44/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2770 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 12/2782 variables, 12/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2782 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 8849/11631 variables, 2782/2843 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/11631 variables, 5589/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 11631/11631 variables, and 8432 constraints, problems are : Problem set: 0 solved, 2 unsolved in 4987 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 14/14 constraints, State Equation: 2782/2782 constraints, ReadFeed: 5589/5589 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-06-01 01:31:33] [INFO ] Deduced a trap composed of 119 places in 1890 ms of which 15 ms to minimize.
[2024-06-01 01:31:35] [INFO ] Deduced a trap composed of 525 places in 2025 ms of which 15 ms to minimize.
[2024-06-01 01:31:37] [INFO ] Deduced a trap composed of 113 places in 2030 ms of which 18 ms to minimize.
SMT process timed out in 11475ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1 out of 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 473 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 474 ms. Remains : 2782/2782 places, 9735/9735 transitions.
RANDOM walk for 40000 steps (1133 resets) in 1445 ms. (27 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (93 resets) in 154 ms. (258 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (95 resets) in 156 ms. (254 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 26900 steps, run timeout after 3001 ms. (steps per millisecond=8 ) properties seen :0 out of 2
Probabilistic random walk after 26900 steps, saw 11429 distinct states, run finished after 3001 ms. (steps per millisecond=8 ) properties seen :0
[2024-06-01 01:31:41] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:31:41] [INFO ] Invariant cache hit.
[2024-06-01 01:31:41] [INFO ] State equation strengthened by 5589 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2688 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 38/2726 variables, 2/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
All remaining problems are real, not stopping.
At refinement iteration 6 (INCLUDED_ONLY) 0/2726 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (OVERLAPS) 44/2770 variables, 44/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2770 variables, 0/49 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 9 (OVERLAPS) 12/2782 variables, 12/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/2782 variables, 0/61 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 11 (OVERLAPS) 8849/11631 variables, 2782/2843 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/11631 variables, 5589/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 14 (OVERLAPS) 0/11631 variables, 0/8432 constraints. Problems are: Problem set: 0 solved, 2 unsolved
No progress, stopping.
After SMT solving in domain Real declared 11631/11631 variables, and 8432 constraints, problems are : Problem set: 0 solved, 2 unsolved in 5527 ms.
Refiners :[Positive P Invariants (semi-flows): 47/47 constraints, Generalized P Invariants (flows): 14/14 constraints, State Equation: 2782/2782 constraints, ReadFeed: 5589/5589 constraints, PredecessorRefiner: 2/2 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (OVERLAPS) 2661/2662 variables, 2/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2662 variables, 0/2 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (OVERLAPS) 26/2688 variables, 1/3 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-06-01 01:31:49] [INFO ] Deduced a trap composed of 119 places in 1984 ms of which 17 ms to minimize.
[2024-06-01 01:31:51] [INFO ] Deduced a trap composed of 525 places in 2036 ms of which 18 ms to minimize.
[2024-06-01 01:31:53] [INFO ] Deduced a trap composed of 113 places in 2037 ms of which 17 ms to minimize.
[2024-06-01 01:31:55] [INFO ] Deduced a trap composed of 279 places in 2031 ms of which 17 ms to minimize.
[2024-06-01 01:31:57] [INFO ] Deduced a trap composed of 145 places in 1982 ms of which 16 ms to minimize.
[2024-06-01 01:31:59] [INFO ] Deduced a trap composed of 117 places in 2029 ms of which 17 ms to minimize.
[2024-06-01 01:32:01] [INFO ] Deduced a trap composed of 113 places in 1935 ms of which 15 ms to minimize.
[2024-06-01 01:32:03] [INFO ] Deduced a trap composed of 535 places in 1986 ms of which 17 ms to minimize.
[2024-06-01 01:32:05] [INFO ] Deduced a trap composed of 167 places in 2069 ms of which 17 ms to minimize.
[2024-06-01 01:32:07] [INFO ] Deduced a trap composed of 223 places in 2008 ms of which 16 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2688 variables, 10/13 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2688 variables, 0/13 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (OVERLAPS) 38/2726 variables, 2/15 constraints. Problems are: Problem set: 0 solved, 2 unsolved
[2024-06-01 01:32:10] [INFO ] Deduced a trap composed of 5 places in 2012 ms of which 18 ms to minimize.
[2024-06-01 01:32:12] [INFO ] Deduced a trap composed of 39 places in 1991 ms of which 18 ms to minimize.
[2024-06-01 01:32:14] [INFO ] Deduced a trap composed of 39 places in 1970 ms of which 17 ms to minimize.
[2024-06-01 01:32:16] [INFO ] Deduced a trap composed of 89 places in 2083 ms of which 18 ms to minimize.
[2024-06-01 01:32:18] [INFO ] Deduced a trap composed of 98 places in 2042 ms of which 18 ms to minimize.
[2024-06-01 01:32:20] [INFO ] Deduced a trap composed of 213 places in 1986 ms of which 18 ms to minimize.
[2024-06-01 01:32:22] [INFO ] Deduced a trap composed of 185 places in 2101 ms of which 18 ms to minimize.
[2024-06-01 01:32:24] [INFO ] Deduced a trap composed of 70 places in 1999 ms of which 17 ms to minimize.
[2024-06-01 01:32:26] [INFO ] Deduced a trap composed of 98 places in 2008 ms of which 18 ms to minimize.
[2024-06-01 01:32:28] [INFO ] Deduced a trap composed of 123 places in 2004 ms of which 17 ms to minimize.
[2024-06-01 01:32:30] [INFO ] Deduced a trap composed of 123 places in 2134 ms of which 17 ms to minimize.
[2024-06-01 01:32:32] [INFO ] Deduced a trap composed of 236 places in 2030 ms of which 18 ms to minimize.
SMT process timed out in 51547ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Fused 2 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1 out of 2782 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 528 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 528 ms. Remains : 2782/2782 places, 9735/9735 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2782/2782 places, 9735/9735 transitions.
Applied a total of 0 rules in 466 ms. Remains 2782 /2782 variables (removed 0) and now considering 9735/9735 (removed 0) transitions.
[2024-06-01 01:32:33] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:32:33] [INFO ] Invariant cache hit.
[2024-06-01 01:32:39] [INFO ] Implicit Places using invariants in 5269 ms returned []
[2024-06-01 01:32:39] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:32:39] [INFO ] Invariant cache hit.
[2024-06-01 01:32:42] [INFO ] State equation strengthened by 5589 read => feed constraints.
[2024-06-01 01:33:13] [INFO ] Performed 346/2782 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2024-06-01 01:33:44] [INFO ] Performed 861/2782 implicitness test of which 0 returned IMPLICIT in 61 seconds.
[2024-06-01 01:34:14] [INFO ] Performed 1152/2782 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2024-06-01 01:34:45] [INFO ] Performed 1301/2782 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2024-06-01 01:34:45] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2024-06-01 01:34:45] [INFO ] Implicit Places using invariants and state equation in 126437 ms returned []
Implicit Place search using SMT with State Equation took 131708 ms to find 0 implicit places.
[2024-06-01 01:34:46] [INFO ] Redundant transitions in 1157 ms returned []
Running 9641 sub problems to find dead transitions.
[2024-06-01 01:34:46] [INFO ] Flow matrix only has 8849 transitions (discarded 886 similar events)
[2024-06-01 01:34:46] [INFO ] Invariant cache hit.
[2024-06-01 01:34:47] [INFO ] State equation strengthened by 5589 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2779 variables, 44/44 constraints. Problems are: Problem set: 0 solved, 9641 unsolved
SMT process timed out in 86538ms, After SMT, problems are : Problem set: 0 solved, 9641 unsolved
Search for dead transitions found 0 dead transitions in 86619ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 220003 ms. Remains : 2782/2782 places, 9735/9735 transitions.
Current structural bounds on expressions (After reachability solving 0 queries.) : Max Seen:[0] Max Struct:[1]
Ending property specific reduction for MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-08 in 588452 ms.
[2024-06-01 01:36:14] [INFO ] Flatten gal took : 537 ms
[2024-06-01 01:36:14] [INFO ] Export to MCC of 1 properties in file /home/mcc/execution/UpperBounds.sr.xml took 8 ms.
[2024-06-01 01:36:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2782 places, 9735 transitions and 47720 arcs took 41 ms.
Total runtime 1590887 ms.
There are residual formulas that ITS could not solve within timeout
Usage: pnml2lts-sym [-gvqh] [--order=
[--mu-opt] [--saturation=
[--sat-granularity=
[--guidance=
[--action=
[--trace=
[--mu=
[--ctl=
[--save-levels=STRING] [--pg-solve] [--attr=
[--saturating-attractor] [--write-strategy=
[--check-strategy] [--interactive-play] [--player]
[--pg-write=
[--edge-label=
[--mucalc=
[--allow-undefined-edges] [--allow-undefined-values]
[-p|--por=
[--weak=[valmari] (default: uses stronger left-commutativity)]
[--leap] [-r|--regroup=<(T,)+>] [--sloan-w1=
[--cw-max-cols=
[--mh-timeout=
[--graph-metrics] [--regroup-exit] [--regroup-time]
[-g|--pins-guards] [--vset=
[--ldd32-cache=
[--cache-ratio=
[--min-free-nodes=
[--fdd-reorder=
[--vset-cache-diff=
[--next-union] [--peak-nodes] [--maxsum=
[--block-size=
[--debug=
[--timeout=INT] [--version] [-h|--help] [--usage]
[OPTIONS]
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-08
BK_STOP 1717205774544
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -timeout 360 -rebuildPNML
mcc2024
ub formula name MultiCrashLeafsetExtension-PT-S24C06-UpperBounds-08
ub formula formula --maxsum=/tmp/965/ub_0_
pnml2lts-sym, ** error **: unknown vector set implementation lddmc
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-S24C06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool ltsminxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C06, 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 r508-tall-171654350900093"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C06.tgz
mv MultiCrashLeafsetExtension-PT-S24C06 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 ;