About the Execution of GreatSPN+red for MultiCrashLeafsetExtension-PT-S16C07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2063.447 | 1800000.00 | 2864994.00 | 3666.80 | [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.r254-tall-171654363300028.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is MultiCrashLeafsetExtension-PT-S16C07, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r254-tall-171654363300028
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Apr 12 06:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Apr 12 06:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 5.7M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1716624070113
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C07
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-25 08:01:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2024-05-25 08:01:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 08:01:11] [INFO ] Load time of PNML (sax parser for PT used): 387 ms
[2024-05-25 08:01:11] [INFO ] Transformed 6222 places.
[2024-05-25 08:01:11] [INFO ] Transformed 8685 transitions.
[2024-05-25 08:01:11] [INFO ] Parsed PT model containing 6222 places and 8685 transitions and 32582 arcs in 544 ms.
RANDOM walk for 40000 steps (548 resets) in 9286 ms. (4 steps per ms) remains 2207/6222 properties
BEST_FIRST walk for 124 steps (4 resets) in 30 ms. (4 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 17 ms. (6 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 33 ms. (3 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 27 ms. (4 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 24 ms. (4 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 24 ms. (4 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 23 ms. (5 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 13 ms. (8 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 11 ms. (10 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 29 ms. (4 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 19 ms. (6 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 19 ms. (6 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 9 ms. (12 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 5 ms. (20 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 7 ms. (15 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 6 ms. (17 steps per ms) remains 2207/2207 properties
BEST_FIRST walk for 124 steps (4 resets) in 8 ms. (13 steps per ms) remains 2207/2207 properties
[2024-05-25 08:01:14] [INFO ] Flow matrix only has 8413 transitions (discarded 272 similar events)
// Phase 1: matrix 8413 rows 6222 cols
[2024-05-25 08:01:15] [INFO ] Computed 611 invariants in 534 ms
[2024-05-25 08:01:15] [INFO ] State equation strengthened by 2450 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/2207 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2207 unsolved
SMT process timed out in 7726ms, After SMT, problems are : Problem set: 0 solved, 2207 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 2207 out of 6222 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6222/6222 places, 8685/8685 transitions.
Graph (complete) has 19247 edges and 6222 vertex of which 6189 are kept as prefixes of interest. Removing 33 places using SCC suffix rule.22 ms
Discarding 33 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 1185 transitions
Trivial Post-agglo rules discarded 1185 transitions
Performed 1185 trivial Post agglomeration. Transition count delta: 1185
Iterating post reduction 0 with 1185 rules applied. Total rules applied 1186 place count 6189 transition count 7500
Reduce places removed 1185 places and 0 transitions.
Iterating post reduction 1 with 1185 rules applied. Total rules applied 2371 place count 5004 transition count 7500
Performed 189 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 189 Pre rules applied. Total rules applied 2371 place count 5004 transition count 7311
Deduced a syphon composed of 189 places in 7 ms
Reduce places removed 189 places and 0 transitions.
Iterating global reduction 2 with 378 rules applied. Total rules applied 2749 place count 4815 transition count 7311
Discarding 996 places :
Symmetric choice reduction at 2 with 996 rule applications. Total rules 3745 place count 3819 transition count 6315
Iterating global reduction 2 with 996 rules applied. Total rules applied 4741 place count 3819 transition count 6315
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 4751 place count 3814 transition count 6310
Free-agglomeration rule (complex) applied 311 times.
Iterating global reduction 2 with 311 rules applied. Total rules applied 5062 place count 3814 transition count 5999
Reduce places removed 311 places and 0 transitions.
Iterating post reduction 2 with 311 rules applied. Total rules applied 5373 place count 3503 transition count 5999
Partial Free-agglomeration rule applied 189 times.
Drop transitions (Partial Free agglomeration) removed 189 transitions
Iterating global reduction 3 with 189 rules applied. Total rules applied 5562 place count 3503 transition count 5999
Applied a total of 5562 rules in 1580 ms. Remains 3503 /6222 variables (removed 2719) and now considering 5999/8685 (removed 2686) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1592 ms. Remains : 3503/6222 places, 5999/8685 transitions.
RANDOM walk for 1326961 steps (29766 resets) in 120008 ms. (11 steps per ms) remains 967/2207 properties
BEST_FIRST walk for 4004 steps (16 resets) in 99 ms. (40 steps per ms) remains 967/967 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 967/967 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 967/967 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 967/967 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 965/967 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 965/965 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 965/965 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 965/965 properties
BEST_FIRST walk for 4001 steps (16 resets) in 58 ms. (67 steps per ms) remains 965/965 properties
BEST_FIRST walk for 4003 steps (16 resets) in 83 ms. (47 steps per ms) remains 963/965 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 963/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 961/963 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 80 ms. (49 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 60 ms. (65 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 961/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 959/961 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 959/959 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 957/959 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 957/957 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 957/957 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 957/957 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 956/957 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 61 ms. (64 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 956/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/956 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 954/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 952/954 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 952/952 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/952 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4003 steps (16 resets) in 55 ms. (71 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4002 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 950/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/950 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4003 steps (16 resets) in 56 ms. (70 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4003 steps (16 resets) in 51 ms. (76 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4003 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4003 steps (16 resets) in 55 ms. (71 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 57 ms. (69 steps per ms) remains 948/948 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 946/948 properties
BEST_FIRST walk for 4003 steps (16 resets) in 55 ms. (71 steps per ms) remains 944/946 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 944/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/944 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4003 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4003 steps (16 resets) in 54 ms. (72 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 942/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 940/942 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 940/940 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 938/940 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 938/938 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 938/938 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 938/938 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 938/938 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 938/938 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 937/938 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 937/937 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 937/937 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 937/937 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 937/937 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/937 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4003 steps (16 resets) in 56 ms. (70 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 60 ms. (65 steps per ms) remains 932/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/932 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4003 steps (16 resets) in 49 ms. (80 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 60 ms. (65 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 930/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 928/930 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4003 steps (16 resets) in 49 ms. (80 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 928/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/928 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4003 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 926/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 926/926 properties
[2024-05-25 08:01:59] [INFO ] Flow matrix only has 5688 transitions (discarded 311 similar events)
// Phase 1: matrix 5688 rows 3503 cols
[2024-05-25 08:02:00] [INFO ] Computed 578 invariants in 154 ms
[2024-05-25 08:02:00] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/926 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 926 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 926/9191 variables, and 4 constraints, problems are : Problem set: 0 solved, 926 unsolved in 45031 ms.
Refiners :[Positive P Invariants (semi-flows): 0/40 constraints, Generalized P Invariants (flows): 4/538 constraints, State Equation: 0/3503 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 926/926 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 926 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/926 variables, 4/4 constraints. Problems are: Problem set: 0 solved, 926 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/926 variables, 0/4 constraints. Problems are: Problem set: 0 solved, 926 unsolved
At refinement iteration 2 (OVERLAPS) 1401/2327 variables, 5/9 constraints. Problems are: Problem set: 0 solved, 926 unsolved
[2024-05-25 08:03:00] [INFO ] Deduced a trap composed of 1510 places in 1436 ms of which 94 ms to minimize.
[2024-05-25 08:03:01] [INFO ] Deduced a trap composed of 1456 places in 1352 ms of which 11 ms to minimize.
[2024-05-25 08:03:02] [INFO ] Deduced a trap composed of 1443 places in 1382 ms of which 11 ms to minimize.
[2024-05-25 08:03:04] [INFO ] Deduced a trap composed of 1490 places in 1301 ms of which 11 ms to minimize.
[2024-05-25 08:03:05] [INFO ] Deduced a trap composed of 1447 places in 1359 ms of which 11 ms to minimize.
[2024-05-25 08:03:07] [INFO ] Deduced a trap composed of 1526 places in 1331 ms of which 12 ms to minimize.
[2024-05-25 08:03:08] [INFO ] Deduced a trap composed of 1465 places in 1312 ms of which 11 ms to minimize.
[2024-05-25 08:03:12] [INFO ] Deduced a trap composed of 1403 places in 1304 ms of which 11 ms to minimize.
[2024-05-25 08:03:14] [INFO ] Deduced a trap composed of 1395 places in 1286 ms of which 11 ms to minimize.
[2024-05-25 08:03:15] [INFO ] Deduced a trap composed of 1429 places in 1324 ms of which 11 ms to minimize.
[2024-05-25 08:03:17] [INFO ] Deduced a trap composed of 1350 places in 1095 ms of which 10 ms to minimize.
[2024-05-25 08:03:18] [INFO ] Deduced a trap composed of 1373 places in 1115 ms of which 11 ms to minimize.
[2024-05-25 08:03:19] [INFO ] Deduced a trap composed of 1455 places in 1127 ms of which 11 ms to minimize.
[2024-05-25 08:03:25] [INFO ] Deduced a trap composed of 1431 places in 1285 ms of which 11 ms to minimize.
[2024-05-25 08:03:27] [INFO ] Deduced a trap composed of 1325 places in 1262 ms of which 14 ms to minimize.
[2024-05-25 08:03:30] [INFO ] Deduced a trap composed of 1464 places in 1204 ms of which 10 ms to minimize.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2327/9191 variables, and 25 constraints, problems are : Problem set: 0 solved, 926 unsolved in 45031 ms.
Refiners :[Positive P Invariants (semi-flows): 5/40 constraints, Generalized P Invariants (flows): 4/538 constraints, State Equation: 0/3503 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 0/926 constraints, Known Traps: 16/16 constraints]
After SMT, in 90783ms problems are : Problem set: 0 solved, 926 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 926 out of 3503 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3503/3503 places, 5999/5999 transitions.
Graph (complete) has 22690 edges and 3503 vertex of which 3502 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.3 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions (Trivial Post-Agglo cleanup.) removed 502 transitions
Trivial Post-agglo rules discarded 502 transitions
Performed 502 trivial Post agglomeration. Transition count delta: 502
Iterating post reduction 0 with 502 rules applied. Total rules applied 503 place count 3502 transition count 5497
Reduce places removed 502 places and 0 transitions.
Iterating post reduction 1 with 502 rules applied. Total rules applied 1005 place count 3000 transition count 5497
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 1005 place count 3000 transition count 5452
Deduced a syphon composed of 45 places in 2 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 1095 place count 2955 transition count 5452
Discarding 367 places :
Symmetric choice reduction at 2 with 367 rule applications. Total rules 1462 place count 2588 transition count 5085
Iterating global reduction 2 with 367 rules applied. Total rules applied 1829 place count 2588 transition count 5085
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 1833 place count 2586 transition count 5083
Free-agglomeration rule (complex) applied 40 times.
Iterating global reduction 2 with 40 rules applied. Total rules applied 1873 place count 2586 transition count 5043
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 2 with 40 rules applied. Total rules applied 1913 place count 2546 transition count 5043
Discarding 71 places :
Symmetric choice reduction at 3 with 71 rule applications. Total rules 1984 place count 2475 transition count 4972
Iterating global reduction 3 with 71 rules applied. Total rules applied 2055 place count 2475 transition count 4972
Partial Free-agglomeration rule applied 64 times.
Drop transitions (Partial Free agglomeration) removed 64 transitions
Iterating global reduction 3 with 64 rules applied. Total rules applied 2119 place count 2475 transition count 4972
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 2138 place count 2456 transition count 4953
Iterating global reduction 3 with 19 rules applied. Total rules applied 2157 place count 2456 transition count 4953
Applied a total of 2157 rules in 795 ms. Remains 2456 /3503 variables (removed 1047) and now considering 4953/5999 (removed 1046) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 797 ms. Remains : 2456/3503 places, 4953/5999 transitions.
RANDOM walk for 1969685 steps (45128 resets) in 120004 ms. (16 steps per ms) remains 785/926 properties
BEST_FIRST walk for 4004 steps (16 resets) in 59 ms. (66 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 54 ms. (72 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4002 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 785/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 784/785 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4002 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4002 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4002 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 47 ms. (83 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4002 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 784/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 784/784 properties
[2024-05-25 08:04:02] [INFO ] Flow matrix only has 4612 transitions (discarded 341 similar events)
// Phase 1: matrix 4612 rows 2456 cols
[2024-05-25 08:04:02] [INFO ] Computed 577 invariants in 71 ms
[2024-05-25 08:04:02] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/784 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 784 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/784 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 784 unsolved
At refinement iteration 2 (OVERLAPS) 896/1680 variables, 5/8 constraints. Problems are: Problem set: 0 solved, 784 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1680 variables, 0/8 constraints. Problems are: Problem set: 0 solved, 784 unsolved
At refinement iteration 4 (OVERLAPS) 658/2338 variables, 451/459 constraints. Problems are: Problem set: 0 solved, 784 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2338/7068 variables, and 459 constraints, problems are : Problem set: 0 solved, 784 unsolved in 75022 ms.
Refiners :[Positive P Invariants (semi-flows): 5/33 constraints, Generalized P Invariants (flows): 454/544 constraints, State Equation: 0/2456 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 784/784 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 784 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/784 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 784 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/784 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 784 unsolved
At refinement iteration 2 (OVERLAPS) 896/1680 variables, 5/8 constraints. Problems are: Problem set: 0 solved, 784 unsolved
[2024-05-25 08:05:27] [INFO ] Deduced a trap composed of 838 places in 790 ms of which 7 ms to minimize.
[2024-05-25 08:05:28] [INFO ] Deduced a trap composed of 914 places in 785 ms of which 7 ms to minimize.
[2024-05-25 08:05:29] [INFO ] Deduced a trap composed of 803 places in 782 ms of which 8 ms to minimize.
[2024-05-25 08:05:30] [INFO ] Deduced a trap composed of 874 places in 782 ms of which 8 ms to minimize.
[2024-05-25 08:05:31] [INFO ] Deduced a trap composed of 861 places in 785 ms of which 8 ms to minimize.
[2024-05-25 08:05:32] [INFO ] Deduced a trap composed of 872 places in 768 ms of which 7 ms to minimize.
[2024-05-25 08:05:36] [INFO ] Deduced a trap composed of 802 places in 774 ms of which 8 ms to minimize.
[2024-05-25 08:05:36] [INFO ] Deduced a trap composed of 888 places in 745 ms of which 7 ms to minimize.
[2024-05-25 08:05:37] [INFO ] Deduced a trap composed of 858 places in 782 ms of which 7 ms to minimize.
[2024-05-25 08:05:38] [INFO ] Deduced a trap composed of 864 places in 757 ms of which 7 ms to minimize.
[2024-05-25 08:05:39] [INFO ] Deduced a trap composed of 857 places in 762 ms of which 7 ms to minimize.
[2024-05-25 08:05:40] [INFO ] Deduced a trap composed of 818 places in 777 ms of which 7 ms to minimize.
[2024-05-25 08:05:40] [INFO ] Deduced a trap composed of 796 places in 762 ms of which 7 ms to minimize.
[2024-05-25 08:05:45] [INFO ] Deduced a trap composed of 811 places in 667 ms of which 8 ms to minimize.
[2024-05-25 08:05:45] [INFO ] Deduced a trap composed of 840 places in 660 ms of which 8 ms to minimize.
[2024-05-25 08:05:46] [INFO ] Deduced a trap composed of 840 places in 645 ms of which 7 ms to minimize.
[2024-05-25 08:05:47] [INFO ] Deduced a trap composed of 829 places in 654 ms of which 8 ms to minimize.
[2024-05-25 08:05:47] [INFO ] Deduced a trap composed of 821 places in 673 ms of which 7 ms to minimize.
[2024-05-25 08:05:49] [INFO ] Deduced a trap composed of 851 places in 749 ms of which 11 ms to minimize.
[2024-05-25 08:05:50] [INFO ] Deduced a trap composed of 897 places in 770 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1680 variables, 20/28 constraints. Problems are: Problem set: 0 solved, 784 unsolved
[2024-05-25 08:06:12] [INFO ] Deduced a trap composed of 834 places in 653 ms of which 8 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/1680 variables, 1/29 constraints. Problems are: Problem set: 0 solved, 784 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1680/7068 variables, and 29 constraints, problems are : Problem set: 0 solved, 784 unsolved in 75017 ms.
Refiners :[Positive P Invariants (semi-flows): 5/33 constraints, Generalized P Invariants (flows): 3/544 constraints, State Equation: 0/2456 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 0/784 constraints, Known Traps: 21/21 constraints]
After SMT, in 150692ms problems are : Problem set: 0 solved, 784 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 784 out of 2456 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2456/2456 places, 4953/4953 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 0 with 58 rules applied. Total rules applied 58 place count 2456 transition count 4895
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 1 with 58 rules applied. Total rules applied 116 place count 2398 transition count 4895
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 116 place count 2398 transition count 4894
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 118 place count 2397 transition count 4894
Discarding 26 places :
Symmetric choice reduction at 2 with 26 rule applications. Total rules 144 place count 2371 transition count 4868
Iterating global reduction 2 with 26 rules applied. Total rules applied 170 place count 2371 transition count 4868
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 176 place count 2371 transition count 4862
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 182 place count 2365 transition count 4862
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 189 place count 2358 transition count 4855
Iterating global reduction 3 with 7 rules applied. Total rules applied 196 place count 2358 transition count 4855
Partial Free-agglomeration rule applied 25 times.
Drop transitions (Partial Free agglomeration) removed 25 transitions
Iterating global reduction 3 with 25 rules applied. Total rules applied 221 place count 2358 transition count 4855
Discarding 24 places :
Symmetric choice reduction at 3 with 24 rule applications. Total rules 245 place count 2334 transition count 4831
Iterating global reduction 3 with 24 rules applied. Total rules applied 269 place count 2334 transition count 4831
Applied a total of 269 rules in 525 ms. Remains 2334 /2456 variables (removed 122) and now considering 4831/4953 (removed 122) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 525 ms. Remains : 2334/2456 places, 4831/4953 transitions.
RANDOM walk for 2082469 steps (47717 resets) in 120004 ms. (17 steps per ms) remains 701/784 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 67 ms. (58 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 82 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 65 ms. (60 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 74 ms. (53 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 59 ms. (66 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 59 ms. (66 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 69 ms. (57 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 67 ms. (58 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (16 resets) in 61 ms. (64 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 51 ms. (77 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 53 ms. (74 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 82 ms. (48 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 58 ms. (67 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 55 ms. (71 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 86 ms. (46 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 63 ms. (62 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (16 resets) in 98 ms. (40 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 48 ms. (81 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 75 ms. (52 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (16 resets) in 44 ms. (88 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4002 steps (16 resets) in 55 ms. (71 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 98 ms. (40 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 90 ms. (43 steps per ms) remains 701/701 properties
BEST_FIRST walk for 4003 steps (16 resets) in 82 ms. (48 steps per ms) remains 701/701 properties
[2024-05-25 08:07:04] [INFO ] Flow matrix only has 4486 transitions (discarded 345 similar events)
// Phase 1: matrix 4486 rows 2334 cols
[2024-05-25 08:07:04] [INFO ] Computed 577 invariants in 65 ms
[2024-05-25 08:07:04] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/701 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 1 (OVERLAPS) 855/1556 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1556 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 3 (OVERLAPS) 660/2216 variables, 456/459 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2216 variables, 0/459 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 5 (OVERLAPS) 28/2244 variables, 28/487 constraints. Problems are: Problem set: 0 solved, 701 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2244/6820 variables, and 487 constraints, problems are : Problem set: 0 solved, 701 unsolved in 90018 ms.
Refiners :[Positive P Invariants (semi-flows): 31/31 constraints, Generalized P Invariants (flows): 456/546 constraints, State Equation: 0/2334 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 701/701 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 701 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/701 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 1 (OVERLAPS) 855/1556 variables, 3/3 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1556 variables, 0/3 constraints. Problems are: Problem set: 0 solved, 701 unsolved
At refinement iteration 3 (OVERLAPS) 660/2216 variables, 456/459 constraints. Problems are: Problem set: 0 solved, 701 unsolved
[2024-05-25 08:09:12] [INFO ] Deduced a trap composed of 6 places in 1975 ms of which 14 ms to minimize.
[2024-05-25 08:09:14] [INFO ] Deduced a trap composed of 28 places in 1817 ms of which 12 ms to minimize.
[2024-05-25 08:09:16] [INFO ] Deduced a trap composed of 361 places in 2068 ms of which 14 ms to minimize.
[2024-05-25 08:09:18] [INFO ] Deduced a trap composed of 28 places in 1990 ms of which 13 ms to minimize.
[2024-05-25 08:09:20] [INFO ] Deduced a trap composed of 58 places in 2033 ms of which 14 ms to minimize.
[2024-05-25 08:09:22] [INFO ] Deduced a trap composed of 271 places in 2054 ms of which 14 ms to minimize.
[2024-05-25 08:09:24] [INFO ] Deduced a trap composed of 60 places in 1680 ms of which 13 ms to minimize.
[2024-05-25 08:09:26] [INFO ] Deduced a trap composed of 417 places in 1985 ms of which 14 ms to minimize.
[2024-05-25 08:09:26] [INFO ] Deduced a trap composed of 93 places in 235 ms of which 4 ms to minimize.
[2024-05-25 08:09:26] [INFO ] Deduced a trap composed of 141 places in 235 ms of which 3 ms to minimize.
[2024-05-25 08:09:27] [INFO ] Deduced a trap composed of 142 places in 241 ms of which 3 ms to minimize.
[2024-05-25 08:09:29] [INFO ] Deduced a trap composed of 315 places in 2037 ms of which 14 ms to minimize.
[2024-05-25 08:09:30] [INFO ] Deduced a trap composed of 140 places in 1705 ms of which 14 ms to minimize.
[2024-05-25 08:09:32] [INFO ] Deduced a trap composed of 161 places in 2015 ms of which 14 ms to minimize.
[2024-05-25 08:09:34] [INFO ] Deduced a trap composed of 423 places in 2026 ms of which 15 ms to minimize.
[2024-05-25 08:09:35] [INFO ] Deduced a trap composed of 153 places in 236 ms of which 4 ms to minimize.
[2024-05-25 08:09:37] [INFO ] Deduced a trap composed of 153 places in 2015 ms of which 14 ms to minimize.
[2024-05-25 08:09:39] [INFO ] Deduced a trap composed of 140 places in 2003 ms of which 13 ms to minimize.
[2024-05-25 08:09:41] [INFO ] Deduced a trap composed of 150 places in 1939 ms of which 15 ms to minimize.
[2024-05-25 08:09:43] [INFO ] Deduced a trap composed of 60 places in 1950 ms of which 14 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/2216 variables, 20/479 constraints. Problems are: Problem set: 0 solved, 701 unsolved
[2024-05-25 08:09:46] [INFO ] Deduced a trap composed of 93 places in 1929 ms of which 14 ms to minimize.
[2024-05-25 08:09:48] [INFO ] Deduced a trap composed of 120 places in 2003 ms of which 15 ms to minimize.
[2024-05-25 08:09:50] [INFO ] Deduced a trap composed of 385 places in 1987 ms of which 14 ms to minimize.
[2024-05-25 08:09:50] [INFO ] Deduced a trap composed of 170 places in 235 ms of which 4 ms to minimize.
[2024-05-25 08:09:50] [INFO ] Deduced a trap composed of 140 places in 209 ms of which 4 ms to minimize.
[2024-05-25 08:09:52] [INFO ] Deduced a trap composed of 153 places in 1951 ms of which 13 ms to minimize.
[2024-05-25 08:09:54] [INFO ] Deduced a trap composed of 153 places in 1934 ms of which 14 ms to minimize.
[2024-05-25 08:09:54] [INFO ] Deduced a trap composed of 60 places in 227 ms of which 4 ms to minimize.
[2024-05-25 08:09:55] [INFO ] Deduced a trap composed of 102 places in 226 ms of which 3 ms to minimize.
[2024-05-25 08:09:55] [INFO ] Deduced a trap composed of 93 places in 224 ms of which 4 ms to minimize.
[2024-05-25 08:09:55] [INFO ] Deduced a trap composed of 135 places in 227 ms of which 3 ms to minimize.
[2024-05-25 08:09:55] [INFO ] Deduced a trap composed of 120 places in 227 ms of which 3 ms to minimize.
[2024-05-25 08:09:56] [INFO ] Deduced a trap composed of 178 places in 230 ms of which 4 ms to minimize.
[2024-05-25 08:09:56] [INFO ] Deduced a trap composed of 165 places in 234 ms of which 4 ms to minimize.
[2024-05-25 08:09:56] [INFO ] Deduced a trap composed of 214 places in 226 ms of which 3 ms to minimize.
[2024-05-25 08:09:56] [INFO ] Deduced a trap composed of 182 places in 200 ms of which 3 ms to minimize.
[2024-05-25 08:09:58] [INFO ] Deduced a trap composed of 454 places in 1946 ms of which 13 ms to minimize.
[2024-05-25 08:09:59] [INFO ] Deduced a trap composed of 153 places in 234 ms of which 4 ms to minimize.
[2024-05-25 08:10:01] [INFO ] Deduced a trap composed of 361 places in 1921 ms of which 13 ms to minimize.
[2024-05-25 08:10:03] [INFO ] Deduced a trap composed of 439 places in 1968 ms of which 14 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/2216 variables, 20/499 constraints. Problems are: Problem set: 0 solved, 701 unsolved
[2024-05-25 08:10:05] [INFO ] Deduced a trap composed of 153 places in 1989 ms of which 14 ms to minimize.
SMT process timed out in 181103ms, After SMT, problems are : Problem set: 0 solved, 701 unsolved
Fused 701 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 701 out of 2334 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2334/2334 places, 4831/4831 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 2334 transition count 4799
Reduce places removed 32 places and 0 transitions.
Iterating post reduction 1 with 32 rules applied. Total rules applied 64 place count 2302 transition count 4799
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 64 place count 2302 transition count 4796
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 70 place count 2299 transition count 4796
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 81 place count 2288 transition count 4785
Iterating global reduction 2 with 11 rules applied. Total rules applied 92 place count 2288 transition count 4785
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 93 place count 2288 transition count 4784
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 94 place count 2287 transition count 4784
Partial Free-agglomeration rule applied 21 times.
Drop transitions (Partial Free agglomeration) removed 21 transitions
Iterating global reduction 3 with 21 rules applied. Total rules applied 115 place count 2287 transition count 4784
Discarding 18 places :
Symmetric choice reduction at 3 with 18 rule applications. Total rules 133 place count 2269 transition count 4766
Iterating global reduction 3 with 18 rules applied. Total rules applied 151 place count 2269 transition count 4766
Applied a total of 151 rules in 459 ms. Remains 2269 /2334 variables (removed 65) and now considering 4766/4831 (removed 65) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 459 ms. Remains : 2269/2334 places, 4766/4831 transitions.
RANDOM walk for 2322902 steps (53225 resets) in 120004 ms. (19 steps per ms) remains 614/701 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 92 ms. (43 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 88 ms. (44 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 56 ms. (70 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 79 ms. (50 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 51 ms. (76 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 49 ms. (80 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 46 ms. (85 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 95 ms. (41 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 88 ms. (44 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 79 ms. (50 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 57 ms. (69 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 70 ms. (56 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 48 ms. (81 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 84 ms. (47 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (16 resets) in 80 ms. (49 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (16 resets) in 74 ms. (53 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 54 ms. (72 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 86 ms. (46 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 62 ms. (63 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 44 ms. (88 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 45 ms. (87 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 94 ms. (42 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 94 ms. (42 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 60 ms. (65 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 106 ms. (37 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 66 ms. (59 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4002 steps (16 resets) in 59 ms. (66 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 50 ms. (78 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 614/614 properties
BEST_FIRST walk for 4004 steps (16 resets) in 45 ms. (87 steps per ms) remains 614/614 properties
[2024-05-25 08:10:37] [INFO ] Flow matrix only has 4420 transitions (discarded 346 similar events)
// Phase 1: matrix 4420 rows 2269 cols
[2024-05-25 08:10:37] [INFO ] Computed 577 invariants in 76 ms
[2024-05-25 08:10:37] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/614 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 1 (OVERLAPS) 852/1466 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1466 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 3 (OVERLAPS) 663/2129 variables, 432/437 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2129 variables, 0/437 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 5 (OVERLAPS) 28/2157 variables, 28/465 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2157 variables, 0/465 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 7 (OVERLAPS) 112/2269 variables, 112/577 constraints. Problems are: Problem set: 0 solved, 614 unsolved
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2269/6689 variables, and 577 constraints, problems are : Problem set: 0 solved, 614 unsolved in 105020 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 544/544 constraints, State Equation: 0/2269 constraints, ReadFeed: 0/2450 constraints, PredecessorRefiner: 614/614 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 614 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/614 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 1 (OVERLAPS) 852/1466 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 614 unsolved
[2024-05-25 08:12:29] [INFO ] Deduced a trap composed of 708 places in 533 ms of which 6 ms to minimize.
[2024-05-25 08:12:29] [INFO ] Deduced a trap composed of 704 places in 533 ms of which 5 ms to minimize.
[2024-05-25 08:12:32] [INFO ] Deduced a trap composed of 737 places in 523 ms of which 6 ms to minimize.
[2024-05-25 08:12:32] [INFO ] Deduced a trap composed of 728 places in 522 ms of which 5 ms to minimize.
[2024-05-25 08:12:33] [INFO ] Deduced a trap composed of 728 places in 522 ms of which 5 ms to minimize.
[2024-05-25 08:12:33] [INFO ] Deduced a trap composed of 722 places in 534 ms of which 5 ms to minimize.
[2024-05-25 08:12:34] [INFO ] Deduced a trap composed of 711 places in 510 ms of which 5 ms to minimize.
[2024-05-25 08:12:34] [INFO ] Deduced a trap composed of 736 places in 519 ms of which 5 ms to minimize.
[2024-05-25 08:12:35] [INFO ] Deduced a trap composed of 723 places in 509 ms of which 6 ms to minimize.
[2024-05-25 08:12:35] [INFO ] Deduced a trap composed of 760 places in 506 ms of which 6 ms to minimize.
[2024-05-25 08:12:41] [INFO ] Deduced a trap composed of 756 places in 539 ms of which 6 ms to minimize.
[2024-05-25 08:12:43] [INFO ] Deduced a trap composed of 732 places in 530 ms of which 6 ms to minimize.
[2024-05-25 08:12:43] [INFO ] Deduced a trap composed of 707 places in 483 ms of which 5 ms to minimize.
[2024-05-25 08:12:44] [INFO ] Deduced a trap composed of 716 places in 484 ms of which 6 ms to minimize.
[2024-05-25 08:12:45] [INFO ] Deduced a trap composed of 738 places in 540 ms of which 6 ms to minimize.
[2024-05-25 08:12:51] [INFO ] Deduced a trap composed of 729 places in 526 ms of which 6 ms to minimize.
[2024-05-25 08:12:52] [INFO ] Deduced a trap composed of 772 places in 498 ms of which 5 ms to minimize.
[2024-05-25 08:12:54] [INFO ] Deduced a trap composed of 748 places in 531 ms of which 6 ms to minimize.
[2024-05-25 08:12:54] [INFO ] Deduced a trap composed of 778 places in 523 ms of which 5 ms to minimize.
[2024-05-25 08:13:00] [INFO ] Deduced a trap composed of 752 places in 541 ms of which 5 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1466 variables, 20/25 constraints. Problems are: Problem set: 0 solved, 614 unsolved
[2024-05-25 08:13:07] [INFO ] Deduced a trap composed of 709 places in 498 ms of which 6 ms to minimize.
[2024-05-25 08:13:12] [INFO ] Deduced a trap composed of 687 places in 497 ms of which 5 ms to minimize.
[2024-05-25 08:13:22] [INFO ] Deduced a trap composed of 694 places in 540 ms of which 5 ms to minimize.
[2024-05-25 08:13:24] [INFO ] Deduced a trap composed of 744 places in 526 ms of which 6 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1466 variables, 4/29 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1466 variables, 0/29 constraints. Problems are: Problem set: 0 solved, 614 unsolved
At refinement iteration 5 (OVERLAPS) 663/2129 variables, 432/461 constraints. Problems are: Problem set: 0 solved, 614 unsolved
[2024-05-25 08:13:54] [INFO ] Deduced a trap composed of 6 places in 1920 ms of which 13 ms to minimize.
[2024-05-25 08:13:56] [INFO ] Deduced a trap composed of 28 places in 1906 ms of which 12 ms to minimize.
[2024-05-25 08:13:58] [INFO ] Deduced a trap composed of 332 places in 1890 ms of which 13 ms to minimize.
[2024-05-25 08:14:00] [INFO ] Deduced a trap composed of 227 places in 1847 ms of which 13 ms to minimize.
[2024-05-25 08:14:01] [INFO ] Deduced a trap composed of 197 places in 1897 ms of which 13 ms to minimize.
[2024-05-25 08:14:03] [INFO ] Deduced a trap composed of 258 places in 1853 ms of which 15 ms to minimize.
[2024-05-25 08:14:05] [INFO ] Deduced a trap composed of 332 places in 1904 ms of which 14 ms to minimize.
[2024-05-25 08:14:07] [INFO ] Deduced a trap composed of 311 places in 1857 ms of which 14 ms to minimize.
[2024-05-25 08:14:09] [INFO ] Deduced a trap composed of 318 places in 1885 ms of which 14 ms to minimize.
SMT process timed out in 211979ms, After SMT, problems are : Problem set: 0 solved, 614 unsolved
Fused 614 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 614 out of 2269 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2269/2269 places, 4766/4766 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 36 transitions
Trivial Post-agglo rules discarded 36 transitions
Performed 36 trivial Post agglomeration. Transition count delta: 36
Iterating post reduction 0 with 36 rules applied. Total rules applied 36 place count 2269 transition count 4730
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 1 with 36 rules applied. Total rules applied 72 place count 2233 transition count 4730
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 86 place count 2219 transition count 4716
Iterating global reduction 2 with 14 rules applied. Total rules applied 100 place count 2219 transition count 4716
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 102 place count 2218 transition count 4715
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 2 with 3 rules applied. Total rules applied 105 place count 2218 transition count 4712
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 108 place count 2215 transition count 4712
Partial Free-agglomeration rule applied 22 times.
Drop transitions (Partial Free agglomeration) removed 22 transitions
Iterating global reduction 3 with 22 rules applied. Total rules applied 130 place count 2215 transition count 4712
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 152 place count 2193 transition count 4690
Iterating global reduction 3 with 22 rules applied. Total rules applied 174 place count 2193 transition count 4690
Applied a total of 174 rules in 477 ms. Remains 2193 /2269 variables (removed 76) and now considering 4690/4766 (removed 76) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 477 ms. Remains : 2193/2269 places, 4690/4766 transitions.
RANDOM walk for 2444448 steps (56007 resets) in 120004 ms. (20 steps per ms) remains 573/614 properties
BEST_FIRST walk for 4003 steps (16 resets) in 40 ms. (97 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 79 ms. (50 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 90 ms. (43 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 84 ms. (47 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 62 ms. (63 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 82 ms. (48 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 96 ms. (41 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 79 ms. (50 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 86 ms. (46 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 90 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 55 ms. (71 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 99 ms. (40 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 44 ms. (88 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 87 ms. (45 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 92 ms. (43 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 72 ms. (54 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 90 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 92 ms. (43 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 88 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4002 steps (16 resets) in 90 ms. (43 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 87 ms. (45 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 51 ms. (76 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 103 ms. (38 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 91 ms. (43 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 88 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 91 ms. (43 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4003 steps (16 resets) in 83 ms. (47 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 573/573 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 573/573 properties
Interrupted probabilistic random walk after 974418 steps, run timeout after 93001 ms. (steps per millisecond=10 ) properties seen :42 out of 573
Probabilistic random walk after 974418 steps, saw 423982 distinct states, run finished after 93020 ms. (steps per millisecond=10 ) properties seen :42
[2024-05-25 08:16:14] [INFO ] Flow matrix only has 4341 transitions (discarded 349 similar events)
// Phase 1: matrix 4341 rows 2193 cols
[2024-05-25 08:16:14] [INFO ] Computed 577 invariants in 59 ms
[2024-05-25 08:16:14] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/531 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 1 (OVERLAPS) 887/1418 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1418 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 3 (OVERLAPS) 657/2075 variables, 454/459 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/2075 variables, 0/459 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 5 (OVERLAPS) 28/2103 variables, 28/487 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2103 variables, 0/487 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 7 (OVERLAPS) 90/2193 variables, 90/577 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2193 variables, 0/577 constraints. Problems are: Problem set: 0 solved, 531 unsolved
At refinement iteration 9 (OVERLAPS) 4341/6534 variables, 2193/2770 constraints. Problems are: Problem set: 0 solved, 531 unsolved
SMT process timed out in 120344ms, After SMT, problems are : Problem set: 0 solved, 531 unsolved
Fused 531 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 531 out of 2193 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2193/2193 places, 4690/4690 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 0 with 38 rules applied. Total rules applied 38 place count 2193 transition count 4652
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 1 with 38 rules applied. Total rules applied 76 place count 2155 transition count 4652
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 93 place count 2138 transition count 4635
Iterating global reduction 2 with 17 rules applied. Total rules applied 110 place count 2138 transition count 4635
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 112 place count 2138 transition count 4633
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 114 place count 2136 transition count 4633
Partial Free-agglomeration rule applied 21 times.
Drop transitions (Partial Free agglomeration) removed 21 transitions
Iterating global reduction 3 with 21 rules applied. Total rules applied 135 place count 2136 transition count 4633
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 156 place count 2115 transition count 4612
Iterating global reduction 3 with 21 rules applied. Total rules applied 177 place count 2115 transition count 4612
Applied a total of 177 rules in 443 ms. Remains 2115 /2193 variables (removed 78) and now considering 4612/4690 (removed 78) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 443 ms. Remains : 2115/2193 places, 4612/4690 transitions.
RANDOM walk for 1228562 steps (28152 resets) in 120004 ms. (10 steps per ms) remains 524/531 properties
BEST_FIRST walk for 4004 steps (16 resets) in 94 ms. (42 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 86 ms. (46 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 86 ms. (46 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 84 ms. (47 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 71 ms. (55 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 524/524 properties
BEST_FIRST walk for 4003 steps (16 resets) in 40 ms. (97 steps per ms) remains 522/524 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4002 steps (16 resets) in 89 ms. (44 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 101 ms. (39 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 81 ms. (48 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 111 ms. (35 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 80 ms. (49 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 78 ms. (50 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 53 ms. (74 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 84 ms. (47 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 81 ms. (48 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 41 ms. (95 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 97 ms. (40 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 78 ms. (50 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 37 ms. (105 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 103 ms. (38 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 71 ms. (55 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4002 steps (16 resets) in 76 ms. (51 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 88 ms. (44 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 90 ms. (44 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 80 ms. (49 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4003 steps (16 resets) in 85 ms. (46 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4002 steps (16 resets) in 76 ms. (51 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 46 ms. (85 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 125 ms. (31 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 67 ms. (58 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4002 steps (16 resets) in 77 ms. (51 steps per ms) remains 522/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 42 ms. (93 steps per ms) remains 520/522 properties
BEST_FIRST walk for 4004 steps (16 resets) in 89 ms. (44 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 87 ms. (45 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 47 ms. (83 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 68 ms. (58 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 84 ms. (47 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 85 ms. (46 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (16 resets) in 68 ms. (58 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 85 ms. (46 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 52 ms. (75 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 74 ms. (53 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 79 ms. (50 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 72 ms. (54 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 38 ms. (102 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 96 ms. (41 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 40 ms. (97 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (16 resets) in 88 ms. (44 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 90 ms. (43 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 69 ms. (57 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 86 ms. (46 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 87 ms. (45 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 76 ms. (52 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 93 ms. (42 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 81 ms. (48 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 82 ms. (48 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 64 ms. (61 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 69 ms. (57 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 96 ms. (41 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 73 ms. (54 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 65 ms. (60 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 83 ms. (47 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 77 ms. (51 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4004 steps (16 resets) in 75 ms. (52 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (16 resets) in 72 ms. (54 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 75 ms. (52 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4002 steps (16 resets) in 48 ms. (81 steps per ms) remains 520/520 properties
BEST_FIRST walk for 4003 steps (16 resets) in 87 ms. (45 steps per ms) remains 520/520 properties
Probabilistic random walk after 1000000 steps, saw 434827 distinct states, run finished after 92292 ms. (steps per millisecond=10 ) properties seen :0
[2024-05-25 08:20:20] [INFO ] Flow matrix only has 4261 transitions (discarded 351 similar events)
// Phase 1: matrix 4261 rows 2115 cols
[2024-05-25 08:20:20] [INFO ] Computed 577 invariants in 63 ms
[2024-05-25 08:20:20] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/520 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 1 (OVERLAPS) 853/1373 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1373 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 3 (OVERLAPS) 626/1999 variables, 456/461 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1999 variables, 0/461 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 5 (OVERLAPS) 28/2027 variables, 28/489 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2027 variables, 0/489 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 7 (OVERLAPS) 88/2115 variables, 88/577 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2115 variables, 0/577 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 9 (OVERLAPS) 4261/6376 variables, 2115/2692 constraints. Problems are: Problem set: 0 solved, 520 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6376/6376 variables, and 5142 constraints, problems are : Problem set: 0 solved, 520 unsolved in 135033 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 544/544 constraints, State Equation: 2115/2115 constraints, ReadFeed: 2450/2450 constraints, PredecessorRefiner: 520/520 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 520 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/520 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 1 (OVERLAPS) 853/1373 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 520 unsolved
[2024-05-25 08:22:40] [INFO ] Deduced a trap composed of 596 places in 474 ms of which 6 ms to minimize.
[2024-05-25 08:22:40] [INFO ] Deduced a trap composed of 598 places in 464 ms of which 6 ms to minimize.
[2024-05-25 08:22:41] [INFO ] Deduced a trap composed of 594 places in 487 ms of which 6 ms to minimize.
[2024-05-25 08:22:41] [INFO ] Deduced a trap composed of 594 places in 466 ms of which 6 ms to minimize.
[2024-05-25 08:22:42] [INFO ] Deduced a trap composed of 620 places in 481 ms of which 5 ms to minimize.
[2024-05-25 08:22:42] [INFO ] Deduced a trap composed of 599 places in 462 ms of which 5 ms to minimize.
[2024-05-25 08:22:43] [INFO ] Deduced a trap composed of 594 places in 473 ms of which 5 ms to minimize.
[2024-05-25 08:22:43] [INFO ] Deduced a trap composed of 605 places in 467 ms of which 6 ms to minimize.
[2024-05-25 08:22:47] [INFO ] Deduced a trap composed of 673 places in 473 ms of which 5 ms to minimize.
[2024-05-25 08:22:48] [INFO ] Deduced a trap composed of 701 places in 478 ms of which 6 ms to minimize.
[2024-05-25 08:22:48] [INFO ] Deduced a trap composed of 683 places in 477 ms of which 6 ms to minimize.
[2024-05-25 08:22:49] [INFO ] Deduced a trap composed of 637 places in 468 ms of which 5 ms to minimize.
[2024-05-25 08:22:49] [INFO ] Deduced a trap composed of 632 places in 495 ms of which 6 ms to minimize.
[2024-05-25 08:22:50] [INFO ] Deduced a trap composed of 644 places in 494 ms of which 6 ms to minimize.
[2024-05-25 08:22:50] [INFO ] Deduced a trap composed of 592 places in 471 ms of which 6 ms to minimize.
[2024-05-25 08:22:51] [INFO ] Deduced a trap composed of 622 places in 483 ms of which 5 ms to minimize.
[2024-05-25 08:22:52] [INFO ] Deduced a trap composed of 633 places in 485 ms of which 5 ms to minimize.
[2024-05-25 08:22:52] [INFO ] Deduced a trap composed of 627 places in 486 ms of which 6 ms to minimize.
[2024-05-25 08:22:53] [INFO ] Deduced a trap composed of 674 places in 476 ms of which 6 ms to minimize.
[2024-05-25 08:22:55] [INFO ] Deduced a trap composed of 698 places in 457 ms of which 5 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1373 variables, 20/25 constraints. Problems are: Problem set: 0 solved, 520 unsolved
[2024-05-25 08:22:56] [INFO ] Deduced a trap composed of 628 places in 483 ms of which 5 ms to minimize.
[2024-05-25 08:23:00] [INFO ] Deduced a trap composed of 732 places in 471 ms of which 5 ms to minimize.
[2024-05-25 08:23:01] [INFO ] Deduced a trap composed of 648 places in 465 ms of which 5 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1373 variables, 3/28 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1373 variables, 0/28 constraints. Problems are: Problem set: 0 solved, 520 unsolved
At refinement iteration 5 (OVERLAPS) 626/1999 variables, 456/484 constraints. Problems are: Problem set: 0 solved, 520 unsolved
[2024-05-25 08:23:38] [INFO ] Deduced a trap composed of 6 places in 1743 ms of which 12 ms to minimize.
[2024-05-25 08:23:40] [INFO ] Deduced a trap composed of 28 places in 1752 ms of which 12 ms to minimize.
[2024-05-25 08:23:42] [INFO ] Deduced a trap composed of 86 places in 1744 ms of which 13 ms to minimize.
[2024-05-25 08:23:44] [INFO ] Deduced a trap composed of 106 places in 1759 ms of which 13 ms to minimize.
[2024-05-25 08:23:46] [INFO ] Deduced a trap composed of 113 places in 1722 ms of which 12 ms to minimize.
[2024-05-25 08:23:47] [INFO ] Deduced a trap composed of 227 places in 1750 ms of which 14 ms to minimize.
[2024-05-25 08:23:49] [INFO ] Deduced a trap composed of 133 places in 1768 ms of which 13 ms to minimize.
[2024-05-25 08:23:51] [INFO ] Deduced a trap composed of 151 places in 1784 ms of which 12 ms to minimize.
[2024-05-25 08:23:53] [INFO ] Deduced a trap composed of 299 places in 1722 ms of which 13 ms to minimize.
[2024-05-25 08:23:54] [INFO ] Deduced a trap composed of 336 places in 1621 ms of which 13 ms to minimize.
[2024-05-25 08:23:56] [INFO ] Deduced a trap composed of 361 places in 1689 ms of which 12 ms to minimize.
[2024-05-25 08:23:58] [INFO ] Deduced a trap composed of 364 places in 1699 ms of which 13 ms to minimize.
[2024-05-25 08:24:00] [INFO ] Deduced a trap composed of 334 places in 1715 ms of which 13 ms to minimize.
[2024-05-25 08:24:01] [INFO ] Deduced a trap composed of 320 places in 1385 ms of which 13 ms to minimize.
[2024-05-25 08:24:02] [INFO ] Deduced a trap composed of 358 places in 1366 ms of which 12 ms to minimize.
[2024-05-25 08:24:04] [INFO ] Deduced a trap composed of 349 places in 1355 ms of which 12 ms to minimize.
[2024-05-25 08:24:05] [INFO ] Deduced a trap composed of 302 places in 1382 ms of which 12 ms to minimize.
[2024-05-25 08:24:07] [INFO ] Deduced a trap composed of 261 places in 1678 ms of which 12 ms to minimize.
[2024-05-25 08:24:08] [INFO ] Deduced a trap composed of 510 places in 1310 ms of which 12 ms to minimize.
[2024-05-25 08:24:10] [INFO ] Deduced a trap composed of 296 places in 1587 ms of which 13 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/1999 variables, 20/504 constraints. Problems are: Problem set: 0 solved, 520 unsolved
[2024-05-25 08:24:12] [INFO ] Deduced a trap composed of 371 places in 1656 ms of which 13 ms to minimize.
[2024-05-25 08:24:14] [INFO ] Deduced a trap composed of 346 places in 1627 ms of which 12 ms to minimize.
[2024-05-25 08:24:16] [INFO ] Deduced a trap composed of 364 places in 1578 ms of which 12 ms to minimize.
[2024-05-25 08:24:17] [INFO ] Deduced a trap composed of 365 places in 1674 ms of which 12 ms to minimize.
[2024-05-25 08:24:19] [INFO ] Deduced a trap composed of 362 places in 1691 ms of which 11 ms to minimize.
[2024-05-25 08:24:21] [INFO ] Deduced a trap composed of 389 places in 1659 ms of which 12 ms to minimize.
[2024-05-25 08:24:23] [INFO ] Deduced a trap composed of 270 places in 1666 ms of which 13 ms to minimize.
[2024-05-25 08:24:24] [INFO ] Deduced a trap composed of 348 places in 1441 ms of which 12 ms to minimize.
[2024-05-25 08:24:26] [INFO ] Deduced a trap composed of 326 places in 1426 ms of which 12 ms to minimize.
[2024-05-25 08:24:27] [INFO ] Deduced a trap composed of 275 places in 1374 ms of which 13 ms to minimize.
[2024-05-25 08:24:29] [INFO ] Deduced a trap composed of 277 places in 1582 ms of which 13 ms to minimize.
[2024-05-25 08:24:30] [INFO ] Deduced a trap composed of 300 places in 1206 ms of which 11 ms to minimize.
[2024-05-25 08:24:32] [INFO ] Deduced a trap composed of 338 places in 1664 ms of which 12 ms to minimize.
[2024-05-25 08:24:33] [INFO ] Deduced a trap composed of 387 places in 1670 ms of which 13 ms to minimize.
[2024-05-25 08:24:35] [INFO ] Deduced a trap composed of 383 places in 1661 ms of which 13 ms to minimize.
[2024-05-25 08:24:37] [INFO ] Deduced a trap composed of 380 places in 1670 ms of which 13 ms to minimize.
[2024-05-25 08:24:38] [INFO ] Deduced a trap composed of 380 places in 1671 ms of which 12 ms to minimize.
[2024-05-25 08:24:40] [INFO ] Deduced a trap composed of 262 places in 1680 ms of which 12 ms to minimize.
[2024-05-25 08:24:42] [INFO ] Deduced a trap composed of 298 places in 1667 ms of which 12 ms to minimize.
[2024-05-25 08:24:44] [INFO ] Deduced a trap composed of 268 places in 1606 ms of which 12 ms to minimize.
At refinement iteration 7 (INCLUDED_ONLY) 0/1999 variables, 20/524 constraints. Problems are: Problem set: 0 solved, 520 unsolved
[2024-05-25 08:24:47] [INFO ] Deduced a trap composed of 28 places in 1779 ms of which 13 ms to minimize.
[2024-05-25 08:24:49] [INFO ] Deduced a trap composed of 58 places in 1759 ms of which 15 ms to minimize.
[2024-05-25 08:24:51] [INFO ] Deduced a trap composed of 86 places in 1784 ms of which 13 ms to minimize.
SMT process timed out in 270926ms, After SMT, problems are : Problem set: 0 solved, 520 unsolved
Fused 520 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 520 out of 2115 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2115/2115 places, 4612/4612 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 2115 transition count 4607
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 10 place count 2110 transition count 4607
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 11 place count 2109 transition count 4606
Iterating global reduction 2 with 1 rules applied. Total rules applied 12 place count 2109 transition count 4606
Partial Free-agglomeration rule applied 4 times.
Drop transitions (Partial Free agglomeration) removed 4 transitions
Iterating global reduction 2 with 4 rules applied. Total rules applied 16 place count 2109 transition count 4606
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 20 place count 2105 transition count 4602
Iterating global reduction 2 with 4 rules applied. Total rules applied 24 place count 2105 transition count 4602
Applied a total of 24 rules in 315 ms. Remains 2105 /2115 variables (removed 10) and now considering 4602/4612 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 315 ms. Remains : 2105/2115 places, 4602/4612 transitions.
RANDOM walk for 2822612 steps (64686 resets) in 120004 ms. (23 steps per ms) remains 499/520 properties
BEST_FIRST walk for 40002 steps (170 resets) in 354 ms. (112 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (170 resets) in 615 ms. (64 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 772 ms. (51 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (168 resets) in 758 ms. (52 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40001 steps (170 resets) in 761 ms. (52 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 721 ms. (55 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (170 resets) in 709 ms. (56 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40002 steps (170 resets) in 828 ms. (48 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40004 steps (170 resets) in 673 ms. (59 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40002 steps (170 resets) in 827 ms. (48 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40001 steps (170 resets) in 882 ms. (45 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 874 ms. (45 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (170 resets) in 735 ms. (54 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 714 ms. (55 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 844 ms. (47 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40002 steps (171 resets) in 705 ms. (56 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (170 resets) in 806 ms. (49 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 778 ms. (51 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40002 steps (169 resets) in 767 ms. (52 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40002 steps (168 resets) in 819 ms. (48 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40004 steps (170 resets) in 850 ms. (47 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 681 ms. (58 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (171 resets) in 685 ms. (58 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 738 ms. (54 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (169 resets) in 718 ms. (55 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40001 steps (168 resets) in 882 ms. (45 steps per ms) remains 499/499 properties
BEST_FIRST walk for 40003 steps (168 resets) in 752 ms. (53 steps per ms) remains 497/499 properties
BEST_FIRST walk for 40004 steps (171 resets) in 727 ms. (54 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40000 steps (169 resets) in 756 ms. (52 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 791 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (169 resets) in 826 ms. (48 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (169 resets) in 748 ms. (53 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 787 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (169 resets) in 807 ms. (49 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (171 resets) in 666 ms. (59 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (169 resets) in 878 ms. (45 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 709 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (169 resets) in 879 ms. (45 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (170 resets) in 706 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 703 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (168 resets) in 726 ms. (55 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (169 resets) in 749 ms. (53 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (170 resets) in 742 ms. (53 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (171 resets) in 856 ms. (46 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (169 resets) in 794 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (170 resets) in 830 ms. (48 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (170 resets) in 690 ms. (57 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (170 resets) in 838 ms. (47 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (171 resets) in 713 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 839 ms. (47 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (169 resets) in 843 ms. (47 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 701 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (169 resets) in 788 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 725 ms. (55 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (169 resets) in 827 ms. (48 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (169 resets) in 780 ms. (51 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (169 resets) in 854 ms. (46 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (169 resets) in 754 ms. (52 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (170 resets) in 853 ms. (46 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 745 ms. (53 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (169 resets) in 668 ms. (59 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (170 resets) in 795 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (169 resets) in 709 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (168 resets) in 770 ms. (51 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (170 resets) in 681 ms. (58 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (170 resets) in 832 ms. (48 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (169 resets) in 693 ms. (57 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (169 resets) in 756 ms. (52 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (169 resets) in 797 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40004 steps (169 resets) in 766 ms. (52 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40001 steps (168 resets) in 789 ms. (50 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (168 resets) in 835 ms. (47 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (171 resets) in 703 ms. (56 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (171 resets) in 695 ms. (57 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40003 steps (170 resets) in 740 ms. (53 steps per ms) remains 497/497 properties
BEST_FIRST walk for 40002 steps (170 resets) in 828 ms. (48 steps per ms) remains 497/497 properties
Interrupted probabilistic random walk after 1517957 steps, run timeout after 138001 ms. (steps per millisecond=10 ) properties seen :0 out of 497
Probabilistic random walk after 1517957 steps, saw 659695 distinct states, run finished after 138002 ms. (steps per millisecond=10 ) properties seen :0
[2024-05-25 08:27:56] [INFO ] Flow matrix only has 4251 transitions (discarded 351 similar events)
// Phase 1: matrix 4251 rows 2105 cols
[2024-05-25 08:27:56] [INFO ] Computed 577 invariants in 60 ms
[2024-05-25 08:27:56] [INFO ] State equation strengthened by 2450 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/497 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 1 (OVERLAPS) 893/1390 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/1390 variables, 0/5 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 3 (OVERLAPS) 605/1995 variables, 462/467 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1995 variables, 0/467 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 5 (OVERLAPS) 28/2023 variables, 28/495 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2023 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 7 (OVERLAPS) 82/2105 variables, 82/577 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2105 variables, 0/577 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 9 (OVERLAPS) 4251/6356 variables, 2105/2682 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/6356 variables, 2450/5132 constraints. Problems are: Problem set: 0 solved, 497 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6356/6356 variables, and 5132 constraints, problems are : Problem set: 0 solved, 497 unsolved in 150033 ms.
Refiners :[Positive P Invariants (semi-flows): 33/33 constraints, Generalized P Invariants (flows): 544/544 constraints, State Equation: 2105/2105 constraints, ReadFeed: 2450/2450 constraints, PredecessorRefiner: 497/497 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 497 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/497 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 497 unsolved
At refinement iteration 1 (OVERLAPS) 893/1390 variables, 5/5 constraints. Problems are: Problem set: 0 solved, 497 unsolved
[2024-05-25 08:30:30] [INFO ] Deduced a trap composed of 860 places in 704 ms of which 7 ms to minimize.
[2024-05-25 08:30:31] [INFO ] Deduced a trap composed of 753 places in 682 ms of which 7 ms to minimize.
[2024-05-25 08:30:33] [INFO ] Deduced a trap composed of 755 places in 649 ms of which 7 ms to minimize.
[2024-05-25 08:30:34] [INFO ] Deduced a trap composed of 695 places in 646 ms of which 7 ms to minimize.
[2024-05-25 08:30:34] [INFO ] Deduced a trap composed of 624 places in 642 ms of which 6 ms to minimize.
[2024-05-25 08:30:35] [INFO ] Deduced a trap composed of 736 places in 659 ms of which 6 ms to minimize.
[2024-05-25 08:30:36] [INFO ] Deduced a trap composed of 741 places in 652 ms of which 7 ms to minimize.
[2024-05-25 08:30:37] [INFO ] Deduced a trap composed of 622 places in 655 ms of which 7 ms to minimize.
[2024-05-25 08:30:38] [INFO ] Deduced a trap composed of 668 places in 652 ms of which 7 ms to minimize.
[2024-05-25 08:30:38] [INFO ] Deduced a trap composed of 589 places in 721 ms of which 7 ms to minimize.
[2024-05-25 08:30:39] [INFO ] Deduced a trap composed of 751 places in 650 ms of which 7 ms to minimize.
[2024-05-25 08:30:40] [INFO ] Deduced a trap composed of 632 places in 671 ms of which 6 ms to minimize.
[2024-05-25 08:30:41] [INFO ] Deduced a trap composed of 681 places in 661 ms of which 7 ms to minimize.
[2024-05-25 08:30:43] [INFO ] Deduced a trap composed of 801 places in 635 ms of which 6 ms to minimize.
[2024-05-25 08:30:43] [INFO ] Deduced a trap composed of 809 places in 620 ms of which 7 ms to minimize.
[2024-05-25 08:30:44] [INFO ] Deduced a trap composed of 793 places in 639 ms of which 6 ms to minimize.
[2024-05-25 08:30:45] [INFO ] Deduced a trap composed of 730 places in 625 ms of which 6 ms to minimize.
[2024-05-25 08:30:46] [INFO ] Deduced a trap composed of 722 places in 622 ms of which 7 ms to minimize.
[2024-05-25 08:30:47] [INFO ] Deduced a trap composed of 674 places in 644 ms of which 7 ms to minimize.
[2024-05-25 08:30:48] [INFO ] Deduced a trap composed of 799 places in 567 ms of which 7 ms to minimize.
At refinement iteration 2 (INCLUDED_ONLY) 0/1390 variables, 20/25 constraints. Problems are: Problem set: 0 solved, 497 unsolved
[2024-05-25 08:30:49] [INFO ] Deduced a trap composed of 777 places in 649 ms of which 7 ms to minimize.
[2024-05-25 08:30:54] [INFO ] Deduced a trap composed of 652 places in 555 ms of which 6 ms to minimize.
[2024-05-25 08:30:58] [INFO ] Deduced a trap composed of 713 places in 555 ms of which 7 ms to minimize.
At refinement iteration 3 (INCLUDED_ONLY) 0/1390 variables, 3/28 constraints. Problems are: Problem set: 0 solved, 497 unsolved
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S16C07"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="greatspnxred"
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 greatspnxred"
echo " Input is MultiCrashLeafsetExtension-PT-S16C07, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r254-tall-171654363300028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C07.tgz
mv MultiCrashLeafsetExtension-PT-S16C07 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;