About the Execution of LTSMin+red for MultiCrashLeafsetExtension-PT-S16C07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1554.247 | 1800000.00 | 2849947.00 | 2900.20 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r510-tall-171654364400028.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-S16C07, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r510-tall-171654364400028
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-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 75K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Apr 12 06:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Apr 12 06:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 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 5.7M 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
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1717219465964
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C07
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 05:24:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-06-01 05:24:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 05:24:27] [INFO ] Load time of PNML (sax parser for PT used): 409 ms
[2024-06-01 05:24:27] [INFO ] Transformed 6222 places.
[2024-06-01 05:24:27] [INFO ] Transformed 8685 transitions.
[2024-06-01 05:24:27] [INFO ] Parsed PT model containing 6222 places and 8685 transitions and 32582 arcs in 596 ms.
RANDOM walk for 40000 steps (548 resets) in 9531 ms. (4 steps per ms) remains 2168/6222 properties
BEST_FIRST walk for 124 steps (4 resets) in 20 ms. (5 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 17 ms. (6 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 26 ms. (4 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 16 ms. (7 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 21 ms. (5 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 12 ms. (9 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 10 ms. (11 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2168/2168 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2168/2168 properties
[2024-06-01 05:24:31] [INFO ] Flow matrix only has 8413 transitions (discarded 272 similar events)
// Phase 1: matrix 8413 rows 6222 cols
[2024-06-01 05:24:31] [INFO ] Computed 611 invariants in 630 ms
[2024-06-01 05:24:31] [INFO ] State equation strengthened by 2450 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2168 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2168 unsolved
SMT process timed out in 7706ms, After SMT, problems are : Problem set: 0 solved, 2168 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2168 out of 6222 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6222/6222 places, 8685/8685 transitions.
Graph (complete) has 19247 edges and 6222 vertex of which 6189 are kept as prefixes of interest. Removing 33 places using SCC suffix rule.23 ms
Discarding 33 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 1200 transitions
Trivial Post-agglo rules discarded 1200 transitions
Performed 1200 trivial Post agglomeration. Transition count delta: 1200
Iterating post reduction 0 with 1200 rules applied. Total rules applied 1201 place count 6189 transition count 7485
Reduce places removed 1200 places and 0 transitions.
Iterating post reduction 1 with 1200 rules applied. Total rules applied 2401 place count 4989 transition count 7485
Performed 189 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 189 Pre rules applied. Total rules applied 2401 place count 4989 transition count 7296
Deduced a syphon composed of 189 places in 11 ms
Reduce places removed 189 places and 0 transitions.
Iterating global reduction 2 with 378 rules applied. Total rules applied 2779 place count 4800 transition count 7296
Discarding 1011 places :
Symmetric choice reduction at 2 with 1011 rule applications. Total rules 3790 place count 3789 transition count 6285
Iterating global reduction 2 with 1011 rules applied. Total rules applied 4801 place count 3789 transition count 6285
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 3 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 4811 place count 3784 transition count 6280
Free-agglomeration rule (complex) applied 313 times.
Iterating global reduction 2 with 313 rules applied. Total rules applied 5124 place count 3784 transition count 5967
Reduce places removed 313 places and 0 transitions.
Iterating post reduction 2 with 313 rules applied. Total rules applied 5437 place count 3471 transition count 5967
Partial Free-agglomeration rule applied 189 times.
Drop transitions (Partial Free agglomeration) removed 189 transitions
Iterating global reduction 3 with 189 rules applied. Total rules applied 5626 place count 3471 transition count 5967
Applied a total of 5626 rules in 1412 ms. Remains 3471 /6222 variables (removed 2751) and now considering 5967/8685 (removed 2718) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1423 ms. Remains : 3471/6222 places, 5967/8685 transitions.
RANDOM walk for 1466798 steps (32837 resets) in 120004 ms. (12 steps per ms) remains 983/2168 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 68 ms. (58 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 80 ms. (49 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 76 ms. (51 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 68 ms. (58 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 90 ms. (44 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 50 ms. (78 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 51 ms. (76 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4003 steps (16 resets) in 51 ms. (76 steps per ms) remains 983/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 983/983 properties
[2024-06-01 05:25:11] [INFO ] Flow matrix only has 5654 transitions (discarded 313 similar events)
// Phase 1: matrix 5654 rows 3471 cols
[2024-06-01 05:25:11] [INFO ] Computed 578 invariants in 160 ms
[2024-06-01 05:25:11] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/983 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 983 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 983/9125 variables, and 14 constraints, problems are : Problem set: 0 solved, 983 unsolved in 45029 ms.
Refiners :[Positive P Invariants (semi-flows): 0/35 constraints, Generalized P Invariants (flows): 14/543 constraints, State Equation: 0/3471 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 983/983 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 983 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/983 variables, 14/14 constraints. Problems are: Problem set: 0 solved, 983 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/983 variables, 0/14 constraints. Problems are: Problem set: 0 solved, 983 unsolved
At refinement iteration 2 (OVERLAPS) 1328/2311 variables, 5/19 constraints. Problems are: Problem set: 0 solved, 983 unsolved
[2024-06-01 05:26:13] [INFO ] Deduced a trap composed of 1333 places in 1411 ms of which 181 ms to minimize.
[2024-06-01 05:26:14] [INFO ] Deduced a trap composed of 1419 places in 1202 ms of which 19 ms to minimize.
[2024-06-01 05:26:15] [INFO ] Deduced a trap composed of 1396 places in 1197 ms of which 11 ms to minimize.
[2024-06-01 05:26:17] [INFO ] Deduced a trap composed of 1343 places in 1159 ms of which 10 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2311/9125 variables, and 23 constraints, problems are : Problem set: 0 solved, 983 unsolved in 45070 ms.
Refiners :[Positive P Invariants (semi-flows): 5/35 constraints, Generalized P Invariants (flows): 14/543 constraints, State Equation: 0/3471 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 0/983 constraints, Known Traps: 4/4 constraints]
After SMT, in 90841ms problems are : Problem set: 0 solved, 983 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 983 out of 3471 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3471/3471 places, 5967/5967 transitions.
Graph (complete) has 22608 edges and 3471 vertex of which 3470 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.4 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 471 transitions
Trivial Post-agglo rules discarded 471 transitions
Performed 471 trivial Post agglomeration. Transition count delta: 471
Iterating post reduction 0 with 471 rules applied. Total rules applied 472 place count 3470 transition count 5496
Reduce places removed 471 places and 0 transitions.
Iterating post reduction 1 with 471 rules applied. Total rules applied 943 place count 2999 transition count 5496
Performed 35 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 35 Pre rules applied. Total rules applied 943 place count 2999 transition count 5461
Deduced a syphon composed of 35 places in 3 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 2 with 70 rules applied. Total rules applied 1013 place count 2964 transition count 5461
Discarding 336 places :
Symmetric choice reduction at 2 with 336 rule applications. Total rules 1349 place count 2628 transition count 5125
Iterating global reduction 2 with 336 rules applied. Total rules applied 1685 place count 2628 transition count 5125
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 1691 place count 2625 transition count 5122
Free-agglomeration rule (complex) applied 36 times.
Iterating global reduction 2 with 36 rules applied. Total rules applied 1727 place count 2625 transition count 5086
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 2 with 36 rules applied. Total rules applied 1763 place count 2589 transition count 5086
Discarding 81 places :
Symmetric choice reduction at 3 with 81 rule applications. Total rules 1844 place count 2508 transition count 5005
Iterating global reduction 3 with 81 rules applied. Total rules applied 1925 place count 2508 transition count 5005
Partial Free-agglomeration rule applied 54 times.
Drop transitions (Partial Free agglomeration) removed 54 transitions
Iterating global reduction 3 with 54 rules applied. Total rules applied 1979 place count 2508 transition count 5005
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 1998 place count 2489 transition count 4986
Iterating global reduction 3 with 19 rules applied. Total rules applied 2017 place count 2489 transition count 4986
Applied a total of 2017 rules in 638 ms. Remains 2489 /3471 variables (removed 982) and now considering 4986/5967 (removed 981) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 638 ms. Remains : 2489/3471 places, 4986/5967 transitions.
RANDOM walk for 2032001 steps (46557 resets) in 120006 ms. (16 steps per ms) remains 822/983 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4002 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4002 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4002 steps (16 resets) in 47 ms. (83 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 822/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/822 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4002 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 58 ms. (67 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4002 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 50 ms. (78 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4002 steps (16 resets) in 47 ms. (83 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 821/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 821/821 properties
[2024-06-01 05:27:13] [INFO ] Flow matrix only has 4647 transitions (discarded 339 similar events)
// Phase 1: matrix 4647 rows 2489 cols
[2024-06-01 05:27:13] [INFO ] Computed 577 invariants in 75 ms
[2024-06-01 05:27:13] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/821 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 821 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/821 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 821 unsolved
At refinement iteration 2 (OVERLAPS) 888/1709 variables, 5/10 constraints. Problems are: Problem set: 0 solved, 821 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1709 variables, 0/10 constraints. Problems are: Problem set: 0 solved, 821 unsolved
At refinement iteration 4 (OVERLAPS) 659/2368 variables, 446/456 constraints. Problems are: Problem set: 0 solved, 821 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2368/7136 variables, and 456 constraints, problems are : Problem set: 0 solved, 821 unsolved in 75020 ms.
Refiners :[Positive P Invariants (semi-flows): 5/33 constraints, Generalized P Invariants (flows): 451/544 constraints, State Equation: 0/2489 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 821/821 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 821 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/821 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 821 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/821 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 821 unsolved
At refinement iteration 2 (OVERLAPS) 888/1709 variables, 5/10 constraints. Problems are: Problem set: 0 solved, 821 unsolved
[2024-06-01 05:28:40] [INFO ] Deduced a trap composed of 796 places in 714 ms of which 8 ms to minimize.
[2024-06-01 05:28:40] [INFO ] Deduced a trap composed of 813 places in 722 ms of which 8 ms to minimize.
[2024-06-01 05:28:41] [INFO ] Deduced a trap composed of 826 places in 725 ms of which 7 ms to minimize.
[2024-06-01 05:28:47] [INFO ] Deduced a trap composed of 819 places in 909 ms of which 9 ms to minimize.
[2024-06-01 05:28:48] [INFO ] Deduced a trap composed of 880 places in 775 ms of which 8 ms to minimize.
[2024-06-01 05:28:51] [INFO ] Deduced a trap composed of 830 places in 780 ms of which 9 ms to minimize.
[2024-06-01 05:28:57] [INFO ] Deduced a trap composed of 897 places in 858 ms of which 7 ms to minimize.
[2024-06-01 05:28:59] [INFO ] Deduced a trap composed of 914 places in 766 ms of which 8 ms to minimize.
[2024-06-01 05:29:00] [INFO ] Deduced a trap composed of 855 places in 814 ms of which 7 ms to minimize.
[2024-06-01 05:29:00] [INFO ] Deduced a trap composed of 870 places in 796 ms of which 8 ms to minimize.
[2024-06-01 05:29:01] [INFO ] Deduced a trap composed of 893 places in 804 ms of which 8 ms to minimize.
[2024-06-01 05:29:02] [INFO ] Deduced a trap composed of 838 places in 769 ms of which 7 ms to minimize.
[2024-06-01 05:29:03] [INFO ] Deduced a trap composed of 871 places in 804 ms of which 8 ms to minimize.
[2024-06-01 05:29:04] [INFO ] Deduced a trap composed of 895 places in 793 ms of which 7 ms to minimize.
[2024-06-01 05:29:05] [INFO ] Deduced a trap composed of 900 places in 786 ms of which 8 ms to minimize.
[2024-06-01 05:29:20] [INFO ] Deduced a trap composed of 880 places in 897 ms of which 7 ms to minimize.
[2024-06-01 05:29:23] [INFO ] Deduced a trap composed of 925 places in 751 ms of which 7 ms to minimize.
[2024-06-01 05:29:26] [INFO ] Deduced a trap composed of 966 places in 905 ms of which 8 ms to minimize.
[2024-06-01 05:29:27] [INFO ] Deduced a trap composed of 895 places in 893 ms of which 8 ms to minimize.
[2024-06-01 05:29:30] [INFO ] Deduced a trap composed of 989 places in 739 ms of which 8 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1709 variables, 20/30 constraints. Problems are: Problem set: 0 solved, 821 unsolved
[2024-06-01 05:29:31] [INFO ] Deduced a trap composed of 864 places in 884 ms of which 7 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1709/7136 variables, and 31 constraints, problems are : Problem set: 0 solved, 821 unsolved in 75018 ms.
Refiners :[Positive P Invariants (semi-flows): 5/33 constraints, Generalized P Invariants (flows): 5/544 constraints, State Equation: 0/2489 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 0/821 constraints, Known Traps: 21/21 constraints]
After SMT, in 150572ms problems are : Problem set: 0 solved, 821 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 821 out of 2489 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2489/2489 places, 4986/4986 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 57 transitions
Trivial Post-agglo rules discarded 57 transitions
Performed 57 trivial Post agglomeration. Transition count delta: 57
Iterating post reduction 0 with 57 rules applied. Total rules applied 57 place count 2489 transition count 4929
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 1 with 57 rules applied. Total rules applied 114 place count 2432 transition count 4929
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 114 place count 2432 transition count 4920
Deduced a syphon composed of 9 places in 2 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 132 place count 2423 transition count 4920
Discarding 27 places :
Symmetric choice reduction at 2 with 27 rule applications. Total rules 159 place count 2396 transition count 4893
Iterating global reduction 2 with 27 rules applied. Total rules applied 186 place count 2396 transition count 4893
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 190 place count 2396 transition count 4889
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 194 place count 2392 transition count 4889
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 199 place count 2387 transition count 4884
Iterating global reduction 3 with 5 rules applied. Total rules applied 204 place count 2387 transition count 4884
Partial Free-agglomeration rule applied 25 times.
Drop transitions (Partial Free agglomeration) removed 25 transitions
Iterating global reduction 3 with 25 rules applied. Total rules applied 229 place count 2387 transition count 4884
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 245 place count 2371 transition count 4868
Iterating global reduction 3 with 16 rules applied. Total rules applied 261 place count 2371 transition count 4868
Applied a total of 261 rules in 507 ms. Remains 2371 /2489 variables (removed 118) and now considering 4868/4986 (removed 118) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 508 ms. Remains : 2371/2489 places, 4868/4986 transitions.
RANDOM walk for 2222436 steps (50923 resets) in 120004 ms. (18 steps per ms) remains 720/821 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 61 ms. (64 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 103 ms. (38 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 86 ms. (46 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 73 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 86 ms. (46 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 60 ms. (65 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 49 ms. (80 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4001 steps (16 resets) in 79 ms. (50 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 58 ms. (67 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4003 steps (16 resets) in 66 ms. (59 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 720/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 64 ms. (61 steps per ms) remains 718/720 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4002 steps (16 resets) in 70 ms. (56 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 102 ms. (38 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 90 ms. (44 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4002 steps (16 resets) in 80 ms. (49 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 88 ms. (44 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 67 ms. (58 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 94 ms. (42 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 59 ms. (66 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4002 steps (16 resets) in 82 ms. (48 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 85 ms. (46 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 57 ms. (69 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 80 ms. (49 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 81 ms. (48 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 79 ms. (50 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4002 steps (16 resets) in 47 ms. (83 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 90 ms. (44 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 718/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 70 ms. (56 steps per ms) remains 718/718 properties
[2024-06-01 05:30:16] [INFO ] Flow matrix only has 4527 transitions (discarded 341 similar events)
// Phase 1: matrix 4527 rows 2371 cols
[2024-06-01 05:30:16] [INFO ] Computed 577 invariants in 68 ms
[2024-06-01 05:30:16] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/718 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/718 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 2 (OVERLAPS) 857/1575 variables, 3/4 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1575 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 4 (OVERLAPS) 677/2252 variables, 454/458 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/2252 variables, 0/458 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 6 (OVERLAPS) 28/2280 variables, 28/486 constraints. Problems are: Problem set: 0 solved, 718 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2280/6898 variables, and 486 constraints, problems are : Problem set: 0 solved, 718 unsolved in 90021 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, Generalized P Invariants (flows): 455/546 constraints, State Equation: 0/2371 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 718/718 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 718 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/718 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/718 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 2 (OVERLAPS) 857/1575 variables, 3/4 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1575 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 718 unsolved
At refinement iteration 4 (OVERLAPS) 677/2252 variables, 454/458 constraints. Problems are: Problem set: 0 solved, 718 unsolved
[2024-06-01 05:32:27] [INFO ] Deduced a trap composed of 6 places in 2003 ms of which 14 ms to minimize.
[2024-06-01 05:32:29] [INFO ] Deduced a trap composed of 28 places in 1928 ms of which 15 ms to minimize.
[2024-06-01 05:32:31] [INFO ] Deduced a trap composed of 350 places in 1919 ms of which 13 ms to minimize.
[2024-06-01 05:32:31] [INFO ] Deduced a trap composed of 34 places in 278 ms of which 4 ms to minimize.
[2024-06-01 05:32:33] [INFO ] Deduced a trap composed of 311 places in 1947 ms of which 14 ms to minimize.
[2024-06-01 05:32:35] [INFO ] Deduced a trap composed of 58 places in 1920 ms of which 13 ms to minimize.
[2024-06-01 05:32:37] [INFO ] Deduced a trap composed of 376 places in 1929 ms of which 14 ms to minimize.
[2024-06-01 05:32:39] [INFO ] Deduced a trap composed of 64 places in 1939 ms of which 13 ms to minimize.
[2024-06-01 05:32:41] [INFO ] Deduced a trap composed of 401 places in 1900 ms of which 14 ms to minimize.
[2024-06-01 05:32:43] [INFO ] Deduced a trap composed of 421 places in 1925 ms of which 13 ms to minimize.
[2024-06-01 05:32:45] [INFO ] Deduced a trap composed of 319 places in 1856 ms of which 14 ms to minimize.
[2024-06-01 05:32:47] [INFO ] Deduced a trap composed of 394 places in 1924 ms of which 13 ms to minimize.
[2024-06-01 05:32:49] [INFO ] Deduced a trap composed of 360 places in 1918 ms of which 13 ms to minimize.
[2024-06-01 05:32:49] [INFO ] Deduced a trap composed of 96 places in 273 ms of which 4 ms to minimize.
[2024-06-01 05:32:51] [INFO ] Deduced a trap composed of 390 places in 1923 ms of which 16 ms to minimize.
[2024-06-01 05:32:53] [INFO ] Deduced a trap composed of 373 places in 1895 ms of which 14 ms to minimize.
[2024-06-01 05:32:55] [INFO ] Deduced a trap composed of 327 places in 1903 ms of which 13 ms to minimize.
[2024-06-01 05:32:57] [INFO ] Deduced a trap composed of 383 places in 1813 ms of which 12 ms to minimize.
[2024-06-01 05:32:57] [INFO ] Deduced a trap composed of 64 places in 273 ms of which 4 ms to minimize.
[2024-06-01 05:32:59] [INFO ] Deduced a trap composed of 357 places in 1977 ms of which 14 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/2252 variables, 20/478 constraints. Problems are: Problem set: 0 solved, 718 unsolved
[2024-06-01 05:33:00] [INFO ] Deduced a trap composed of 96 places in 263 ms of which 4 ms to minimize.
[2024-06-01 05:33:01] [INFO ] Deduced a trap composed of 144 places in 265 ms of which 4 ms to minimize.
[2024-06-01 05:33:03] [INFO ] Deduced a trap composed of 414 places in 1947 ms of which 13 ms to minimize.
[2024-06-01 05:33:05] [INFO ] Deduced a trap composed of 138 places in 1920 ms of which 13 ms to minimize.
[2024-06-01 05:33:05] [INFO ] Deduced a trap composed of 184 places in 269 ms of which 4 ms to minimize.
[2024-06-01 05:33:05] [INFO ] Deduced a trap composed of 154 places in 263 ms of which 4 ms to minimize.
[2024-06-01 05:33:05] [INFO ] Deduced a trap composed of 201 places in 266 ms of which 4 ms to minimize.
[2024-06-01 05:33:06] [INFO ] Deduced a trap composed of 116 places in 251 ms of which 4 ms to minimize.
[2024-06-01 05:33:08] [INFO ] Deduced a trap composed of 495 places in 1968 ms of which 15 ms to minimize.
[2024-06-01 05:33:10] [INFO ] Deduced a trap composed of 415 places in 2224 ms of which 14 ms to minimize.
[2024-06-01 05:33:12] [INFO ] Deduced a trap composed of 322 places in 2255 ms of which 14 ms to minimize.
[2024-06-01 05:33:13] [INFO ] Deduced a trap composed of 145 places in 265 ms of which 4 ms to minimize.
[2024-06-01 05:33:13] [INFO ] Deduced a trap composed of 169 places in 267 ms of which 4 ms to minimize.
[2024-06-01 05:33:15] [INFO ] Deduced a trap composed of 382 places in 2258 ms of which 15 ms to minimize.
[2024-06-01 05:33:17] [INFO ] Deduced a trap composed of 401 places in 2154 ms of which 13 ms to minimize.
SMT process timed out in 181208ms, After SMT, problems are : Problem set: 0 solved, 718 unsolved
Fused 718 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 718 out of 2371 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2371/2371 places, 4868/4868 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 0 with 39 rules applied. Total rules applied 39 place count 2371 transition count 4829
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 1 with 39 rules applied. Total rules applied 78 place count 2332 transition count 4829
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 78 place count 2332 transition count 4825
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 86 place count 2328 transition count 4825
Discarding 15 places :
Symmetric choice reduction at 2 with 15 rule applications. Total rules 101 place count 2313 transition count 4810
Iterating global reduction 2 with 15 rules applied. Total rules applied 116 place count 2313 transition count 4810
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 120 place count 2313 transition count 4806
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 124 place count 2309 transition count 4806
Partial Free-agglomeration rule applied 24 times.
Drop transitions (Partial Free agglomeration) removed 24 transitions
Iterating global reduction 3 with 24 rules applied. Total rules applied 148 place count 2309 transition count 4806
Discarding 20 places :
Symmetric choice reduction at 3 with 20 rule applications. Total rules 168 place count 2289 transition count 4786
Iterating global reduction 3 with 20 rules applied. Total rules applied 188 place count 2289 transition count 4786
Applied a total of 188 rules in 444 ms. Remains 2289 /2371 variables (removed 82) and now considering 4786/4868 (removed 82) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 445 ms. Remains : 2289/2371 places, 4786/4868 transitions.
RANDOM walk for 2402708 steps (55055 resets) in 120004 ms. (20 steps per ms) remains 666/718 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 61 ms. (64 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 51 ms. (76 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 69 ms. (57 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 55 ms. (71 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 68 ms. (58 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 69 ms. (57 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 73 ms. (54 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 57 ms. (69 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4002 steps (16 resets) in 66 ms. (59 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 84 ms. (47 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 56 ms. (70 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4001 steps (16 resets) in 75 ms. (52 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 65 ms. (60 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 76 ms. (51 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4002 steps (16 resets) in 65 ms. (60 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 59 ms. (66 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 666/666 properties
BEST_FIRST walk for 4004 steps (16 resets) in 43 ms. (91 steps per ms) remains 666/666 properties
Probabilistic random walk after 1000000 steps, saw 435035 distinct states, run finished after 84959 ms. (steps per millisecond=11 ) properties seen :83
[2024-06-01 05:35:14] [INFO ] Flow matrix only has 4441 transitions (discarded 345 similar events)
// Phase 1: matrix 4441 rows 2289 cols
[2024-06-01 05:35:14] [INFO ] Computed 577 invariants in 65 ms
[2024-06-01 05:35:14] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/583 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 1 (OVERLAPS) 953/1536 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1536 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 3 (OVERLAPS) 655/2191 variables, 474/479 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2191 variables, 0/479 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 5 (OVERLAPS) 28/2219 variables, 28/507 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2219 variables, 0/507 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 7 (OVERLAPS) 70/2289 variables, 70/577 constraints. Problems are: Problem set: 0 solved, 583 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 4.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 (/ 1.0 1132.0))
(s6 0.0)
(s7 (/ 1.0 1132.0))
(s8 (/ 1.0 1132.0))
(s9 0.0)
(s10 (/ 1.0 1132.0))
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 (/ 1.0 1132.0))
(s18 (/ 1.0 1132.0))
(s19 (/ 3.0 1132.0))
(s20 0.0)
(s21 (/ 1.0 1132.0))
(s22 (/ 1.0 1132.0))
(s23 (/ 1.0 1132.0))
(s24 0.0)
(s25 (/ 5.0 1132.0))
(s26 0.0)
(s27 (/ 1.0 1132.0))
(s28 (/ 1.0 1132.0))
(s29 (/ 1.0 1132.0))
(s30 (/ 1.0 1132.0))
(s31 (/ 1.0 1132.0))
(s32 (/ 7.0 1132.0))
(s33 0.0)
(s34 (/ 1.0 1132.0))
(s35 (/ 1.0 1132.0))
(s36 (/ 1.0 1132.0))
(s37 (/ 1.0 1132.0))
(s38 (/ 1.0 1132.0))
(s39 (/ 1.0 1132.0))
(s40 (/ 1.0 1132.0))
(s41 (/ 9.0 1132.0))
(s42 0.0)
(s43 (/ 1.0 1132.0))
(s44 (/ 1.0 1132.0))
(s45 (/ 1.0 1132.0))
(s46 (/ 1.0 1132.0))
(s47 (/ 1.0 1132.0))
(s48 (/ 1.0 1132.0))
(s49 (/ 1.0 1132.0))
(s50 (/ 1.0 1132.0))
(s51 (/ 1.0 1132.0))
(s52 (/ 1.0 1132.0))
(s53 (/ 1.0 1132.0))
(s54 (/ 2.0 283.0))
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 (/ 1.0 1132.0))
(s59 (/ 1.0 1132.0))
(s60 (/ 1.0 1132.0))
(s61 (/ 1.0 1132.0))
(s62 (/ 1.0 1132.0))
(s63 (/ 1.0 1132.0))
(s64 (/ 1.0 1132.0))
(s65 (/ 1.0 1132.0))
(s66 (/ 1.0 1132.0))
(s67 (/ 1.0 1132.0))
(s68 (/ 2.0 283.0))
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 (/ 1.0 1132.0))
(s75 (/ 1.0 1132.0))
(s76 (/ 1.0 1132.0))
(s77 (/ 1.0 1132.0))
(s78 (/ 1.0 1132.0))
(s79 (/ 1.0 1132.0))
(s80 (/ 1.0 1132.0))
(s81 (/ 1.0 1132.0))
(s82 (/ 1.0 1132.0))
(s83 (/ 1.0 1132.0))
(s84 (/ 9.0 1132.0))
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 (/ 1.0 1132.0))
(s91 (/ 1.0 1132.0))
(s92 (/ 1.0 1132.0))
(s93 (/ 1.0 1132.0))
(s94 (/ 1.0 1132.0))
(s95 (/ 1.0 1132.0))
(s96 (/ 1.0 1132.0))
(s97 (/ 1.0 1132.0))
(s98 (/ 1.0 1132.0))
(s99 (/ 1.0 1132.0))
(s100 (/ 1.0 1132.0))
(s101 (/ 2.0 283.0))
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 (/ 1.0 1132.0))
(s108 (/ 1.0 1132.0))
(s109 (/ 1.0 1132.0))
(s110 (/ 1.0 1132.0))
(s111 (/ 1.0 1132.0))
(s112 (/ 1.0 1132.0))
(s113 (/ 1.0 1132.0))
(s114 (/ 1.0 1132.0))
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 (/ 2.0 283.0))
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 (/ 1.0 1132.0))
(s127 (/ 1.0 1132.0))
(s128 (/ 1.0 1132.0))
(s129 (/ 1.0 1132.0))
(s130 (/ 1.0 1132.0))
(s131 (/ 1.0 1132.0))
(s132 (/ 1.0 1132.0)timeout
)
( org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2289/6730 variables, and 577 constraints, problems are : Problem set: 0 solved, 583 unsolved in 105026 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 544/544 constraints, State Equation: 0/2289 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 583/583 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 583 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/583 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 583 unsolved
At refinement iteration 1 (OVERLAPS) 953/1536 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 583 unsolved
[2024-06-01 05:37:05] [INFO ] Deduced a trap composed of 707 places in 727 ms of which 7 ms to minimize.
[2024-06-01 05:37:06] [INFO ] Deduced a trap composed of 716 places in 701 ms of which 7 ms to minimize.
[2024-06-01 05:37:07] [INFO ] Deduced a trap composed of 706 places in 728 ms of which 7 ms to minimize.
[2024-06-01 05:37:08] [INFO ] Deduced a trap composed of 724 places in 738 ms of which 7 ms to minimize.
[2024-06-01 05:37:08] [INFO ] Deduced a trap composed of 724 places in 702 ms of which 7 ms to minimize.
[2024-06-01 05:37:09] [INFO ] Deduced a trap composed of 764 places in 761 ms of which 7 ms to minimize.
[2024-06-01 05:37:10] [INFO ] Deduced a trap composed of 796 places in 746 ms of which 8 ms to minimize.
[2024-06-01 05:37:12] [INFO ] Deduced a trap composed of 727 places in 777 ms of which 8 ms to minimize.
[2024-06-01 05:37:12] [INFO ] Deduced a trap composed of 702 places in 746 ms of which 7 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1536 variables, 9/14 constraints. Problems are: Problem set: 0 solved, 583 unsolved
[2024-06-01 05:37:37] [INFO ] Deduced a trap composed of 760 places in 770 ms of which 7 ms to minimize.
[2024-06-01 05:37:42] [INFO ] Deduced a trap composed of 769 places in 768 ms of which 8 ms to minimize.
[2024-06-01 05:37:46] [INFO ] Deduced a trap composed of 733 places in 750 ms of which 7 ms to minimize.
[2024-06-01 05:37:46] [INFO ] Deduced a trap composed of 761 places in 732 ms of which 7 ms to minimize.
[2024-06-01 05:37:47] [INFO ] Deduced a trap composed of 741 places in 761 ms of which 8 ms to minimize.
[2024-06-01 05:37:48] [INFO ] Deduced a trap composed of 813 places in 760 ms of which 7 ms to minimize.
[2024-06-01 05:37:49] [INFO ] Deduced a trap composed of 747 places in 759 ms of which 8 ms to minimize.
[2024-06-01 05:37:53] [INFO ] Deduced a trap composed of 803 places in 760 ms of which 7 ms to minimize.
[2024-06-01 05:37:57] [INFO ] Deduced a trap composed of 879 places in 735 ms of which 7 ms to minimize.
[2024-06-01 05:37:59] [INFO ] Deduced a trap composed of 795 places in 709 ms of which 7 ms to minimize.
[2024-06-01 05:38:05] [INFO ] Deduced a trap composed of 791 places in 722 ms of which 7 ms to minimize.
[2024-06-01 05:38:06] [INFO ] Deduced a trap composed of 891 places in 745 ms of which 7 ms to minimize.
[2024-06-01 05:38:06] [INFO ] Deduced a trap composed of 736 places in 703 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1536 variables, 13/27 constraints. Problems are: Problem set: 0 solved, 583 unsolved
[2024-06-01 05:38:15] [INFO ] Deduced a trap composed of 798 places in 725 ms of which 7 ms to minimize.
[2024-06-01 05:38:16] [INFO ] Deduced a trap composed of 721 places in 716 ms of which 7 ms to minimize.
[2024-06-01 05:38:19] [INFO ] Deduced a trap composed of 680 places in 748 ms of which 7 ms to minimize.
[2024-06-01 05:38:21] [INFO ] Deduced a trap composed of 736 places in 736 ms of which 8 ms to minimize.
[2024-06-01 05:38:23] [INFO ] Deduced a trap composed of 706 places in 757 ms of which 8 ms to minimize.
[2024-06-01 05:38:29] [INFO ] Deduced a trap composed of 1024 places in 773 ms of which 7 ms to minimize.
[2024-06-01 05:38:30] [INFO ] Deduced a trap composed of 873 places in 741 ms of which 7 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1536 variables, 7/34 constraints. Problems are: Problem set: 0 solved, 583 unsolved
[2024-06-01 05:38:44] [INFO ] Deduced a trap composed of 712 places in 739 ms of which 8 ms to minimize.
SMT process timed out in 210482ms, After SMT, problems are : Problem set: 0 solved, 583 unsolved
Fused 583 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 583 out of 2289 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2289/2289 places, 4786/4786 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 0 with 62 rules applied. Total rules applied 62 place count 2289 transition count 4724
Reduce places removed 62 places and 0 transitions.
Iterating post reduction 1 with 62 rules applied. Total rules applied 124 place count 2227 transition count 4724
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 124 place count 2227 transition count 4723
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 126 place count 2226 transition count 4723
Discarding 38 places :
Symmetric choice reduction at 2 with 38 rule applications. Total rules 164 place count 2188 transition count 4685
Iterating global reduction 2 with 38 rules applied. Total rules applied 202 place count 2188 transition count 4685
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 203 place count 2188 transition count 4684
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 204 place count 2187 transition count 4684
Partial Free-agglomeration rule applied 24 times.
Drop transitions (Partial Free agglomeration) removed 24 transitions
Iterating global reduction 3 with 24 rules applied. Total rules applied 228 place count 2187 transition count 4684
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 251 place count 2164 transition count 4661
Iterating global reduction 3 with 23 rules applied. Total rules applied 274 place count 2164 transition count 4661
Applied a total of 274 rules in 444 ms. Remains 2164 /2289 variables (removed 125) and now considering 4661/4786 (removed 125) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 444 ms. Remains : 2164/2289 places, 4661/4786 transitions.
RANDOM walk for 2622667 steps (60090 resets) in 120004 ms. (21 steps per ms) remains 548/583 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 37 ms. (105 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 62 ms. (63 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 65 ms. (60 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 71 ms. (55 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 69 ms. (57 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 76 ms. (51 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 40 ms. (97 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 70 ms. (56 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4002 steps (16 resets) in 72 ms. (54 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 61 ms. (64 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 65 ms. (60 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 80 ms. (49 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 91 ms. (43 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 76 ms. (51 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 54 ms. (72 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 96 ms. (41 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 65 ms. (60 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 548/548 properties
BEST_FIRST walk for 4002 steps (16 resets) in 71 ms. (55 steps per ms) remains 548/548 properties
Probabilistic random walk after 1000001 steps, saw 434830 distinct states, run finished after 83504 ms. (steps per millisecond=11 ) properties seen :0
[2024-06-01 05:40:40] [INFO ] Flow matrix only has 4315 transitions (discarded 346 similar events)
// Phase 1: matrix 4315 rows 2164 cols
[2024-06-01 05:40:40] [INFO ] Computed 577 invariants in 52 ms
[2024-06-01 05:40:40] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/548 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 1 (OVERLAPS) 822/1370 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1370 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 3 (OVERLAPS) 668/2038 variables, 448/451 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2038 variables, 0/451 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 5 (OVERLAPS) 28/2066 variables, 28/479 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2066 variables, 0/479 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 7 (OVERLAPS) 98/2164 variables, 98/577 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2164 variables, 0/577 constraints. Problems are: Problem set: 0 solved, 548 unsolved
At refinement iteration 9 (OVERLAPS) 4315/6479 variables, 2164/2741 constraints. Problems are: Problem set: 0 solved, 548 unsolved
SMT process timed out in 120365ms, After SMT, problems are : Problem set: 0 solved, 548 unsolved
Fused 548 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 548 out of 2164 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2164/2164 places, 4661/4661 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 0 with 13 rules applied. Total rules applied 13 place count 2164 transition count 4648
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 1 with 13 rules applied. Total rules applied 26 place count 2151 transition count 4648
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 29 place count 2148 transition count 4645
Iterating global reduction 2 with 3 rules applied. Total rules applied 32 place count 2148 transition count 4645
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 34 place count 2148 transition count 4643
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 36 place count 2146 transition count 4643
Partial Free-agglomeration rule applied 10 times.
Drop transitions (Partial Free agglomeration) removed 10 transitions
Iterating global reduction 3 with 10 rules applied. Total rules applied 46 place count 2146 transition count 4643
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 56 place count 2136 transition count 4633
Iterating global reduction 3 with 10 rules applied. Total rules applied 66 place count 2136 transition count 4633
Applied a total of 66 rules in 432 ms. Remains 2136 /2164 variables (removed 28) and now considering 4633/4661 (removed 28) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 432 ms. Remains : 2136/2164 places, 4633/4661 transitions.
RANDOM walk for 1297337 steps (29724 resets) in 120004 ms. (10 steps per ms) remains 515/548 properties
BEST_FIRST walk for 4003 steps (16 resets) in 82 ms. (48 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 73 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 61 ms. (64 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 70 ms. (56 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4002 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 88 ms. (44 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 96 ms. (41 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 66 ms. (59 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 73 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4002 steps (16 resets) in 70 ms. (56 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 79 ms. (50 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 82 ms. (48 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 75 ms. (52 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 40 ms. (97 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 80 ms. (49 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4002 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 75 ms. (52 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 75 ms. (52 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4003 steps (16 resets) in 76 ms. (51 steps per ms) remains 515/515 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 515/515 properties
Probabilistic random walk after 1000000 steps, saw 434835 distinct states, run finished after 79489 ms. (steps per millisecond=12 ) properties seen :0
[2024-06-01 05:44:31] [INFO ] Flow matrix only has 4285 transitions (discarded 348 similar events)
// Phase 1: matrix 4285 rows 2136 cols
[2024-06-01 05:44:31] [INFO ] Computed 577 invariants in 58 ms
[2024-06-01 05:44:31] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/515 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 1 (OVERLAPS) 854/1369 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1369 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 3 (OVERLAPS) 636/2005 variables, 441/446 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2005 variables, 0/446 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 5 (OVERLAPS) 28/2033 variables, 28/474 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2033 variables, 0/474 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 7 (OVERLAPS) 103/2136 variables, 103/577 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2136 variables, 0/577 constraints. Problems are: Problem set: 0 solved, 515 unsolved
At refinement iteration 9 (OVERLAPS) 4285/6421 variables, 2136/2713 constraints. Problems are: Problem set: 0 solved, 515 unsolved
SMT process timed out in 135335ms, After SMT, problems are : Problem set: 0 solved, 515 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 515 out of 2136 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2136/2136 places, 4633/4633 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 2136 transition count 4618
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 30 place count 2121 transition count 4618
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 34 place count 2117 transition count 4614
Iterating global reduction 2 with 4 rules applied. Total rules applied 38 place count 2117 transition count 4614
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 40 place count 2117 transition count 4612
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 42 place count 2115 transition count 4612
Partial Free-agglomeration rule applied 11 times.
Drop transitions (Partial Free agglomeration) removed 11 transitions
Iterating global reduction 3 with 11 rules applied. Total rules applied 53 place count 2115 transition count 4612
Discarding 11 places :
Symmetric choice reduction at 3 with 11 rule applications. Total rules 64 place count 2104 transition count 4601
Iterating global reduction 3 with 11 rules applied. Total rules applied 75 place count 2104 transition count 4601
Applied a total of 75 rules in 472 ms. Remains 2104 /2136 variables (removed 32) and now considering 4601/4633 (removed 32) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 472 ms. Remains : 2104/2136 places, 4601/4633 transitions.
RANDOM walk for 2717041 steps (62263 resets) in 120004 ms. (22 steps per ms) remains 485/515 properties
BEST_FIRST walk for 40004 steps (171 resets) in 363 ms. (109 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (169 resets) in 541 ms. (73 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (170 resets) in 734 ms. (54 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40003 steps (168 resets) in 763 ms. (52 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (169 resets) in 695 ms. (57 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40001 steps (169 resets) in 774 ms. (51 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (171 resets) in 781 ms. (51 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (169 resets) in 747 ms. (53 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (170 resets) in 758 ms. (52 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40004 steps (170 resets) in 765 ms. (52 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (170 resets) in 750 ms. (53 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40003 steps (168 resets) in 726 ms. (55 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40004 steps (171 resets) in 797 ms. (50 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (170 resets) in 710 ms. (56 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (171 resets) in 772 ms. (51 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40001 steps (171 resets) in 749 ms. (53 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40004 steps (170 resets) in 703 ms. (56 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (169 resets) in 743 ms. (53 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40002 steps (169 resets) in 685 ms. (58 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40004 steps (168 resets) in 746 ms. (53 steps per ms) remains 485/485 properties
BEST_FIRST walk for 40003 steps (168 resets) in 691 ms. (57 steps per ms) remains 484/485 properties
BEST_FIRST walk for 40003 steps (170 resets) in 717 ms. (55 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40004 steps (169 resets) in 745 ms. (53 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40000 steps (168 resets) in 707 ms. (56 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40002 steps (168 resets) in 728 ms. (54 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40001 steps (168 resets) in 757 ms. (52 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40004 steps (171 resets) in 717 ms. (55 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (170 resets) in 727 ms. (54 steps per ms) remains 484/484 properties
BEST_FIRST walk for 40003 steps (171 resets) in 752 ms. (53 steps per ms) remains 482/484 properties
BEST_FIRST walk for 40003 steps (168 resets) in 727 ms. (54 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40003 steps (170 resets) in 772 ms. (51 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40002 steps (169 resets) in 669 ms. (59 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40004 steps (168 resets) in 677 ms. (59 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40004 steps (170 resets) in 776 ms. (51 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40002 steps (169 resets) in 770 ms. (51 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40003 steps (169 resets) in 764 ms. (52 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40001 steps (168 resets) in 697 ms. (57 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40001 steps (170 resets) in 773 ms. (51 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40001 steps (170 resets) in 695 ms. (57 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40003 steps (170 resets) in 727 ms. (54 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40001 steps (169 resets) in 723 ms. (55 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40002 steps (170 resets) in 739 ms. (54 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40003 steps (170 resets) in 703 ms. (56 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40000 steps (169 resets) in 740 ms. (53 steps per ms) remains 482/482 properties
BEST_FIRST walk for 40003 steps (168 resets) in 748 ms. (53 steps per ms) remains 480/482 properties
BEST_FIRST walk for 40002 steps (170 resets) in 721 ms. (55 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40003 steps (168 resets) in 766 ms. (52 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40001 steps (169 resets) in 758 ms. (52 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40003 steps (168 resets) in 724 ms. (55 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40001 steps (169 resets) in 735 ms. (54 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40002 steps (168 resets) in 687 ms. (58 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40001 steps (168 resets) in 774 ms. (51 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40001 steps (168 resets) in 733 ms. (54 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40002 steps (168 resets) in 752 ms. (53 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40003 steps (170 resets) in 772 ms. (51 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40002 steps (169 resets) in 685 ms. (58 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40003 steps (169 resets) in 721 ms. (55 steps per ms) remains 480/480 properties
BEST_FIRST walk for 40004 steps (170 resets) in 758 ms. (52 steps per ms) remains 479/480 properties
BEST_FIRST walk for 40003 steps (169 resets) in 755 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40001 steps (169 resets) in 676 ms. (59 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (171 resets) in 739 ms. (54 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40001 steps (169 resets) in 717 ms. (55 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (168 resets) in 699 ms. (57 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40003 steps (169 resets) in 756 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40001 steps (168 resets) in 747 ms. (53 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (170 resets) in 706 ms. (56 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40001 steps (169 resets) in 759 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40003 steps (171 resets) in 742 ms. (53 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40004 steps (171 resets) in 679 ms. (58 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40004 steps (170 resets) in 755 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (168 resets) in 576 ms. (69 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40000 steps (169 resets) in 737 ms. (54 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40004 steps (168 resets) in 775 ms. (51 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (169 resets) in 757 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40004 steps (169 resets) in 774 ms. (51 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40003 steps (169 resets) in 768 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40001 steps (169 resets) in 680 ms. (58 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (170 resets) in 766 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40004 steps (169 resets) in 767 ms. (52 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40001 steps (168 resets) in 741 ms. (53 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40003 steps (169 resets) in 748 ms. (53 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40004 steps (169 resets) in 696 ms. (57 steps per ms) remains 479/479 properties
BEST_FIRST walk for 40002 steps (168 resets) in 772 ms. (51 steps per ms) remains 477/479 properties
BEST_FIRST walk for 40003 steps (169 resets) in 704 ms. (56 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (170 resets) in 774 ms. (51 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (169 resets) in 737 ms. (54 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40000 steps (169 resets) in 711 ms. (56 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (168 resets) in 772 ms. (51 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (170 resets) in 773 ms. (51 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40000 steps (168 resets) in 720 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (168 resets) in 813 ms. (49 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (169 resets) in 703 ms. (56 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (168 resets) in 769 ms. (51 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (169 resets) in 732 ms. (54 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (168 resets) in 729 ms. (54 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (169 resets) in 717 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (169 resets) in 763 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (169 resets) in 700 ms. (57 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (171 resets) in 734 ms. (54 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (169 resets) in 712 ms. (56 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (170 resets) in 723 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (169 resets) in 681 ms. (58 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (169 resets) in 764 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (169 resets) in 661 ms. (60 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (170 resets) in 751 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (170 resets) in 695 ms. (57 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (170 resets) in 754 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (168 resets) in 726 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (170 resets) in 749 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (170 resets) in 760 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (170 resets) in 758 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (171 resets) in 753 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (169 resets) in 721 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40000 steps (169 resets) in 731 ms. (54 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (170 resets) in 744 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (169 resets) in 752 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (171 resets) in 741 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (171 resets) in 697 ms. (57 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (169 resets) in 749 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (169 resets) in 705 ms. (56 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (170 resets) in 679 ms. (58 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (171 resets) in 719 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (169 resets) in 722 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (171 resets) in 727 ms. (54 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (170 resets) in 723 ms. (55 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (169 resets) in 761 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40001 steps (171 resets) in 697 ms. (57 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (168 resets) in 767 ms. (52 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (169 resets) in 743 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40002 steps (168 resets) in 752 ms. (53 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40003 steps (168 resets) in 703 ms. (56 steps per ms) remains 477/477 properties
BEST_FIRST walk for 40004 steps (169 resets) in 706 ms. (56 steps per ms) remains 477/477 properties
Interrupted probabilistic random walk after 2195556 steps, run timeout after 168001 ms. (steps per millisecond=13 ) properties seen :0 out of 477
Probabilistic random walk after 2195556 steps, saw 952679 distinct states, run finished after 168007 ms. (steps per millisecond=13 ) properties seen :0
[2024-06-01 05:50:31] [INFO ] Flow matrix only has 4251 transitions (discarded 350 similar events)
// Phase 1: matrix 4251 rows 2104 cols
[2024-06-01 05:50:31] [INFO ] Computed 577 invariants in 57 ms
[2024-06-01 05:50:31] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/477 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 1 (OVERLAPS) 905/1382 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1382 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 3 (OVERLAPS) 612/1994 variables, 462/467 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1994 variables, 0/467 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 5 (OVERLAPS) 28/2022 variables, 28/495 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2022 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 7 (OVERLAPS) 82/2104 variables, 82/577 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2104 variables, 0/577 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 9 (OVERLAPS) 4251/6355 variables, 2104/2681 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/6355 variables, 2450/5131 constraints. Problems are: Problem set: 0 solved, 477 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6355/6355 variables, and 5131 constraints, problems are : Problem set: 0 solved, 477 unsolved in 150022 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 544/544 constraints, State Equation: 2104/2104 constraints, ReadFeed: 2450/2450 constraints, PredecessorRefiner: 477/477 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 477 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/477 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 1 (OVERLAPS) 905/1382 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 477 unsolved
[2024-06-01 05:53:06] [INFO ] Deduced a trap composed of 868 places in 787 ms of which 7 ms to minimize.
[2024-06-01 05:53:07] [INFO ] Deduced a trap composed of 882 places in 801 ms of which 7 ms to minimize.
[2024-06-01 05:53:07] [INFO ] Deduced a trap composed of 666 places in 789 ms of which 7 ms to minimize.
[2024-06-01 05:53:08] [INFO ] Deduced a trap composed of 776 places in 781 ms of which 7 ms to minimize.
[2024-06-01 05:53:09] [INFO ] Deduced a trap composed of 803 places in 790 ms of which 7 ms to minimize.
[2024-06-01 05:53:10] [INFO ] Deduced a trap composed of 696 places in 813 ms of which 7 ms to minimize.
[2024-06-01 05:53:12] [INFO ] Deduced a trap composed of 649 places in 796 ms of which 6 ms to minimize.
[2024-06-01 05:53:13] [INFO ] Deduced a trap composed of 785 places in 793 ms of which 7 ms to minimize.
[2024-06-01 05:53:14] [INFO ] Deduced a trap composed of 783 places in 694 ms of which 7 ms to minimize.
[2024-06-01 05:53:15] [INFO ] Deduced a trap composed of 673 places in 787 ms of which 7 ms to minimize.
[2024-06-01 05:53:17] [INFO ] Deduced a trap composed of 687 places in 831 ms of which 8 ms to minimize.
[2024-06-01 05:53:18] [INFO ] Deduced a trap composed of 649 places in 804 ms of which 7 ms to minimize.
[2024-06-01 05:53:19] [INFO ] Deduced a trap composed of 654 places in 830 ms of which 7 ms to minimize.
[2024-06-01 05:53:20] [INFO ] Deduced a trap composed of 663 places in 798 ms of which 7 ms to minimize.
[2024-06-01 05:53:20] [INFO ] Deduced a trap composed of 725 places in 686 ms of which 7 ms to minimize.
[2024-06-01 05:53:22] [INFO ] Deduced a trap composed of 643 places in 653 ms of which 7 ms to minimize.
[2024-06-01 05:53:24] [INFO ] Deduced a trap composed of 620 places in 760 ms of which 7 ms to minimize.
[2024-06-01 05:53:25] [INFO ] Deduced a trap composed of 683 places in 728 ms of which 7 ms to minimize.
[2024-06-01 05:53:26] [INFO ] Deduced a trap composed of 917 places in 776 ms of which 6 ms to minimize.
[2024-06-01 05:53:27] [INFO ] Deduced a trap composed of 841 places in 692 ms of which 7 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1382 variables, 20/25 constraints. Problems are: Problem set: 0 solved, 477 unsolved
[2024-06-01 05:53:28] [INFO ] Deduced a trap composed of 639 places in 696 ms of which 7 ms to minimize.
[2024-06-01 05:53:32] [INFO ] Deduced a trap composed of 717 places in 757 ms of which 7 ms to minimize.
[2024-06-01 05:53:33] [INFO ] Deduced a trap composed of 721 places in 767 ms of which 7 ms to minimize.
[2024-06-01 05:53:34] [INFO ] Deduced a trap composed of 800 places in 786 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1382 variables, 4/29 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1382 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 477 unsolved
At refinement iteration 5 (OVERLAPS) 612/1994 variables, 462/491 constraints. Problems are: Problem set: 0 solved, 477 unsolved
[2024-06-01 05:54:09] [INFO ] Deduced a trap composed of 6 places in 1903 ms of which 12 ms to minimize.
[2024-06-01 05:54:10] [INFO ] Deduced a trap composed of 312 places in 1748 ms of which 13 ms to minimize.
[2024-06-01 05:54:12] [INFO ] Deduced a trap composed of 258 places in 1922 ms of which 13 ms to minimize.
[2024-06-01 05:54:14] [INFO ] Deduced a trap composed of 55 places in 1888 ms of which 12 ms to minimize.
[2024-06-01 05:54:16] [INFO ] Deduced a trap composed of 282 places in 1908 ms of which 13 ms to minimize.
[2024-06-01 05:54:18] [INFO ] Deduced a trap composed of 343 places in 1894 ms of which 12 ms to minimize.
[2024-06-01 05:54:20] [INFO ] Deduced a trap composed of 334 places in 1905 ms of which 12 ms to minimize.
[2024-06-01 05:54:22] [INFO ] Deduced a trap composed of 254 places in 1901 ms of which 13 ms to minimize.
[2024-06-01 05:54:24] [INFO ] Deduced a trap composed of 337 places in 1916 ms of which 14 ms to minimize.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S16C07"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-S16C07, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r510-tall-171654364400028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C07.tgz
mv MultiCrashLeafsetExtension-PT-S16C07 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;