About the Execution of LTSMin+red for EisenbergMcGuire-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3409.487 | 1800000.00 | 3673181.00 | 3702.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.r494-smll-171636275100124.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 EisenbergMcGuire-PT-09, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r494-smll-171636275100124
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 8.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 19 07:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 28K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 19 15:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 2.3M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME Liveness
=== Now, execution of the tool begins
BK_START 1717229162284
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=EisenbergMcGuire-PT-09
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202405141337
[2024-06-01 08:06:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-06-01 08:06:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-01 08:06:04] [INFO ] Load time of PNML (sax parser for PT used): 510 ms
[2024-06-01 08:06:04] [INFO ] Transformed 891 places.
[2024-06-01 08:06:04] [INFO ] Transformed 3888 transitions.
[2024-06-01 08:06:04] [INFO ] Found NUPN structural information;
[2024-06-01 08:06:04] [INFO ] Parsed PT model containing 891 places and 3888 transitions and 18792 arcs in 730 ms.
Built sparse matrix representations for Structural reductions in 25 ms.46890KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 891/891 places, 3888/3888 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 400 ms. Remains 891 /891 variables (removed 0) and now considering 3888/3888 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 435 ms. Remains : 891/891 places, 3888/3888 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 891/891 places, 3888/3888 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 284 ms. Remains 891 /891 variables (removed 0) and now considering 3888/3888 (removed 0) transitions.
[2024-06-01 08:06:06] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
// Phase 1: matrix 1809 rows 891 cols
[2024-06-01 08:06:06] [INFO ] Computed 28 invariants in 52 ms
[2024-06-01 08:06:07] [INFO ] Implicit Places using invariants in 690 ms returned []
[2024-06-01 08:06:07] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
[2024-06-01 08:06:07] [INFO ] Invariant cache hit.
[2024-06-01 08:06:08] [INFO ] State equation strengthened by 932 read => feed constraints.
[2024-06-01 08:06:08] [INFO ] Implicit Places using invariants and state equation in 1270 ms returned []
Implicit Place search using SMT with State Equation took 2016 ms to find 0 implicit places.
[2024-06-01 08:06:08] [INFO ] Redundant transitions in 434 ms returned []
Running 3879 sub problems to find dead transitions.
[2024-06-01 08:06:08] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
[2024-06-01 08:06:08] [INFO ] Invariant cache hit.
[2024-06-01 08:06:09] [INFO ] State equation strengthened by 932 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/891 variables, 891/891 constraints. Problems are: Problem set: 0 solved, 3879 unsolved
SMT process timed out in 34487ms, After SMT, problems are : Problem set: 0 solved, 3879 unsolved
Search for dead transitions found 0 dead transitions in 34582ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 37363 ms. Remains : 891/891 places, 3888/3888 transitions.
Random walk for 1250000 steps, including 0 resets, run took 4117 ms (no deadlock found). (steps per millisecond=303 )
Random directed walk for 1250000 steps, including 0 resets, run took 7147 ms (no deadlock found). (steps per millisecond=174 )
[2024-06-01 08:06:54] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
[2024-06-01 08:06:54] [INFO ] Invariant cache hit.
[2024-06-01 08:06:56] [INFO ] [Real]Absence check using 19 positive place invariants in 57 ms returned sat
[2024-06-01 08:06:56] [INFO ] [Real]Absence check using 19 positive and 9 generalized place invariants in 292 ms returned sat
[2024-06-01 08:06:58] [INFO ] [Real]Absence check using state equation in 2511 ms returned sat
[2024-06-01 08:06:58] [INFO ] Solution in real domain found non-integer solution.
[2024-06-01 08:07:00] [INFO ] [Nat]Absence check using 19 positive place invariants in 48 ms returned sat
[2024-06-01 08:07:00] [INFO ] [Nat]Absence check using 19 positive and 9 generalized place invariants in 155 ms returned sat
[2024-06-01 08:07:03] [INFO ] [Nat]Absence check using state equation in 2804 ms returned sat
[2024-06-01 08:07:03] [INFO ] State equation strengthened by 932 read => feed constraints.
[2024-06-01 08:07:03] [INFO ] [Nat]Added 932 Read/Feed constraints in 342 ms returned sat
[2024-06-01 08:07:04] [INFO ] Deduced a trap composed of 3 places in 967 ms of which 84 ms to minimize.
[2024-06-01 08:07:06] [INFO ] Deduced a trap composed of 48 places in 1244 ms of which 19 ms to minimize.
[2024-06-01 08:07:07] [INFO ] Deduced a trap composed of 126 places in 1009 ms of which 9 ms to minimize.
[2024-06-01 08:07:09] [INFO ] Deduced a trap composed of 16 places in 1389 ms of which 32 ms to minimize.
[2024-06-01 08:07:10] [INFO ] Deduced a trap composed of 95 places in 1033 ms of which 12 ms to minimize.
[2024-06-01 08:07:11] [INFO ] Deduced a trap composed of 93 places in 859 ms of which 11 ms to minimize.
[2024-06-01 08:07:12] [INFO ] Deduced a trap composed of 3 places in 937 ms of which 9 ms to minimize.
[2024-06-01 08:07:13] [INFO ] Deduced a trap composed of 3 places in 839 ms of which 9 ms to minimize.
[2024-06-01 08:07:14] [INFO ] Deduced a trap composed of 63 places in 823 ms of which 8 ms to minimize.
[2024-06-01 08:07:15] [INFO ] Deduced a trap composed of 131 places in 1087 ms of which 11 ms to minimize.
[2024-06-01 08:07:16] [INFO ] Deduced a trap composed of 35 places in 992 ms of which 13 ms to minimize.
[2024-06-01 08:07:18] [INFO ] Deduced a trap composed of 123 places in 988 ms of which 8 ms to minimize.
[2024-06-01 08:07:19] [INFO ] Deduced a trap composed of 36 places in 1099 ms of which 12 ms to minimize.
[2024-06-01 08:07:20] [INFO ] Deduced a trap composed of 3 places in 1017 ms of which 8 ms to minimize.
[2024-06-01 08:07:21] [INFO ] Deduced a trap composed of 83 places in 1201 ms of which 10 ms to minimize.
[2024-06-01 08:07:23] [INFO ] Deduced a trap composed of 52 places in 929 ms of which 8 ms to minimize.
[2024-06-01 08:07:24] [INFO ] Deduced a trap composed of 117 places in 1291 ms of which 9 ms to minimize.
[2024-06-01 08:07:25] [INFO ] Deduced a trap composed of 3 places in 824 ms of which 8 ms to minimize.
[2024-06-01 08:07:26] [INFO ] Deduced a trap composed of 100 places in 1109 ms of which 10 ms to minimize.
[2024-06-01 08:07:27] [INFO ] Deduced a trap composed of 45 places in 995 ms of which 11 ms to minimize.
[2024-06-01 08:07:28] [INFO ] Deduced a trap composed of 40 places in 821 ms of which 9 ms to minimize.
[2024-06-01 08:07:29] [INFO ] Deduced a trap composed of 3 places in 987 ms of which 8 ms to minimize.
[2024-06-01 08:07:31] [INFO ] Deduced a trap composed of 3 places in 1028 ms of which 9 ms to minimize.
[2024-06-01 08:07:32] [INFO ] Deduced a trap composed of 3 places in 982 ms of which 8 ms to minimize.
[2024-06-01 08:07:32] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 24 trap constraints in 28669 ms
Starting structural reductions in LIVENESS mode, iteration 0 : 891/891 places, 3888/3888 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 891 transition count 3879
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 18 place count 882 transition count 3879
Performed 252 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 252 Pre rules applied. Total rules applied 18 place count 882 transition count 3627
Deduced a syphon composed of 252 places in 17 ms
Reduce places removed 252 places and 0 transitions.
Iterating global reduction 2 with 504 rules applied. Total rules applied 522 place count 630 transition count 3627
Performed 72 Post agglomeration using F-continuation condition.Transition count delta: 72
Deduced a syphon composed of 72 places in 5 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 2 with 144 rules applied. Total rules applied 666 place count 558 transition count 3555
Applied a total of 666 rules in 199 ms. Remains 558 /891 variables (removed 333) and now considering 3555/3888 (removed 333) transitions.
[2024-06-01 08:07:32] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
// Phase 1: matrix 1476 rows 558 cols
[2024-06-01 08:07:32] [INFO ] Computed 28 invariants in 8 ms
[2024-06-01 08:07:33] [INFO ] Implicit Places using invariants in 1310 ms returned []
[2024-06-01 08:07:33] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-06-01 08:07:33] [INFO ] Invariant cache hit.
[2024-06-01 08:07:34] [INFO ] State equation strengthened by 932 read => feed constraints.
[2024-06-01 08:07:42] [INFO ] Implicit Places using invariants and state equation in 8723 ms returned []
Implicit Place search using SMT with State Equation took 10043 ms to find 0 implicit places.
Running 3546 sub problems to find dead transitions.
[2024-06-01 08:07:42] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-06-01 08:07:42] [INFO ] Invariant cache hit.
[2024-06-01 08:07:42] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/558 variables, 558/558 constraints. Problems are: Problem set: 0 solved, 3546 unsolved
SMT process timed out in 33507ms, After SMT, problems are : Problem set: 0 solved, 3546 unsolved
Search for dead transitions found 0 dead transitions in 33564ms
Starting structural reductions in LIVENESS mode, iteration 1 : 558/891 places, 3555/3888 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 43815 ms. Remains : 558/891 places, 3555/3888 transitions.
Initial state reduction rules removed 9 formulas.
RANDOM walk for 40000 steps (8 resets) in 17416 ms. (2 steps per ms) remains 2994/3546 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 8 ms. (13 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 26 ms. (4 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2994/2994 properties
[2024-06-01 08:08:21] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-06-01 08:08:21] [INFO ] Invariant cache hit.
[2024-06-01 08:08:21] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/432 variables, 432/432 constraints. Problems are: Problem set: 0 solved, 2994 unsolved
SMT process timed out in 8137ms, After SMT, problems are : Problem set: 0 solved, 2994 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 432 out of 558 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 558/558 places, 3555/3555 transitions.
Applied a total of 0 rules in 285 ms. Remains 558 /558 variables (removed 0) and now considering 3555/3555 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 287 ms. Remains : 558/558 places, 3555/3555 transitions.
RANDOM walk for 553531 steps (0 resets) in 120004 ms. (4 steps per ms) remains 2980/2994 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 2979/2980 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2975/2979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2973/2975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 138 ms. (28 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2973/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2972/2973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2972/2972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2971/2972 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2971/2971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2971/2971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2970/2971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2970/2970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2968/2970 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2968/2968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2968/2968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2968/2968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2968/2968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2966/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2964/2966 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2964/2964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2964/2964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2964/2964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2964/2964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2962/2964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2961/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2961/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2961/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2961/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2961/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2961/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2960/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2957/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2957/2957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2957/2957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2957/2957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2957/2957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2957/2957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2957 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2956/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2955/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2954/2955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2954/2954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2954/2954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2952/2954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2951/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2951/2951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2951/2951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2951/2951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2951/2951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2949/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2949/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2948/2949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2947/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2946/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2942/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2940/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2940/2940 properties
Interrupted probabilistic random walk after 766840 steps, run timeout after 111001 ms. (steps per millisecond=6 ) properties seen :635 out of 2940
Probabilistic random walk after 766840 steps, saw 544978 distinct states, run finished after 111015 ms. (steps per millisecond=6 ) properties seen :635
[2024-06-01 08:10:58] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-06-01 08:10:58] [INFO ] Invariant cache hit.
[2024-06-01 08:10:58] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/319 variables, 319/319 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/319 variables, 1/320 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 319/2034 variables, and 320 constraints, problems are : Problem set: 0 solved, 2305 unsolved in 45098 ms.
Refiners :[Domain max(s): 319/558 constraints, Positive P Invariants (semi-flows): 1/19 constraints, Generalized P Invariants (flows): 0/9 constraints, State Equation: 0/558 constraints, ReadFeed: 0/932 constraints, PredecessorRefiner: 2305/2305 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2305 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/319 variables, 319/319 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/319 variables, 1/320 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/319 variables, 0/320 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
At refinement iteration 3 (OVERLAPS) 239/558 variables, 18/338 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/558 variables, 239/577 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/558 variables, 9/586 constraints. Problems are: Problem set: 0 solved, 2305 unsolved
[2024-06-01 08:12:30] [INFO ] Deduced a trap composed of 39 places in 619 ms of which 6 ms to minimize.
[2024-06-01 08:12:31] [INFO ] Deduced a trap composed of 36 places in 899 ms of which 8 ms to minimize.
SMT process timed out in 92848ms, After SMT, problems are : Problem set: 0 solved, 2305 unsolved
Fused 2305 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 319 out of 558 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 558/558 places, 3555/3555 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 551 transition count 3492
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 551 transition count 3492
Applied a total of 14 rules in 311 ms. Remains 551 /558 variables (removed 7) and now considering 3492/3555 (removed 63) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 311 ms. Remains : 551/558 places, 3492/3555 transitions.
RANDOM walk for 721342 steps (0 resets) in 120004 ms. (6 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 72 ms. (54 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 71 ms. (55 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 133 ms. (29 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2305/2305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2305/2305 properties
Interrupted probabilistic random walk after 694690 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :38 out of 2305
Probabilistic random walk after 694690 steps, saw 488957 distinct states, run finished after 93002 ms. (steps per millisecond=7 ) properties seen :38
[2024-06-01 08:14:36] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
// Phase 1: matrix 1413 rows 551 cols
[2024-06-01 08:14:36] [INFO ] Computed 28 invariants in 7 ms
[2024-06-01 08:14:36] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 551/1964 variables, and 28 constraints, problems are : Problem set: 0 solved, 2267 unsolved in 75082 ms.
Refiners :[Positive P Invariants (semi-flows): 19/19 constraints, Generalized P Invariants (flows): 9/9 constraints, State Equation: 0/551 constraints, ReadFeed: 0/876 constraints, PredecessorRefiner: 2267/2267 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2267 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
[2024-06-01 08:16:35] [INFO ] Deduced a trap composed of 38 places in 870 ms of which 9 ms to minimize.
[2024-06-01 08:16:36] [INFO ] Deduced a trap composed of 105 places in 899 ms of which 5 ms to minimize.
[2024-06-01 08:16:37] [INFO ] Deduced a trap composed of 79 places in 766 ms of which 5 ms to minimize.
[2024-06-01 08:16:38] [INFO ] Deduced a trap composed of 30 places in 786 ms of which 7 ms to minimize.
[2024-06-01 08:16:39] [INFO ] Deduced a trap composed of 119 places in 780 ms of which 7 ms to minimize.
[2024-06-01 08:16:40] [INFO ] Deduced a trap composed of 3 places in 886 ms of which 10 ms to minimize.
[2024-06-01 08:16:40] [INFO ] Deduced a trap composed of 35 places in 595 ms of which 5 ms to minimize.
[2024-06-01 08:16:41] [INFO ] Deduced a trap composed of 23 places in 616 ms of which 6 ms to minimize.
[2024-06-01 08:16:42] [INFO ] Deduced a trap composed of 53 places in 947 ms of which 13 ms to minimize.
[2024-06-01 08:16:43] [INFO ] Deduced a trap composed of 31 places in 1011 ms of which 8 ms to minimize.
[2024-06-01 08:16:44] [INFO ] Deduced a trap composed of 66 places in 938 ms of which 8 ms to minimize.
[2024-06-01 08:16:45] [INFO ] Deduced a trap composed of 40 places in 785 ms of which 8 ms to minimize.
[2024-06-01 08:16:45] [INFO ] Deduced a trap composed of 34 places in 696 ms of which 7 ms to minimize.
[2024-06-01 08:16:46] [INFO ] Deduced a trap composed of 29 places in 746 ms of which 6 ms to minimize.
[2024-06-01 08:16:47] [INFO ] Deduced a trap composed of 98 places in 839 ms of which 7 ms to minimize.
[2024-06-01 08:16:48] [INFO ] Deduced a trap composed of 59 places in 768 ms of which 8 ms to minimize.
[2024-06-01 08:16:48] [INFO ] Deduced a trap composed of 29 places in 756 ms of which 8 ms to minimize.
[2024-06-01 08:16:49] [INFO ] Deduced a trap composed of 15 places in 922 ms of which 8 ms to minimize.
[2024-06-01 08:16:50] [INFO ] Deduced a trap composed of 156 places in 909 ms of which 8 ms to minimize.
[2024-06-01 08:16:51] [INFO ] Deduced a trap composed of 46 places in 783 ms of which 7 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 20/48 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
[2024-06-01 08:16:55] [INFO ] Deduced a trap composed of 19 places in 950 ms of which 8 ms to minimize.
[2024-06-01 08:16:56] [INFO ] Deduced a trap composed of 25 places in 1050 ms of which 8 ms to minimize.
[2024-06-01 08:16:57] [INFO ] Deduced a trap composed of 23 places in 1041 ms of which 8 ms to minimize.
[2024-06-01 08:16:58] [INFO ] Deduced a trap composed of 111 places in 1035 ms of which 8 ms to minimize.
[2024-06-01 08:16:59] [INFO ] Deduced a trap composed of 9 places in 1034 ms of which 8 ms to minimize.
[2024-06-01 08:17:00] [INFO ] Deduced a trap composed of 3 places in 1012 ms of which 8 ms to minimize.
[2024-06-01 08:17:01] [INFO ] Deduced a trap composed of 13 places in 1020 ms of which 9 ms to minimize.
[2024-06-01 08:17:01] [INFO ] Deduced a trap composed of 3 places in 325 ms of which 3 ms to minimize.
[2024-06-01 08:17:02] [INFO ] Deduced a trap composed of 27 places in 1008 ms of which 9 ms to minimize.
[2024-06-01 08:17:03] [INFO ] Deduced a trap composed of 115 places in 971 ms of which 10 ms to minimize.
[2024-06-01 08:17:04] [INFO ] Deduced a trap composed of 127 places in 1007 ms of which 9 ms to minimize.
[2024-06-01 08:17:05] [INFO ] Deduced a trap composed of 123 places in 920 ms of which 8 ms to minimize.
[2024-06-01 08:17:06] [INFO ] Deduced a trap composed of 3 places in 973 ms of which 8 ms to minimize.
[2024-06-01 08:17:07] [INFO ] Deduced a trap composed of 55 places in 906 ms of which 8 ms to minimize.
[2024-06-01 08:17:08] [INFO ] Deduced a trap composed of 27 places in 895 ms of which 8 ms to minimize.
[2024-06-01 08:17:09] [INFO ] Deduced a trap composed of 27 places in 882 ms of which 8 ms to minimize.
SMT process timed out in 152722ms, After SMT, problems are : Problem set: 0 solved, 2267 unsolved
Fused 2267 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 303 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 234 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 234 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 737210 steps (0 resets) in 120004 ms. (6 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 74 ms. (53 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 81 ms. (48 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 73 ms. (54 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2267/2267 properties
Interrupted probabilistic random walk after 704690 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :2 out of 2267
Probabilistic random walk after 704690 steps, saw 495620 distinct states, run finished after 93003 ms. (steps per millisecond=7 ) properties seen :2
[2024-06-01 08:19:14] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:19:14] [INFO ] Invariant cache hit.
[2024-06-01 08:19:14] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/302 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/302 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 2 (OVERLAPS) 249/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 551/1964 variables, and 28 constraints, problems are : Problem set: 0 solved, 2265 unsolved in 90061 ms.
Refiners :[Positive P Invariants (semi-flows): 19/19 constraints, Generalized P Invariants (flows): 9/9 constraints, State Equation: 0/551 constraints, ReadFeed: 0/876 constraints, PredecessorRefiner: 2265/2265 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2265 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/302 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/302 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 2 (OVERLAPS) 249/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
[2024-06-01 08:21:28] [INFO ] Deduced a trap composed of 38 places in 957 ms of which 7 ms to minimize.
[2024-06-01 08:21:29] [INFO ] Deduced a trap composed of 74 places in 893 ms of which 6 ms to minimize.
[2024-06-01 08:21:29] [INFO ] Deduced a trap composed of 35 places in 670 ms of which 9 ms to minimize.
[2024-06-01 08:21:30] [INFO ] Deduced a trap composed of 63 places in 991 ms of which 8 ms to minimize.
[2024-06-01 08:21:31] [INFO ] Deduced a trap composed of 138 places in 919 ms of which 8 ms to minimize.
[2024-06-01 08:21:32] [INFO ] Deduced a trap composed of 68 places in 912 ms of which 5 ms to minimize.
[2024-06-01 08:21:33] [INFO ] Deduced a trap composed of 32 places in 789 ms of which 8 ms to minimize.
[2024-06-01 08:21:34] [INFO ] Deduced a trap composed of 129 places in 892 ms of which 8 ms to minimize.
[2024-06-01 08:21:34] [INFO ] Deduced a trap composed of 23 places in 418 ms of which 4 ms to minimize.
[2024-06-01 08:21:35] [INFO ] Deduced a trap composed of 119 places in 685 ms of which 6 ms to minimize.
[2024-06-01 08:21:36] [INFO ] Deduced a trap composed of 78 places in 722 ms of which 5 ms to minimize.
[2024-06-01 08:21:37] [INFO ] Deduced a trap composed of 39 places in 887 ms of which 8 ms to minimize.
[2024-06-01 08:21:38] [INFO ] Deduced a trap composed of 94 places in 767 ms of which 8 ms to minimize.
[2024-06-01 08:21:38] [INFO ] Deduced a trap composed of 99 places in 850 ms of which 8 ms to minimize.
[2024-06-01 08:21:39] [INFO ] Deduced a trap composed of 91 places in 855 ms of which 8 ms to minimize.
[2024-06-01 08:21:40] [INFO ] Deduced a trap composed of 96 places in 880 ms of which 8 ms to minimize.
[2024-06-01 08:21:41] [INFO ] Deduced a trap composed of 28 places in 772 ms of which 8 ms to minimize.
[2024-06-01 08:21:42] [INFO ] Deduced a trap composed of 25 places in 851 ms of which 7 ms to minimize.
[2024-06-01 08:21:43] [INFO ] Deduced a trap composed of 59 places in 904 ms of which 8 ms to minimize.
[2024-06-01 08:21:44] [INFO ] Deduced a trap composed of 120 places in 899 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 20/48 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
[2024-06-01 08:21:48] [INFO ] Deduced a trap composed of 19 places in 1021 ms of which 8 ms to minimize.
[2024-06-01 08:21:49] [INFO ] Deduced a trap composed of 66 places in 977 ms of which 8 ms to minimize.
[2024-06-01 08:21:50] [INFO ] Deduced a trap composed of 59 places in 818 ms of which 9 ms to minimize.
[2024-06-01 08:21:51] [INFO ] Deduced a trap composed of 3 places in 938 ms of which 8 ms to minimize.
[2024-06-01 08:21:51] [INFO ] Deduced a trap composed of 33 places in 554 ms of which 5 ms to minimize.
[2024-06-01 08:21:52] [INFO ] Deduced a trap composed of 31 places in 660 ms of which 6 ms to minimize.
[2024-06-01 08:21:52] [INFO ] Deduced a trap composed of 15 places in 509 ms of which 5 ms to minimize.
[2024-06-01 08:21:53] [INFO ] Deduced a trap composed of 133 places in 801 ms of which 7 ms to minimize.
[2024-06-01 08:21:54] [INFO ] Deduced a trap composed of 132 places in 849 ms of which 7 ms to minimize.
[2024-06-01 08:21:55] [INFO ] Deduced a trap composed of 111 places in 807 ms of which 8 ms to minimize.
[2024-06-01 08:21:56] [INFO ] Deduced a trap composed of 99 places in 823 ms of which 7 ms to minimize.
[2024-06-01 08:21:57] [INFO ] Deduced a trap composed of 169 places in 737 ms of which 6 ms to minimize.
[2024-06-01 08:21:57] [INFO ] Deduced a trap composed of 146 places in 709 ms of which 5 ms to minimize.
[2024-06-01 08:21:58] [INFO ] Deduced a trap composed of 35 places in 156 ms of which 2 ms to minimize.
[2024-06-01 08:21:58] [INFO ] Deduced a trap composed of 107 places in 700 ms of which 7 ms to minimize.
[2024-06-01 08:21:59] [INFO ] Deduced a trap composed of 144 places in 633 ms of which 7 ms to minimize.
[2024-06-01 08:22:00] [INFO ] Deduced a trap composed of 114 places in 828 ms of which 8 ms to minimize.
[2024-06-01 08:22:01] [INFO ] Deduced a trap composed of 72 places in 810 ms of which 7 ms to minimize.
[2024-06-01 08:22:02] [INFO ] Deduced a trap composed of 81 places in 793 ms of which 7 ms to minimize.
[2024-06-01 08:22:02] [INFO ] Deduced a trap composed of 87 places in 761 ms of which 7 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/551 variables, 20/68 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
[2024-06-01 08:22:06] [INFO ] Deduced a trap composed of 142 places in 844 ms of which 9 ms to minimize.
[2024-06-01 08:22:06] [INFO ] Deduced a trap composed of 26 places in 651 ms of which 5 ms to minimize.
[2024-06-01 08:22:07] [INFO ] Deduced a trap composed of 47 places in 861 ms of which 8 ms to minimize.
[2024-06-01 08:22:08] [INFO ] Deduced a trap composed of 4 places in 688 ms of which 6 ms to minimize.
[2024-06-01 08:22:08] [INFO ] Deduced a trap composed of 25 places in 675 ms of which 5 ms to minimize.
[2024-06-01 08:22:09] [INFO ] Deduced a trap composed of 106 places in 683 ms of which 5 ms to minimize.
[2024-06-01 08:22:10] [INFO ] Deduced a trap composed of 112 places in 549 ms of which 4 ms to minimize.
[2024-06-01 08:22:10] [INFO ] Deduced a trap composed of 142 places in 600 ms of which 5 ms to minimize.
[2024-06-01 08:22:11] [INFO ] Deduced a trap composed of 158 places in 666 ms of which 5 ms to minimize.
[2024-06-01 08:22:12] [INFO ] Deduced a trap composed of 21 places in 827 ms of which 8 ms to minimize.
[2024-06-01 08:22:13] [INFO ] Deduced a trap composed of 25 places in 880 ms of which 8 ms to minimize.
[2024-06-01 08:22:14] [INFO ] Deduced a trap composed of 39 places in 890 ms of which 5 ms to minimize.
[2024-06-01 08:22:14] [INFO ] Deduced a trap composed of 124 places in 636 ms of which 8 ms to minimize.
[2024-06-01 08:22:15] [INFO ] Deduced a trap composed of 143 places in 882 ms of which 7 ms to minimize.
[2024-06-01 08:22:16] [INFO ] Deduced a trap composed of 148 places in 830 ms of which 8 ms to minimize.
[2024-06-01 08:22:17] [INFO ] Deduced a trap composed of 3 places in 833 ms of which 7 ms to minimize.
SMT process timed out in 182996ms, After SMT, problems are : Problem set: 0 solved, 2265 unsolved
Fused 2265 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 302 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 221 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 221 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 727356 steps (0 resets) in 120006 ms. (6 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 168 ms. (23 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2264/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2264/2264 properties
Interrupted probabilistic random walk after 746500 steps, run timeout after 99001 ms. (steps per millisecond=7 ) properties seen :0 out of 2264
Probabilistic random walk after 746500 steps, saw 523679 distinct states, run finished after 99001 ms. (steps per millisecond=7 ) properties seen :0
[2024-06-01 08:24:30] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:24:30] [INFO ] Invariant cache hit.
[2024-06-01 08:24:30] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/302 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/302 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 2 (OVERLAPS) 249/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-06-01 08:26:02] [INFO ] Deduced a trap composed of 38 places in 879 ms of which 10 ms to minimize.
[2024-06-01 08:26:03] [INFO ] Deduced a trap composed of 74 places in 910 ms of which 8 ms to minimize.
[2024-06-01 08:26:04] [INFO ] Deduced a trap composed of 29 places in 971 ms of which 9 ms to minimize.
[2024-06-01 08:26:04] [INFO ] Deduced a trap composed of 41 places in 946 ms of which 8 ms to minimize.
[2024-06-01 08:26:05] [INFO ] Deduced a trap composed of 37 places in 935 ms of which 8 ms to minimize.
[2024-06-01 08:26:06] [INFO ] Deduced a trap composed of 104 places in 948 ms of which 8 ms to minimize.
[2024-06-01 08:26:07] [INFO ] Deduced a trap composed of 39 places in 899 ms of which 8 ms to minimize.
[2024-06-01 08:26:08] [INFO ] Deduced a trap composed of 33 places in 852 ms of which 8 ms to minimize.
[2024-06-01 08:26:09] [INFO ] Deduced a trap composed of 3 places in 796 ms of which 7 ms to minimize.
[2024-06-01 08:26:10] [INFO ] Deduced a trap composed of 61 places in 918 ms of which 8 ms to minimize.
[2024-06-01 08:26:11] [INFO ] Deduced a trap composed of 108 places in 955 ms of which 8 ms to minimize.
[2024-06-01 08:26:12] [INFO ] Deduced a trap composed of 36 places in 971 ms of which 8 ms to minimize.
[2024-06-01 08:26:13] [INFO ] Deduced a trap composed of 84 places in 866 ms of which 7 ms to minimize.
[2024-06-01 08:26:14] [INFO ] Deduced a trap composed of 89 places in 849 ms of which 7 ms to minimize.
[2024-06-01 08:26:14] [INFO ] Deduced a trap composed of 17 places in 739 ms of which 7 ms to minimize.
[2024-06-01 08:26:15] [INFO ] Deduced a trap composed of 21 places in 908 ms of which 8 ms to minimize.
[2024-06-01 08:26:16] [INFO ] Deduced a trap composed of 126 places in 866 ms of which 8 ms to minimize.
[2024-06-01 08:26:17] [INFO ] Deduced a trap composed of 108 places in 825 ms of which 5 ms to minimize.
SMT process timed out in 107341ms, After SMT, problems are : Problem set: 0 solved, 2264 unsolved
Fused 2264 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 302 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 140 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 140 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 410005 steps (0 resets) in 120004 ms. (3 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 177 ms. (22 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 164 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 182 ms. (21 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 2264/2264 properties
Interrupted probabilistic random walk after 660040 steps, run timeout after 96001 ms. (steps per millisecond=6 ) properties seen :0 out of 2264
Probabilistic random walk after 660040 steps, saw 465961 distinct states, run finished after 96003 ms. (steps per millisecond=6 ) properties seen :0
[2024-06-01 08:28:25] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:28:25] [INFO ] Invariant cache hit.
[2024-06-01 08:28:26] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/302 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/302 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 2 (OVERLAPS) 249/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-06-01 08:30:12] [INFO ] Deduced a trap composed of 38 places in 810 ms of which 9 ms to minimize.
[2024-06-01 08:30:13] [INFO ] Deduced a trap composed of 74 places in 978 ms of which 8 ms to minimize.
[2024-06-01 08:30:14] [INFO ] Deduced a trap composed of 29 places in 981 ms of which 9 ms to minimize.
[2024-06-01 08:30:15] [INFO ] Deduced a trap composed of 41 places in 989 ms of which 9 ms to minimize.
[2024-06-01 08:30:16] [INFO ] Deduced a trap composed of 37 places in 972 ms of which 8 ms to minimize.
[2024-06-01 08:30:17] [INFO ] Deduced a trap composed of 104 places in 968 ms of which 9 ms to minimize.
[2024-06-01 08:30:18] [INFO ] Deduced a trap composed of 39 places in 935 ms of which 11 ms to minimize.
[2024-06-01 08:30:19] [INFO ] Deduced a trap composed of 33 places in 990 ms of which 9 ms to minimize.
[2024-06-01 08:30:20] [INFO ] Deduced a trap composed of 3 places in 1026 ms of which 8 ms to minimize.
[2024-06-01 08:30:21] [INFO ] Deduced a trap composed of 61 places in 996 ms of which 8 ms to minimize.
[2024-06-01 08:30:22] [INFO ] Deduced a trap composed of 108 places in 1002 ms of which 8 ms to minimize.
[2024-06-01 08:30:23] [INFO ] Deduced a trap composed of 36 places in 897 ms of which 8 ms to minimize.
[2024-06-01 08:30:24] [INFO ] Deduced a trap composed of 84 places in 910 ms of which 7 ms to minimize.
[2024-06-01 08:30:25] [INFO ] Deduced a trap composed of 89 places in 914 ms of which 8 ms to minimize.
[2024-06-01 08:30:26] [INFO ] Deduced a trap composed of 17 places in 819 ms of which 8 ms to minimize.
[2024-06-01 08:30:26] [INFO ] Deduced a trap composed of 21 places in 824 ms of which 7 ms to minimize.
[2024-06-01 08:30:27] [INFO ] Deduced a trap composed of 126 places in 904 ms of which 9 ms to minimize.
[2024-06-01 08:30:28] [INFO ] Deduced a trap composed of 108 places in 897 ms of which 7 ms to minimize.
[2024-06-01 08:30:29] [INFO ] Deduced a trap composed of 124 places in 797 ms of which 7 ms to minimize.
SMT process timed out in 123683ms, After SMT, problems are : Problem set: 0 solved, 2264 unsolved
Fused 2264 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 302 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 208 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 208 ms. Remains : 551/551 places, 3492/3492 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 197 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
[2024-06-01 08:30:30] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:30:30] [INFO ] Invariant cache hit.
[2024-06-01 08:30:30] [INFO ] Implicit Places using invariants in 541 ms returned []
[2024-06-01 08:30:30] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:30:30] [INFO ] Invariant cache hit.
[2024-06-01 08:30:31] [INFO ] State equation strengthened by 876 read => feed constraints.
[2024-06-01 08:30:33] [INFO ] Implicit Places using invariants and state equation in 3346 ms returned []
Implicit Place search using SMT with State Equation took 3894 ms to find 0 implicit places.
[2024-06-01 08:30:34] [INFO ] Redundant transitions in 474 ms returned []
Running 3483 sub problems to find dead transitions.
[2024-06-01 08:30:34] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:30:34] [INFO ] Invariant cache hit.
[2024-06-01 08:30:34] [INFO ] State equation strengthened by 876 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/551 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 3483 unsolved
SMT process timed out in 34157ms, After SMT, problems are : Problem set: 0 solved, 3483 unsolved
Search for dead transitions found 0 dead transitions in 34218ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 38806 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 400000 steps (8 resets) in 20602 ms. (19 steps per ms) remains 147/302 properties
Running SMT prover for 147 properties.
[2024-06-01 08:31:14] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-06-01 08:31:14] [INFO ] Invariant cache hit.
[2024-06-01 08:31:15] [INFO ] [Real]Absence check using 19 positive place invariants in 16 ms returned sat
[2024-06-01 08:31:15] [INFO ] [Real]Absence check using 19 positive and 9 generalized place invariants in 7 ms returned sat
[2024-06-01 08:31:16] [INFO ] After 864ms SMT Verify possible using state equation in real domain returned unsat :0 sat :147
[2024-06-01 08:31:16] [INFO ] State equation strengthened by 876 read => feed constraints.
[2024-06-01 08:31:17] [INFO ] After 1551ms SMT Verify possible using 876 Read/Feed constraints in real domain returned unsat :0 sat :147
TRAPS : Iteration 0
[2024-06-01 08:31:38] [INFO ] After 22522ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:147
[2024-06-01 08:31:38] [INFO ] After 23772ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:147
[2024-06-01 08:31:38] [INFO ] [Nat]Absence check using 19 positive place invariants in 18 ms returned sat
[2024-06-01 08:31:38] [INFO ] [Nat]Absence check using 19 positive and 9 generalized place invariants in 8 ms returned sat
[2024-06-01 08:31:39] [INFO ] After 782ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :147
[2024-06-01 08:31:41] [INFO ] After 2186ms SMT Verify possible using 876 Read/Feed constraints in natural domain returned unsat :0 sat :147
TRAPS : Iteration 0
[2024-06-01 08:31:42] [INFO ] Deduced a trap composed of 3 places in 912 ms of which 9 ms to minimize.
[2024-06-01 08:31:44] [INFO ] Deduced a trap composed of 32 places in 1021 ms of which 9 ms to minimize.
[2024-06-01 08:31:44] [INFO ] Deduced a trap composed of 27 places in 633 ms of which 6 ms to minimize.
[2024-06-01 08:31:45] [INFO ] Deduced a trap composed of 27 places in 838 ms of which 8 ms to minimize.
[2024-06-01 08:31:46] [INFO ] Deduced a trap composed of 21 places in 793 ms of which 8 ms to minimize.
[2024-06-01 08:31:47] [INFO ] Deduced a trap composed of 3 places in 981 ms of which 8 ms to minimize.
[2024-06-01 08:31:48] [INFO ] Deduced a trap composed of 72 places in 933 ms of which 8 ms to minimize.
[2024-06-01 08:31:49] [INFO ] Deduced a trap composed of 60 places in 891 ms of which 8 ms to minimize.
[2024-06-01 08:31:50] [INFO ] Deduced a trap composed of 4 places in 926 ms of which 8 ms to minimize.
[2024-06-01 08:31:51] [INFO ] Deduced a trap composed of 4 places in 825 ms of which 14 ms to minimize.
[2024-06-01 08:31:51] [INFO ] Deduced a trap composed of 57 places in 393 ms of which 4 ms to minimize.
[2024-06-01 08:31:52] [INFO ] Deduced a trap composed of 42 places in 376 ms of which 4 ms to minimize.
[2024-06-01 08:31:52] [INFO ] Deduced a trap composed of 11 places in 389 ms of which 3 ms to minimize.
[2024-06-01 08:31:52] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 10917 ms
[2024-06-01 08:31:53] [INFO ] Deduced a trap composed of 3 places in 110 ms of which 2 ms to minimize.
[2024-06-01 08:31:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 268 ms
[2024-06-01 08:31:54] [INFO ] Deduced a trap composed of 3 places in 681 ms of which 7 ms to minimize.
[2024-06-01 08:31:54] [INFO ] Deduced a trap composed of 13 places in 288 ms of which 3 ms to minimize.
[2024-06-01 08:31:54] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1203 ms
[2024-06-01 08:31:54] [INFO ] Deduced a trap composed of 3 places in 99 ms of which 1 ms to minimize.
[2024-06-01 08:31:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 248 ms
[2024-06-01 08:31:55] [INFO ] Deduced a trap composed of 3 places in 110 ms of which 2 ms to minimize.
[2024-06-01 08:31:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 271 ms
[2024-06-01 08:31:55] [INFO ] Deduced a trap composed of 3 places in 114 ms of which 2 ms to minimize.
[2024-06-01 08:31:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 266 ms
[2024-06-01 08:31:56] [INFO ] Deduced a trap composed of 21 places in 195 ms of which 2 ms to minimize.
[2024-06-01 08:31:56] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 361 ms
[2024-06-01 08:31:57] [INFO ] Deduced a trap composed of 15 places in 197 ms of which 2 ms to minimize.
[2024-06-01 08:31:57] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 354 ms
[2024-06-01 08:31:58] [INFO ] Deduced a trap composed of 59 places in 289 ms of which 4 ms to minimize.
[2024-06-01 08:31:58] [INFO ] Deduced a trap composed of 33 places in 265 ms of which 2 ms to minimize.
[2024-06-01 08:31:59] [INFO ] Deduced a trap composed of 23 places in 292 ms of which 4 ms to minimize.
[2024-06-01 08:31:59] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1159 ms
[2024-06-01 08:32:00] [INFO ] Deduced a trap composed of 27 places in 287 ms of which 3 ms to minimize.
[2024-06-01 08:32:00] [INFO ] Deduced a trap composed of 19 places in 282 ms of which 3 ms to minimize.
[2024-06-01 08:32:00] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 805 ms
[2024-06-01 08:32:02] [INFO ] Deduced a trap composed of 27 places in 380 ms of which 5 ms to minimize.
[2024-06-01 08:32:02] [INFO ] Deduced a trap composed of 29 places in 272 ms of which 3 ms to minimize.
[2024-06-01 08:32:03] [INFO ] Deduced a trap composed of 33 places in 273 ms of which 3 ms to minimize.
[2024-06-01 08:32:03] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1233 ms
[2024-06-01 08:32:03] [INFO ] Deduced a trap composed of 3 places in 111 ms of which 2 ms to minimize.
[2024-06-01 08:32:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 275 ms
[2024-06-01 08:32:04] [INFO ] Deduced a trap composed of 31 places in 199 ms of which 3 ms to minimize.
[2024-06-01 08:32:04] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 355 ms
[2024-06-01 08:32:06] [INFO ] Deduced a trap composed of 31 places in 187 ms of which 2 ms to minimize.
[2024-06-01 08:32:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 343 ms
[2024-06-01 08:32:08] [INFO ] Deduced a trap composed of 35 places in 284 ms of which 3 ms to minimize.
[2024-06-01 08:32:08] [INFO ] Deduced a trap composed of 29 places in 292 ms of which 3 ms to minimize.
[2024-06-01 08:32:08] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 820 ms
[2024-06-01 08:32:09] [INFO ] Deduced a trap composed of 17 places in 490 ms of which 4 ms to minimize.
[2024-06-01 08:32:10] [INFO ] Deduced a trap composed of 26 places in 389 ms of which 4 ms to minimize.
[2024-06-01 08:32:10] [INFO ] Deduced a trap composed of 21 places in 379 ms of which 4 ms to minimize.
[2024-06-01 08:32:11] [INFO ] Deduced a trap composed of 23 places in 283 ms of which 3 ms to minimize.
[2024-06-01 08:32:11] [INFO ] Deduced a trap composed of 25 places in 169 ms of which 2 ms to minimize.
[2024-06-01 08:32:11] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 2178 ms
[2024-06-01 08:32:12] [INFO ] Deduced a trap composed of 15 places in 220 ms of which 2 ms to minimize.
[2024-06-01 08:32:13] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 376 ms
[2024-06-01 08:32:13] [INFO ] Deduced a trap composed of 53 places in 183 ms of which 2 ms to minimize.
[2024-06-01 08:32:13] [INFO ] Deduced a trap composed of 23 places in 147 ms of which 2 ms to minimize.
[2024-06-01 08:32:13] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 570 ms
[2024-06-01 08:32:14] [INFO ] Deduced a trap composed of 21 places in 180 ms of which 2 ms to minimize.
[2024-06-01 08:32:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 338 ms
[2024-06-01 08:32:19] [INFO ] Deduced a trap composed of 27 places in 157 ms of which 3 ms to minimize.
[2024-06-01 08:32:19] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 312 ms
[2024-06-01 08:32:20] [INFO ] Deduced a trap composed of 22 places in 285 ms of which 3 ms to minimize.
[2024-06-01 08:32:20] [INFO ] Deduced a trap composed of 23 places in 171 ms of which 2 ms to minimize.
[2024-06-01 08:32:20] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 691 ms
[2024-06-01 08:32:23] [INFO ] Deduced a trap composed of 39 places in 144 ms of which 2 ms to minimize.
[2024-06-01 08:32:23] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 263 ms
[2024-06-01 08:32:23] [INFO ] Deduced a trap composed of 29 places in 132 ms of which 2 ms to minimize.
[2024-06-01 08:32:23] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 252 ms
[2024-06-01 08:32:23] [INFO ] Deduced a trap composed of 33 places in 184 ms of which 2 ms to minimize.
[2024-06-01 08:32:23] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 327 ms
TRAPS : Iteration 1
[2024-06-01 08:32:24] [INFO ] Deduced a trap composed of 37 places in 181 ms of which 2 ms to minimize.
[2024-06-01 08:32:24] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 346 ms
[2024-06-01 08:32:24] [INFO ] Deduced a trap composed of 31 places in 293 ms of which 4 ms to minimize.
[2024-06-01 08:32:25] [INFO ] Deduced a trap composed of 25 places in 292 ms of which 4 ms to minimize.
[2024-06-01 08:32:25] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 820 ms
[2024-06-01 08:32:26] [INFO ] Deduced a trap composed of 41 places in 347 ms of which 4 ms to minimize.
[2024-06-01 08:32:26] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 501 ms
[2024-06-01 08:32:27] [INFO ] Deduced a trap composed of 25 places in 594 ms of which 5 ms to minimize.
[2024-06-01 08:32:28] [INFO ] Deduced a trap composed of 17 places in 693 ms of which 7 ms to minimize.
[2024-06-01 08:32:28] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1520 ms
[2024-06-01 08:32:29] [INFO ] Deduced a trap composed of 32 places in 152 ms of which 2 ms to minimize.
[2024-06-01 08:32:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 288 ms
[2024-06-01 08:32:30] [INFO ] Deduced a trap composed of 23 places in 380 ms of which 2 ms to minimize.
[2024-06-01 08:32:30] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 521 ms
[2024-06-01 08:32:31] [INFO ] Deduced a trap composed of 30 places in 206 ms of which 2 ms to minimize.
[2024-06-01 08:32:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 365 ms
[2024-06-01 08:32:37] [INFO ] Deduced a trap composed of 59 places in 205 ms of which 2 ms to minimize.
[2024-06-01 08:32:38] [INFO ] Deduced a trap composed of 27 places in 210 ms of which 3 ms to minimize.
[2024-06-01 08:32:38] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 660 ms
[2024-06-01 08:32:40] [INFO ] Deduced a trap composed of 132 places in 875 ms of which 8 ms to minimize.
[2024-06-01 08:32:40] [INFO ] Deduced a trap composed of 35 places in 203 ms of which 3 ms to minimize.
[2024-06-01 08:32:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1326 ms
[2024-06-01 08:32:42] [INFO ] Deduced a trap composed of 26 places in 181 ms of which 2 ms to minimize.
[2024-06-01 08:32:42] [INFO ] Deduced a trap composed of 19 places in 180 ms of which 3 ms to minimize.
[2024-06-01 08:32:42] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 597 ms
TRAPS : Iteration 2
[2024-06-01 08:32:53] [INFO ] Deduced a trap composed of 19 places in 301 ms of which 4 ms to minimize.
[2024-06-01 08:32:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 464 ms
[2024-06-01 08:32:54] [INFO ] Deduced a trap composed of 106 places in 723 ms of which 7 ms to minimize.
[2024-06-01 08:32:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 900 ms
TRAPS : Iteration 3
[2024-06-01 08:33:23] [INFO ] Deduced a trap composed of 25 places in 197 ms of which 3 ms to minimize.
[2024-06-01 08:33:23] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 429 ms
TRAPS : Iteration 4
[2024-06-01 08:33:57] [INFO ] After 137717ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :147
[2024-06-01 08:34:00] [INFO ] After 141926ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :147
RANDOM walk for 742408 steps (0 resets) in 120005 ms. (6 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 141 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 176 ms. (22 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 162 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 171 ms. (23 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 179 ms. (22 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 138 ms. (28 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 2264/2264 properties
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 Liveness -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="EisenbergMcGuire-PT-09"
export BK_EXAMINATION="Liveness"
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 EisenbergMcGuire-PT-09, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r494-smll-171636275100124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/EisenbergMcGuire-PT-09.tgz
mv EisenbergMcGuire-PT-09 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "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 [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "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 "Liveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property Liveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "Liveness.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 [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
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 ;