About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S24C12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2406.899 | 407093.00 | 484808.00 | 784.10 | FT?FFT??FT?T?TFF | 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-171654351000142.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-S24C12, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r508-tall-171654351000142
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K 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 30K May 19 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K 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 20M 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 booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717214917337
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C12
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 04:08:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-06-01 04:08:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 04:08:39] [INFO ] Load time of PNML (sax parser for PT used): 808 ms
[2024-06-01 04:08:39] [INFO ] Transformed 20612 places.
[2024-06-01 04:08:39] [INFO ] Transformed 29875 transitions.
[2024-06-01 04:08:39] [INFO ] Parsed PT model containing 20612 places and 29875 transitions and 109334 arcs in 1039 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 27 ms.
Working with output stream class java.io.PrintStream
RANDOM walk for 40000 steps (324 resets) in 3207 ms. (12 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 16/16 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 15/16 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 49 ms. (80 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 44 ms. (88 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 48 ms. (81 steps per ms) remains 15/15 properties
BEST_FIRST walk for 4004 steps (8 resets) in 42 ms. (93 steps per ms) remains 15/15 properties
Interrupted probabilistic random walk after 8389 steps, run timeout after 3001 ms. (steps per millisecond=2 ) properties seen :0 out of 15
Probabilistic random walk after 8389 steps, saw 4179 distinct states, run finished after 3006 ms. (steps per millisecond=2 ) properties seen :0
[2024-06-01 04:08:44] [INFO ] Flow matrix only has 29275 transitions (discarded 600 similar events)
// Phase 1: matrix 29275 rows 20612 cols
[2024-06-01 04:08:47] [INFO ] Computed 1353 invariants in 2847 ms
[2024-06-01 04:08:47] [INFO ] State equation strengthened by 9202 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/241 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 15 unsolved
At refinement iteration 1 (OVERLAPS) 2373/2614 variables, 18/18 constraints. Problems are: Problem set: 0 solved, 15 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2614 variables, 0/18 constraints. Problems are: Problem set: 0 solved, 15 unsolved
At refinement iteration 3 (OVERLAPS) 63/2677 variables, 60/78 constraints. Problems are: Problem set: 0 solved, 15 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2677 variables, 0/78 constraints. Problems are: Problem set: 0 solved, 15 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-01 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-01 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-03 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-03 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-04 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-04 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-09 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-09 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-13 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-13 TRUE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-14 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-14 FALSE TECHNIQUES SMT_REFINEMENT
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-15 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-15 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 5 (OVERLAPS) 11716/14393 variables, 480/558 constraints. Problems are: Problem set: 7 solved, 8 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 14393/49887 variables, and 558 constraints, problems are : Problem set: 7 solved, 8 unsolved in 5073 ms.
Refiners :[Positive P Invariants (semi-flows): 78/78 constraints, Generalized P Invariants (flows): 480/1275 constraints, State Equation: 0/20612 constraints, ReadFeed: 0/9202 constraints, PredecessorRefiner: 15/15 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 7 solved, 8 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/99 variables, 0/0 constraints. Problems are: Problem set: 7 solved, 8 unsolved
At refinement iteration 1 (OVERLAPS) 2351/2450 variables, 14/14 constraints. Problems are: Problem set: 7 solved, 8 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/2450 variables, 0/14 constraints. Problems are: Problem set: 7 solved, 8 unsolved
Problem MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-00 is UNSAT
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-00 FALSE TECHNIQUES SMT_REFINEMENT
At refinement iteration 3 (OVERLAPS) 11022/13472 variables, 371/385 constraints. Problems are: Problem set: 8 solved, 7 unsolved
[2024-06-01 04:09:31] [INFO ] Deduced a trap composed of 74 places in 35054 ms of which 618 ms to minimize.
SMT process timed out in 47238ms, After SMT, problems are : Problem set: 8 solved, 7 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 97 out of 20612 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 20612/20612 places, 29875/29875 transitions.
Graph (complete) has 64441 edges and 20612 vertex of which 20561 are kept as prefixes of interest. Removing 51 places using SCC suffix rule.66 ms
Discarding 51 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 6794 transitions
Trivial Post-agglo rules discarded 6794 transitions
Performed 6794 trivial Post agglomeration. Transition count delta: 6794
Iterating post reduction 0 with 6794 rules applied. Total rules applied 6795 place count 20561 transition count 23081
Reduce places removed 6794 places and 0 transitions.
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Iterating post reduction 1 with 6865 rules applied. Total rules applied 13660 place count 13767 transition count 23010
Reduce places removed 71 places and 0 transitions.
Iterating post reduction 2 with 71 rules applied. Total rules applied 13731 place count 13696 transition count 23010
Performed 597 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 597 Pre rules applied. Total rules applied 13731 place count 13696 transition count 22413
Deduced a syphon composed of 597 places in 28 ms
Reduce places removed 597 places and 0 transitions.
Iterating global reduction 3 with 1194 rules applied. Total rules applied 14925 place count 13099 transition count 22413
Discarding 6552 places :
Symmetric choice reduction at 3 with 6552 rule applications. Total rules 21477 place count 6547 transition count 15861
Iterating global reduction 3 with 6552 rules applied. Total rules applied 28029 place count 6547 transition count 15861
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 28029 place count 6547 transition count 15860
Deduced a syphon composed of 1 places in 13 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 28031 place count 6546 transition count 15860
Discarding 507 places :
Symmetric choice reduction at 3 with 507 rule applications. Total rules 28538 place count 6039 transition count 12757
Iterating global reduction 3 with 507 rules applied. Total rules applied 29045 place count 6039 transition count 12757
Discarding 244 places :
Symmetric choice reduction at 3 with 244 rule applications. Total rules 29289 place count 5795 transition count 9829
Iterating global reduction 3 with 244 rules applied. Total rules applied 29533 place count 5795 transition count 9829
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 8 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 29583 place count 5770 transition count 9804
Free-agglomeration rule (complex) applied 399 times.
Iterating global reduction 3 with 399 rules applied. Total rules applied 29982 place count 5770 transition count 14146
Reduce places removed 399 places and 0 transitions.
Iterating post reduction 3 with 399 rules applied. Total rules applied 30381 place count 5371 transition count 14146
Partial Free-agglomeration rule applied 572 times.
Drop transitions (Partial Free agglomeration) removed 572 transitions
Iterating global reduction 4 with 572 rules applied. Total rules applied 30953 place count 5371 transition count 14146
Applied a total of 30953 rules in 8033 ms. Remains 5371 /20612 variables (removed 15241) and now considering 14146/29875 (removed 15729) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8047 ms. Remains : 5371/20612 places, 14146/29875 transitions.
RANDOM walk for 40000 steps (531 resets) in 2967 ms. (13 steps per ms) remains 6/7 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
BEST_FIRST walk for 40003 steps (72 resets) in 455 ms. (87 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (72 resets) in 444 ms. (89 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (72 resets) in 412 ms. (96 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (72 resets) in 456 ms. (87 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (72 resets) in 426 ms. (93 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40003 steps (72 resets) in 411 ms. (97 steps per ms) remains 6/6 properties
[2024-06-01 04:09:41] [INFO ] Flow matrix only has 13261 transitions (discarded 885 similar events)
// Phase 1: matrix 13261 rows 5371 cols
[2024-06-01 04:09:41] [INFO ] Computed 1302 invariants in 391 ms
[2024-06-01 04:09:41] [INFO ] State equation strengthened by 8663 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 3662/3732 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3732 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (OVERLAPS) 1423/5155 variables, 1078/1086 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/5155 variables, 0/1086 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 5 (OVERLAPS) 44/5199 variables, 44/1130 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/5199 variables, 0/1130 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 7 (OVERLAPS) 172/5371 variables, 172/1302 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/5371 variables, 0/1302 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 9 (OVERLAPS) 13261/18632 variables, 5371/6673 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/18632 variables, 8663/15336 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18632 variables, 0/15336 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 12 (OVERLAPS) 0/18632 variables, 0/15336 constraints. Problems are: Problem set: 0 solved, 6 unsolved
No progress, stopping.
After SMT solving in domain Real declared 18632/18632 variables, and 15336 constraints, problems are : Problem set: 0 solved, 6 unsolved in 23504 ms.
Refiners :[Positive P Invariants (semi-flows): 52/52 constraints, Generalized P Invariants (flows): 1250/1250 constraints, State Equation: 5371/5371 constraints, ReadFeed: 8663/8663 constraints, PredecessorRefiner: 6/6 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 6 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/70 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 1 (OVERLAPS) 3662/3732 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 6 unsolved
[2024-06-01 04:10:08] [INFO ] Deduced a trap composed of 2548 places in 2991 ms of which 26 ms to minimize.
[2024-06-01 04:10:11] [INFO ] Deduced a trap composed of 2580 places in 2563 ms of which 24 ms to minimize.
[2024-06-01 04:10:14] [INFO ] Deduced a trap composed of 1270 places in 2933 ms of which 18 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/3732 variables, 3/11 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3732 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 6 unsolved
At refinement iteration 4 (OVERLAPS) 1423/5155 variables, 1078/1089 constraints. Problems are: Problem set: 0 solved, 6 unsolved
[2024-06-01 04:10:23] [INFO ] Deduced a trap composed of 5 places in 7483 ms of which 34 ms to minimize.
[2024-06-01 04:10:31] [INFO ] Deduced a trap composed of 671 places in 7374 ms of which 31 ms to minimize.
[2024-06-01 04:10:38] [INFO ] Deduced a trap composed of 630 places in 7405 ms of which 35 ms to minimize.
[2024-06-01 04:10:46] [INFO ] Deduced a trap composed of 581 places in 7743 ms of which 35 ms to minimize.
[2024-06-01 04:10:55] [INFO ] Deduced a trap composed of 620 places in 8430 ms of which 33 ms to minimize.
SMT process timed out in 74142ms, After SMT, problems are : Problem set: 0 solved, 6 unsolved
Fused 6 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 70 out of 5371 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5371/5371 places, 14146/14146 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 5371 transition count 14138
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 5363 transition count 14138
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 16 place count 5363 transition count 14136
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 20 place count 5361 transition count 14136
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 21 place count 5360 transition count 14124
Iterating global reduction 2 with 1 rules applied. Total rules applied 22 place count 5360 transition count 14124
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 26 place count 5360 transition count 14329
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 30 place count 5356 transition count 14329
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 32 place count 5354 transition count 14327
Iterating global reduction 3 with 2 rules applied. Total rules applied 34 place count 5354 transition count 14327
Partial Free-agglomeration rule applied 20 times.
Drop transitions (Partial Free agglomeration) removed 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 54 place count 5354 transition count 14327
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 72 place count 5336 transition count 14309
Iterating global reduction 3 with 18 rules applied. Total rules applied 90 place count 5336 transition count 14309
Applied a total of 90 rules in 3614 ms. Remains 5336 /5371 variables (removed 35) and now considering 14309/14146 (removed -163) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3614 ms. Remains : 5336/5371 places, 14309/14146 transitions.
RANDOM walk for 40000 steps (534 resets) in 3711 ms. (10 steps per ms) remains 6/6 properties
BEST_FIRST walk for 40004 steps (72 resets) in 540 ms. (73 steps per ms) remains 5/6 properties
FORMULA MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-11 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 40004 steps (72 resets) in 549 ms. (72 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (72 resets) in 514 ms. (77 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (72 resets) in 524 ms. (76 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40003 steps (72 resets) in 577 ms. (69 steps per ms) remains 5/5 properties
[2024-06-01 04:11:01] [INFO ] Flow matrix only has 13423 transitions (discarded 886 similar events)
// Phase 1: matrix 13423 rows 5336 cols
[2024-06-01 04:11:01] [INFO ] Computed 1302 invariants in 387 ms
[2024-06-01 04:11:01] [INFO ] State equation strengthened by 8861 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 3729/3783 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3783 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3783 variables, 0/9 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (OVERLAPS) 1377/5160 variables, 1117/1126 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5160 variables, 0/1126 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 44/5204 variables, 44/1170 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5204 variables, 0/1170 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 132/5336 variables, 132/1302 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5336 variables, 0/1302 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 13423/18759 variables, 5336/6638 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18759 variables, 8861/15499 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/18759 variables, 0/15499 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 13 (OVERLAPS) 0/18759 variables, 0/15499 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Real declared 18759/18759 variables, and 15499 constraints, problems are : Problem set: 0 solved, 5 unsolved in 19621 ms.
Refiners :[Positive P Invariants (semi-flows): 52/52 constraints, Generalized P Invariants (flows): 1250/1250 constraints, State Equation: 5336/5336 constraints, ReadFeed: 8861/8861 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 3729/3783 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3783 variables, 1/9 constraints. Problems are: Problem set: 0 solved, 5 unsolved
[2024-06-01 04:11:25] [INFO ] Deduced a trap composed of 1470 places in 3471 ms of which 20 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/3783 variables, 1/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3783 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 1377/5160 variables, 1117/1127 constraints. Problems are: Problem set: 0 solved, 5 unsolved
[2024-06-01 04:11:34] [INFO ] Deduced a trap composed of 743 places in 7324 ms of which 30 ms to minimize.
[2024-06-01 04:11:41] [INFO ] Deduced a trap composed of 39 places in 7372 ms of which 30 ms to minimize.
[2024-06-01 04:11:49] [INFO ] Deduced a trap composed of 778 places in 7442 ms of which 37 ms to minimize.
[2024-06-01 04:11:57] [INFO ] Deduced a trap composed of 621 places in 7897 ms of which 36 ms to minimize.
[2024-06-01 04:12:04] [INFO ] Deduced a trap composed of 701 places in 7774 ms of which 35 ms to minimize.
[2024-06-01 04:12:12] [INFO ] Deduced a trap composed of 763 places in 7763 ms of which 36 ms to minimize.
[2024-06-01 04:12:20] [INFO ] Deduced a trap composed of 714 places in 7740 ms of which 37 ms to minimize.
[2024-06-01 04:12:28] [INFO ] Deduced a trap composed of 807 places in 7706 ms of which 34 ms to minimize.
[2024-06-01 04:12:37] [INFO ] Deduced a trap composed of 758 places in 8866 ms of which 35 ms to minimize.
SMT process timed out in 96374ms, After SMT, problems are : Problem set: 0 solved, 5 unsolved
Fused 5 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 54 out of 5336 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5336/5336 places, 14309/14309 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 5336 transition count 14301
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 5328 transition count 14301
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 16 place count 5328 transition count 14300
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 18 place count 5327 transition count 14300
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 20 place count 5325 transition count 14298
Iterating global reduction 2 with 2 rules applied. Total rules applied 22 place count 5325 transition count 14298
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 24 place count 5325 transition count 14406
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 26 place count 5323 transition count 14406
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 27 place count 5322 transition count 14405
Iterating global reduction 3 with 1 rules applied. Total rules applied 28 place count 5322 transition count 14405
Partial Free-agglomeration rule applied 13 times.
Drop transitions (Partial Free agglomeration) removed 13 transitions
Iterating global reduction 3 with 13 rules applied. Total rules applied 41 place count 5322 transition count 14405
Discarding 12 places :
Symmetric choice reduction at 3 with 12 rule applications. Total rules 53 place count 5310 transition count 14393
Iterating global reduction 3 with 12 rules applied. Total rules applied 65 place count 5310 transition count 14393
Applied a total of 65 rules in 3501 ms. Remains 5310 /5336 variables (removed 26) and now considering 14393/14309 (removed -84) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3502 ms. Remains : 5310/5336 places, 14393/14309 transitions.
RANDOM walk for 40000 steps (536 resets) in 3361 ms. (11 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40003 steps (72 resets) in 656 ms. (60 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40003 steps (72 resets) in 613 ms. (65 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40004 steps (72 resets) in 594 ms. (67 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40001 steps (72 resets) in 623 ms. (64 steps per ms) remains 5/5 properties
BEST_FIRST walk for 40002 steps (72 resets) in 581 ms. (68 steps per ms) remains 5/5 properties
Interrupted probabilistic random walk after 19611 steps, run timeout after 3001 ms. (steps per millisecond=6 ) properties seen :0 out of 5
Probabilistic random walk after 19611 steps, saw 9278 distinct states, run finished after 3001 ms. (steps per millisecond=6 ) properties seen :0
[2024-06-01 04:12:45] [INFO ] Flow matrix only has 13507 transitions (discarded 886 similar events)
// Phase 1: matrix 13507 rows 5310 cols
[2024-06-01 04:12:46] [INFO ] Computed 1302 invariants in 415 ms
[2024-06-01 04:12:46] [INFO ] State equation strengthened by 8971 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 3716/3770 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3770 variables, 2/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3770 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (OVERLAPS) 1366/5136 variables, 1118/1128 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/5136 variables, 0/1128 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 6 (OVERLAPS) 44/5180 variables, 44/1172 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/5180 variables, 0/1172 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 8 (OVERLAPS) 130/5310 variables, 130/1302 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/5310 variables, 0/1302 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 10 (OVERLAPS) 13507/18817 variables, 5310/6612 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/18817 variables, 8971/15583 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/18817 variables, 0/15583 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 13 (OVERLAPS) 0/18817 variables, 0/15583 constraints. Problems are: Problem set: 0 solved, 5 unsolved
No progress, stopping.
After SMT solving in domain Real declared 18817/18817 variables, and 15583 constraints, problems are : Problem set: 0 solved, 5 unsolved in 17823 ms.
Refiners :[Positive P Invariants (semi-flows): 52/52 constraints, Generalized P Invariants (flows): 1250/1250 constraints, State Equation: 5310/5310 constraints, ReadFeed: 8971/8971 constraints, PredecessorRefiner: 5/5 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 5 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/54 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 1 (OVERLAPS) 3716/3770 variables, 8/8 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/3770 variables, 2/10 constraints. Problems are: Problem set: 0 solved, 5 unsolved
[2024-06-01 04:13:08] [INFO ] Deduced a trap composed of 1268 places in 3392 ms of which 20 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/3770 variables, 1/11 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3770 variables, 0/11 constraints. Problems are: Problem set: 0 solved, 5 unsolved
At refinement iteration 5 (OVERLAPS) 1366/5136 variables, 1118/1129 constraints. Problems are: Problem set: 0 solved, 5 unsolved
[2024-06-01 04:13:17] [INFO ] Deduced a trap composed of 5 places in 7258 ms of which 30 ms to minimize.
[2024-06-01 04:13:24] [INFO ] Deduced a trap composed of 479 places in 7383 ms of which 35 ms to minimize.
[2024-06-01 04:13:32] [INFO ] Deduced a trap composed of 662 places in 7616 ms of which 36 ms to minimize.
[2024-06-01 04:13:33] [INFO ] Deduced a trap composed of 39 places in 1110 ms of which 13 ms to minimize.
[2024-06-01 04:13:42] [INFO ] Deduced a trap composed of 610 places in 8532 ms of which 36 ms to minimize.
[2024-06-01 04:13:50] [INFO ] Deduced a trap composed of 736 places in 8297 ms of which 35 ms to minimize.
[2024-06-01 04:13:59] [INFO ] Deduced a trap composed of 680 places in 8467 ms of which 36 ms to minimize.
[2024-06-01 04:14:07] [INFO ] Deduced a trap composed of 525 places in 8675 ms of which 34 ms to minimize.
[2024-06-01 04:14:16] [INFO ] Deduced a trap composed of 548 places in 8466 ms of which 35 ms to minimize.
[2024-06-01 04:14:24] [INFO ] Deduced a trap composed of 698 places in 8366 ms of which 35 ms to minimize.
[2024-06-01 04:14:33] [INFO ] Deduced a trap composed of 572 places in 8718 ms of which 36 ms to minimize.
[2024-06-01 04:14:42] [INFO ] Deduced a trap composed of 685 places in 8508 ms of which 36 ms to minimize.
SMT process timed out in 116250ms, After SMT, problems are : Problem set: 0 solved, 5 unsolved
Fused 5 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 54 out of 5310 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5310/5310 places, 14393/14393 transitions.
Applied a total of 0 rules in 841 ms. Remains 5310 /5310 variables (removed 0) and now considering 14393/14393 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 841 ms. Remains : 5310/5310 places, 14393/14393 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5310/5310 places, 14393/14393 transitions.
Applied a total of 0 rules in 825 ms. Remains 5310 /5310 variables (removed 0) and now considering 14393/14393 (removed 0) transitions.
[2024-06-01 04:14:43] [INFO ] Flow matrix only has 13507 transitions (discarded 886 similar events)
[2024-06-01 04:14:43] [INFO ] Invariant cache hit.
[2024-06-01 04:15:07] [INFO ] Implicit Places using invariants in 23339 ms returned [4, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 26, 32, 40, 50, 62, 76, 92, 110, 130, 152, 175, 197, 198, 199, 200, 201, 202, 203, 205, 206, 207, 208, 209, 231, 249, 265, 279, 291, 301, 309, 315, 319, 321, 348, 354, 356, 357, 358, 359, 360, 361, 362, 363, 365, 366, 367, 368, 370, 374, 380, 388, 398, 412, 426, 442, 460, 480, 501, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 551, 567, 581, 593, 603, 611, 617, 621, 623, 625, 652, 658, 660, 661, 662, 663, 665, 666, 667, 668, 669, 670, 671, 672, 674, 676, 680, 687, 695, 705, 717, 731, 747, 765, 784, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 830, 844, 856, 866, 874, 880, 884, 886, 888, 890, 917, 923, 925, 926, 928, 929, 930, 931, 934, 935, 936, 938, 941, 943, 945, 949, 956, 964, 976, 988, 1002, 1018, 1035, 1051, 1053, 1054, 1055, 1059, 1060, 1061, 1062, 1063, 1064, 1079, 1091, 1101, 1109, 1116, 1120, 1122, 1125, 1127, 1129, 1156, 1162, 1164, 1165, 1166, 1168, 1169, 1170, 1171, 1172, 1174, 1175, 1176, 1178, 1180, 1182, 1184, 1188, 1194, 1205, 1215, 1227, 1241, 1256, 1270, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1280, 1282, 1294, 1304, 1312, 1319, 1324, 1326, 1328, 1330, 1332, 1334, 1362, 1368, 1370, 1371, 1372, 1373, 1374, 1375, 1376, 1377, 1378, 1379, 1380, 1381, 1382, 1384, 1386, 1388, 1390, 1392, 1396, 1402, 1410, 1420, 1432, 1445, 1458, 1459, 1460, 1461, 1462, 1463, 1464, 1466, 1467, 1468, 1469, 1479, 1487, 1493, 1497, 1499, 1503, 1505, 1509, 1511, 1513, 1540, 1546, 1548, 1549, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559, 1560, 1562, 1564, 1567, 1569, 1571, 1573, 1577, 1583, 1591, 1601, 1612, 1622, 1623, 1624, 1625, 1626, 1627, 1628, 1629, 1631, 1632, 1633, 1634, 1642, 1648, 1652, 1654, 1656, 1660, 1662, 1664, 1666, 1668, 1695, 1701, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1711, 1712, 1713, 1714, 1715, 1717, 1719, 1721, 1723, 1725, 1727, 1729, 1733, 1739, 1747, 1756, 1764, 1765, 1766, 1767, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1775, 1776, 1782, 1786, 1788, 1790, 1792, 1794, 1796, 1798, 1800, 1802, 1829, 1835, 1837, 1838, 1839, 1840, 1841, 1843, 1844, 1845, 1846, 1847, 1848, 1849, 1851, 1853, 1855, 1858, 1860, 1862, 1864, 1866, 1870, 1876, 1883, 1889, 1890, 1891, 1892, 1893, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1901, 1905, 1907, 1909, 1911, 1913, 1915, 1917, 1919, 1921, 1923, 1950, 1956, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968, 1969, 1970, 1972, 1974, 1976, 1978, 1980, 1982, 1984, 1986, 1988, 1992, 1997, 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2015, 2017, 2019, 2023, 2025, 2027, 2029, 2031, 2033, 2036, 2063, 2069, 2072, 2074, 2075, 2076, 2077, 2078, 2079, 2080, 2081, 2082, 2083, 2085, 2088, 2090, 2092, 2094, 2096, 2098, 2100, 2102, 2106, 2109, 2112, 2113, 2114, 2115, 2116, 2117, 2118, 2119, 2120, 2121, 2123, 2124, 2126, 2130, 2132, 2134, 2136, 2138, 2140, 2142, 2145, 2172, 2178, 2180, 2181, 2182, 2183, 2184, 2185, 2186, 2187, 2188, 2189, 2190, 2192, 2194, 2196, 2198, 2200, 2202, 2204, 2206, 2208, 2212, 2214, 2216, 2219, 2220, 2221, 2222, 2223, 2224, 2225, 2226, 2227, 2228, 2229, 2230, 2231, 2233, 2235, 2237, 2239, 2241, 2243, 2245, 2249, 2251, 2278, 2280, 2283, 2285, 2286, 2287, 2288, 2289, 2290, 2291, 2292, 2293, 2294, 2295, 2296, 2297, 2299, 2301, 2303, 2305, 2307, 2309, 2311, 2313, 2315, 2317, 2319, 2321, 2322, 2323, 2324, 2325, 2326, 2327, 2329, 2330, 2331, 2332, 2333, 2335, 2337, 2339, 2341, 2343, 2345, 2347, 2349, 2353, 2355, 2382, 2388, 2390, 2391, 2393, 2394, 2395, 2396, 2397, 2398, 2399, 2400, 2402, 2404, 2406, 2408, 2410, 2412, 2414, 2416, 2418, 2424, 2426, 2428, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437, 2438, 2439, 2440, 2441, 2442, 2444, 2446, 2448, 2450, 2452, 2454, 2456, 2458, 2460, 2462, 2489, 2495, 2497, 2498, 2499, 2500, 2501, 2502, 2503, 2504, 2505, 2506, 2507, 2508, 2509, 2511, 2513, 2515, 2517, 2519, 2521, 2523, 2525, 2527, 2529, 2531, 2535, 2536, 2537, 2538, 2539, 2540, 2541, 2542, 2543, 2544, 2545, 2546, 2550, 2552, 2554, 2556, 2558, 2560, 2562, 2564, 2566, 2568, 2595, 2601, 2603, 2604, 2606, 2607, 2608, 2609, 2610, 2611, 2612, 2613, 2615, 2617, 2620, 2623, 2625, 2627, 2629, 2631, 2633, 2635, 2637, 2641, 2646, 2647, 2648, 2649, 2650, 2651, 2652, 2653, 2654, 2655, 2656, 2657, 2658, 2662, 2664, 2666, 2668, 2670, 2672, 2674, 2676, 2678, 2680, 2707, 2713, 2715, 2716, 2717, 2718, 2719, 2720, 2721, 2722, 2723, 2724, 2725, 2726, 2727, 2729, 2731, 2733, 2735, 2737, 2739, 2741, 2743, 2745, 2749, 2755, 2762, 2763, 2764, 2765, 2766, 2767, 2768, 2769, 2770, 2771, 2772, 2773, 2774, 2780, 2784, 2786, 2788, 2790, 2792, 2794, 2796, 2798, 2800, 2827, 2833, 2835, 2836, 2838, 2839, 2841, 2842, 2843, 2844, 2845, 2846, 2847, 2849, 2851, 2854, 2856, 2858, 2860, 2862, 2864, 2868, 2874, 2883, 2892, 2894, 2895, 2896, 2897, 2898, 2899, 2901, 2902, 2903, 2904, 2912, 2918, 2922, 2924, 2927, 2930, 2932, 2934, 2936, 2938, 2965, 2971, 2973, 2974, 2975, 2976, 2977, 2978, 2979, 2980, 2981, 2982, 2983, 2984, 2985, 2987, 2989, 2991, 2993, 2995, 2997, 2999, 3003, 3009, 3017, 3027, 3038, 3039, 3040, 3041, 3042, 3043, 3044, 3047, 3048, 3049, 3050, 3051, 3062, 3070, 3076, 3080, 3082, 3084, 3086, 3088, 3090, 3092, 3119, 3125, 3127, 3128, 3129, 3130, 3131, 3132, 3133, 3134, 3135, 3136, 3137, 3138, 3139, 3141, 3143, 3145, 3147, 3149, 3151, 3155, 3161, 3169, 3179, 3191, 3204, 3205, 3206, 3210, 3211, 3212, 3213, 3214, 3215, 3216, 3229, 3239, 3247, 3253, 3257, 3259, 3263, 3265, 3267, 3269, 3298, 3304, 3306, 3307, 3308, 3309, 3310, 3311, 3312, 3313, 3314, 3315, 3316, 3317, 3318, 3320, 3322, 3324, 3326, 3328, 3332, 3338, 3346, 3356, 3368, 3382, 3397, 3398, 3399, 3400, 3401, 3402, 3403, 3404, 3405, 3406, 3407, 3408, 3409, 3423, 3435, 3445, 3453, 3459, 3463, 3465, 3467, 3469, 3471, 3498, 3504, 3506, 3508, 3509, 3510, 3511, 3512, 3513, 3514, 3515, 3516, 3517, 3518, 3520, 3522, 3524, 3526, 3530, 3536, 3544, 3554, 3567, 3581, 3597, 3614, 3615, 3616, 3617, 3618, 3619, 3620, 3621, 3623, 3624, 3625, 3626, 3643, 3657, 3669, 3679, 3687, 3693, 3697, 3699, 3701, 3703, 3730, 3736, 3738, 3739, 3740, 3741, 3742, 3743, 3744, 3745, 3746, 3747, 3748, 3749, 3750, 3752, 3754, 3756, 3760, 3766, 3774, 3784, 3796, 3810, 3826, 3844, 3863, 3864, 3865, 3866, 3867, 3868, 3869, 3870, 3871, 3872, 3873, 3874, 3875, 3893, 3909, 3923, 3935, 3945, 3953, 3959, 3963, 3965, 3967, 3994, 4000, 4002, 4003, 4004, 4005, 4006, 4007, 4008, 4009, 4010, 4011, 4012, 4013, 4014, 4016, 4018, 4022, 4028, 4036, 4046, 4058, 4072, 4088, 4106, 4126, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4155, 4156, 4157, 4158, 4159, 4179, 4197, 4213, 4227, 4239, 4249, 4257, 4263, 4267, 4269, 4296, 4298, 4301, 4303, 4304, 4305, 4306, 4307, 4308, 4309, 4310, 4311, 4312, 4313, 4314, 4315, 4317, 4321, 4327, 4335, 4345, 4357, 4371, 4387, 4405, 4425, 4447, 4470, 4471, 4472, 4473, 4474, 4475, 4476, 4477, 4478, 4479, 4480, 4481, 4482, 4504, 4524, 4542, 4558, 4572, 4584, 4594, 4602, 4608, 4612, 4639]
[2024-06-01 04:15:07] [INFO ] Actually due to overlaps returned [348, 652, 917, 1156, 1362, 1540, 1695, 1829, 1950, 2063, 2172, 2278, 2382, 4296, 2489, 2595, 2707, 2827, 2965, 3119, 3298, 3498, 3730, 3994, 4639, 4, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 197, 198, 199, 200, 201, 202, 203, 205, 206, 207, 208, 356, 357, 358, 359, 360, 361, 362, 363, 365, 366, 367, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 660, 661, 662, 663, 665, 666, 667, 668, 669, 670, 671, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 925, 926, 928, 929, 930, 931, 934, 935, 936, 1051, 1053, 1054, 1055, 1059, 1060, 1061, 1062, 1063, 1164, 1165, 1166, 1168, 1169, 1170, 1171, 1172, 1174, 1175, 1270, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1280, 1370, 1371, 1372, 1373, 1374, 1375, 1376, 1377, 1378, 1379, 1380, 1381, 1458, 1459, 1460, 1461, 1462, 1463, 1464, 1466, 1467, 1468, 1548, 1549, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559, 1622, 1623, 1624, 1625, 1626, 1627, 1628, 1629, 1631, 1632, 1633, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1711, 1712, 1713, 1714, 1764, 1765, 1766, 1767, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1775, 1837, 1838, 1839, 1840, 1841, 1843, 1844, 1845, 1846, 1847, 1848, 1889, 1890, 1891, 1892, 1893, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1958, 1959, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968, 1969, 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2072, 2074, 2075, 2076, 2077, 2078, 2079, 2080, 2081, 2082, 2112, 2113, 2114, 2115, 2116, 2117, 2118, 2119, 2120, 2121, 2123, 2180, 2181, 2182, 2183, 2184, 2185, 2186, 2187, 2188, 2189, 2190, 2219, 2220, 2221, 2222, 2223, 2224, 2225, 2226, 2227, 2228, 2229, 2230, 2280, 2285, 2286, 2287, 2288, 2289, 2290, 2291, 2292, 2293, 2294, 2295, 2296, 2321, 2322, 2323, 2324, 2325, 2326, 2327, 2329, 2330, 2331, 2332, 2390, 2391, 2393, 2394, 2395, 2396, 2397, 2398, 2399, 2400, 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437, 2438, 2439, 2440, 2441, 2497, 2498, 2499, 2500, 2501, 2502, 2503, 2504, 2505, 2506, 2507, 2508, 2535, 2536, 2537, 2538, 2539, 2540, 2541, 2542, 2543, 2544, 2545, 2603, 2604, 2606, 2607, 2608, 2609, 2610, 2611, 2612, 2613, 2646, 2647, 2648, 2649, 2650, 2651, 2652, 2653, 2654, 2655, 2656, 2657, 2715, 2716, 2717, 2718, 2719, 2720, 2721, 2722, 2723, 2724, 2725, 2726, 2762, 2763, 2764, 2765, 2766, 2767, 2768, 2769, 2770, 2771, 2772, 2773, 2835, 2836, 2838, 2839, 2841, 2842, 2843, 2844, 2845, 2846, 2892, 2894, 2895, 2896, 2897, 2898, 2899, 2901, 2902, 2903, 2973, 2974, 2975, 2976, 2977, 2978, 2979, 2980, 2981, 2982, 2983, 2984, 3038, 3039, 3040, 3041, 3042, 3043, 3044, 3047, 3048, 3049, 3050, 3127, 3128, 3129, 3130, 3131, 3132, 3133, 3134, 3135, 3136, 3137, 3138, 3204, 3205, 3206, 3210, 3211, 3212, 3213, 3214, 3215, 3306, 3307, 3308, 3309, 3310, 3311, 3312, 3313, 3314, 3315, 3316, 3317, 3397, 3398, 3399, 3400, 3401, 3402, 3403, 3404, 3405, 3406, 3407, 3408, 3506, 3508, 3509, 3510, 3511, 3512, 3513, 3514, 3515, 3516, 3517, 3614, 3615, 3616, 3617, 3618, 3619, 3620, 3621, 3623, 3624, 3625, 3738, 3739, 3740, 3741, 3742, 3743, 3744, 3745, 3746, 3747, 3748, 3749, 3863, 3864, 3865, 3866, 3867, 3868, 3869, 3870, 3871, 3872, 3873, 3874, 4002, 4003, 4004, 4005, 4006, 4007, 4008, 4009, 4010, 4011, 4012, 4013, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4155, 4156, 4157, 4158, 4298, 4303, 4304, 4305, 4306, 4307, 4308, 4309, 4310, 4311, 4312, 4313, 4314, 4470, 4471, 4472, 4473, 4474, 4475, 4476, 4477, 4478, 4479, 4480, 4481]
Discarding 587 places :
Implicit Place search using SMT only with invariants took 23376 ms to find 587 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 4723/5310 places, 14393/14393 transitions.
Discarding 536 places :
Symmetric choice reduction at 0 with 536 rule applications. Total rules 536 place count 4187 transition count 13857
Iterating global reduction 0 with 536 rules applied. Total rules applied 1072 place count 4187 transition count 13857
Discarding 535 places :
Symmetric choice reduction at 0 with 535 rule applications. Total rules 1607 place count 3652 transition count 13322
Iterating global reduction 0 with 535 rules applied. Total rules applied 2142 place count 3652 transition count 13322
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 2145 place count 3652 transition count 13319
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 2148 place count 3649 transition count 13319
Applied a total of 2148 rules in 1935 ms. Remains 3649 /4723 variables (removed 1074) and now considering 13319/14393 (removed 1074) transitions.
[2024-06-01 04:15:09] [INFO ] Flow matrix only has 12433 transitions (discarded 886 similar events)
// Phase 1: matrix 12433 rows 3649 cols
[2024-06-01 04:15:09] [INFO ] Computed 715 invariants in 186 ms
[2024-06-01 04:15:22] [INFO ] Implicit Places using invariants in 13005 ms returned [6, 9, 13, 19, 27, 37, 49, 63, 79, 97, 117, 139, 162, 185, 207, 225, 241, 255, 267, 277, 285, 291, 295, 297, 328, 331, 333, 337, 343, 351, 361, 375, 389, 405, 423, 443, 464, 484, 502, 518, 532, 544, 554, 562, 568, 572, 574, 576, 586, 589, 591, 593, 597, 604, 612, 622, 634, 648, 664, 682, 701, 719, 735, 749, 761, 771, 779, 785, 789, 791, 793, 795, 804, 810, 813, 815, 817, 821, 828, 836, 848, 860, 874, 890, 907, 927, 942, 954, 964, 972, 979, 983, 985, 988, 990, 992, 1006, 1010, 1012, 1014, 1016, 1018, 1022, 1028, 1039, 1049, 1061, 1075, 1090, 1107, 1119, 1129, 1137, 1144, 1149, 1151, 1153, 1155, 1157, 1159, 1173, 1175, 1177, 1179, 1181, 1183, 1185, 1189, 1195, 1203, 1213, 1225, 1238, 1252, 1262, 1270, 1276, 1280, 1282, 1286, 1288, 1292, 1294, 1296, 1306, 1309, 1311, 1313, 1316, 1318, 1320, 1322, 1326, 1332, 1340, 1350, 1361, 1372, 1380, 1386, 1390, 1392, 1394, 1398, 1400, 1402, 1404, 1406, 1416, 1418, 1420, 1422, 1424, 1426, 1428, 1430, 1432, 1436, 1442, 1450, 1459, 1467, 1473, 1477, 1479, 1481, 1483, 1485, 1487, 1489, 1491, 1493, 1501, 1504, 1506, 1508, 1510, 1513, 1515, 1517, 1519, 1521, 1525, 1531, 1538, 1544, 1548, 1550, 1552, 1554, 1556, 1558, 1560, 1562, 1564, 1566, 1575, 1577, 1579, 1581, 1583, 1585, 1587, 1589, 1591, 1593, 1595, 1599, 1604, 1610, 1612, 1614, 1616, 1620, 1622, 1624, 1626, 1628, 1630, 1633, 1643, 1647, 1649, 1652, 1654, 1656, 1658, 1660, 1662, 1664, 1666, 1670, 1673, 1677, 1679, 1683, 1685, 1687, 1689, 1691, 1693, 1695, 1698, 1709, 1712, 1714, 1716, 1718, 1720, 1722, 1724, 1726, 1728, 1732, 1734, 1736, 1739, 1741, 1743, 1745, 1747, 1749, 1751, 1753, 1757, 1759, 1766, 1768, 1770, 1772, 1774, 1776, 1778, 1780, 1782, 1784, 1786, 1788, 1790, 1793, 1795, 1797, 1799, 1801, 1803, 1805, 1807, 1809, 1813, 1815, 1823, 1827, 1829, 1831, 1833, 1835, 1837, 1839, 1841, 1843, 1849, 1851, 1853, 1855, 1857, 1859, 1861, 1863, 1865, 1867, 1869, 1871, 1873, 1875, 1885, 1887, 1889, 1891, 1893, 1895, 1897, 1899, 1901, 1903, 1905, 1907, 1909, 1913, 1917, 1919, 1921, 1923, 1925, 1927, 1929, 1931, 1933, 1935, 1944, 1948, 1950, 1953, 1956, 1958, 1960, 1962, 1964, 1966, 1968, 1970, 1974, 1979, 1983, 1985, 1987, 1989, 1991, 1993, 1995, 1997, 1999, 2001, 2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025, 2027, 2029, 2031, 2035, 2041, 2048, 2054, 2058, 2060, 2062, 2064, 2066, 2068, 2070, 2072, 2074, 2082, 2086, 2088, 2090, 2093, 2095, 2097, 2099, 2101, 2103, 2107, 2113, 2122, 2133, 2141, 2147, 2151, 2153, 2156, 2159, 2161, 2163, 2165, 2167, 2179, 2181, 2183, 2185, 2187, 2189, 2191, 2193, 2195, 2199, 2205, 2213, 2223, 2236, 2247, 2255, 2261, 2265, 2267, 2269, 2271, 2273, 2275, 2277, 2286, 2288, 2290, 2292, 2294, 2296, 2298, 2300, 2304, 2310, 2318, 2328, 2340, 2356, 2369, 2379, 2387, 2393, 2397, 2399, 2403, 2405, 2407, 2409, 2422, 2424, 2426, 2428, 2430, 2432, 2434, 2438, 2444, 2452, 2462, 2474, 2488, 2503, 2517, 2529, 2539, 2547, 2553, 2557, 2559, 2561, 2563, 2565, 2573, 2576, 2578, 2580, 2582, 2584, 2588, 2594, 2602, 2612, 2625, 2639, 2655, 2673, 2690, 2704, 2716, 2726, 2734, 2740, 2744, 2746, 2748, 2750, 2760, 2762, 2764, 2766, 2768, 2772, 2778, 2786, 2796, 2808, 2822, 2838, 2856, 2875, 2893, 2909, 2923, 2935, 2945, 2953, 2959, 2963, 2965, 2967, 2975, 2977, 2979, 2981, 2985, 2991, 2999, 3009, 3021, 3035, 3051, 3069, 3089, 3110, 3130, 3148, 3164, 3178, 3190, 3200, 3208, 3214, 3218, 3220, 3226, 3228, 3230, 3234, 3240, 3248, 3258, 3270, 3284, 3300, 3318, 3338, 3360, 3383, 3405, 3425, 3443, 3459, 3473, 3485, 3495, 3503, 3509, 3513]
Discarding 598 places :
Implicit Place search using SMT only with invariants took 13043 ms to find 598 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 3051/5310 places, 13319/14393 transitions.
Applied a total of 0 rules in 700 ms. Remains 3051 /3051 variables (removed 0) and now considering 13319/13319 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 3 iterations and 39880 ms. Remains : 3051/5310 places, 13319/14393 transitions.
[2024-06-01 04:15:22] [INFO ] Export to MCC of 5 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 3 ms.
[2024-06-01 04:15:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3051 places, 13319 transitions and 65886 arcs took 53 ms.
[2024-06-01 04:15:24] [INFO ] Flatten gal took : 765 ms
Total runtime 405665 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-S24C12-ReachabilityCardinality-2023-02
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12
BK_STOP 1717215324430
--------------------
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 ReachabilityCardinality -timeout 360 -rebuildPNML
mcc2024
rfs formula name MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2023-02
rfs formula type AG
rfs formula formula --invariant=/tmp/648/inv_0_
rfs formula name MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-06
rfs formula type AG
rfs formula formula --invariant=/tmp/648/inv_1_
rfs formula name MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-07
rfs formula type AG
rfs formula formula --invariant=/tmp/648/inv_2_
rfs formula name MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-10
rfs formula type AG
rfs formula formula --invariant=/tmp/648/inv_3_
rfs formula name MultiCrashLeafsetExtension-PT-S24C12-ReachabilityCardinality-2024-12
rfs formula type EF
rfs formula formula --invariant=/tmp/648/inv_4_
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-S24C12"
export BK_EXAMINATION="ReachabilityCardinality"
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-S24C12, examination is ReachabilityCardinality"
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-171654351000142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C12.tgz
mv MultiCrashLeafsetExtension-PT-S24C12 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;