About the Execution of ITS-Tools for RERS17pb113-PT-4
| 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-174889238900247.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-4, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-smll-174889238900247
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.2K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K 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.6K 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.0K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 117K 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 1748996347132
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-4
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202505121319
[2025-06-04 00:19:09] [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-04 00:19:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-04 00:19:10] [INFO ] Load time of PNML (sax parser for PT used): 1123 ms
[2025-06-04 00:19:10] [INFO ] Transformed 639 places.
[2025-06-04 00:19:10] [INFO ] Transformed 31353 transitions.
[2025-06-04 00:19:10] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 1480 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 461 ms. Remains 627 /639 variables (removed 12) and now considering 31353/31353 (removed 0) transitions.
[2025-06-04 00:19:11] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2025-06-04 00:19:11] [INFO ] Computed 13 invariants in 151 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-06-04 00:19:16] [INFO ] Implicit Places using invariants in 5072 ms returned []
Implicit Place search using SMT only with invariants took 5131 ms to find 0 implicit places.
Running 31352 sub problems to find dead transitions.
[2025-06-04 00:19:16] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 00:19:16] [INFO ] Invariant cache hit.
[2025-06-04 00:19:17] [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 31514 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 30482 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 245027ms problems are : Problem set: 0 solved, 31352 unsolved
Search for dead transitions found 0 dead transitions in 245272ms
Starting structural reductions in LIVENESS mode, iteration 1 : 627/639 places, 31353/31353 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 251059 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 11046 ms. (3 steps per ms) remains 27376/31048 properties
BEST_FIRST walk for 122 steps (8 resets) in 77 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 111 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 83 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 92 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 99 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 114 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 93 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 98 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 96 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 103 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 106 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 111 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 120 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 135 ms. (0 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 152 ms. (0 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 154 ms. (0 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 55 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 124 steps (8 resets) in 59 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 58 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 74 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 72 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 72 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 80 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 104 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 76 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 70 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 67 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 59 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 55 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 70 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 68 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 56 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 65 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 71 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 51 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 120 steps (8 resets) in 67 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 72 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 63 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 120 steps (8 resets) in 66 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 120 steps (8 resets) in 59 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 120 steps (8 resets) in 67 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 62 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 64 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 50 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 45 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 60 ms. (2 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 122 steps (8 resets) in 69 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 120 steps (8 resets) in 83 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 123 steps (8 resets) in 69 ms. (1 steps per ms) remains 27376/27376 properties
BEST_FIRST walk for 121 steps (8 resets) in 68 ms. (1 steps per ms) remains 27376/27376 properties
[2025-06-04 00:23:27] [INFO ] Flatten gal took : 2732 ms
[2025-06-04 00:23:27] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 00:23:27] [INFO ] Invariant cache hit.
[2025-06-04 00:23:28] [INFO ] State equation strengthened by 829 read => feed constraints.
[2025-06-04 00:23:28] [INFO ] Flatten gal took : 1134 ms
[2025-06-04 00:23:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16109401943935106185.gal : 565 ms
[2025-06-04 00:23:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8868353689869537653.prop : 214 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/ReachabilityCardinality16109401943935106185.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8868353689869537653.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/ReachabilityCardinality8868353689869537653.prop.
SDD proceeding with computation,27376 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,27376 properties remain. new max is 8
SDD size :5 after 18
SDD proceeding with computation,27376 properties remain. new max is 16
SDD size :18 after 20
SDD proceeding with computation,27376 properties remain. new max is 32
SDD size :20 after 25
SDD proceeding with computation,27376 properties remain. new max is 64
SDD size :25 after 26
SDD proceeding with computation,27376 properties remain. new max is 128
SDD size :26 after 29
Starting Z3 with timeout 5.0 s and query timeout 500.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, 27376 unsolved in 5896 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 27376/27376 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 27376 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.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, 27376 unsolved in 5912 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/27376 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 186975ms problems are : Problem set: 0 solved, 27376 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 365 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 373 ms. Remains : 627/627 places, 31353/31353 transitions.
RANDOM walk for 260152 steps (0 resets) in 120025 ms. (2 steps per ms) remains 21397/27376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1916 ms. (2 steps per ms) remains 21391/21397 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1816 ms. (2 steps per ms) remains 21389/21391 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2803 ms. (1 steps per ms) remains 21386/21389 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2147 ms. (1 steps per ms) remains 21384/21386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2279 ms. (1 steps per ms) remains 21381/21384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 21380/21381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21370/21380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21368/21370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21365/21368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21362/21365 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21359/21362 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 21353/21359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21351/21353 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 21351/21351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21349/21351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21349/21349 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 21349/21349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21348/21349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 681 ms. (5 steps per ms) remains 21344/21348 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21343/21344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21343/21343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 767 ms. (5 steps per ms) remains 21342/21343 properties
BEST_FIRST walk for 4002 steps (8 resets) in 672 ms. (5 steps per ms) remains 21341/21342 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21340/21341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21340/21340 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21340/21340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21340/21340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21339/21340 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21339/21339 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21338/21339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21338/21338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3833 ms. (1 steps per ms) remains 21338/21338 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21338/21338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21338/21338 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21338/21338 properties
BEST_FIRST walk for 4002 steps (8 resets) in 672 ms. (5 steps per ms) remains 21338/21338 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 21336/21338 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 21336/21336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21336/21336 properties
BEST_FIRST walk for 4003 steps (8 resets) in 676 ms. (5 steps per ms) remains 21334/21336 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21330/21334 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21330/21330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 21330/21330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 21330/21330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 21329/21330 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 21329/21329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21328/21329 properties
BEST_FIRST walk for 4002 steps (8 resets) in 675 ms. (5 steps per ms) remains 21328/21328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 21328/21328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 21327/21328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 21326/21327 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21325/21326 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 21324/21325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21324/21324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21324/21324 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 21324/21324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21323/21324 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21323/21323 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21323/21323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21323/21323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 21320/21323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21320/21320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21320/21320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21319/21320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4002 steps (8 resets) in 666 ms. (6 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21319/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21318/21319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21318/21318 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 21317/21318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4001 steps (8 resets) in 668 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21317/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 21316/21317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 21316/21316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 21316/21316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21316/21316 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21316/21316 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21314/21316 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21314/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21313/21314 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21313/21313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21312/21313 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21311/21312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21311/21311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21310/21311 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4002 steps (8 resets) in 669 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1840 ms. (2 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2769 ms. (1 steps per ms) remains 21310/21310 properties
SDD proceeding with computation,27376 properties remain. new max is 256
SDD size :29 after 34
BEST_FIRST walk for 4004 steps (8 resets) in 3067 ms. (1 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2368 ms. (1 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2842 ms. (1 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1763 ms. (2 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 806 ms. (4 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1238 ms. (3 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 855 ms. (4 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1763 ms. (2 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1275 ms. (3 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1891 ms. (2 steps per ms) remains 21310/21310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8157 ms. (0 steps per ms) remains 21309/21310 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3279 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17878 ms. (0 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3107 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1234 ms. (3 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1954 ms. (2 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 734 ms. (5 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2246 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7976 ms. (0 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4002 steps (8 resets) in 3587 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1878 ms. (2 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5992 ms. (0 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7375 ms. (0 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3216 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4139 ms. (0 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2344 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2530 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3590 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2810 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2351 ms. (1 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 13391 ms. (0 steps per ms) remains 21309/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1770 ms. (2 steps per ms) remains 21305/21309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2843 ms. (1 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2714 ms. (1 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2014 ms. (1 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2445 ms. (1 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 896 ms. (4 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21305/21305 properties
Reachability property qltransition_7410 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21305/21305 properties
BEST_FIRST walk for 4003 steps (8 resets) in 7592 ms. (0 steps per ms) remains 21304/21305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1745 ms. (2 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3078 ms. (1 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3199 ms. (1 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5390 ms. (0 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 6487 ms. (0 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5194 ms. (0 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2109 ms. (1 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3346 ms. (1 steps per ms) remains 21304/21304 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3640 ms. (1 steps per ms) remains 21303/21304 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3971 ms. (1 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 8741 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8315 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1941 ms. (2 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1160 ms. (3 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5382 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 6771 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 3854 steps (8 resets) in 11568 ms. (0 steps per ms) remains 21303/21303 properties
SDD proceeding with computation,27375 properties remain. new max is 256
SDD size :34 after 62
BEST_FIRST walk for 4002 steps (8 resets) in 1980 ms. (2 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 3879 steps (8 resets) in 17029 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2993 ms. (1 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5659 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9641 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 5443 ms. (0 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3024 ms. (1 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2428 ms. (1 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3112 ms. (1 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2835 ms. (1 steps per ms) remains 21303/21303 properties
BEST_FIRST walk for 4001 steps (8 resets) in 6537 ms. (0 steps per ms) remains 21302/21303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4384 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7515 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8393 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12634 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 6424 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4975 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4050 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2950 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2910 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2791 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2926 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1942 ms. (2 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2833 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3528 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2996 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2829 ms. (1 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5282 ms. (0 steps per ms) remains 21302/21302 properties
Reachability property qltransition_21263 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 5636 ms. (0 steps per ms) remains 21302/21302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 8084 ms. (0 steps per ms) remains 21302/21302 properties
Reachability property qltransition_19683 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 21301/21302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1207 ms. (3 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5201 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 15899 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 4003 steps (8 resets) in 16994 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 2865 steps (8 resets) in 20320 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 2582 steps (6 resets) in 20119 ms. (0 steps per ms) remains 21301/21301 properties
Reachability property qltransition_9814 is true.
BEST_FIRST walk for 3248 steps (8 resets) in 20125 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 2920 steps (6 resets) in 21144 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 3227 steps (7 resets) in 19528 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 17347 ms. (0 steps per ms) remains 21301/21301 properties
BEST_FIRST walk for 3626 steps (8 resets) in 20266 ms. (0 steps per ms) remains 21300/21301 properties
BEST_FIRST walk for 3191 steps (6 resets) in 19782 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3074 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2735 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 775 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1237 ms. (3 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1391 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1348 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1506 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1920 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4805 ms. (0 steps per ms) remains 21300/21300 properties
SDD proceeding with computation,27372 properties remain. new max is 256
SDD size :62 after 106
BEST_FIRST walk for 4003 steps (8 resets) in 11431 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 9758 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 12371 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 747 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 937 ms. (4 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 674 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1427 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2288 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 766 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1558 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2193 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2128 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1264 ms. (3 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 6432 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1356 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2389 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1730 ms. (2 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1022 ms. (3 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 4987 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4686 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3862 ms. (1 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 1639 steps (4 resets) in 41540 ms. (0 steps per ms) remains 21300/21300 properties
Reachability property qltransition_28516 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 10123 ms. (0 steps per ms) remains 21300/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 11665 ms. (0 steps per ms) remains 21299/21300 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2605 ms. (1 steps per ms) remains 21298/21299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1562 ms. (2 steps per ms) remains 21298/21298 properties
BEST_FIRST walk for 4003 steps (8 resets) in 814 ms. (4 steps per ms) remains 21298/21298 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1106 ms. (3 steps per ms) remains 21298/21298 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1481 ms. (2 steps per ms) remains 21297/21298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6613 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 15262 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3929 ms. (1 steps per ms) remains 21297/21297 properties
Reachability property qltransition_21311 is true.
Reachability property qltransition_21247 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 6101 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2661 ms. (1 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9617 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3858 ms. (1 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3454 ms. (1 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 975 ms. (4 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6739 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9372 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4002 steps (8 resets) in 11281 ms. (0 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3987 ms. (1 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2763 ms. (1 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1437 ms. (2 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 676 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4002 steps (8 resets) in 673 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21297/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21296/21297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 854 ms. (4 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4002 steps (8 resets) in 672 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 676 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4002 steps (8 resets) in 673 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21296/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21295/21296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 928 ms. (4 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21295/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 21294/21295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2751 ms. (1 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2217 ms. (1 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 675 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 21294/21294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21293/21294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 787 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 676 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 671 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21293/21293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 21291/21293 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 6330 ms. (0 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 678 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 677 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1522 ms. (2 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1674 ms. (2 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1074 ms. (3 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21291/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21290/21291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21290/21290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21289/21290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4001 steps (8 resets) in 666 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1979 ms. (2 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 673 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 815 ms. (4 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 674 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4002 steps (8 resets) in 671 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 675 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4002 steps (8 resets) in 665 ms. (6 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 682 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 672 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 673 ms. (5 steps per ms) remains 21289/21289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 21289/21289 properties
[2025-06-04 00:32:18] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 00:32:18] [INFO ] Invariant cache hit.
[2025-06-04 00:32:19] [INFO ] State equation strengthened by 829 read => feed constraints.
SDD proceeding with computation,27369 properties remain. new max is 256
SDD size :106 after 114
Reachability property qltransition_28645 is true.
Reachability property qltransition_25507 is true.
Reachability property qltransition_19686 is true.
Reachability property qltransition_19685 is true.
SDD proceeding with computation,27365 properties remain. new max is 256
SDD size :114 after 158
Reachability property qltransition_28635 is true.
Reachability property qltransition_28494 is true.
Detected timeout of ITS tools.
[2025-06-04 00:33:31] [INFO ] Flatten gal took : 1038 ms
[2025-06-04 00:33:31] [INFO ] Applying decomposition
[2025-06-04 00:33:32] [INFO ] Flatten gal took : 1009 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/graph5807256434711770635.txt' '-o' '/tmp/graph5807256434711770635.bin' '-w' '/tmp/graph5807256434711770635.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph5807256434711770635.bin' '-l' '-1' '-v' '-w' '/tmp/graph5807256434711770635.weights' '-q' '0' '-e' '0.001'
[2025-06-04 00:33:36] [INFO ] Decomposing Gal with order
[2025-06-04 00:33:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-06-04 00:33:41] [INFO ] Removed a total of 91896 redundant transitions.
[2025-06-04 00:33:42] [INFO ] Flatten gal took : 4052 ms
[2025-06-04 00:34:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 1695 labels/synchronizations in 1831 ms.
[2025-06-04 00:34:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17559184214353423037.gal : 434 ms
[2025-06-04 00:34:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality732375978198737004.prop : 112 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/ReachabilityCardinality17559184214353423037.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality732375978198737004.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 ...307
Loading property file /tmp/ReachabilityCardinality732375978198737004.prop.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 624/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 21289 unsolved in 45608 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 21289/21289 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 21289 unsolved
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Reachability property qltransition_31134 is true.
Reachability property qltransition_31110 is true.
Reachability property qltransition_31107 is true.
Reachability property qltransition_31100 is true.
Reachability property qltransition_31099 is true.
Reachability property qltransition_31095 is true.
Reachability property qltransition_31070 is true.
Reachability property qltransition_30902 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 624/18953 variables, and 0 constraints, problems are : Problem set: 8 solved, 21281 unsolved in 46272 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/21289 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 218995ms problems are : Problem set: 8 solved, 21281 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 624 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 283 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 285 ms. Remains : 627/627 places, 31353/31353 transitions.
Reachability property qltransition_30891 is true.
Reachability property qltransition_30890 is true.
Reachability property qltransition_30885 is true.
Reachability property qltransition_30884 is true.
Reachability property qltransition_30878 is true.
Reachability property qltransition_30872 is true.
Reachability property qltransition_30870 is true.
Reachability property qltransition_30869 is true.
Reachability property qltransition_30866 is true.
Reachability property qltransition_30863 is true.
Reachability property qltransition_30855 is true.
Reachability property qltransition_30737 is true.
Reachability property qltransition_30736 is true.
Reachability property qltransition_30733 is true.
Reachability property qltransition_30732 is true.
RANDOM walk for 690858 steps (0 resets) in 120004 ms. (5 steps per ms) remains 17382/21281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17382/17382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 17381/17382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 667 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 661 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 666 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 671 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 656 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 662 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 660 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 654 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 668 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 670 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 668 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 17381/17381 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 17381/17381 properties
[2025-06-04 00:36:37] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 00:36:37] [INFO ] Invariant cache hit.
[2025-06-04 00:36:38] [INFO ] State equation strengthened by 829 read => feed constraints.
Reachability property qltransition_30623 is true.
Reachability property qltransition_30614 is true.
Reachability property qltransition_30604 is true.
Reachability property qltransition_30603 is true.
Reachability property qltransition_30599 is true.
Reachability property qltransition_30590 is true.
Reachability property qltransition_30574 is true.
Reachability property qltransition_30540 is true.
Reachability property qltransition_30538 is true.
Reachability property qltransition_30534 is true.
Reachability property qltransition_30533 is true.
Reachability property qltransition_30531 is true.
Reachability property qltransition_30530 is true.
Reachability property qltransition_30529 is true.
Reachability property qltransition_30528 is true.
Reachability property qltransition_30527 is true.
Reachability property qltransition_30526 is true.
Reachability property qltransition_30469 is true.
Reachability property qltransition_30272 is true.
Reachability property qltransition_30269 is true.
Reachability property qltransition_30118 is true.
Reachability property qltransition_30115 is true.
Reachability property qltransition_30108 is true.
Reachability property qltransition_30103 is true.
Reachability property qltransition_30078 is true.
Reachability property qltransition_29996 is true.
Reachability property qltransition_29993 is true.
Reachability property qltransition_29960 is true.
Reachability property qltransition_29957 is true.
Reachability property qltransition_29954 is true.
Reachability property qltransition_29948 is true.
Reachability property qltransition_29930 is true.
Reachability property qltransition_29924 is true.
Reachability property qltransition_29921 is true.
Reachability property qltransition_29835 is true.
Reachability property qltransition_29834 is true.
Reachability property qltransition_29830 is true.
Reachability property qltransition_29825 is true.
Reachability property qltransition_29821 is true.
Reachability property qltransition_29765 is true.
Reachability property qltransition_29758 is true.
Reachability property qltransition_29753 is true.
Reachability property qltransition_29751 is true.
Reachability property qltransition_29746 is true.
Reachability property qltransition_29745 is true.
Reachability property qltransition_29743 is true.
Reachability property qltransition_29733 is true.
Reachability property qltransition_29719 is true.
Reachability property qltransition_29713 is true.
Reachability property qltransition_29695 is true.
Reachability property qltransition_29692 is true.
Reachability property qltransition_29691 is true.
Reachability property qltransition_29678 is true.
Reachability property qltransition_29672 is true.
Reachability property qltransition_29666 is true.
Reachability property qltransition_29663 is true.
Reachability property qltransition_29660 is true.
Reachability property qltransition_29652 is true.
Reachability property qltransition_29650 is true.
Reachability property qltransition_29649 is true.
Reachability property qltransition_29647 is true.
Reachability property qltransition_29646 is true.
Reachability property qltransition_29642 is true.
Reachability property qltransition_29640 is true.
Reachability property qltransition_29638 is true.
Reachability property qltransition_29636 is true.
Reachability property qltransition_29634 is true.
Reachability property qltransition_29633 is true.
Reachability property qltransition_29631 is true.
Reachability property qltransition_29630 is true.
Reachability property qltransition_29628 is true.
Reachability property qltransition_29627 is true.
Reachability property qltransition_29623 is true.
Reachability property qltransition_29614 is true.
Reachability property qltransition_29611 is true.
Reachability property qltransition_29609 is true.
Reachability property qltransition_29605 is true.
Reachability property qltransition_29604 is true.
Reachability property qltransition_29552 is true.
Reachability property qltransition_29550 is true.
Reachability property qltransition_29548 is true.
Reachability property qltransition_29546 is true.
Reachability property qltransition_29545 is true.
Reachability property qltransition_29541 is true.
Reachability property qltransition_29540 is true.
Reachability property qltransition_29539 is true.
Reachability property qltransition_29538 is true.
Reachability property qltransition_29536 is true.
Reachability property qltransition_29534 is true.
Reachability property qltransition_29532 is true.
Reachability property qltransition_29530 is true.
Reachability property qltransition_29529 is true.
Reachability property qltransition_29528 is true.
Reachability property qltransition_29526 is true.
Reachability property qltransition_29524 is true.
Reachability property qltransition_29523 is true.
Reachability property qltransition_29504 is true.
Reachability property qltransition_29502 is true.
Reachability property qltransition_29500 is true.
Reachability property qltransition_29498 is true.
Reachability property qltransition_29494 is true.
Reachability property qltransition_29491 is true.
Reachability property qltransition_29482 is true.
Reachability property qltransition_29188 is true.
Reachability property qltransition_29185 is true.
Reachability property qltransition_29182 is true.
Reachability property qltransition_29170 is true.
Reachability property qltransition_29167 is true.
Reachability property qltransition_29164 is true.
Reachability property qltransition_29154 is true.
Reachability property qltransition_29150 is true.
Reachability property qltransition_29144 is true.
Reachability property qltransition_29138 is true.
Reachability property qltransition_29135 is true.
Reachability property qltransition_29132 is true.
Reachability property qltransition_29124 is true.
Reachability property qltransition_29121 is true.
Reachability property qltransition_29040 is true.
Reachability property qltransition_29038 is true.
Reachability property qltransition_29004 is true.
Reachability property qltransition_29000 is true.
Reachability property qltransition_28998 is true.
Reachability property qltransition_28996 is true.
Reachability property qltransition_28992 is true.
Reachability property qltransition_28988 is true.
Reachability property qltransition_28986 is true.
Reachability property qltransition_28984 is true.
Reachability property qltransition_28982 is true.
Reachability property qltransition_28980 is true.
Reachability property qltransition_28974 is true.
Reachability property qltransition_28964 is true.
Reachability property qltransition_28956 is true.
Reachability property qltransition_28741 is true.
Reachability property qltransition_28709 is true.
Reachability property qltransition_28684 is true.
Reachability property qltransition_28676 is true.
Reachability property qltransition_28672 is true.
Reachability property qltransition_28664 is true.
Reachability property qltransition_28660 is true.
Reachability property qltransition_28658 is true.
Reachability property qltransition_28654 is true.
Reachability property qltransition_28652 is true.
Reachability property qltransition_28648 is true.
Reachability property qltransition_28646 is true.
Reachability property qltransition_28636 is true.
Reachability property qltransition_28632 is true.
Reachability property qltransition_28626 is true.
Reachability property qltransition_28625 is true.
Reachability property qltransition_28620 is true.
Reachability property qltransition_28609 is true.
Reachability property qltransition_28608 is true.
Reachability property qltransition_28584 is true.
Reachability property qltransition_28568 is true.
Reachability property qltransition_28564 is true.
Reachability property qltransition_28562 is true.
Reachability property qltransition_28556 is true.
Reachability property qltransition_28548 is true.
Reachability property qltransition_28508 is true.
Reachability property qltransition_28504 is true.
Reachability property qltransition_28500 is true.
Reachability property qltransition_28490 is true.
Reachability property qltransition_28486 is true.
Reachability property qltransition_28484 is true.
Reachability property qltransition_28482 is true.
Reachability property qltransition_28480 is true.
Reachability property qltransition_28478 is true.
Reachability property qltransition_28476 is true.
Reachability property qltransition_28474 is true.
Reachability property qltransition_28472 is true.
Reachability property qltransition_28468 is true.
Reachability property qltransition_28466 is true.
Reachability property qltransition_28464 is true.
Reachability property qltransition_28462 is true.
Reachability property qltransition_28460 is true.
Reachability property qltransition_28458 is true.
Reachability property qltransition_28456 is true.
Reachability property qltransition_28454 is true.
Reachability property qltransition_28448 is true.
Reachability property qltransition_28444 is true.
Reachability property qltransition_28440 is true.
Reachability property qltransition_28436 is true.
Reachability property qltransition_28432 is true.
Reachability property qltransition_28430 is true.
Reachability property qltransition_28426 is true.
Reachability property qltransition_28424 is true.
Reachability property qltransition_28422 is true.
Reachability property qltransition_28213 is true.
Reachability property qltransition_28201 is true.
Reachability property qltransition_28199 is true.
Reachability property qltransition_28193 is true.
Reachability property qltransition_28191 is true.
Reachability property qltransition_28184 is true.
Reachability property qltransition_28178 is true.
Reachability property qltransition_28177 is true.
Reachability property qltransition_28175 is true.
Reachability property qltransition_28174 is true.
Reachability property qltransition_28172 is true.
Reachability property qltransition_28166 is true.
Reachability property qltransition_28164 is true.
Reachability property qltransition_28158 is true.
Reachability property qltransition_28154 is true.
Reachability property qltransition_28152 is true.
Reachability property qltransition_28146 is true.
Reachability property qltransition_28143 is true.
Reachability property qltransition_28140 is true.
Reachability property qltransition_28132 is true.
Reachability property qltransition_28130 is true.
Reachability property qltransition_28129 is true.
Reachability property qltransition_28126 is true.
Reachability property qltransition_28122 is true.
Reachability property qltransition_28120 is true.
Reachability property qltransition_28116 is true.
Reachability property qltransition_28114 is true.
Reachability property qltransition_28113 is true.
Reachability property qltransition_28011 is true.
Reachability property qltransition_28005 is true.
Reachability property qltransition_27998 is true.
Reachability property qltransition_27992 is true.
Reachability property qltransition_27987 is true.
Reachability property qltransition_27980 is true.
Reachability property qltransition_27974 is true.
Reachability property qltransition_27971 is true.
Reachability property qltransition_27968 is true.
Reachability property qltransition_27960 is true.
Reachability property qltransition_27959 is true.
Reachability property qltransition_27956 is true.
Reachability property qltransition_27953 is true.
Reachability property qltransition_27951 is true.
Reachability property qltransition_27945 is true.
Reachability property qltransition_27938 is true.
Reachability property qltransition_27933 is true.
Reachability property qltransition_27932 is true.
Reachability property qltransition_27927 is true.
Reachability property qltransition_27926 is true.
Reachability property qltransition_27924 is true.
Reachability property qltransition_27921 is true.
Reachability property qltransition_27908 is true.
Reachability property qltransition_27905 is true.
Reachability property qltransition_27717 is true.
Reachability property qltransition_27710 is true.
Reachability property qltransition_27705 is true.
Reachability property qltransition_27703 is true.
Reachability property qltransition_27698 is true.
Reachability property qltransition_27697 is true.
Reachability property qltransition_27685 is true.
Reachability property qltransition_27678 is true.
Reachability property qltransition_27676 is true.
Reachability property qltransition_27672 is true.
Reachability property qltransition_27670 is true.
Reachability property qltransition_27660 is true.
Reachability property qltransition_27656 is true.
Reachability property qltransition_27652 is true.
Reachability property qltransition_27644 is true.
Reachability property qltransition_27636 is true.
Reachability property qltransition_27632 is true.
Reachability property qltransition_27629 is true.
Reachability property qltransition_27625 is true.
Reachability property qltransition_27624 is true.
Reachability property qltransition_27620 is true.
Reachability property qltransition_27618 is true.
Reachability property qltransition_27617 is true.
Reachability property qltransition_27614 is true.
Reachability property qltransition_27613 is true.
Reachability property qltransition_27612 is true.
Reachability property qltransition_27608 is true.
Reachability property qltransition_27605 is true.
Reachability property qltransition_27596 is true.
Reachability property qltransition_27595 is true.
Reachability property qltransition_27593 is true.
Reachability property qltransition_27592 is true.
Reachability property qltransition_27589 is true.
Reachability property qltransition_27588 is true.
Reachability property qltransition_27587 is true.
Reachability property qltransition_27586 is true.
Reachability property qltransition_27585 is true.
Reachability property qltransition_27580 is true.
Reachability property qltransition_27577 is true.
Reachability property qltransition_27575 is true.
Reachability property qltransition_27569 is true.
Reachability property qltransition_27568 is true.
Reachability property qltransition_27565 is true.
Reachability property qltransition_27561 is true.
Reachability property qltransition_27556 is true.
Reachability property qltransition_27554 is true.
Reachability property qltransition_27550 is true.
Reachability property qltransition_27549 is true.
Reachability property qltransition_27545 is true.
Reachability property qltransition_27544 is true.
Reachability property qltransition_27541 is true.
Reachability property qltransition_27536 is true.
Reachability property qltransition_27535 is true.
Reachability property qltransition_27534 is true.
Reachability property qltransition_27532 is true.
Reachability property qltransition_27530 is true.
Reachability property qltransition_27527 is true.
Reachability property qltransition_27525 is true.
Reachability property qltransition_27524 is true.
Reachability property qltransition_27523 is true.
Reachability property qltransition_27474 is true.
Reachability property qltransition_27466 is true.
Reachability property qltransition_27239 is true.
Reachability property qltransition_27233 is true.
Reachability property qltransition_27231 is true.
Reachability property qltransition_27171 is true.
Reachability property qltransition_27168 is true.
Reachability property qltransition_27165 is true.
Reachability property qltransition_27164 is true.
Reachability property qltransition_27161 is true.
Reachability property qltransition_27153 is true.
Reachability property qltransition_27151 is true.
Reachability property qltransition_27144 is true.
Reachability property qltransition_27132 is true.
Reachability property qltransition_27126 is true.
Reachability property qltransition_27104 is true.
Reachability property qltransition_27100 is true.
Reachability property qltransition_27092 is true.
Reachability property qltransition_27084 is true.
Reachability property qltransition_27080 is true.
Reachability property qltransition_27072 is true.
Reachability property qltransition_27068 is true.
Reachability property qltransition_27066 is true.
Reachability property qltransition_27062 is true.
Reachability property qltransition_27060 is true.
Reachability property qltransition_27056 is true.
Reachability property qltransition_27054 is true.
Reachability property qltransition_27044 is true.
Reachability property qltransition_27040 is true.
Reachability property qltransition_26956 is true.
Reachability property qltransition_26954 is true.
Reachability property qltransition_26952 is true.
Reachability property qltransition_26948 is true.
Reachability property qltransition_26944 is true.
Reachability property qltransition_26942 is true.
Reachability property qltransition_26940 is true.
Reachability property qltransition_26938 is true.
Reachability property qltransition_26934 is true.
Reachability property qltransition_26932 is true.
Reachability property qltransition_26930 is true.
Reachability property qltransition_26928 is true.
Reachability property qltransition_26926 is true.
Reachability property qltransition_26916 is true.
Reachability property qltransition_26912 is true.
Reachability property qltransition_26908 is true.
Reachability property qltransition_26896 is true.
Reachability property qltransition_26698 is true.
Reachability property qltransition_26693 is true.
Reachability property qltransition_26686 is true.
Reachability property qltransition_26681 is true.
Reachability property qltransition_26679 is true.
Reachability property qltransition_26674 is true.
Reachability property qltransition_26673 is true.
Reachability property qltransition_26670 is true.
Reachability property qltransition_26666 is true.
Reachability property qltransition_26664 is true.
Reachability property qltransition_26658 is true.
Reachability property qltransition_26652 is true.
Reachability property qltransition_26644 is true.
Reachability property qltransition_26642 is true.
Reachability property qltransition_26641 is true.
Reachability property qltransition_26638 is true.
Reachability property qltransition_26634 is true.
Reachability property qltransition_26632 is true.
Reachability property qltransition_26628 is true.
Reachability property qltransition_26626 is true.
Reachability property qltransition_26625 is true.
Reachability property qltransition_26623 is true.
Reachability property qltransition_26622 is true.
Reachability property qltransition_26620 is true.
Reachability property qltransition_26619 is true.
Reachability property qltransition_26614 is true.
Reachability property qltransition_26612 is true.
Reachability property qltransition_26610 is true.
Reachability property qltransition_26609 is true.
Reachability property qltransition_26606 is true.
Reachability property qltransition_26239 is true.
Reachability property qltransition_26229 is true.
Reachability property qltransition_26210 is true.
Reachability property qltransition_26207 is true.
Reachability property qltransition_26197 is true.
Reachability property qltransition_26183 is true.
Reachability property qltransition_26178 is true.
Reachability property qltransition_26175 is true.
Reachability property qltransition_26168 is true.
Reachability property qltransition_26164 is true.
Reachability property qltransition_26162 is true.
Reachability property qltransition_26161 is true.
Reachability property qltransition_26159 is true.
Reachability property qltransition_26156 is true.
Reachability property qltransition_26155 is true.
Reachability property qltransition_26148 is true.
Reachability property qltransition_26124 is true.
Reachability property qltransition_26114 is true.
Reachability property qltransition_26113 is true.
Reachability property qltransition_26111 is true.
Reachability property qltransition_26110 is true.
Reachability property qltransition_26106 is true.
Reachability property qltransition_26104 is true.
Reachability property qltransition_26102 is true.
Reachability property qltransition_26098 is true.
Reachability property qltransition_26097 is true.
Reachability property qltransition_26010 is true.
Reachability property qltransition_26009 is true.
Reachability property qltransition_26008 is true.
Reachability property qltransition_26005 is true.
Reachability property qltransition_26004 is true.
Reachability property qltransition_26003 is true.
Reachability property qltransition_26002 is true.
Reachability property qltransition_25998 is true.
Reachability property qltransition_25997 is true.
Reachability property qltransition_25996 is true.
Reachability property qltransition_25994 is true.
Reachability property qltransition_25993 is true.
Reachability property qltransition_25992 is true.
Reachability property qltransition_25991 is true.
Reachability property qltransition_25990 is true.
Reachability property qltransition_25989 is true.
Reachability property qltransition_25988 is true.
Reachability property qltransition_25987 is true.
Reachability property qltransition_25984 is true.
Reachability property qltransition_25982 is true.
Reachability property qltransition_25980 is true.
Reachability property qltransition_25978 is true.
Reachability property qltransition_25977 is true.
Reachability property qltransition_25972 is true.
Reachability property qltransition_25971 is true.
Reachability property qltransition_25970 is true.
Reachability property qltransition_25968 is true.
Reachability property qltransition_25966 is true.
Reachability property qltransition_25962 is true.
Reachability property qltransition_25961 is true.
Reachability property qltransition_25957 is true.
Reachability property qltransition_25956 is true.
Reachability property qltransition_25955 is true.
Reachability property qltransition_25701 is true.
Reachability property qltransition_25682 is true.
Reachability property qltransition_25663 is true.
Reachability property qltransition_25662 is true.
Reachability property qltransition_25660 is true.
Reachability property qltransition_25659 is true.
Reachability property qltransition_25656 is true.
Reachability property qltransition_25654 is true.
Reachability property qltransition_25652 is true.
Reachability property qltransition_25650 is true.
Reachability property qltransition_25646 is true.
Reachability property qltransition_25642 is true.
Reachability property qltransition_25640 is true.
Reachability property qltransition_25634 is true.
Reachability property qltransition_25631 is true.
Reachability property qltransition_25628 is true.
Reachability property qltransition_25618 is true.
Reachability property qltransition_25617 is true.
Reachability property qltransition_25615 is true.
Reachability property qltransition_25614 is true.
Reachability property qltransition_25610 is true.
Reachability property qltransition_25608 is true.
Reachability property qltransition_25606 is true.
Reachability property qltransition_25604 is true.
Reachability property qltransition_25602 is true.
Reachability property qltransition_25601 is true.
Reachability property qltransition_25599 is true.
Reachability property qltransition_25598 is true.
Reachability property qltransition_25596 is true.
Reachability property qltransition_25595 is true.
Reachability property qltransition_25592 is true.
Reachability property qltransition_25590 is true.
Reachability property qltransition_25588 is true.
Reachability property qltransition_25586 is true.
Reachability property qltransition_25579 is true.
Reachability property qltransition_25576 is true.
Reachability property qltransition_25574 is true.
Reachability property qltransition_25572 is true.
Reachability property qltransition_25570 is true.
Reachability property qltransition_25565 is true.
Reachability property qltransition_25563 is true.
Reachability property qltransition_25562 is true.
Reachability property qltransition_25560 is true.
Reachability property qltransition_25558 is true.
Reachability property qltransition_25556 is true.
Reachability property qltransition_25555 is true.
Reachability property qltransition_25554 is true.
Reachability property qltransition_25553 is true.
Reachability property qltransition_25552 is true.
Reachability property qltransition_25551 is true.
Reachability property qltransition_25550 is true.
Reachability property qltransition_25549 is true.
Reachability property qltransition_25548 is true.
Reachability property qltransition_25547 is true.
Reachability property qltransition_25530 is true.
Reachability property qltransition_25528 is true.
Reachability property qltransition_25526 is true.
Reachability property qltransition_25524 is true.
Reachability property qltransition_25522 is true.
Reachability property qltransition_25521 is true.
Reachability property qltransition_25512 is true.
Reachability property qltransition_25496 is true.
Reachability property qltransition_25494 is true.
Reachability property qltransition_25480 is true.
Reachability property qltransition_25464 is true.
Reachability property qltransition_25448 is true.
Reachability property qltransition_25432 is true.
Reachability property qltransition_25416 is true.
Reachability property qltransition_25400 is true.
Reachability property qltransition_25384 is true.
Reachability property qltransition_25366 is true.
Reachability property qltransition_25334 is true.
Reachability property qltransition_25330 is true.
Reachability property qltransition_25328 is true.
Reachability property qltransition_25302 is true.
Reachability property qltransition_25298 is true.
Reachability property qltransition_25296 is true.
Reachability property qltransition_25270 is true.
Reachability property qltransition_25084 is true.
Reachability property qltransition_25076 is true.
Reachability property qltransition_25075 is true.
Reachability property qltransition_25068 is true.
Reachability property qltransition_25060 is true.
Reachability property qltransition_25044 is true.
Reachability property qltransition_25036 is true.
Reachability property qltransition_25028 is true.
Reachability property qltransition_25020 is true.
Reachability property qltransition_24915 is true.
Reachability property qltransition_24913 is true.
Reachability property qltransition_24899 is true.
Reachability property qltransition_24883 is true.
Reachability property qltransition_24648 is true.
Reachability property qltransition_24616 is true.
Reachability property qltransition_24584 is true.
Reachability property qltransition_24568 is true.
Reachability property qltransition_24552 is true.
Reachability property qltransition_24520 is true.
Reachability property qltransition_24507 is true.
Reachability property qltransition_24504 is true.
Reachability property qltransition_24491 is true.
Reachability property qltransition_24475 is true.
Reachability property qltransition_24473 is true.
Reachability property qltransition_24459 is true.
Reachability property qltransition_24457 is true.
Reachability property qltransition_24443 is true.
Reachability property qltransition_24437 is true.
Reachability property qltransition_24427 is true.
Reachability property qltransition_24424 is true.
Reachability property qltransition_24359 is true.
Reachability property qltransition_24357 is true.
Reachability property qltransition_24353 is true.
Reachability property qltransition_24351 is true.
Reachability property qltransition_24347 is true.
Reachability property qltransition_24342 is true.
Reachability property qltransition_24339 is true.
Reachability property qltransition_24337 is true.
Reachability property qltransition_24333 is true.
Reachability property qltransition_24332 is true.
Reachability property qltransition_24330 is true.
Reachability property qltransition_24329 is true.
Reachability property qltransition_24067 is true.
Reachability property qltransition_24010 is true.
Reachability property qltransition_23642 is true.
Reachability property qltransition_23628 is true.
Reachability property qltransition_23618 is true.
Reachability property qltransition_23614 is true.
Reachability property qltransition_23604 is true.
Reachability property qltransition_23602 is true.
Reachability property qltransition_23598 is true.
Reachability property qltransition_23578 is true.
Reachability property qltransition_23564 is true.
Reachability property qltransition_23554 is true.
Reachability property qltransition_23550 is true.
Reachability property qltransition_23540 is true.
Reachability property qltransition_23538 is true.
Reachability property qltransition_23435 is true.
Reachability property qltransition_23428 is true.
Reachability property qltransition_23422 is true.
Reachability property qltransition_23416 is true.
Reachability property qltransition_23411 is true.
Reachability property qltransition_23410 is true.
Reachability property qltransition_23404 is true.
Reachability property qltransition_23401 is true.
Reachability property qltransition_23395 is true.
Reachability property qltransition_23392 is true.
Reachability property qltransition_23386 is true.
Reachability property qltransition_23383 is true.
Reachability property qltransition_23381 is true.
Reachability property qltransition_23375 is true.
Reachability property qltransition_23363 is true.
Reachability property qltransition_23332 is true.
Reachability property qltransition_23329 is true.
Reachability property qltransition_23326 is true.
Reachability property qltransition_23323 is true.
Reachability property qltransition_23320 is true.
Reachability property qltransition_23317 is true.
Reachability property qltransition_23314 is true.
Reachability property qltransition_23311 is true.
Reachability property qltransition_23308 is true.
Reachability property qltransition_23305 is true.
Reachability property qltransition_23104 is true.
Reachability property qltransition_23099 is true.
Reachability property qltransition_23092 is true.
Reachability property qltransition_23087 is true.
Reachability property qltransition_22987 is true.
Reachability property qltransition_22983 is true.
Reachability property qltransition_22975 is true.
Reachability property qltransition_22973 is true.
Reachability property qltransition_22971 is true.
Reachability property qltransition_22963 is true.
Reachability property qltransition_22953 is true.
Reachability property qltransition_22951 is true.
Reachability property qltransition_22947 is true.
Reachability property qltransition_22945 is true.
Reachability property qltransition_22943 is true.
Reachability property qltransition_22942 is true.
Reachability property qltransition_22941 is true.
Reachability property qltransition_22940 is true.
Reachability property qltransition_22939 is true.
Reachability property qltransition_22938 is true.
Reachability property qltransition_22937 is true.
Reachability property qltransition_22928 is true.
Reachability property qltransition_22904 is true.
Reachability property qltransition_22902 is true.
Reachability property qltransition_22901 is true.
Reachability property qltransition_22900 is true.
Reachability property qltransition_22899 is true.
Reachability property qltransition_22898 is true.
Reachability property qltransition_22896 is true.
Reachability property qltransition_22895 is true.
Reachability property qltransition_22894 is true.
Reachability property qltransition_22893 is true.
Reachability property qltransition_22891 is true.
Reachability property qltransition_22890 is true.
Reachability property qltransition_22889 is true.
Reachability property qltransition_22888 is true.
Reachability property qltransition_22887 is true.
Reachability property qltransition_22885 is true.
Reachability property qltransition_22884 is true.
Reachability property qltransition_22883 is true.
Reachability property qltransition_22882 is true.
Reachability property qltransition_22881 is true.
Reachability property qltransition_22880 is true.
Reachability property qltransition_22879 is true.
Reachability property qltransition_22878 is true.
Reachability property qltransition_22875 is true.
Reachability property qltransition_22874 is true.
Reachability property qltransition_22873 is true.
Reachability property qltransition_22872 is true.
Reachability property qltransition_22871 is true.
Reachability property qltransition_22653 is true.
Reachability property qltransition_22648 is true.
Reachability property qltransition_22647 is true.
Reachability property qltransition_22645 is true.
Reachability property qltransition_22608 is true.
Reachability property qltransition_22603 is true.
Reachability property qltransition_22596 is true.
Reachability property qltransition_22591 is true.
Reachability property qltransition_22589 is true.
Reachability property qltransition_22584 is true.
Reachability property qltransition_22583 is true.
Reachability property qltransition_22575 is true.
Reachability property qltransition_22573 is true.
Reachability property qltransition_22571 is true.
Reachability property qltransition_22569 is true.
Reachability property qltransition_22567 is true.
Reachability property qltransition_22438 is true.
Reachability property qltransition_22436 is true.
Reachability property qltransition_22434 is true.
Reachability property qltransition_22430 is true.
Reachability property qltransition_22428 is true.
Reachability property qltransition_22426 is true.
Reachability property qltransition_22424 is true.
Reachability property qltransition_22422 is true.
Reachability property qltransition_22420 is true.
Reachability property qltransition_22418 is true.
Reachability property qltransition_22416 is true.
Reachability property qltransition_22414 is true.
Reachability property qltransition_22346 is true.
Reachability property qltransition_22344 is true.
Reachability property qltransition_22342 is true.
Reachability property qltransition_22338 is true.
Reachability property qltransition_22336 is true.
Reachability property qltransition_22334 is true.
Reachability property qltransition_22332 is true.
Reachability property qltransition_22330 is true.
Reachability property qltransition_22328 is true.
Reachability property qltransition_22326 is true.
Reachability property qltransition_22324 is true.
Reachability property qltransition_22322 is true.
Reachability property qltransition_22320 is true.
Reachability property qltransition_22316 is true.
Reachability property qltransition_22148 is true.
Reachability property qltransition_22010 is true.
Reachability property qltransition_21882 is true.
Reachability property qltransition_21871 is true.
Reachability property qltransition_21870 is true.
Reachability property qltransition_21866 is true.
Reachability property qltransition_21640 is true.
Reachability property qltransition_21625 is true.
Reachability property qltransition_21617 is true.
Reachability property qltransition_21533 is true.
Reachability property qltransition_21529 is true.
Reachability property qltransition_21521 is true.
Reachability property qltransition_21423 is true.
Reachability property qltransition_21404 is true.
Reachability property qltransition_21285 is true.
Reachability property qltransition_21282 is true.
Reachability property qltransition_21272 is true.
Reachability property qltransition_21264 is true.
Reachability property qltransition_21261 is true.
Reachability property qltransition_21258 is true.
Reachability property qltransition_21251 is true.
Reachability property qltransition_21249 is true.
Reachability property qltransition_21248 is true.
Reachability property qltransition_21244 is true.
Reachability property qltransition_21238 is true.
Reachability property qltransition_21229 is true.
Reachability property qltransition_21221 is true.
Reachability property qltransition_21217 is true.
Reachability property qltransition_21201 is true.
Reachability property qltransition_21091 is true.
Reachability property qltransition_21089 is true.
Reachability property qltransition_21065 is true.
Reachability property qltransition_21057 is true.
Reachability property qltransition_21053 is true.
Reachability property qltransition_21049 is true.
Reachability property qltransition_21041 is true.
Reachability property qltransition_21031 is true.
Reachability property qltransition_20936 is true.
Reachability property qltransition_20935 is true.
Reachability property qltransition_20934 is true.
Reachability property qltransition_20931 is true.
Reachability property qltransition_20930 is true.
Reachability property qltransition_20929 is true.
Reachability property qltransition_20928 is true.
Reachability property qltransition_20927 is true.
Reachability property qltransition_20919 is true.
Reachability property qltransition_20917 is true.
Reachability property qltransition_20915 is true.
Reachability property qltransition_20913 is true.
Reachability property qltransition_20909 is true.
Reachability property qltransition_20906 is true.
Reachability property qltransition_20905 is true.
Reachability property qltransition_20899 is true.
Reachability property qltransition_20897 is true.
Reachability property qltransition_20891 is true.
Reachability property qltransition_20889 is true.
Reachability property qltransition_20887 is true.
Reachability property qltransition_20885 is true.
Reachability property qltransition_20881 is true.
Reachability property qltransition_20879 is true.
Reachability property qltransition_20877 is true.
Reachability property qltransition_20875 is true.
Reachability property qltransition_20873 is true.
Reachability property qltransition_20871 is true.
Reachability property qltransition_20869 is true.
Reachability property qltransition_20867 is true.
Reachability property qltransition_20866 is true.
Reachability property qltransition_20865 is true.
Reachability property qltransition_20863 is true.
Reachability property qltransition_20861 is true.
Reachability property qltransition_20856 is true.
Reachability property qltransition_20852 is true.
Reachability property qltransition_20848 is true.
Reachability property qltransition_20842 is true.
Reachability property qltransition_20832 is true.
Reachability property qltransition_20828 is true.
Reachability property qltransition_20822 is true.
Reachability property qltransition_20784 is true.
Reachability property qltransition_20692 is true.
Reachability property qltransition_20643 is true.
Reachability property qltransition_20641 is true.
Reachability property qltransition_20639 is true.
Reachability property qltransition_20621 is true.
Reachability property qltransition_20620 is true.
Reachability property qltransition_20615 is true.
Reachability property qltransition_20608 is true.
Reachability property qltransition_20604 is true.
Reachability property qltransition_20602 is true.
Reachability property qltransition_20600 is true.
Reachability property qltransition_20596 is true.
Reachability property qltransition_20591 is true.
Reachability property qltransition_20589 is true.
Reachability property qltransition_20566 is true.
Reachability property qltransition_20565 is true.
Reachability property qltransition_20563 is true.
Reachability property qltransition_20562 is true.
Reachability property qltransition_20561 is true.
Reachability property qltransition_20560 is true.
Reachability property qltransition_20559 is true.
Reachability property qltransition_20557 is true.
Reachability property qltransition_20555 is true.
Reachability property qltransition_20553 is true.
Reachability property qltransition_20551 is true.
Reachability property qltransition_20550 is true.
Reachability property qltransition_20549 is true.
Reachability property qltransition_20548 is true.
Reachability property qltransition_20547 is true.
Reachability property qltransition_20545 is true.
Reachability property qltransition_20544 is true.
Reachability property qltransition_20543 is true.
Reachability property qltransition_20542 is true.
Reachability property qltransition_20537 is true.
Reachability property qltransition_20536 is true.
Reachability property qltransition_20530 is true.
Reachability property qltransition_20529 is true.
Reachability property qltransition_20528 is true.
Reachability property qltransition_20512 is true.
Reachability property qltransition_20511 is true.
Reachability property qltransition_20507 is true.
Reachability property qltransition_20505 is true.
Reachability property qltransition_20504 is true.
Reachability property qltransition_20498 is true.
Reachability property qltransition_20497 is true.
Reachability property qltransition_20496 is true.
Reachability property qltransition_20495 is true.
Reachability property qltransition_20492 is true.
Reachability property qltransition_20487 is true.
Reachability property qltransition_20482 is true.
Reachability property qltransition_20467 is true.
Reachability property qltransition_20463 is true.
Reachability property qltransition_20460 is true.
Reachability property qltransition_20455 is true.
Reachability property qltransition_20453 is true.
Reachability property qltransition_20435 is true.
Reachability property qltransition_20428 is true.
Reachability property qltransition_20359 is true.
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
Reachability property qltransition_20277 is true.
Reachability property qltransition_20275 is true.
Reachability property qltransition_20273 is true.
Reachability property qltransition_20270 is true.
Reachability property qltransition_20269 is true.
Reachability property qltransition_20268 is true.
Reachability property qltransition_20265 is true.
Reachability property qltransition_20263 is true.
Reachability property qltransition_20262 is true.
Reachability property qltransition_20257 is true.
Reachability property qltransition_20256 is true.
Reachability property qltransition_20197 is true.
Reachability property qltransition_20196 is true.
Reachability property qltransition_20184 is true.
Reachability property qltransition_20180 is true.
Reachability property qltransition_20178 is true.
Reachability property qltransition_20172 is true.
Reachability property qltransition_20131 is true.
Reachability property qltransition_20130 is true.
Reachability property qltransition_20129 is true.
Reachability property qltransition_20128 is true.
Reachability property qltransition_20123 is true.
Reachability property qltransition_20122 is true.
Reachability property qltransition_20121 is true.
Reachability property qltransition_20120 is true.
Reachability property qltransition_20119 is true.
Reachability property qltransition_20118 is true.
Reachability property qltransition_20117 is true.
Reachability property qltransition_20116 is true.
Reachability property qltransition_20115 is true.
Reachability property qltransition_20114 is true.
Reachability property qltransition_20113 is true.
Reachability property qltransition_20112 is true.
Reachability property qltransition_20111 is true.
Reachability property qltransition_20110 is true.
Reachability property qltransition_20109 is true.
Reachability property qltransition_20107 is true.
Reachability property qltransition_20106 is true.
Reachability property qltransition_20105 is true.
Reachability property qltransition_20104 is true.
Reachability property qltransition_20103 is true.
Reachability property qltransition_20101 is true.
Reachability property qltransition_20099 is true.
Reachability property qltransition_20097 is true.
Reachability property qltransition_20096 is true.
Reachability property qltransition_20095 is true.
Reachability property qltransition_20091 is true.
Reachability property qltransition_20090 is true.
Reachability property qltransition_20089 is true.
Reachability property qltransition_20088 is true.
Reachability property qltransition_20072 is true.
Reachability property qltransition_20071 is true.
Reachability property qltransition_20070 is true.
Reachability property qltransition_20067 is true.
Reachability property qltransition_20064 is true.
Reachability property qltransition_20010 is true.
Reachability property qltransition_19990 is true.
Reachability property qltransition_19926 is true.
Reachability property qltransition_19865 is true.
Reachability property qltransition_19698 is true.
Reachability property qltransition_19696 is true.
Reachability property qltransition_19695 is true.
Reachability property qltransition_19688 is true.
Reachability property qltransition_19682 is true.
Reachability property qltransition_19680 is true.
Reachability property qltransition_19679 is true.
Reachability property qltransition_19677 is true.
Reachability property qltransition_19675 is true.
Reachability property qltransition_19674 is true.
Reachability property qltransition_19673 is true.
Reachability property qltransition_19672 is true.
Reachability property qltransition_19670 is true.
Reachability property qltransition_19667 is true.
Reachability property qltransition_19666 is true.
Reachability property qltransition_19665 is true.
Reachability property qltransition_19664 is true.
Reachability property qltransition_19663 is true.
Reachability property qltransition_19662 is true.
Reachability property qltransition_19661 is true.
Reachability property qltransition_19659 is true.
Reachability property qltransition_19658 is true.
Reachability property qltransition_19657 is true.
Reachability property qltransition_19656 is true.
Reachability property qltransition_19655 is true.
Reachability property qltransition_19653 is true.
Reachability property qltransition_19651 is true.
Reachability property qltransition_19650 is true.
Reachability property qltransition_19649 is true.
Reachability property qltransition_19648 is true.
Reachability property qltransition_19647 is true.
Reachability property qltransition_19643 is true.
Reachability property qltransition_19641 is true.
Reachability property qltransition_19640 is true.
Reachability property qltransition_19634 is true.
Reachability property qltransition_19633 is true.
Reachability property qltransition_19632 is true.
Reachability property qltransition_19267 is true.
Reachability property qltransition_19264 is true.
Reachability property qltransition_19258 is true.
Reachability property qltransition_19255 is true.
Reachability property qltransition_19251 is true.
Reachability property qltransition_19242 is true.
Reachability property qltransition_19121 is true.
Reachability property qltransition_19109 is true.
Reachability property qltransition_19102 is true.
Reachability property qltransition_19098 is true.
Reachability property qltransition_19094 is true.
Reachability property qltransition_19019 is true.
Reachability property qltransition_19004 is true.
Reachability property qltransition_18983 is true.
Reachability property qltransition_18979 is true.
Reachability property qltransition_18977 is true.
Reachability property qltransition_18974 is true.
Reachability property qltransition_18969 is true.
Reachability property qltransition_18963 is true.
Reachability property qltransition_18959 is true.
Reachability property qltransition_18957 is true.
Reachability property qltransition_18955 is true.
Reachability property qltransition_18953 is true.
Reachability property qltransition_18948 is true.
Reachability property qltransition_18942 is true.
Reachability property qltransition_18940 is true.
Reachability property qltransition_18937 is true.
Reachability property qltransition_18930 is true.
Reachability property qltransition_18924 is true.
Reachability property qltransition_18329 is true.
Reachability property qltransition_18327 is true.
Reachability property qltransition_18319 is true.
Reachability property qltransition_18317 is true.
Reachability property qltransition_18311 is true.
Reachability property qltransition_18307 is true.
Reachability property qltransition_18198 is true.
Reachability property qltransition_17827 is true.
Reachability property qltransition_17823 is true.
Reachability property qltransition_17815 is true.
Reachability property qltransition_17810 is true.
Reachability property qltransition_17806 is true.
Reachability property qltransition_17802 is true.
Reachability property qltransition_17794 is true.
Reachability property qltransition_17792 is true.
Reachability property qltransition_17790 is true.
Reachability property qltransition_17785 is true.
Reachability property qltransition_17769 is true.
Reachability property qltransition_17762 is true.
Reachability property qltransition_17754 is true.
Reachability property qltransition_17734 is true.
Reachability property qltransition_17732 is true.
Reachability property qltransition_17724 is true.
Reachability property qltransition_17706 is true.
Reachability property qltransition_17674 is true.
Reachability property qltransition_17647 is true.
Reachability property qltransition_17641 is true.
Reachability property qltransition_17637 is true.
Reachability property qltransition_17627 is true.
Reachability property qltransition_17626 is true.
Reachability property qltransition_17620 is true.
Reachability property qltransition_17617 is true.
Reachability property qltransition_17611 is true.
Reachability property qltransition_17609 is true.
Reachability property qltransition_17600 is true.
Reachability property qltransition_17598 is true.
Reachability property qltransition_17588 is true.
Reachability property qltransition_17574 is true.
Reachability property qltransition_17566 is true.
Reachability property qltransition_17562 is true.
Reachability property qltransition_17561 is true.
Reachability property qltransition_17556 is true.
Reachability property qltransition_17547 is true.
Reachability property qltransition_17545 is true.
Reachability property qltransition_17536 is true.
Reachability property qltransition_17534 is true.
Reachability property qltransition_17530 is true.
Reachability property qltransition_17526 is true.
Reachability property qltransition_17524 is true.
Reachability property qltransition_17522 is true.
Reachability property qltransition_17520 is true.
Reachability property qltransition_17513 is true.
Reachability property qltransition_17510 is true.
Reachability property qltransition_17509 is true.
Reachability property qltransition_17508 is true.
Reachability property qltransition_17502 is true.
Reachability property qltransition_17497 is true.
Reachability property qltransition_17492 is true.
Reachability property qltransition_17483 is true.
Reachability property qltransition_17481 is true.
Reachability property qltransition_17476 is true.
Reachability property qltransition_17445 is true.
Reachability property qltransition_17413 is true.
Reachability property qltransition_17381 is true.
Reachability property qltransition_17377 is true.
Reachability property qltransition_17375 is true.
Reachability property qltransition_17373 is true.
Reachability property qltransition_17363 is true.
Reachability property qltransition_17331 is true.
Reachability property qltransition_17322 is true.
Reachability property qltransition_17321 is true.
Reachability property qltransition_17317 is true.
Reachability property qltransition_17292 is true.
Reachability property qltransition_17277 is true.
Reachability property qltransition_17268 is true.
Reachability property qltransition_17265 is true.
Reachability property qltransition_17254 is true.
Reachability property qltransition_17242 is true.
Reachability property qltransition_17241 is true.
Reachability property qltransition_17233 is true.
Reachability property qltransition_17229 is true.
Reachability property qltransition_17225 is true.
Reachability property qltransition_17217 is true.
Reachability property qltransition_17153 is true.
Reachability property qltransition_17139 is true.
Reachability property qltransition_17047 is true.
Reachability property qltransition_17046 is true.
Reachability property qltransition_17041 is true.
Reachability property qltransition_17029 is true.
Reachability property qltransition_16997 is true.
Reachability property qltransition_16993 is true.
Reachability property qltransition_16991 is true.
Reachability property qltransition_16989 is true.
Reachability property qltransition_16983 is true.
Reachability property qltransition_16981 is true.
Reachability property qltransition_16979 is true.
Reachability property qltransition_16973 is true.
Reachability property qltransition_16961 is true.
Reachability property qltransition_16957 is true.
Reachability property qltransition_16896 is true.
Reachability property qltransition_16844 is true.
Reachability property qltransition_16833 is true.
Reachability property qltransition_16785 is true.
Reachability property qltransition_16749 is true.
Reachability property qltransition_16745 is true.
Reachability property qltransition_16737 is true.
Reachability property qltransition_16721 is true.
Reachability property qltransition_16689 is true.
Reachability property qltransition_16674 is true.
Reachability property qltransition_16673 is true.
Reachability property qltransition_16670 is true.
Reachability property qltransition_16668 is true.
Reachability property qltransition_16665 is true.
Reachability property qltransition_16657 is true.
Reachability property qltransition_16623 is true.
Reachability property qltransition_16576 is true.
Reachability property qltransition_16549 is true.
Reachability property qltransition_16545 is true.
Reachability property qltransition_16543 is true.
Reachability property qltransition_16541 is true.
Reachability property qltransition_16531 is true.
Reachability property qltransition_16517 is true.
Reachability property qltransition_16501 is true.
Reachability property qltransition_16499 is true.
Reachability property qltransition_16426 is true.
Reachability property qltransition_16378 is true.
Reachability property qltransition_16372 is true.
Reachability property qltransition_16358 is true.
Reachability property qltransition_16356 is true.
Reachability property qltransition_16348 is true.
Reachability property qltransition_16316 is true.
Reachability property qltransition_16309 is true.
Reachability property qltransition_16308 is true.
Reachability property qltransition_16277 is true.
Reachability property qltransition_16276 is true.
Reachability property qltransition_16260 is true.
Reachability property qltransition_16244 is true.
Reachability property qltransition_16231 is true.
Reachability property qltransition_16230 is true.
Reachability property qltransition_16228 is true.
Reachability property qltransition_16225 is true.
Reachability property qltransition_16218 is true.
Reachability property qltransition_16212 is true.
Reachability property qltransition_16209 is true.
Reachability property qltransition_16080 is true.
Reachability property qltransition_16078 is true.
Reachability property qltransition_16074 is true.
Reachability property qltransition_16020 is true.
Reachability property qltransition_15996 is true.
Reachability property qltransition_15993 is true.
Reachability property qltransition_15985 is true.
Reachability property qltransition_15981 is true.
Reachability property qltransition_15941 is true.
Reachability property qltransition_15937 is true.
Reachability property qltransition_15935 is true.
Reachability property qltransition_15932 is true.
Reachability property qltransition_15925 is true.
Reachability property qltransition_15920 is true.
Reachability property qltransition_15918 is true.
Reachability property qltransition_15885 is true.
Reachability property qltransition_15853 is true.
Reachability property qltransition_15852 is true.
Reachability property qltransition_15847 is true.
Reachability property qltransition_15840 is true.
Reachability property qltransition_15836 is true.
Reachability property qltransition_15834 is true.
Reachability property qltransition_15832 is true.
Reachability property qltransition_15828 is true.
Reachability property qltransition_15820 is true.
Reachability property qltransition_15807 is true.
Reachability property qltransition_15806 is true.
Reachability property qltransition_15804 is true.
Reachability property qltransition_15802 is true.
Reachability property qltransition_15801 is true.
Reachability property qltransition_15794 is true.
Reachability property qltransition_15790 is true.
Reachability property qltransition_15788 is true.
Reachability property qltransition_15786 is true.
Reachability property qltransition_15785 is true.
Reachability property qltransition_15777 is true.
Reachability property qltransition_15775 is true.
Reachability property qltransition_15774 is true.
Reachability property qltransition_15772 is true.
Reachability property qltransition_15769 is true.
Reachability property qltransition_15768 is true.
Reachability property qltransition_15767 is true.
Reachability property qltransition_15761 is true.
Reachability property qltransition_15758 is true.
Reachability property qltransition_15756 is true.
Reachability property qltransition_15753 is true.
Reachability property qltransition_15743 is true.
Reachability property qltransition_15701 is true.
Reachability property qltransition_15649 is true.
Reachability property qltransition_15645 is true.
Reachability property qltransition_15641 is true.
Reachability property qltransition_15639 is true.
Reachability property qltransition_15637 is true.
Reachability property qltransition_15596 is true.
Reachability property qltransition_15569 is true.
Reachability property qltransition_15562 is true.
Reachability property qltransition_15494 is true.
Reachability property qltransition_15429 is true.
Reachability property qltransition_15428 is true.
Reachability property qltransition_15397 is true.
Reachability property qltransition_15396 is true.
Reachability property qltransition_15382 is true.
Reachability property qltransition_15380 is true.
Reachability property qltransition_15379 is true.
Reachability property qltransition_15377 is true.
Reachability property qltransition_15375 is true.
Reachability property qltransition_15370 is true.
Reachability property qltransition_15369 is true.
Reachability property qltransition_15366 is true.
Reachability property qltransition_15364 is true.
Reachability property qltransition_15362 is true.
Reachability property qltransition_15361 is true.
Reachability property qltransition_15351 is true.
Reachability property qltransition_15350 is true.
Reachability property qltransition_15343 is true.
Reachability property qltransition_15337 is true.
Reachability property qltransition_15319 is true.
Reachability property qltransition_15313 is true.
Reachability property qltransition_15268 is true.
Reachability property qltransition_15261 is true.
Reachability property qltransition_15258 is true.
Reachability property qltransition_15226 is true.
Reachability property qltransition_15148 is true.
Reachability property qltransition_15089 is true.
Reachability property qltransition_15081 is true.
Reachability property qltransition_15073 is true.
Reachability property qltransition_15059 is true.
Reachability property qltransition_15057 is true.
Reachability property qltransition_15025 is true.
Reachability property qltransition_15017 is true.
Reachability property qltransition_15009 is true.
Reachability property qltransition_14995 is true.
Reachability property qltransition_14993 is true.
Reachability property qltransition_14961 is true.
Reachability property qltransition_14957 is true.
Reachability property qltransition_14940 is true.
Reachability property qltransition_14844 is true.
Reachability property qltransition_14839 is true.
Reachability property qltransition_14834 is true.
Reachability property qltransition_14812 is true.
Reachability property qltransition_14807 is true.
Reachability property qltransition_14780 is true.
Reachability property qltransition_14778 is true.
Reachability property qltransition_14777 is true.
Reachability property qltransition_14776 is true.
Reachability property qltransition_14775 is true.
Reachability property qltransition_14774 is true.
Reachability property qltransition_14773 is true.
Reachability property qltransition_14772 is true.
Reachability property qltransition_14771 is true.
Reachability property qltransition_14770 is true.
Reachability property qltransition_14769 is true.
Reachability property qltransition_14768 is true.
Reachability property qltransition_14767 is true.
Reachability property qltransition_14766 is true.
Reachability property qltransition_14765 is true.
Reachability property qltransition_14764 is true.
Reachability property qltransition_14761 is true.
Reachability property qltransition_14760 is true.
Reachability property qltransition_14759 is true.
Reachability property qltransition_14758 is true.
Reachability property qltransition_14757 is true.
Reachability property qltransition_14755 is true.
Reachability property qltransition_14754 is true.
Reachability property qltransition_14752 is true.
Reachability property qltransition_14750 is true.
Reachability property qltransition_14585 is true.
Reachability property qltransition_14571 is true.
Reachability property qltransition_14569 is true.
Reachability property qltransition_14560 is true.
Reachability property qltransition_14559 is true.
Reachability property qltransition_14558 is true.
Reachability property qltransition_14545 is true.
Reachability property qltransition_14544 is true.
Reachability property qltransition_14537 is true.
Reachability property qltransition_14534 is true.
Reachability property qltransition_14529 is true.
Reachability property qltransition_14526 is true.
Reachability property qltransition_14522 is true.
Reachability property qltransition_14521 is true.
Reachability property qltransition_14516 is true.
Reachability property qltransition_14505 is true.
Reachability property qltransition_14500 is true.
Reachability property qltransition_14457 is true.
Reachability property qltransition_14444 is true.
Reachability property qltransition_14438 is true.
Reachability property qltransition_14269 is true.
Reachability property qltransition_14264 is true.
Reachability property qltransition_14262 is true.
Reachability property qltransition_14223 is true.
Reachability property qltransition_14215 is true.
Reachability property qltransition_14157 is true.
Reachability property qltransition_14150 is true.
Reachability property qltransition_14149 is true.
Reachability property qltransition_14117 is true.
Reachability property qltransition_14114 is true.
Reachability property qltransition_14109 is true.
Reachability property qltransition_14102 is true.
Reachability property qltransition_14101 is true.
Reachability property qltransition_14098 is true.
Reachability property qltransition_13948 is true.
Reachability property qltransition_13846 is true.
Reachability property qltransition_13840 is true.
Reachability property qltransition_13829 is true.
Reachability property qltransition_13827 is true.
Reachability property qltransition_13824 is true.
Reachability property qltransition_13823 is true.
Reachability property qltransition_13796 is true.
Reachability property qltransition_13786 is true.
Reachability property qltransition_13779 is true.
Reachability property qltransition_13766 is true.
Reachability property qltransition_13763 is true.
Reachability property qltransition_13758 is true.
Reachability property qltransition_13731 is true.
Reachability property qltransition_13726 is true.
Reachability property qltransition_13683 is true.
Reachability property qltransition_13672 is true.
Reachability property qltransition_13665 is true.
Reachability property qltransition_13655 is true.
Reachability property qltransition_13578 is true.
Reachability property qltransition_13573 is true.
Reachability property qltransition_13416 is true.
Reachability property qltransition_13414 is true.
Reachability property qltransition_13406 is true.
Reachability property qltransition_13405 is true.
Reachability property qltransition_13402 is true.
Reachability property qltransition_13400 is true.
Reachability property qltransition_13399 is true.
Reachability property qltransition_13398 is true.
Reachability property qltransition_13360 is true.
Reachability property qltransition_13352 is true.
Reachability property qltransition_13346 is true.
Reachability property qltransition_13336 is true.
Reachability property qltransition_13328 is true.
Reachability property qltransition_13320 is true.
Reachability property qltransition_13313 is true.
Reachability property qltransition_13304 is true.
Reachability property qltransition_13288 is true.
Reachability property qltransition_13281 is true.
Reachability property qltransition_13272 is true.
Reachability property qltransition_13256 is true.
Reachability property qltransition_13015 is true.
Reachability property qltransition_13012 is true.
Reachability property qltransition_13008 is true.
Reachability property qltransition_12944 is true.
Reachability property qltransition_12937 is true.
Reachability property qltransition_12926 is true.
Reachability property qltransition_12914 is true.
Reachability property qltransition_12912 is true.
Reachability property qltransition_12909 is true.
Reachability property qltransition_12905 is true.
Reachability property qltransition_12896 is true.
Reachability property qltransition_12882 is true.
Reachability property qltransition_12880 is true.
Reachability property qltransition_12878 is true.
Reachability property qltransition_12863 is true.
Reachability property qltransition_12840 is true.
Reachability property qltransition_12838 is true.
Reachability property qltransition_12837 is true.
Reachability property qltransition_12835 is true.
Reachability property qltransition_12830 is true.
Reachability property qltransition_12829 is true.
Reachability property qltransition_12826 is true.
Reachability property qltransition_12737 is true.
Reachability property qltransition_12735 is true.
Reachability property qltransition_12733 is true.
Reachability property qltransition_12731 is true.
Reachability property qltransition_12729 is true.
Reachability property qltransition_12725 is true.
Reachability property qltransition_12721 is true.
Reachability property qltransition_12717 is true.
Reachability property qltransition_12713 is true.
Reachability property qltransition_12709 is true.
Reachability property qltransition_12707 is true.
Solver is answering 'unknown', stopping.
Reachability property qltransition_12646 is true.
Reachability property qltransition_12644 is true.
Reachability property qltransition_12642 is true.
Reachability property qltransition_12640 is true.
Reachability property qltransition_12639 is true.
Reachability property qltransition_12637 is true.
Reachability property qltransition_12636 is true.
Reachability property qltransition_12634 is true.
Reachability property qltransition_12633 is true.
After SMT solving in domain Real declared 592/18953 variables, and 0 constraints, problems are : Problem set: 719 solved, 16652 unsolved in 75346 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 17371/17371 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 719 solved, 16652 unsolved
Starting Z3 with timeout 75.0 s and query timeout 7500.0 ms
Reachability property qltransition_12628 is true.
Reachability property qltransition_12626 is true.
Reachability property qltransition_12616 is true.
Reachability property qltransition_12614 is true.
Reachability property qltransition_12602 is true.
Reachability property qltransition_12592 is true.
Reachability property qltransition_12591 is true.
Reachability property qltransition_12588 is true.
Reachability property qltransition_12584 is true.
Reachability property qltransition_12582 is true.
Reachability property qltransition_12576 is true.
Reachability property qltransition_12574 is true.
Reachability property qltransition_12572 is true.
Reachability property qltransition_12566 is true.
Reachability property qltransition_12562 is true.
Reachability property qltransition_12560 is true.
Reachability property qltransition_12559 is true.
Reachability property qltransition_12558 is true.
Reachability property qltransition_12553 is true.
Reachability property qltransition_12543 is true.
Reachability property qltransition_12527 is true.
Reachability property qltransition_12511 is true.
Reachability property qltransition_12495 is true.
Reachability property qltransition_12489 is true.
Reachability property qltransition_12479 is true.
Reachability property qltransition_12429 is true.
Reachability property qltransition_12421 is true.
Reachability property qltransition_12413 is true.
Reachability property qltransition_12411 is true.
Reachability property qltransition_12407 is true.
Reachability property qltransition_12406 is true.
Reachability property qltransition_12405 is true.
Reachability property qltransition_12402 is true.
Reachability property qltransition_12383 is true.
Reachability property qltransition_12377 is true.
Reachability property qltransition_12364 is true.
Reachability property qltransition_12357 is true.
Reachability property qltransition_12317 is true.
Reachability property qltransition_12204 is true.
Reachability property qltransition_12201 is true.
Reachability property qltransition_12198 is true.
Reachability property qltransition_12197 is true.
Reachability property qltransition_12196 is true.
Reachability property qltransition_12172 is true.
Reachability property qltransition_12171 is true.
Reachability property qltransition_12169 is true.
Reachability property qltransition_12166 is true.
Reachability property qltransition_12165 is true.
Reachability property qltransition_12164 is true.
Reachability property qltransition_12139 is true.
Reachability property qltransition_12138 is true.
Reachability property qltransition_12126 is true.
Reachability property qltransition_12125 is true.
Reachability property qltransition_12122 is true.
Reachability property qltransition_12118 is true.
Reachability property qltransition_12116 is true.
Reachability property qltransition_12110 is true.
Reachability property qltransition_12109 is true.
Reachability property qltransition_12107 is true.
Reachability property qltransition_12104 is true.
Reachability property qltransition_12103 is true.
Reachability property qltransition_12098 is true.
Reachability property qltransition_12096 is true.
Reachability property qltransition_12093 is true.
Reachability property qltransition_12090 is true.
Reachability property qltransition_12086 is true.
Reachability property qltransition_12084 is true.
Reachability property qltransition_12078 is true.
Reachability property qltransition_12075 is true.
Reachability property qltransition_12074 is true.
Reachability property qltransition_12072 is true.
Reachability property qltransition_12037 is true.
Reachability property qltransition_12005 is true.
Reachability property qltransition_11925 is true.
Reachability property qltransition_11772 is true.
Reachability property qltransition_11768 is true.
Reachability property qltransition_11767 is true.
Reachability property qltransition_11766 is true.
Reachability property qltransition_11760 is true.
Reachability property qltransition_11752 is true.
Reachability property qltransition_11740 is true.
Reachability property qltransition_11736 is true.
Reachability property qltransition_11734 is true.
Reachability property qltransition_11730 is true.
Reachability property qltransition_11724 is true.
Reachability property qltransition_11722 is true.
Reachability property qltransition_11708 is true.
Reachability property qltransition_11704 is true.
Reachability property qltransition_11703 is true.
Reachability property qltransition_11702 is true.
Reachability property qltransition_11696 is true.
Reachability property qltransition_11688 is true.
Reachability property qltransition_11684 is true.
Reachability property qltransition_11680 is true.
Reachability property qltransition_11676 is true.
Reachability property qltransition_11672 is true.
Reachability property qltransition_11666 is true.
Reachability property qltransition_11660 is true.
Reachability property qltransition_11658 is true.
Reachability property qltransition_11652 is true.
Reachability property qltransition_11648 is true.
Reachability property qltransition_11644 is true.
Reachability property qltransition_11640 is true.
Reachability property qltransition_11638 is true.
Reachability property qltransition_11614 is true.
Reachability property qltransition_11613 is true.
Reachability property qltransition_11581 is true.
Reachability property qltransition_11567 is true.
Reachability property qltransition_11562 is true.
Reachability property qltransition_11555 is true.
Reachability property qltransition_11551 is true.
Reachability property qltransition_11546 is true.
Reachability property qltransition_11504 is true.
Reachability property qltransition_11503 is true.
Reachability property qltransition_11498 is true.
Reachability property qltransition_11392 is true.
Reachability property qltransition_11384 is true.
Reachability property qltransition_11376 is true.
Reachability property qltransition_11368 is true.
Reachability property qltransition_11347 is true.
Reachability property qltransition_11339 is true.
Reachability property qltransition_11335 is true.
Reachability property qltransition_11323 is true.
Reachability property qltransition_11322 is true.
Reachability property qltransition_11321 is true.
Reachability property qltransition_11318 is true.
Reachability property qltransition_11317 is true.
Reachability property qltransition_11311 is true.
Reachability property qltransition_11299 is true.
Reachability property qltransition_11295 is true.
Reachability property qltransition_11283 is true.
Reachability property qltransition_11282 is true.
Reachability property qltransition_11278 is true.
Reachability property qltransition_11274 is true.
Reachability property qltransition_11271 is true.
Reachability property qltransition_11262 is true.
Reachability property qltransition_11260 is true.
Reachability property qltransition_11259 is true.
Reachability property qltransition_11253 is true.
Reachability property qltransition_11247 is true.
Reachability property qltransition_11231 is true.
Reachability property qltransition_11227 is true.
Reachability property qltransition_11226 is true.
Reachability property qltransition_11225 is true.
Reachability property qltransition_11220 is true.
Reachability property qltransition_11212 is true.
Reachability property qltransition_11211 is true.
Reachability property qltransition_11208 is true.
Reachability property qltransition_11205 is true.
Reachability property qltransition_11201 is true.
Reachability property qltransition_11190 is true.
Reachability property qltransition_11189 is true.
Reachability property qltransition_11173 is true.
Reachability property qltransition_11169 is true.
Reachability property qltransition_11158 is true.
Reachability property qltransition_11157 is true.
Reachability property qltransition_11145 is true.
Reachability property qltransition_11141 is true.
Reachability property qltransition_11131 is true.
Reachability property qltransition_11130 is true.
Reachability property qltransition_11127 is true.
Reachability property qltransition_11123 is true.
Reachability property qltransition_11122 is true.
Reachability property qltransition_11008 is true.
Reachability property qltransition_10984 is true.
Reachability property qltransition_10976 is true.
Reachability property qltransition_10973 is true.
Reachability property qltransition_10968 is true.
Reachability property qltransition_10956 is true.
Reachability property qltransition_10952 is true.
Reachability property qltransition_10925 is true.
Reachability property qltransition_10920 is true.
Reachability property qltransition_10919 is true.
Reachability property qltransition_10915 is true.
Reachability property qltransition_10913 is true.
Reachability property qltransition_10912 is true.
Reachability property qltransition_10910 is true.
Reachability property qltransition_10909 is true.
Reachability property qltransition_10907 is true.
Reachability property qltransition_10899 is true.
Reachability property qltransition_10897 is true.
Reachability property qltransition_10896 is true.
Reachability property qltransition_10893 is true.
Reachability property qltransition_10889 is true.
Reachability property qltransition_10887 is true.
Reachability property qltransition_10883 is true.
Reachability property qltransition_10881 is true.
Reachability property qltransition_10880 is true.
Reachability property qltransition_10878 is true.
Reachability property qltransition_10875 is true.
Reachability property qltransition_10874 is true.
Reachability property qltransition_10867 is true.
Reachability property qltransition_10865 is true.
Reachability property qltransition_10864 is true.
Reachability property qltransition_10861 is true.
Reachability property qltransition_10855 is true.
Reachability property qltransition_10849 is true.
Reachability property qltransition_10848 is true.
Reachability property qltransition_10843 is true.
Reachability property qltransition_10842 is true.
Reachability property qltransition_10839 is true.
Reachability property qltransition_10837 is true.
Reachability property qltransition_10835 is true.
Reachability property qltransition_10829 is true.
Reachability property qltransition_10828 is true.
Reachability property qltransition_10819 is true.
Reachability property qltransition_10815 is true.
Reachability property qltransition_10807 is true.
Reachability property qltransition_10803 is true.
Reachability property qltransition_10801 is true.
Reachability property qltransition_10764 is true.
Reachability property qltransition_10730 is true.
Reachability property qltransition_10726 is true.
Reachability property qltransition_10688 is true.
Reachability property qltransition_10671 is true.
Reachability property qltransition_10669 is true.
Reachability property qltransition_10666 is true.
Reachability property qltransition_10621 is true.
Reachability property qltransition_10619 is true.
Reachability property qltransition_10618 is true.
Reachability property qltransition_10615 is true.
Reachability property qltransition_10614 is true.
Reachability property qltransition_10609 is true.
Reachability property qltransition_10606 is true.
Reachability property qltransition_10553 is true.
Reachability property qltransition_10551 is true.
Reachability property qltransition_10533 is true.
Reachability property qltransition_10531 is true.
Reachability property qltransition_10515 is true.
Reachability property qltransition_10492 is true.
Reachability property qltransition_10489 is true.
Reachability property qltransition_10487 is true.
Reachability property qltransition_10469 is true.
Reachability property qltransition_10468 is true.
Reachability property qltransition_10451 is true.
Reachability property qltransition_10441 is true.
Reachability property qltransition_10428 is true.
Reachability property qltransition_10425 is true.
Reachability property qltransition_10423 is true.
Reachability property qltransition_10313 is true.
Reachability property qltransition_10311 is true.
Reachability property qltransition_10310 is true.
Reachability property qltransition_10308 is true.
Reachability property qltransition_10304 is true.
Reachability property qltransition_10303 is true.
Reachability property qltransition_10302 is true.
Reachability property qltransition_10299 is true.
Reachability property qltransition_10266 is true.
Reachability property qltransition_10264 is true.
Reachability property qltransition_10262 is true.
Reachability property qltransition_10260 is true.
Reachability property qltransition_10254 is true.
Reachability property qltransition_10252 is true.
Reachability property qltransition_10250 is true.
Reachability property qltransition_10242 is true.
Reachability property qltransition_10236 is true.
Reachability property qltransition_10117 is true.
Reachability property qltransition_10116 is true.
Reachability property qltransition_10076 is true.
Reachability property qltransition_10073 is true.
Reachability property qltransition_10070 is true.
Reachability property qltransition_10053 is true.
Reachability property qltransition_10052 is true.
Reachability property qltransition_10020 is true.
Reachability property qltransition_10007 is true.
Reachability property qltransition_9989 is true.
Reachability property qltransition_9988 is true.
Reachability property qltransition_9972 is true.
Reachability property qltransition_9968 is true.
Reachability property qltransition_9965 is true.
Reachability property qltransition_9960 is true.
Reachability property qltransition_9936 is true.
Reachability property qltransition_9920 is true.
Reachability property qltransition_9793 is true.
Reachability property qltransition_9689 is true.
Reachability property qltransition_9684 is true.
Reachability property qltransition_9676 is true.
Reachability property qltransition_9675 is true.
Reachability property qltransition_9666 is true.
Reachability property qltransition_9665 is true.
Reachability property qltransition_9657 is true.
Reachability property qltransition_9652 is true.
Reachability property qltransition_9644 is true.
Reachability property qltransition_9643 is true.
Reachability property qltransition_9634 is true.
Reachability property qltransition_9633 is true.
Reachability property qltransition_9625 is true.
Reachability property qltransition_9622 is true.
Reachability property qltransition_9619 is true.
Reachability property qltransition_9616 is true.
Reachability property qltransition_9615 is true.
Reachability property qltransition_9610 is true.
Reachability property qltransition_9578 is true.
Reachability property qltransition_9535 is true.
Reachability property qltransition_9533 is true.
Reachability property qltransition_9504 is true.
Reachability property qltransition_9485 is true.
Reachability property qltransition_9471 is true.
Reachability property qltransition_9469 is true.
Reachability property qltransition_9459 is true.
Reachability property qltransition_9453 is true.
Reachability property qltransition_9437 is true.
Reachability property qltransition_9431 is true.
Reachability property qltransition_9260 is true.
Reachability property qltransition_9252 is true.
Reachability property qltransition_9251 is true.
Reachability property qltransition_9242 is true.
Reachability property qltransition_9228 is true.
Reachability property qltransition_9219 is true.
Reachability property qltransition_9201 is true.
Reachability property qltransition_9186 is true.
Reachability property qltransition_9138 is true.
Reachability property qltransition_9117 is true.
Reachability property qltransition_9101 is true.
Reachability property qltransition_9097 is true.
Reachability property qltransition_9088 is true.
Reachability property qltransition_9087 is true.
Reachability property qltransition_9085 is true.
Reachability property qltransition_9082 is true.
Reachability property qltransition_9079 is true.
Reachability property qltransition_9072 is true.
Reachability property qltransition_9069 is true.
Reachability property qltransition_9064 is true.
Reachability property qltransition_9056 is true.
Reachability property qltransition_9055 is true.
Reachability property qltransition_9053 is true.
Reachability property qltransition_9050 is true.
Reachability property qltransition_9047 is true.
Reachability property qltransition_9040 is true.
Reachability property qltransition_9021 is true.
Reachability property qltransition_8992 is true.
Reachability property qltransition_8986 is true.
Reachability property qltransition_8979 is true.
Reachability property qltransition_8976 is true.
Reachability property qltransition_8961 is true.
Reachability property qltransition_8935 is true.
Reachability property qltransition_8933 is true.
Reachability property qltransition_8922 is true.
Reachability property qltransition_8920 is true.
Reachability property qltransition_8918 is true.
Reachability property qltransition_8916 is true.
Reachability property qltransition_8912 is true.
Reachability property qltransition_8910 is true.
Reachability property qltransition_8908 is true.
Reachability property qltransition_8898 is true.
Reachability property qltransition_8897 is true.
Reachability property qltransition_8895 is true.
Reachability property qltransition_8894 is true.
Reachability property qltransition_8892 is true.
Reachability property qltransition_8889 is true.
Reachability property qltransition_8871 is true.
Reachability property qltransition_8865 is true.
Reachability property qltransition_8856 is true.
Reachability property qltransition_8846 is true.
Reachability property qltransition_8839 is true.
Reachability property qltransition_8827 is true.
Reachability property qltransition_8818 is true.
Reachability property qltransition_8795 is true.
Reachability property qltransition_8786 is true.
Reachability property qltransition_8777 is true.
Reachability property qltransition_8772 is true.
Reachability property qltransition_8764 is true.
Reachability property qltransition_8763 is true.
Reachability property qltransition_8720 is true.
Reachability property qltransition_8712 is true.
Reachability property qltransition_8706 is true.
Reachability property qltransition_8696 is true.
Reachability property qltransition_8648 is true.
Reachability property qltransition_8642 is true.
Reachability property qltransition_8632 is true.
Reachability property qltransition_8616 is true.
Reachability property qltransition_8614 is true.
Reachability property qltransition_8612 is true.
Reachability property qltransition_8606 is true.
Reachability property qltransition_8603 is true.
Reachability property qltransition_8553 is true.
Reachability property qltransition_8550 is true.
Reachability property qltransition_8548 is true.
Reachability property qltransition_8481 is true.
Reachability property qltransition_8449 is true.
Reachability property qltransition_8447 is true.
Reachability property qltransition_8442 is true.
Reachability property qltransition_8440 is true.
Reachability property qltransition_8438 is true.
Reachability property qltransition_8436 is true.
Reachability property qltransition_8434 is true.
Reachability property qltransition_8430 is true.
Reachability property qltransition_8426 is true.
Reachability property qltransition_8422 is true.
Reachability property qltransition_8414 is true.
Reachability property qltransition_8412 is true.
Reachability property qltransition_8394 is true.
Reachability property qltransition_8371 is true.
Reachability property qltransition_8362 is true.
Reachability property qltransition_8353 is true.
Reachability property qltransition_8348 is true.
Reachability property qltransition_8340 is true.
Reachability property qltransition_8339 is true.
Reachability property qltransition_8330 is true.
Reachability property qltransition_8264 is true.
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 588/18953 variables, and 0 constraints, problems are : Problem set: 928 solved, 16443 unsolved in 75305 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/17371 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 269258ms problems are : Problem set: 928 solved, 16443 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 588 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 270 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 270 ms. Remains : 627/627 places, 31353/31353 transitions.
Reachability property qltransition_8200 is true.
Reachability property qltransition_8194 is true.
Reachability property qltransition_8183 is true.
Reachability property qltransition_8182 is true.
Reachability property qltransition_8172 is true.
Reachability property qltransition_8167 is true.
Reachability property qltransition_8166 is true.
Reachability property qltransition_8134 is true.
Reachability property qltransition_8129 is true.
Reachability property qltransition_8126 is true.
Reachability property qltransition_8124 is true.
Reachability property qltransition_8119 is true.
Reachability property qltransition_8118 is true.
Reachability property qltransition_8115 is true.
Reachability property qltransition_8058 is true.
Reachability property qltransition_8056 is true.
Reachability property qltransition_8054 is true.
Reachability property qltransition_8052 is true.
Reachability property qltransition_8050 is true.
Reachability property qltransition_8048 is true.
Reachability property qltransition_8046 is true.
Reachability property qltransition_8044 is true.
Reachability property qltransition_8042 is true.
Reachability property qltransition_8040 is true.
Reachability property qltransition_8038 is true.
Reachability property qltransition_8034 is true.
Reachability property qltransition_8032 is true.
Reachability property qltransition_8028 is true.
Reachability property qltransition_7889 is true.
Reachability property qltransition_7876 is true.
Reachability property qltransition_7875 is true.
Reachability property qltransition_7866 is true.
Reachability property qltransition_7857 is true.
Reachability property qltransition_7852 is true.
Reachability property qltransition_7844 is true.
Reachability property qltransition_7843 is true.
Reachability property qltransition_7834 is true.
Reachability property qltransition_7833 is true.
Reachability property qltransition_7825 is true.
Reachability property qltransition_7742 is true.
Reachability property qltransition_7734 is true.
Reachability property qltransition_7732 is true.
Reachability property qltransition_7726 is true.
Reachability property qltransition_7723 is true.
Reachability property qltransition_7677 is true.
Reachability property qltransition_7673 is true.
Reachability property qltransition_7669 is true.
Reachability property qltransition_7653 is true.
Reachability property qltransition_7637 is true.
Reachability property qltransition_7631 is true.
Reachability property qltransition_7623 is true.
Reachability property qltransition_7621 is true.
Reachability property qltransition_7529 is true.
Reachability property qltransition_7513 is true.
Reachability property qltransition_7511 is true.
Reachability property qltransition_7493 is true.
Reachability property qltransition_7491 is true.
Reachability property qltransition_7475 is true.
Reachability property qltransition_7465 is true.
Reachability property qltransition_7447 is true.
Reachability property qltransition_7429 is true.
Reachability property qltransition_7411 is true.
Reachability property qltransition_7360 is true.
Reachability property qltransition_7344 is true.
Reachability property qltransition_7341 is true.
RANDOM walk for 719973 steps (0 resets) in 120005 ms. (5 steps per ms) remains 15286/16443 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 650 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 660 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 656 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15286/15286 properties
Reachability property qltransition_7336 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 15286/15286 properties
Reachability property qltransition_7302 is true.
Reachability property qltransition_7297 is true.
Reachability property qltransition_7295 is true.
Reachability property qltransition_7294 is true.
Reachability property qltransition_7292 is true.
Reachability property qltransition_7287 is true.
Reachability property qltransition_7286 is true.
Reachability property qltransition_7283 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 660 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 656 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 653 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15286/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15286/15286 properties
Reachability property qltransition_7094 is true.
Reachability property qltransition_7091 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 15285/15286 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15285/15285 properties
Reachability property qltransition_7064 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15285/15285 properties
Reachability property qltransition_7030 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 657 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15285/15285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15284/15285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 667 ms. (5 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15284/15284 properties
Reachability property qltransition_7021 is true.
Reachability property qltransition_7018 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 655 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 658 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 665 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 653 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4002 steps (8 resets) in 660 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 655 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 669 ms. (5 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15284/15284 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15283/15284 properties
BEST_FIRST walk for 4004 steps (8 resets) in 650 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 643 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 658 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15283/15283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 15282/15283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4002 steps (8 resets) in 657 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 15282/15282 properties
Reachability property qltransition_6800 is true.
Reachability property qltransition_6794 is true.
Reachability property qltransition_6788 is true.
Reachability property qltransition_6785 is true.
Reachability property qltransition_6776 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 650 ms. (6 steps per ms) remains 15282/15282 properties
Reachability property qltransition_6752 is true.
Reachability property qltransition_6740 is true.
Reachability property qltransition_6734 is true.
Reachability property qltransition_6728 is true.
Reachability property qltransition_6725 is true.
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15282/15282 properties
Reachability property qltransition_6705 is true.
Reachability property qltransition_6687 is true.
Reachability property qltransition_6678 is true.
Reachability property qltransition_6675 is true.
Reachability property qltransition_6672 is true.
Reachability property qltransition_6669 is true.
Reachability property qltransition_6666 is true.
BEST_FIRST walk for 4003 steps (8 resets) in 669 ms. (5 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 668 ms. (5 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 657 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 650 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 658 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 666 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 656 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 654 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 663 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 652 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 664 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 654 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 672 ms. (5 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 662 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 666 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 652 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 658 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 665 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 656 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 658 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 667 ms. (5 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 658 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 670 ms. (5 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 648 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 646 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 662 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 661 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 663 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 655 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 664 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4004 steps (8 resets) in 654 ms. (6 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4001 steps (8 resets) in 669 ms. (5 steps per ms) remains 15282/15282 properties
BEST_FIRST walk for 4003 steps (8 resets) in 661 ms. (6 steps per ms) remains 15282/15282 properties
Reachability property qltransition_6497 is true.
Reachability property qltransition_6488 is true.
Reachability property qltransition_6484 is true.
Reachability property qltransition_6306 is true.
Reachability property qltransition_6305 is true.
Reachability property qltransition_6304 is true.
Reachability property qltransition_6302 is true.
Reachability property qltransition_6299 is true.
Reachability property qltransition_6290 is true.
Reachability property qltransition_6289 is true.
Reachability property qltransition_6288 is true.
Reachability property qltransition_6285 is true.
Reachability property qltransition_6072 is true.
Reachability property qltransition_5774 is true.
Reachability property qltransition_5720 is true.
Reachability property qltransition_5682 is true.
Reachability property qltransition_5679 is true.
Reachability property qltransition_5678 is true.
Reachability property qltransition_5670 is true.
Reachability property qltransition_5667 is true.
Reachability property qltransition_5661 is true.
Reachability property qltransition_5658 is true.
Reachability property qltransition_5579 is true.
Reachability property qltransition_5569 is true.
Reachability property qltransition_5551 is true.
Reachability property qltransition_5533 is true.
Reachability property qltransition_5515 is true.
Reachability property qltransition_5505 is true.
Reachability property qltransition_5489 is true.
Reachability property qltransition_5487 is true.
Reachability property qltransition_5469 is true.
Reachability property qltransition_5451 is true.
Reachability property qltransition_5278 is true.
Reachability property qltransition_5276 is true.
Reachability property qltransition_5274 is true.
Reachability property qltransition_5270 is true.
Reachability property qltransition_5268 is true.
Reachability property qltransition_5266 is true.
Reachability property qltransition_5264 is true.
Reachability property qltransition_5260 is true.
Reachability property qltransition_5258 is true.
Reachability property qltransition_5256 is true.
Reachability property qltransition_5254 is true.
Reachability property qltransition_5250 is true.
Reachability property qltransition_5248 is true.
Reachability property qltransition_5226 is true.
Reachability property qltransition_5220 is true.
Reachability property qltransition_5202 is true.
Reachability property qltransition_5196 is true.
Reachability property qltransition_5194 is true.
Reachability property qltransition_5188 is true.
Reachability property qltransition_5075 is true.
Reachability property qltransition_5057 is true.
Reachability property qltransition_5044 is true.
Reachability property qltransition_5043 is true.
Reachability property qltransition_5034 is true.
Reachability property qltransition_4949 is true.
Reachability property qltransition_4913 is true.
Reachability property qltransition_4656 is true.
Reachability property qltransition_4579 is true.
Reachability property qltransition_4570 is true.
Reachability property qltransition_4547 is true.
Reachability property qltransition_4538 is true.
Reachability property qltransition_4515 is true.
Reachability property qltransition_4511 is true.
Reachability property qltransition_4506 is true.
Reachability property qltransition_4505 is true.
Reachability property qltransition_4504 is true.
Reachability property qltransition_4495 is true.
Reachability property qltransition_4488 is true.
Reachability property qltransition_4463 is true.
Reachability property qltransition_4459 is true.
Reachability property qltransition_4456 is true.
Reachability property qltransition_4454 is true.
Reachability property qltransition_4367 is true.
Reachability property qltransition_4359 is true.
Reachability property qltransition_4347 is true.
Reachability property qltransition_4345 is true.
Reachability property qltransition_4341 is true.
Reachability property qltransition_4294 is true.
Reachability property qltransition_4287 is true.
Reachability property qltransition_4264 is true.
Reachability property qltransition_4262 is true.
Reachability property qltransition_4259 is true.
Reachability property qltransition_4051 is true.
Reachability property qltransition_4042 is true.
Reachability property qltransition_4033 is true.
Reachability property qltransition_4020 is true.
Reachability property qltransition_4019 is true.
Reachability property qltransition_4010 is true.
Reachability property qltransition_3991 is true.
Reachability property qltransition_3979 is true.
Reachability property qltransition_3977 is true.
Reachability property qltransition_3950 is true.
Reachability property qltransition_3939 is true.
Reachability property qltransition_3937 is true.
Reachability property qltransition_3935 is true.
Reachability property qltransition_3933 is true.
Reachability property qltransition_3931 is true.
Reachability property qltransition_3930 is true.
Reachability property qltransition_3927 is true.
Reachability property qltransition_3925 is true.
Reachability property qltransition_3924 is true.
Reachability property qltransition_3923 is true.
Reachability property qltransition_3921 is true.
Reachability property qltransition_3919 is true.
Reachability property qltransition_3917 is true.
Reachability property qltransition_3915 is true.
Reachability property qltransition_3913 is true.
Reachability property qltransition_3909 is true.
Reachability property qltransition_3907 is true.
Reachability property qltransition_3899 is true.
Reachability property qltransition_3895 is true.
Reachability property qltransition_3885 is true.
Reachability property qltransition_3883 is true.
Reachability property qltransition_3881 is true.
Reachability property qltransition_3782 is true.
Reachability property qltransition_3769 is true.
Reachability property qltransition_3768 is true.
Reachability property qltransition_3767 is true.
Reachability property qltransition_3766 is true.
Reachability property qltransition_3765 is true.
Reachability property qltransition_3764 is true.
Reachability property qltransition_3763 is true.
Reachability property qltransition_3760 is true.
Reachability property qltransition_3759 is true.
Reachability property qltransition_3758 is true.
Reachability property qltransition_3757 is true.
Reachability property qltransition_3569 is true.
Reachability property qltransition_3564 is true.
Reachability property qltransition_3556 is true.
Reachability property qltransition_3555 is true.
Reachability property qltransition_3546 is true.
Reachability property qltransition_3545 is true.
Reachability property qltransition_3537 is true.
Reachability property qltransition_3524 is true.
Reachability property qltransition_3523 is true.
Reachability property qltransition_3514 is true.
Reachability property qltransition_3505 is true.
Reachability property qltransition_3471 is true.
Reachability property qltransition_3439 is true.
Reachability property qltransition_3318 is true.
Reachability property qltransition_3315 is true.
Reachability property qltransition_3273 is true.
Reachability property qltransition_3272 is true.
Reachability property qltransition_3270 is true.
Reachability property qltransition_3268 is true.
Reachability property qltransition_3267 is true.
Reachability property qltransition_3263 is true.
Reachability property qltransition_3261 is true.
Reachability property qltransition_3256 is true.
Reachability property qltransition_3254 is true.
Reachability property qltransition_3247 is true.
Reachability property qltransition_3245 is true.
Reachability property qltransition_3242 is true.
Reachability property qltransition_3240 is true.
Reachability property qltransition_3238 is true.
Reachability property qltransition_3237 is true.
Reachability property qltransition_3236 is true.
Reachability property qltransition_3235 is true.
Reachability property qltransition_3232 is true.
Reachability property qltransition_3231 is true.
Reachability property qltransition_3230 is true.
Reachability property qltransition_3229 is true.
Reachability property qltransition_3224 is true.
Reachability property qltransition_2993 is true.
Reachability property qltransition_2961 is true.
Reachability property qltransition_2941 is true.
Reachability property qltransition_2940 is true.
Reachability property qltransition_2931 is true.
Reachability property qltransition_2930 is true.
Reachability property qltransition_2922 is true.
Reachability property qltransition_2909 is true.
Reachability property qltransition_2908 is true.
Reachability property qltransition_2899 is true.
Reachability property qltransition_2890 is true.
Reachability property qltransition_2885 is true.
Reachability property qltransition_2784 is true.
Reachability property qltransition_2777 is true.
Reachability property qltransition_2776 is true.
Reachability property qltransition_2775 is true.
Reachability property qltransition_2759 is true.
Reachability property qltransition_2725 is true.
Reachability property qltransition_2722 is true.
Reachability property qltransition_2721 is true.
Reachability property qltransition_2718 is true.
Reachability property qltransition_2717 is true.
Reachability property qltransition_2716 is true.
Reachability property qltransition_2715 is true.
Reachability property qltransition_2714 is true.
Reachability property qltransition_2713 is true.
Reachability property qltransition_2679 is true.
Reachability property qltransition_2673 is true.
Reachability property qltransition_2670 is true.
Reachability property qltransition_2669 is true.
Reachability property qltransition_2668 is true.
Reachability property qltransition_2659 is true.
Reachability property qltransition_2625 is true.
Reachability property qltransition_2623 is true.
Reachability property qltransition_2611 is true.
Reachability property qltransition_2593 is true.
Reachability property qltransition_2587 is true.
Reachability property qltransition_2349 is true.
Reachability property qltransition_2335 is true.
Reachability property qltransition_2329 is true.
Reachability property qltransition_2327 is true.
Reachability property qltransition_2304 is true.
Reachability property qltransition_2302 is true.
Reachability property qltransition_2300 is true.
Reachability property qltransition_2292 is true.
Reachability property qltransition_2291 is true.
Reachability property qltransition_2287 is true.
Reachability property qltransition_2278 is true.
Reachability property qltransition_2262 is true.
Reachability property qltransition_2247 is true.
Reachability property qltransition_2238 is true.
Reachability property qltransition_2235 is true.
Reachability property qltransition_2229 is true.
Reachability property qltransition_2226 is true.
Reachability property qltransition_2220 is true.
Reachability property qltransition_2217 is true.
Reachability property qltransition_2208 is true.
Reachability property qltransition_2202 is true.
Reachability property qltransition_2196 is true.
Reachability property qltransition_2190 is true.
Reachability property qltransition_2187 is true.
Reachability property qltransition_2092 is true.
Reachability property qltransition_2089 is true.
Reachability property qltransition_1742 is true.
Reachability property qltransition_1732 is true.
Reachability property qltransition_1731 is true.
Reachability property qltransition_1687 is true.
Reachability property qltransition_1672 is true.
Reachability property qltransition_1669 is true.
Reachability property qltransition_1663 is true.
Reachability property qltransition_1660 is true.
Reachability property qltransition_1657 is true.
Reachability property qltransition_1651 is true.
Reachability property qltransition_1648 is true.
Reachability property qltransition_1294 is true.
Reachability property qltransition_1276 is true.
Reachability property qltransition_1275 is true.
Reachability property qltransition_1269 is true.
Reachability property qltransition_1267 is true.
Reachability property qltransition_1265 is true.
Reachability property qltransition_1263 is true.
Reachability property qltransition_1261 is true.
Reachability property qltransition_1259 is true.
Reachability property qltransition_1244 is true.
Reachability property qltransition_1235 is true.
Reachability property qltransition_1233 is true.
Reachability property qltransition_1214 is true.
Reachability property qltransition_1190 is true.
Reachability property qltransition_1176 is true.
Reachability property qltransition_1174 is true.
Reachability property qltransition_1166 is true.
Reachability property qltransition_750 is true.
Reachability property qltransition_360 is true.
Reachability property qltransition_277 is true.
Reachability property qltransition_253 is true.
Reachability property qltransition_243 is true.
Reachability property qltransition_242 is true.
Reachability property qltransition_238 is true.
Reachability property qltransition_194 is true.
Reachability property qltransition_186 is true.
Reachability property qltransition_142 is true.
Reachability property qltransition_130 is true.
Reachability property qltransition_124 is true.
Reachability property qltransition_122 is true.
Reachability property qltransition_120 is true.
Reachability property qltransition_116 is true.
Reachability property qltransition_114 is true.
SDD proceeding with computation,19164 properties remain. new max is 2
SDD size :7.87411e+09 after 1.11828e+10
Detected timeout of ITS tools.
Interrupted probabilistic random walk after 119030 steps, run timeout after 156002 ms. (steps per millisecond=0 ) properties seen :143 out of 15282
Probabilistic random walk after 119030 steps, saw 104829 distinct states, run finished after 156122 ms. (steps per millisecond=0 ) properties seen :143
[2025-06-04 00:44:36] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
[2025-06-04 00:44:36] [INFO ] Invariant cache hit.
[2025-06-04 00:44:37] [INFO ] State equation strengthened by 829 read => feed constraints.
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 580/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 15013 unsolved in 90287 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 15013/15013 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 15013 unsolved
Starting Z3 with timeout 90.0 s and query timeout 9000.0 ms
(s66 1timeout
^^^^^^^^
(error "Invalid token: 1timeout")
Error getting values : (error "ParserException while parsing response: ((s0 1)
(s1 1)
(s2 1)
(s3 1)
(s4 1)
(s5 1)
(s6 1)
(s7 1)
(s10 1)
(s11 1)
(s12 1)
(s13 1)
(s14 1)
(s15 1)
(s16 1)
(s17 1)
(s18 1)
(s19 1)
(s20 1)
(s21 1)
(s22 1)
(s23 1)
(s24 1)
(s25 1)
(s26 1)
(s27 1)
(s28 1)
(s29 1)
(s30 1)
(s31 1)
(s32 1)
(s33 1)
(s34 1)
(s35 1)
(s36 1)
(s37 1)
(s38 1)
(s39 1)
(s41 1)
(s42 1)
(s43 1)
(s44 1)
(s45 1)
(s46 1)
(s47 1)
(s48 1)
(s49 1)
(s50 1)
(s52 1)
(s53 1)
(s54 1)
(s55 1)
(s56 1)
(s58 1)
(s59 1)
(s61 1)
(s62 1)
(s63 1)
(s64 1)
(s65 1)
(s66 1timeout
) org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 580/18953 variables, and 0 constraints, problems are : Problem set: 0 solved, 15013 unsolved in 90339 ms.
Refiners :[Positive P Invariants (semi-flows): 0/13 constraints, State Equation: 0/627 constraints, ReadFeed: 0/829 constraints, PredecessorRefiner: 0/15013 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 258308ms problems are : Problem set: 0 solved, 15013 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 580 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 227 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 228 ms. Remains : 627/627 places, 31353/31353 transitions.
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-4"
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-4, 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-174889238900247"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-4.tgz
mv RERS17pb113-PT-4 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 ;