About the Execution of ITS-Tools for RERS17pb113-PT-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 1800000.00 | 0.00 | 0.00 | [undef] | Time out reached |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r175-smll-174889238800237.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is RERS17pb113-PT-2, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-smll-174889238800237
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.2K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 2 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 15M May 29 14:32 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 QuasiLiveness
=== Now, execution of the tool begins
BK_START 1748993792241
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS17pb113-PT-2
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202505121319
[2025-06-03 23:36:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-03 23:36:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-03 23:36:35] [INFO ] Load time of PNML (sax parser for PT used): 1222 ms
[2025-06-03 23:36:35] [INFO ] Transformed 639 places.
[2025-06-03 23:36:35] [INFO ] Transformed 31353 transitions.
[2025-06-03 23:36:35] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 1556 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 639/639 places, 31353/31353 transitions.
Ensure Unique test removed 12 places
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 627 transition count 31353
Applied a total of 12 rules in 468 ms. Remains 627 /639 variables (removed 12) and now considering 31353/31353 (removed 0) transitions.
[2025-06-03 23:36:36] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-03 23:36:36] [INFO ] Computed 13 invariants in 154 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-03 23:36:41] [INFO ] Implicit Places using invariants in 4725 ms returned []
Implicit Place search using SMT only with invariants took 4782 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-03 23:36:41] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-03 23:36:41] [INFO ] Invariant cache hit.
[2025-06-03 23:36:42] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 31657 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 31352/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 31352 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 31352 unsolved in 30641 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/31352 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 229611ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 229861ms
Starting structural reductions in LIVENESS mode, iteration 1 : 627/639 places, 31353/31353 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 235342 ms. Remains : 627/639 places, 31353/31353 transitions.
Discarding 304 transitions out of 31353. Remains 31049
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 12558 ms. (3 steps per ms) remains 27020/31048 properties
BEST_FIRST walk for 124 steps (8 resets) in 116 ms. (1 steps per ms) remains 27018/27020 properties
BEST_FIRST walk for 124 steps (8 resets) in 240 ms. (0 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 160 ms. (0 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 81 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 70 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 88 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 83 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 83 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 84 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 65 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 67 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 71 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 70 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 67 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 90 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 100 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 91 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 89 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 90 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 80 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 90 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 80 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 81 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 75 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 81 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 71 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 72 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 69 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 80 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 78 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 68 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 51 ms. (2 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 70 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 72 ms. (1 steps per ms) remains 27018/27018 properties
[2025-06-03 23:40:38] [INFO ] Flatten gal took : 2707 ms
BEST_FIRST walk for 124 steps (8 resets) in 68 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 78 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 80 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 85 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 84 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 121 steps (8 resets) in 77 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 79 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 76 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 67 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 82 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 81 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 80 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 124 steps (8 resets) in 83 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 81 ms. (1 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 123 steps (8 resets) in 59 ms. (2 steps per ms) remains 27018/27018 properties
BEST_FIRST walk for 122 steps (8 resets) in 67 ms. (1 steps per ms) remains 27018/27018 properties
[2025-06-03 23:40:39] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-03 23:40:39] [INFO ] Invariant cache hit.
[2025-06-03 23:40:41] [INFO ] State equation strengthened by 829 read => feed constraints.
[2025-06-03 23:40:41] [INFO ] Flatten gal took : 1266 ms
[2025-06-03 23:40:41] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9551701410631956587.gal : 716 ms
[2025-06-03 23:40:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17754110451908813768.prop : 426 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality9551701410631956587.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality17754110451908813768.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality17754110451908813768.prop.
SDD proceeding with computation,27018 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,27018 properties remain. new max is 8
SDD size :3 after 10
SDD proceeding with computation,27018 properties remain. new max is 16
SDD size :10 after 12
SDD proceeding with computation,27018 properties remain. new max is 32
SDD size :12 after 17
SDD proceeding with computation,27018 properties remain. new max is 64
SDD size :17 after 18
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SDD proceeding with computation,27018 properties remain. new max is 128
SDD size :18 after 21
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 626/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 27018 unsolved in 5523 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 27018/27018 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27018 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
SDD proceeding with computation,27018 properties remain. new max is 256
SDD size :21 after 26
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 626/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 27018 unsolved in 5676 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/27018 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 165370ms problems are : Problem set: 0 solved, 27018 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 626 out of 627 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 320 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 326 ms. Remains : 627/627 places, 31353/31353 transitions.
Reachability property qltransition_7410 is true.
SDD proceeding with computation,27017 properties remain. new max is 256
SDD size :26 after 54
RANDOM walk for 561494 steps (0 resets) in 120100 ms. (4 steps per ms) remains 17305/27018 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4397 ms. (0 steps per ms) remains 17297/17305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2905 ms. (1 steps per ms) remains 17290/17297 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1823 ms. (2 steps per ms) remains 17284/17290 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2231 ms. (1 steps per ms) remains 17278/17284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2771 ms. (1 steps per ms) remains 17272/17278 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3623 ms. (1 steps per ms) remains 17268/17272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2009 ms. (1 steps per ms) remains 17266/17268 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3568 ms. (1 steps per ms) remains 17262/17266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3376 ms. (1 steps per ms) remains 17259/17262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2097 ms. (1 steps per ms) remains 17255/17259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3657 ms. (1 steps per ms) remains 17254/17255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4064 ms. (0 steps per ms) remains 17252/17254 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3855 ms. (1 steps per ms) remains 17252/17252 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7526 ms. (0 steps per ms) remains 17250/17252 properties
BEST_FIRST walk for 4003 steps (8 resets) in 6587 ms. (0 steps per ms) remains 17249/17250 properties
BEST_FIRST walk for 4003 steps (8 resets) in 5745 ms. (0 steps per ms) remains 17247/17249 properties
BEST_FIRST walk for 4004 steps (8 resets) in 19133 ms. (0 steps per ms) remains 17247/17247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9729 ms. (0 steps per ms) remains 17246/17247 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10960 ms. (0 steps per ms) remains 17244/17246 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3620 ms. (1 steps per ms) remains 17241/17244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3174 ms. (1 steps per ms) remains 17237/17241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2563 ms. (1 steps per ms) remains 17237/17237 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3149 ms. (1 steps per ms) remains 17237/17237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3419 ms. (1 steps per ms) remains 17236/17237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3338 ms. (1 steps per ms) remains 17232/17236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3384 ms. (1 steps per ms) remains 17231/17232 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2392 ms. (1 steps per ms) remains 17227/17231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3108 ms. (1 steps per ms) remains 17227/17227 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2999 ms. (1 steps per ms) remains 17226/17227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2964 ms. (1 steps per ms) remains 17225/17226 properties
Reachability property qltransition_20075 is true.
BEST_FIRST walk for 2299 steps (4 resets) in 29045 ms. (0 steps per ms) remains 17225/17225 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2606 ms. (1 steps per ms) remains 17225/17225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3098 ms. (1 steps per ms) remains 17225/17225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3383 ms. (1 steps per ms) remains 17224/17225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3180 ms. (1 steps per ms) remains 17222/17224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3579 ms. (1 steps per ms) remains 17220/17222 properties
Reachability property qltransition_17625 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 3334 ms. (1 steps per ms) remains 17220/17220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2211 ms. (1 steps per ms) remains 17220/17220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9818 ms. (0 steps per ms) remains 17220/17220 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3266 ms. (1 steps per ms) remains 17219/17220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2547 ms. (1 steps per ms) remains 17218/17219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4779 ms. (0 steps per ms) remains 17217/17218 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4748 ms. (0 steps per ms) remains 17217/17217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 4050 ms. (0 steps per ms) remains 17217/17217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3098 ms. (1 steps per ms) remains 17217/17217 properties
Reachability property qltransition_12358 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 12579 ms. (0 steps per ms) remains 17216/17217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2535 ms. (1 steps per ms) remains 17216/17216 properties
BEST_FIRST walk for 4002 steps (8 resets) in 4600 ms. (0 steps per ms) remains 17214/17216 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2354 ms. (1 steps per ms) remains 17214/17214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2585 ms. (1 steps per ms) remains 17214/17214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3809 ms. (1 steps per ms) remains 17214/17214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2003 ms. (1 steps per ms) remains 17211/17214 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2297 ms. (1 steps per ms) remains 17210/17211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3621 ms. (1 steps per ms) remains 17210/17210 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2240 ms. (1 steps per ms) remains 17210/17210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2236 ms. (1 steps per ms) remains 17208/17210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 17208/17208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17206/17208 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1128 ms. (3 steps per ms) remains 17206/17206 properties
BEST_FIRST walk for 4003 steps (8 resets) in 5124 ms. (0 steps per ms) remains 17206/17206 properties
Reachability property qltransition_6489 is true.
Reachability property qltransition_5783 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 10365 ms. (0 steps per ms) remains 17205/17206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3717 ms. (1 steps per ms) remains 17205/17205 properties
Reachability property qltransition_5184 is true.
Reachability property qltransition_4978 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 8046 ms. (0 steps per ms) remains 17203/17205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8714 ms. (0 steps per ms) remains 17202/17203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4797 ms. (0 steps per ms) remains 17202/17202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9112 ms. (0 steps per ms) remains 17201/17202 properties
BEST_FIRST walk for 2816 steps (7 resets) in 24719 ms. (0 steps per ms) remains 17199/17201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 14232 ms. (0 steps per ms) remains 17199/17199 properties
SDD proceeding with computation,27010 properties remain. new max is 256
SDD size :54 after 98
BEST_FIRST walk for 4003 steps (8 resets) in 17458 ms. (0 steps per ms) remains 17199/17199 properties
BEST_FIRST walk for 3336 steps (8 resets) in 19726 ms. (0 steps per ms) remains 17199/17199 properties
BEST_FIRST walk for 3337 steps (7 resets) in 20289 ms. (0 steps per ms) remains 17199/17199 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15809 ms. (0 steps per ms) remains 17196/17199 properties
Reachability property qltransition_28516 is true.
Reachability property qltransition_21247 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 17639 ms. (0 steps per ms) remains 17196/17196 properties
Reachability property qltransition_11500 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 13586 ms. (0 steps per ms) remains 17194/17196 properties
SDD proceeding with computation,27007 properties remain. new max is 256
SDD size :98 after 106
Reachability property qltransition_30710 is true.
Reachability property qltransition_28635 is true.
Reachability property qltransition_28506 is true.
Reachability property qltransition_28494 is true.
BEST_FIRST walk for 1996 steps (4 resets) in 45999 ms. (0 steps per ms) remains 17193/17194 properties
BEST_FIRST walk for 2071 steps (4 resets) in 20278 ms. (0 steps per ms) remains 17193/17193 properties
Reachability property qltransition_21259 is true.
Reachability property qltransition_21235 is true.
BEST_FIRST walk for 985 steps (1 resets) in 20431 ms. (0 steps per ms) remains 17193/17193 properties
Reachability property qltransition_20077 is true.
Reachability property qltransition_19685 is true.
BEST_FIRST walk for 2439 steps (5 resets) in 18973 ms. (0 steps per ms) remains 17193/17193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12564 ms. (0 steps per ms) remains 17193/17193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 10102 ms. (0 steps per ms) remains 17193/17193 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4942 ms. (0 steps per ms) remains 17193/17193 properties
BEST_FIRST walk for 3739 steps (8 resets) in 16785 ms. (0 steps per ms) remains 17190/17193 properties
BEST_FIRST walk for 1531 steps (3 resets) in 20568 ms. (0 steps per ms) remains 17190/17190 properties
BEST_FIRST walk for 2313 steps (5 resets) in 20230 ms. (0 steps per ms) remains 17189/17190 properties
BEST_FIRST walk for 2640 steps (5 resets) in 19657 ms. (0 steps per ms) remains 17189/17189 properties
BEST_FIRST walk for 1694 steps (3 resets) in 20075 ms. (0 steps per ms) remains 17189/17189 properties
BEST_FIRST walk for 2914 steps (7 resets) in 20434 ms. (0 steps per ms) remains 17188/17189 properties
SDD proceeding with computation,26999 properties remain. new max is 256
SDD size :106 after 158
BEST_FIRST walk for 1643 steps (3 resets) in 21778 ms. (0 steps per ms) remains 17188/17188 properties
BEST_FIRST walk for 2279 steps (4 resets) in 20086 ms. (0 steps per ms) remains 17187/17188 properties
BEST_FIRST walk for 1965 steps (5 resets) in 20334 ms. (0 steps per ms) remains 17186/17187 properties
BEST_FIRST walk for 3657 steps (8 resets) in 18378 ms. (0 steps per ms) remains 17186/17186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 14206 ms. (0 steps per ms) remains 17186/17186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11607 ms. (0 steps per ms) remains 17186/17186 properties
Reachability property qltransition_29826 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 17359 ms. (0 steps per ms) remains 17186/17186 properties
Reachability property qltransition_28657 is true.
Reachability property qltransition_28611 is true.
BEST_FIRST walk for 3973 steps (8 resets) in 16293 ms. (0 steps per ms) remains 17183/17186 properties
Reachability property qltransition_25517 is true.
BEST_FIRST walk for 2782 steps (8 resets) in 20093 ms. (0 steps per ms) remains 17183/17183 properties
Reachability property qltransition_20923 is true.
BEST_FIRST walk for 3587 steps (7 resets) in 18694 ms. (0 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 724 ms. (5 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3270 ms. (1 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5203 ms. (0 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 7567 ms. (0 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6050 ms. (0 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 17183/17183 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 17182/17183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 17180/17182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17176/17180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 17175/17176 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 17175/17175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 17174/17175 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17173/17174 properties
BEST_FIRST walk for 4003 steps (8 resets) in 718 ms. (5 steps per ms) remains 17173/17173 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17172/17173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 17170/17172 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 17169/17170 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17169/17169 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 17168/17169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 17168/17168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17166/17168 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 17165/17166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1253 ms. (3 steps per ms) remains 17165/17165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2649 ms. (1 steps per ms) remains 17165/17165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 17164/17165 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17164/17164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17162/17164 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17162/17162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 17162/17162 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 17162/17162 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 17160/17162 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 17160/17160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 17160/17160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17160/17160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17159/17160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 17159/17159 properties
BEST_FIRST walk for 4002 steps (8 resets) in 673 ms. (5 steps per ms) remains 17159/17159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 17158/17159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 17158/17158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17157/17158 properties
BEST_FIRST walk for 4004 steps (8 resets) in 756 ms. (5 steps per ms) remains 17157/17157 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1274 ms. (3 steps per ms) remains 17156/17157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17156/17156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17156/17156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17156/17156 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17155/17156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17153/17155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17153/17153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17152/17153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17152/17152 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17149/17152 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17149/17149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17149/17149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17149/17149 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17147/17149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17147/17147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17146/17147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2105 ms. (1 steps per ms) remains 17146/17146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17146/17146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17146/17146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17146/17146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17146/17146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17146/17146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17145/17146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17145/17145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17145/17145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17144/17145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 17143/17144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17143/17143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17143/17143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17143/17143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17143/17143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 17143/17143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1858 ms. (2 steps per ms) remains 17143/17143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17142/17143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17142/17142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17141/17142 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17139/17141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17139/17139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17139/17139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17139/17139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1934 ms. (2 steps per ms) remains 17139/17139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17138/17139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17138/17138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17138/17138 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17138/17138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17138/17138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17137/17138 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17137/17137 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17137/17137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17137/17137 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17136/17137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17136/17136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17134/17136 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17134/17134 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17134/17134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3983 ms. (1 steps per ms) remains 17134/17134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17134/17134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17134/17134 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17133/17134 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17133/17133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17132/17133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17131/17132 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17130/17131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17128/17130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4002 steps (8 resets) in 3137 ms. (1 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17128/17128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17127/17128 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17127/17127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17127/17127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17127/17127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17127/17127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17127/17127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17127/17127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17126/17127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17126/17126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17125/17126 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 17125/17125 properties
BEST_FIRST walk for 4002 steps (8 resets) in 675 ms. (5 steps per ms) remains 17125/17125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17124/17125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6779 ms. (0 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 837 ms. (4 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3720 ms. (1 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4002 steps (8 resets) in 9803 ms. (0 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5440 ms. (0 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 17124/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 843 ms. (4 steps per ms) remains 17123/17124 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17123/17123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 17122/17123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 728 ms. (5 steps per ms) remains 17122/17122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17122/17122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 768 ms. (5 steps per ms) remains 17122/17122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17122/17122 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17122/17122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17122/17122 properties
BEST_FIRST walk for 4002 steps (8 resets) in 670 ms. (5 steps per ms) remains 17121/17122 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17121/17121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17121/17121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17121/17121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17119/17121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17119/17119 properties
BEST_FIRST walk for 4002 steps (8 resets) in 671 ms. (5 steps per ms) remains 17119/17119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17119/17119 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17119/17119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17119/17119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17117/17119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1019 ms. (3 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1124 ms. (3 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17117/17117 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17116/17117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17115/17116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17114/17115 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17114/17114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17113/17114 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4002 steps (8 resets) in 671 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17113/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17110/17113 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17110/17110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17110/17110 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17108/17110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 732 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 733 ms. (5 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17108/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17107/17108 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17107/17107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17107/17107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17107/17107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17107/17107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17107/17107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17107/17107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17104/17107 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17104/17104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17101/17104 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17101/17101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17099/17101 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 17099/17099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17099/17099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17099/17099 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17099/17099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17099/17099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17097/17099 properties
BEST_FIRST walk for 4002 steps (8 resets) in 670 ms. (5 steps per ms) remains 17097/17097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17097/17097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17097/17097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 17097/17097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17097/17097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17096/17097 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1327 ms. (3 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2345 ms. (1 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1139 ms. (3 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 816 ms. (4 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1462 ms. (2 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 988 ms. (4 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2484 ms. (1 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2441 ms. (1 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2161 ms. (1 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2572 ms. (1 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2777 ms. (1 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1679 ms. (2 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 760 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17096/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17094/17096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17094/17094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17094/17094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17094/17094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17093/17094 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17093/17093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17093/17093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 780 ms. (5 steps per ms) remains 17093/17093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17093/17093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17093/17093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17093/17093 properties
BEST_FIRST walk for 4002 steps (8 resets) in 670 ms. (5 steps per ms) remains 17092/17093 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17092/17092 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17091/17092 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2467 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2435 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2348 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1937 ms. (2 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2320 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2431 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2303 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2266 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2174 ms. (1 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1778 ms. (2 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17091/17091 properties
SDD proceeding with computation,26994 properties remain. new max is 256
SDD size :158 after 198
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 17091/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17090/17091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 817 ms. (4 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17090/17090 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17089/17090 properties
BEST_FIRST walk for 4003 steps (8 resets) in 770 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17089/17089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17088/17089 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17088/17088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17088/17088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17087/17088 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 17086/17087 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17086/17086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17086/17086 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17085/17086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 17085/17085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17084/17085 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1192 ms. (3 steps per ms) remains 17084/17084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17083/17084 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4002 steps (8 resets) in 664 ms. (6 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17083/17083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17082/17083 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17082/17082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17082/17082 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17082/17082 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17082/17082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17081/17082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17081/17081 properties
SDD proceeding with computation,26994 properties remain. new max is 512
SDD size :198 after 208
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17081/17081 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17080/17081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17080/17080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17080/17080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17080/17080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17080/17080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17078/17080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 666 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4002 steps (8 resets) in 664 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4001 steps (8 resets) in 669 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17078/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17076/17078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 659 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4001 steps (8 resets) in 670 ms. (5 steps per ms) remains 17076/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17075/17076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17075/17075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17075/17075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17075/17075 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17075/17075 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17074/17075 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4002 steps (8 resets) in 671 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17074/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 17073/17074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17073/17073 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17072/17073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17072/17072 properties
BEST_FIRST walk for 4002 steps (8 resets) in 670 ms. (5 steps per ms) remains 17071/17072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17071/17071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17071/17071 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17071/17071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17071/17071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17067/17071 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17067/17067 properties
BEST_FIRST walk for 4002 steps (8 resets) in 670 ms. (5 steps per ms) remains 17067/17067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17067/17067 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17067/17067 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17066/17067 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17066/17066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17065/17066 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17065/17065 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17063/17065 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17063/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17063 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17062/17062 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17061/17062 properties
BEST_FIRST walk for 4002 steps (8 resets) in 722 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 682 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17061/17061 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 17060/17061 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 17060/17060 properties
SDD proceeding with computation,26994 properties remain. new max is 1024
SDD size :208 after 262
BEST_FIRST walk for 4001 steps (8 resets) in 667 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17060/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17059/17060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17059/17059 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17058/17059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17058 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4002 steps (8 resets) in 666 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17057/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17055/17057 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17055/17055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17055/17055 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17055/17055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17055 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 659 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 17054/17054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17054/17054 properties
[2025-06-03 23:50:41] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-03 23:50:41] [INFO ] Invariant cache hit.
[2025-06-03 23:50:42] [INFO ] State equation strengthened by 829 read => feed constraints.
Detected timeout of ITS tools.
[2025-06-03 23:50:44] [INFO ] Flatten gal took : 1066 ms
[2025-06-03 23:50:44] [INFO ] Applying decomposition
[2025-06-03 23:50:45] [INFO ] Flatten gal took : 1039 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph17020731014737048640.txt' '-o' '/tmp/graph17020731014737048640.bin' '-w' '/tmp/graph17020731014737048640.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph17020731014737048640.bin' '-l' '-1' '-v' '-w' '/tmp/graph17020731014737048640.weights' '-q' '0' '-e' '0.001'
[2025-06-03 23:50:49] [INFO ] Decomposing Gal with order
[2025-06-03 23:50:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-03 23:50:53] [INFO ] Removed a total of 91910 redundant transitions.
[2025-06-03 23:50:54] [INFO ] Flatten gal took : 2854 ms
[2025-06-03 23:51:04] [INFO ] Fuse similar labels procedure discarded/fused a total of 1138 labels/synchronizations in 2078 ms.
[2025-06-03 23:51:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2941517815528947404.gal : 149 ms
[2025-06-03 23:51:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15495009124755771723.prop : 65 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality2941517815528947404.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15495009124755771723.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality15495009124755771723.prop.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Reachability property qltransition_29816 is true.
Reachability property qltransition_28643 is true.
Reachability property qltransition_27134 is true.
Reachability property qltransition_27132 is true.
Reachability property qltransition_27116 is true.
Reachability property qltransition_27110 is true.
Reachability property qltransition_26605 is true.
Reachability property qltransition_26604 is true.
Reachability property qltransition_26603 is true.
Reachability property qltransition_26602 is true.
Reachability property qltransition_26601 is true.
Reachability property qltransition_26167 is true.
Reachability property qltransition_26165 is true.
Reachability property qltransition_26163 is true.
Reachability property qltransition_26162 is true.
Reachability property qltransition_26160 is true.
Reachability property qltransition_26159 is true.
Reachability property qltransition_26157 is true.
Reachability property qltransition_26154 is true.
Reachability property qltransition_26153 is true.
Reachability property qltransition_26151 is true.
Reachability property qltransition_26148 is true.
Reachability property qltransition_26147 is true.
Reachability property qltransition_23966 is true.
Reachability property qltransition_23964 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 603/18953 variables, and 0 constraints, problems are : Problem set: 25 solved, 17029 unsolved in 45650 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 17054/17054 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 25 solved, 17029 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Reachability property qltransition_23946 is true.
Reachability property qltransition_23944 is true.
Reachability property qltransition_23918 is true.
Reachability property qltransition_20913 is true.
Reachability property qltransition_20905 is true.
Reachability property qltransition_20881 is true.
Reachability property qltransition_20879 is true.
Reachability property qltransition_20861 is true.
Reachability property qltransition_20270 is true.
Reachability property qltransition_19544 is true.
Reachability property qltransition_19540 is true.
Reachability property qltransition_19537 is true.
Reachability property qltransition_19531 is true.
Reachability property qltransition_19528 is true.
Reachability property qltransition_19527 is true.
Reachability property qltransition_19525 is true.
Reachability property qltransition_19524 is true.
Reachability property qltransition_19523 is true.
Reachability property qltransition_19518 is true.
Reachability property qltransition_18979 is true.
Reachability property qltransition_18977 is true.
Reachability property qltransition_18959 is true.
Reachability property qltransition_18957 is true.
Reachability property qltransition_18932 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 603/18953 variables, and 0 constraints, problems are : Problem set: 49 solved, 17005 unsolved in 45310 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/17054 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 186601ms problems are : Problem set: 49 solved, 17005 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 603 out of 627 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Reachability property qltransition_17510 is true.
Reachability property qltransition_17490 is true.
Reachability property qltransition_17484 is true.
Reachability property qltransition_17478 is true.
Applied a total of 0 rules in 313 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 318 ms. Remains : 627/627 places, 31353/31353 transitions.
Reachability property qltransition_15328 is true.
Reachability property qltransition_15325 is true.
Reachability property qltransition_15324 is true.
Reachability property qltransition_15322 is true.
Reachability property qltransition_14287 is true.
Reachability property qltransition_14285 is true.
Reachability property qltransition_11545 is true.
Reachability property qltransition_11539 is true.
Reachability property qltransition_11121 is true.
Reachability property qltransition_11118 is true.
Reachability property qltransition_11117 is true.
Reachability property qltransition_11115 is true.
RANDOM walk for 421377 steps (0 resets) in 120007 ms. (3 steps per ms) remains 15005/17001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15005/15005 properties
Reachability property qltransition_10609 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4001 steps (8 resets) in 663 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4002 steps (8 resets) in 663 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 652 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15005/15005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 660 ms. (6 steps per ms) remains 15003/15005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 660 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 659 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 666 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 659 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 659 ms. (6 steps per ms) remains 15003/15003 properties
Reachability property qltransition_8249 is true.
Reachability property qltransition_8245 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 15003/15003 properties
Reachability property qltransition_8217 is true.
Reachability property qltransition_8213 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 657 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
Reachability property qltransition_7128 is true.
Reachability property qltransition_7122 is true.
Reachability property qltransition_7116 is true.
Reachability property qltransition_7110 is true.
Reachability property qltransition_7106 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 730 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 658 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4002 steps (8 resets) in 649 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 15003/15003 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15003/15003 properties
Reachability property qltransition_6501 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 655 ms. (6 steps per ms) remains 15003/15003 properties
[2025-06-03 23:54:31] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-03 23:54:31] [INFO ] Invariant cache hit.
[2025-06-03 23:54:32] [INFO ] State equation strengthened by 829 read => feed constraints.
Reachability property qltransition_4456 is true.
Reachability property qltransition_4331 is true.
Reachability property qltransition_3986 is true.
Reachability property qltransition_3978 is true.
Reachability property qltransition_1515 is true.
Reachability property qltransition_1152 is true.
Reachability property qltransition_1129 is true.
Reachability property qltransition_1128 is true.
Reachability property qltransition_131 is true.
Reachability property qltransition_127 is true.
SDD proceeding with computation,16968 properties remain. new max is 2
SDD size :1.35678e+09 after 1.08596e+11
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
Reachability property qltransition_31184 is true.
Reachability property qltransition_30737 is true.
Reachability property qltransition_30686 is true.
Reachability property qltransition_30225 is true.
Reachability property qltransition_30224 is true.
Reachability property qltransition_29696 is true.
Reachability property qltransition_29693 is true.
Reachability property qltransition_29692 is true.
Reachability property qltransition_29690 is true.
Reachability property qltransition_29689 is true.
Reachability property qltransition_29687 is true.
Reachability property qltransition_29685 is true.
Reachability property qltransition_29683 is true.
Reachability property qltransition_29677 is true.
Reachability property qltransition_29676 is true.
Reachability property qltransition_29675 is true.
Reachability property qltransition_29673 is true.
Reachability property qltransition_29671 is true.
Reachability property qltransition_29669 is true.
Reachability property qltransition_29667 is true.
Reachability property qltransition_29664 is true.
Reachability property qltransition_29661 is true.
Reachability property qltransition_29658 is true.
Reachability property qltransition_29657 is true.
Reachability property qltransition_29655 is true.
Reachability property qltransition_29653 is true.
Reachability property qltransition_29651 is true.
Reachability property qltransition_29648 is true.
Reachability property qltransition_29646 is true.
Reachability property qltransition_29645 is true.
Reachability property qltransition_29644 is true.
Reachability property qltransition_29643 is true.
Reachability property qltransition_29642 is true.
Reachability property qltransition_29641 is true.
Reachability property qltransition_29639 is true.
Reachability property qltransition_29637 is true.
Reachability property qltransition_29636 is true.
Reachability property qltransition_29635 is true.
Reachability property qltransition_29634 is true.
Reachability property qltransition_29632 is true.
Reachability property qltransition_29630 is true.
Reachability property qltransition_29629 is true.
Reachability property qltransition_29628 is true.
Reachability property qltransition_29626 is true.
Reachability property qltransition_29625 is true.
Reachability property qltransition_29191 is true.
Reachability property qltransition_29190 is true.
Reachability property qltransition_29189 is true.
Reachability property qltransition_29188 is true.
Reachability property qltransition_29187 is true.
Reachability property qltransition_29184 is true.
Reachability property qltransition_29181 is true.
Reachability property qltransition_29180 is true.
Reachability property qltransition_29179 is true.
Reachability property qltransition_29177 is true.
Reachability property qltransition_29175 is true.
Reachability property qltransition_29173 is true.
Reachability property qltransition_29171 is true.
Reachability property qltransition_29168 is true.
Reachability property qltransition_29165 is true.
Reachability property qltransition_29164 is true.
Reachability property qltransition_29162 is true.
Reachability property qltransition_29161 is true.
Reachability property qltransition_29159 is true.
Reachability property qltransition_29157 is true.
Reachability property qltransition_29155 is true.
Reachability property qltransition_28560 is true.
Reachability property qltransition_28554 is true.
Reachability property qltransition_28552 is true.
Reachability property qltransition_28550 is true.
Reachability property qltransition_28548 is true.
Reachability property qltransition_28546 is true.
Reachability property qltransition_28183 is true.
Reachability property qltransition_28181 is true.
Reachability property qltransition_28179 is true.
Reachability property qltransition_28178 is true.
Reachability property qltransition_28176 is true.
Reachability property qltransition_28175 is true.
Reachability property qltransition_28173 is true.
Reachability property qltransition_28172 is true.
Reachability property qltransition_28170 is true.
Reachability property qltransition_28169 is true.
Reachability property qltransition_28167 is true.
Reachability property qltransition_28165 is true.
Reachability property qltransition_28163 is true.
Reachability property qltransition_28128 is true.
Reachability property qltransition_28125 is true.
Reachability property qltransition_28124 is true.
Reachability property qltransition_28123 is true.
Reachability property qltransition_28121 is true.
Reachability property qltransition_28119 is true.
Reachability property qltransition_28117 is true.
Reachability property qltransition_28115 is true.
Reachability property qltransition_28114 is true.
Reachability property qltransition_27680 is true.
Reachability property qltransition_27676 is true.
Reachability property qltransition_27674 is true.
Reachability property qltransition_27672 is true.
Reachability property qltransition_27668 is true.
Reachability property qltransition_27666 is true.
Reachability property qltransition_27662 is true.
Reachability property qltransition_27660 is true.
Reachability property qltransition_27658 is true.
Reachability property qltransition_27656 is true.
Reachability property qltransition_27654 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 573/18953 variables, and 0 constraints, problems are : Problem set: 106 solved, 14876 unsolved in 75380 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 14982/14982 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 106 solved, 14876 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
Reachability property qltransition_21635 is true.
Reachability property qltransition_21631 is true.
Reachability property qltransition_21620 is true.
Reachability property qltransition_21618 is true.
Reachability property qltransition_21615 is true.
Reachability property qltransition_21603 is true.
Reachability property qltransition_21588 is true.
Reachability property qltransition_21586 is true.
Reachability property qltransition_21583 is true.
Reachability property qltransition_21424 is true.
Reachability property qltransition_21421 is true.
Reachability property qltransition_21411 is true.
Reachability property qltransition_21404 is true.
Reachability property qltransition_21400 is true.
Reachability property qltransition_21397 is true.
Reachability property qltransition_21396 is true.
Reachability property qltransition_21394 is true.
Reachability property qltransition_21211 is true.
Reachability property qltransition_21196 is true.
Reachability property qltransition_21191 is true.
Reachability property qltransition_20728 is true.
Reachability property qltransition_20698 is true.
Reachability property qltransition_20694 is true.
Reachability property qltransition_20688 is true.
Reachability property qltransition_20664 is true.
Reachability property qltransition_20360 is true.
Reachability property qltransition_20359 is true.
Reachability property qltransition_20356 is true.
Reachability property qltransition_20355 is true.
Reachability property qltransition_20354 is true.
Reachability property qltransition_20353 is true.
Reachability property qltransition_20343 is true.
Reachability property qltransition_20331 is true.
Reachability property qltransition_20316 is true.
Reachability property qltransition_20314 is true.
Reachability property qltransition_20311 is true.
Reachability property qltransition_20299 is true.
Reachability property qltransition_20284 is true.
Reachability property qltransition_20282 is true.
Reachability property qltransition_20279 is true.
Reachability property qltransition_20061 is true.
Reachability property qltransition_20055 is true.
Reachability property qltransition_20049 is true.
Reachability property qltransition_20047 is true.
Reachability property qltransition_20041 is true.
Reachability property qltransition_20039 is true.
Reachability property qltransition_20035 is true.
Reachability property qltransition_20029 is true.
Reachability property qltransition_19953 is true.
Reachability property qltransition_19951 is true.
Reachability property qltransition_19945 is true.
Reachability property qltransition_19943 is true.
Reachability property qltransition_19941 is true.
Reachability property qltransition_19939 is true.
Reachability property qltransition_19933 is true.
Reachability property qltransition_19927 is true.
Reachability property qltransition_19921 is true.
Reachability property qltransition_19919 is true.
Reachability property qltransition_19875 is true.
Reachability property qltransition_19855 is true.
Reachability property qltransition_19556 is true.
Reachability property qltransition_19555 is true.
Reachability property qltransition_19553 is true.
Reachability property qltransition_19550 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 573/18953 variables, and 0 constraints, problems are : Problem set: 169 solved, 14813 unsolved in 75265 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/14982 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 263298ms problems are : Problem set: 169 solved, 14813 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 573 out of 627 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 272 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 273 ms. Remains : 627/627 places, 31353/31353 transitions.
RANDOM walk for 280984 steps (0 resets) in 120170 ms. (2 steps per ms) remains 14536/14813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5408 ms. (0 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5436 ms. (0 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9385 ms. (0 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2345 ms. (1 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 4172 ms. (0 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2818 ms. (1 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 656 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 14536/14536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 659 ms. (6 steps per ms) remains 14535/14536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 740 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 660 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 14535/14535 properties
BEST_FIRST walk for 4002 steps (8 resets) in 671 ms. (5 steps per ms) remains 14534/14535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 653 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 14534/14534 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 14534/14534 properties
Reachability property qltransition_17900 is true.
Reachability property qltransition_17893 is true.
Reachability property qltransition_17886 is true.
Reachability property qltransition_17883 is true.
Reachability property qltransition_17882 is true.
Reachability property qltransition_17876 is true.
Reachability property qltransition_17874 is true.
Reachability property qltransition_17859 is true.
Reachability property qltransition_17853 is true.
Reachability property qltransition_17851 is true.
Reachability property qltransition_17843 is true.
Reachability property qltransition_17841 is true.
Reachability property qltransition_17836 is true.
Reachability property qltransition_17602 is true.
Reachability property qltransition_17596 is true.
Reachability property qltransition_17576 is true.
Reachability property qltransition_17562 is true.
Reachability property qltransition_17554 is true.
Reachability property qltransition_17548 is true.
Reachability property qltransition_17547 is true.
Reachability property qltransition_17546 is true.
Reachability property qltransition_17543 is true.
Reachability property qltransition_17542 is true.
Reachability property qltransition_17539 is true.
Reachability property qltransition_17525 is true.
Reachability property qltransition_17523 is true.
Reachability property qltransition_17519 is true.
Reachability property qltransition_17503 is true.
Reachability property qltransition_17499 is true.
Reachability property qltransition_17468 is true.
Reachability property qltransition_17454 is true.
Reachability property qltransition_17448 is true.
Reachability property qltransition_17446 is true.
Reachability property qltransition_17434 is true.
Reachability property qltransition_17430 is true.
Reachability property qltransition_17400 is true.
Reachability property qltransition_17201 is true.
Reachability property qltransition_17181 is true.
Reachability property qltransition_17175 is true.
Reachability property qltransition_17159 is true.
Reachability property qltransition_17155 is true.
Reachability property qltransition_17048 is true.
Reachability property qltransition_17045 is true.
Detected timeout of ITS tools.
Interrupted probabilistic random walk after 122606 steps, run timeout after 162003 ms. (steps per millisecond=0 ) properties seen :144 out of 14534
Probabilistic random walk after 122606 steps, saw 106677 distinct states, run finished after 162250 ms. (steps per millisecond=0 ) properties seen :144
[2025-06-04 00:02:33] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 00:02:34] [INFO ] Invariant cache hit.
[2025-06-04 00:02:37] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 571/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 14348 unsolved in 90331 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 14348/14348 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 14348 unsolved
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
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="RERS17pb113-PT-2"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
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-5832"
echo " Executing tool itstools"
echo " Input is RERS17pb113-PT-2, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r175-smll-174889238800237"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-2.tgz
mv RERS17pb113-PT-2 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.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 [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;