About the Execution of GreatSPN+red for EisenbergMcGuire-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5515.695 | 1800000.00 | 3571053.00 | 3259.10 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r166-smll-171636274400124.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is EisenbergMcGuire-PT-09, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-171636274400124
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 8.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 19 07:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 28K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 19 15:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 2.3M May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME Liveness
=== Now, execution of the tool begins
BK_START 1716489036397
Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=EisenbergMcGuire-PT-09
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-23 18:30:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2024-05-23 18:30:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-23 18:30:38] [INFO ] Load time of PNML (sax parser for PT used): 440 ms
[2024-05-23 18:30:38] [INFO ] Transformed 891 places.
[2024-05-23 18:30:38] [INFO ] Transformed 3888 transitions.
[2024-05-23 18:30:38] [INFO ] Found NUPN structural information;
[2024-05-23 18:30:38] [INFO ] Parsed PT model containing 891 places and 3888 transitions and 18792 arcs in 660 ms.
Built sparse matrix representations for Structural reductions in 52 ms.48460KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 891/891 places, 3888/3888 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 440 ms. Remains 891 /891 variables (removed 0) and now considering 3888/3888 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 480 ms. Remains : 891/891 places, 3888/3888 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 891/891 places, 3888/3888 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 278 ms. Remains 891 /891 variables (removed 0) and now considering 3888/3888 (removed 0) transitions.
[2024-05-23 18:30:40] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
// Phase 1: matrix 1809 rows 891 cols
[2024-05-23 18:30:40] [INFO ] Computed 28 invariants in 51 ms
[2024-05-23 18:30:41] [INFO ] Implicit Places using invariants in 883 ms returned []
[2024-05-23 18:30:41] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
[2024-05-23 18:30:41] [INFO ] Invariant cache hit.
[2024-05-23 18:30:43] [INFO ] State equation strengthened by 932 read => feed constraints.
[2024-05-23 18:30:43] [INFO ] Implicit Places using invariants and state equation in 1600 ms returned []
Implicit Place search using SMT with State Equation took 2533 ms to find 0 implicit places.
[2024-05-23 18:30:43] [INFO ] Redundant transitions in 404 ms returned []
Running 3879 sub problems to find dead transitions.
[2024-05-23 18:30:43] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
[2024-05-23 18:30:43] [INFO ] Invariant cache hit.
[2024-05-23 18:30:43] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/891 variables, 891/891 constraints. Problems are: Problem set: 0 solved, 3879 unsolved
SMT process timed out in 34278ms, After SMT, problems are : Problem set: 0 solved, 3879 unsolved
Search for dead transitions found 0 dead transitions in 34387ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 37664 ms. Remains : 891/891 places, 3888/3888 transitions.
Random walk for 1250000 steps, including 0 resets, run took 4348 ms (no deadlock found). (steps per millisecond=287 )
Random directed walk for 1250003 steps, including 0 resets, run took 6767 ms (no deadlock found). (steps per millisecond=184 )
[2024-05-23 18:31:29] [INFO ] Flow matrix only has 1809 transitions (discarded 2079 similar events)
[2024-05-23 18:31:29] [INFO ] Invariant cache hit.
[2024-05-23 18:31:30] [INFO ] [Real]Absence check using 19 positive place invariants in 60 ms returned sat
[2024-05-23 18:31:30] [INFO ] [Real]Absence check using 19 positive and 9 generalized place invariants in 233 ms returned sat
[2024-05-23 18:31:33] [INFO ] [Real]Absence check using state equation in 2565 ms returned sat
[2024-05-23 18:31:33] [INFO ] Solution in real domain found non-integer solution.
[2024-05-23 18:31:34] [INFO ] [Nat]Absence check using 19 positive place invariants in 39 ms returned sat
[2024-05-23 18:31:34] [INFO ] [Nat]Absence check using 19 positive and 9 generalized place invariants in 112 ms returned sat
[2024-05-23 18:31:37] [INFO ] [Nat]Absence check using state equation in 2953 ms returned sat
[2024-05-23 18:31:37] [INFO ] State equation strengthened by 932 read => feed constraints.
[2024-05-23 18:31:37] [INFO ] [Nat]Added 932 Read/Feed constraints in 314 ms returned sat
[2024-05-23 18:31:39] [INFO ] Deduced a trap composed of 3 places in 1034 ms of which 82 ms to minimize.
[2024-05-23 18:31:40] [INFO ] Deduced a trap composed of 48 places in 1035 ms of which 10 ms to minimize.
[2024-05-23 18:31:41] [INFO ] Deduced a trap composed of 126 places in 1086 ms of which 9 ms to minimize.
[2024-05-23 18:31:42] [INFO ] Deduced a trap composed of 16 places in 1225 ms of which 30 ms to minimize.
[2024-05-23 18:31:44] [INFO ] Deduced a trap composed of 95 places in 1708 ms of which 28 ms to minimize.
[2024-05-23 18:31:45] [INFO ] Deduced a trap composed of 93 places in 876 ms of which 8 ms to minimize.
[2024-05-23 18:31:46] [INFO ] Deduced a trap composed of 3 places in 817 ms of which 9 ms to minimize.
[2024-05-23 18:31:48] [INFO ] Deduced a trap composed of 3 places in 1501 ms of which 13 ms to minimize.
[2024-05-23 18:31:50] [INFO ] Deduced a trap composed of 63 places in 1472 ms of which 13 ms to minimize.
[2024-05-23 18:31:51] [INFO ] Deduced a trap composed of 131 places in 1244 ms of which 12 ms to minimize.
[2024-05-23 18:31:53] [INFO ] Deduced a trap composed of 35 places in 1288 ms of which 14 ms to minimize.
[2024-05-23 18:31:54] [INFO ] Deduced a trap composed of 123 places in 1176 ms of which 9 ms to minimize.
[2024-05-23 18:31:56] [INFO ] Deduced a trap composed of 36 places in 1268 ms of which 8 ms to minimize.
[2024-05-23 18:31:57] [INFO ] Deduced a trap composed of 3 places in 1399 ms of which 13 ms to minimize.
[2024-05-23 18:31:59] [INFO ] Deduced a trap composed of 83 places in 1295 ms of which 12 ms to minimize.
[2024-05-23 18:32:00] [INFO ] Deduced a trap composed of 52 places in 1221 ms of which 11 ms to minimize.
[2024-05-23 18:32:02] [INFO ] Deduced a trap composed of 117 places in 1027 ms of which 8 ms to minimize.
[2024-05-23 18:32:03] [INFO ] Deduced a trap composed of 3 places in 1391 ms of which 14 ms to minimize.
[2024-05-23 18:32:04] [INFO ] Deduced a trap composed of 100 places in 1164 ms of which 9 ms to minimize.
[2024-05-23 18:32:06] [INFO ] Deduced a trap composed of 45 places in 1232 ms of which 12 ms to minimize.
[2024-05-23 18:32:07] [INFO ] Deduced a trap composed of 40 places in 1399 ms of which 14 ms to minimize.
[2024-05-23 18:32:09] [INFO ] Deduced a trap composed of 3 places in 1257 ms of which 12 ms to minimize.
[2024-05-23 18:32:10] [INFO ] Deduced a trap composed of 3 places in 1301 ms of which 12 ms to minimize.
[2024-05-23 18:32:12] [INFO ] Deduced a trap composed of 3 places in 1030 ms of which 9 ms to minimize.
[2024-05-23 18:32:12] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 24 trap constraints in 34273 ms
Starting structural reductions in LIVENESS mode, iteration 0 : 891/891 places, 3888/3888 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 891 transition count 3879
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 18 place count 882 transition count 3879
Performed 252 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 252 Pre rules applied. Total rules applied 18 place count 882 transition count 3627
Deduced a syphon composed of 252 places in 4 ms
Reduce places removed 252 places and 0 transitions.
Iterating global reduction 2 with 504 rules applied. Total rules applied 522 place count 630 transition count 3627
Performed 72 Post agglomeration using F-continuation condition.Transition count delta: 72
Deduced a syphon composed of 72 places in 5 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 2 with 144 rules applied. Total rules applied 666 place count 558 transition count 3555
Applied a total of 666 rules in 196 ms. Remains 558 /891 variables (removed 333) and now considering 3555/3888 (removed 333) transitions.
[2024-05-23 18:32:12] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
// Phase 1: matrix 1476 rows 558 cols
[2024-05-23 18:32:12] [INFO ] Computed 28 invariants in 17 ms
[2024-05-23 18:32:13] [INFO ] Implicit Places using invariants in 1141 ms returned []
[2024-05-23 18:32:13] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-05-23 18:32:13] [INFO ] Invariant cache hit.
[2024-05-23 18:32:14] [INFO ] State equation strengthened by 932 read => feed constraints.
[2024-05-23 18:32:21] [INFO ] Implicit Places using invariants and state equation in 7960 ms returned []
Implicit Place search using SMT with State Equation took 9104 ms to find 0 implicit places.
Running 3546 sub problems to find dead transitions.
[2024-05-23 18:32:21] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-05-23 18:32:21] [INFO ] Invariant cache hit.
[2024-05-23 18:32:21] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/558 variables, 558/558 constraints. Problems are: Problem set: 0 solved, 3546 unsolved
SMT process timed out in 33746ms, After SMT, problems are : Problem set: 0 solved, 3546 unsolved
Search for dead transitions found 0 dead transitions in 33805ms
Starting structural reductions in LIVENESS mode, iteration 1 : 558/891 places, 3555/3888 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 43114 ms. Remains : 558/891 places, 3555/3888 transitions.
Initial state reduction rules removed 9 formulas.
RANDOM walk for 40000 steps (8 resets) in 16912 ms. (2 steps per ms) remains 2985/3546 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 55 ms. (2 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 42 ms. (2 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 22 ms. (5 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 21 ms. (5 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 9 ms. (12 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 10 ms. (11 steps per ms) remains 2985/2985 properties
BEST_FIRST walk for 124 steps (8 resets) in 11 ms. (10 steps per ms) remains 2985/2985 properties
[2024-05-23 18:33:00] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-05-23 18:33:00] [INFO ] Invariant cache hit.
[2024-05-23 18:33:00] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/430 variables, 430/430 constraints. Problems are: Problem set: 0 solved, 2985 unsolved
SMT process timed out in 8273ms, After SMT, problems are : Problem set: 0 solved, 2985 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 430 out of 558 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 558/558 places, 3555/3555 transitions.
Applied a total of 0 rules in 295 ms. Remains 558 /558 variables (removed 0) and now considering 3555/3555 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 304 ms. Remains : 558/558 places, 3555/3555 transitions.
RANDOM walk for 576292 steps (0 resets) in 120004 ms. (4 steps per ms) remains 2962/2985 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 95 ms. (41 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2962/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2961/2962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2961/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2960/2961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2960/2960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2960/2960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2959/2960 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2958/2959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2958/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2956/2958 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2954/2956 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2952/2954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2952/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2951/2952 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2950/2951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2950/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2948/2950 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2948/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2947/2948 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2946/2947 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2946/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2945/2946 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2945/2945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2945/2945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2944/2945 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2944/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2943/2944 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2943/2943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2943/2943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2942/2943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2942/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2941/2942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 89 ms. (44 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2941/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2940/2941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2940/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2939/2940 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2939/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2938/2939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2938/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2938/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2938/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2938/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2938/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2938/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2937/2938 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2937/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2936/2937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2936/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2935/2936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 91 ms. (43 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 87 ms. (45 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2935/2935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 2935/2935 properties
Interrupted probabilistic random walk after 750650 steps, run timeout after 108001 ms. (steps per millisecond=6 ) properties seen :625 out of 2935
Probabilistic random walk after 750650 steps, saw 534043 distinct states, run finished after 108024 ms. (steps per millisecond=6 ) properties seen :625
[2024-05-23 18:35:33] [INFO ] Flow matrix only has 1476 transitions (discarded 2079 similar events)
[2024-05-23 18:35:33] [INFO ] Invariant cache hit.
[2024-05-23 18:35:33] [INFO ] State equation strengthened by 932 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/320 variables, 320/320 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/320 variables, 1/321 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 320/2034 variables, and 321 constraints, problems are : Problem set: 0 solved, 2310 unsolved in 45044 ms.
Refiners :[Domain max(s): 320/558 constraints, Positive P Invariants (semi-flows): 1/19 constraints, Generalized P Invariants (flows): 0/9 constraints, State Equation: 0/558 constraints, ReadFeed: 0/932 constraints, PredecessorRefiner: 2310/2310 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2310 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/320 variables, 320/320 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/320 variables, 1/321 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
At refinement iteration 2 (INCLUDED_ONLY) 0/320 variables, 0/321 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
At refinement iteration 3 (OVERLAPS) 238/558 variables, 18/339 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/558 variables, 238/577 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/558 variables, 9/586 constraints. Problems are: Problem set: 0 solved, 2310 unsolved
[2024-05-23 18:36:57] [INFO ] Deduced a trap composed of 39 places in 700 ms of which 7 ms to minimize.
[2024-05-23 18:36:57] [INFO ] Deduced a trap composed of 36 places in 833 ms of which 7 ms to minimize.
[2024-05-23 18:36:58] [INFO ] Deduced a trap composed of 51 places in 792 ms of which 6 ms to minimize.
[2024-05-23 18:36:59] [INFO ] Deduced a trap composed of 30 places in 703 ms of which 5 ms to minimize.
[2024-05-23 18:37:00] [INFO ] Deduced a trap composed of 112 places in 609 ms of which 5 ms to minimize.
[2024-05-23 18:37:00] [INFO ] Deduced a trap composed of 111 places in 775 ms of which 9 ms to minimize.
[2024-05-23 18:37:01] [INFO ] Deduced a trap composed of 27 places in 940 ms of which 9 ms to minimize.
[2024-05-23 18:37:02] [INFO ] Deduced a trap composed of 75 places in 873 ms of which 8 ms to minimize.
[2024-05-23 18:37:03] [INFO ] Deduced a trap composed of 49 places in 895 ms of which 8 ms to minimize.
[2024-05-23 18:37:04] [INFO ] Deduced a trap composed of 27 places in 748 ms of which 6 ms to minimize.
[2024-05-23 18:37:05] [INFO ] Deduced a trap composed of 30 places in 666 ms of which 8 ms to minimize.
[2024-05-23 18:37:05] [INFO ] Deduced a trap composed of 32 places in 633 ms of which 5 ms to minimize.
[2024-05-23 18:37:06] [INFO ] Deduced a trap composed of 30 places in 768 ms of which 8 ms to minimize.
SMT process timed out in 92698ms, After SMT, problems are : Problem set: 0 solved, 2310 unsolved
Fused 2310 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 320 out of 558 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 558/558 places, 3555/3555 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 551 transition count 3492
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 551 transition count 3492
Applied a total of 14 rules in 200 ms. Remains 551 /558 variables (removed 7) and now considering 3492/3555 (removed 63) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 200 ms. Remains : 551/558 places, 3492/3555 transitions.
RANDOM walk for 740485 steps (0 resets) in 120004 ms. (6 steps per ms) remains 2309/2310 properties
BEST_FIRST walk for 4004 steps (8 resets) in 84 ms. (47 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 79 ms. (50 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 75 ms. (52 steps per ms) remains 2309/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 77 ms. (51 steps per ms) remains 2308/2309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 105 ms. (37 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 97 ms. (40 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 165 ms. (24 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 166 ms. (23 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 2308/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2307/2308 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 178 ms. (22 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 160 ms. (24 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 112 ms. (35 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 138 ms. (28 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 169 ms. (23 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 163 ms. (24 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2307/2307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2307/2307 properties
Interrupted probabilistic random walk after 703620 steps, run timeout after 96001 ms. (steps per millisecond=7 ) properties seen :40 out of 2307
Probabilistic random walk after 703620 steps, saw 494703 distinct states, run finished after 96003 ms. (steps per millisecond=7 ) properties seen :40
[2024-05-23 18:39:15] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
// Phase 1: matrix 1413 rows 551 cols
[2024-05-23 18:39:15] [INFO ] Computed 28 invariants in 8 ms
[2024-05-23 18:39:15] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
(s208 0.0timeout
^^^^^^^^^^
(error "Invalid token: 0.0timeout")
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 1.0)
(s8 0.0)
(s9 0.0)
(s10 0.0)
(s11 1.0)
(s12 0.0)
(s13 0.0)
(s14 1.0)
(s15 0.0)
(s16 0.0)
(s17 1.0)
(s18 0.0)
(s19 0.0)
(s20 1.0)
(s21 0.0)
(s22 0.0)
(s23 1.0)
(s24 0.0)
(s25 0.0)
(s26 1.0)
(s27 0.0)
(s28 0.0)
(s29 1.0)
(s30 0.0)
(s31 1.0)
(s32 0.0)
(s33 1.0)
(s34 0.0)
(s35 0.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 0.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 1.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 0.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 0.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 0.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 0.0)
(s196 0.0)
(s197 0.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 0.0)
(s206 0.0)
(s207 0.0)
(s208 0.0timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 551/1964 variables, and 28 constraints, problems are : Problem set: 0 solved, 2267 unsolved in 75056 ms.
Refiners :[Positive P Invariants (semi-flows): 19/19 constraints, Generalized P Invariants (flows): 9/9 constraints, State Equation: 0/551 constraints, ReadFeed: 0/876 constraints, PredecessorRefiner: 2267/2267 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2267 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
[2024-05-23 18:41:06] [INFO ] Deduced a trap composed of 38 places in 945 ms of which 9 ms to minimize.
[2024-05-23 18:41:07] [INFO ] Deduced a trap composed of 187 places in 937 ms of which 8 ms to minimize.
[2024-05-23 18:41:08] [INFO ] Deduced a trap composed of 136 places in 1021 ms of which 10 ms to minimize.
[2024-05-23 18:41:09] [INFO ] Deduced a trap composed of 57 places in 1016 ms of which 9 ms to minimize.
[2024-05-23 18:41:10] [INFO ] Deduced a trap composed of 31 places in 1009 ms of which 8 ms to minimize.
[2024-05-23 18:41:11] [INFO ] Deduced a trap composed of 127 places in 930 ms of which 9 ms to minimize.
[2024-05-23 18:41:12] [INFO ] Deduced a trap composed of 23 places in 919 ms of which 8 ms to minimize.
[2024-05-23 18:41:13] [INFO ] Deduced a trap composed of 170 places in 918 ms of which 9 ms to minimize.
[2024-05-23 18:41:14] [INFO ] Deduced a trap composed of 187 places in 968 ms of which 9 ms to minimize.
[2024-05-23 18:41:15] [INFO ] Deduced a trap composed of 173 places in 1003 ms of which 8 ms to minimize.
[2024-05-23 18:41:16] [INFO ] Deduced a trap composed of 155 places in 981 ms of which 8 ms to minimize.
[2024-05-23 18:41:17] [INFO ] Deduced a trap composed of 143 places in 939 ms of which 8 ms to minimize.
[2024-05-23 18:41:18] [INFO ] Deduced a trap composed of 142 places in 988 ms of which 9 ms to minimize.
[2024-05-23 18:41:19] [INFO ] Deduced a trap composed of 86 places in 1006 ms of which 10 ms to minimize.
[2024-05-23 18:41:20] [INFO ] Deduced a trap composed of 3 places in 970 ms of which 9 ms to minimize.
[2024-05-23 18:41:21] [INFO ] Deduced a trap composed of 171 places in 1022 ms of which 9 ms to minimize.
[2024-05-23 18:41:22] [INFO ] Deduced a trap composed of 60 places in 1011 ms of which 8 ms to minimize.
[2024-05-23 18:41:23] [INFO ] Deduced a trap composed of 181 places in 1037 ms of which 9 ms to minimize.
[2024-05-23 18:41:24] [INFO ] Deduced a trap composed of 126 places in 1020 ms of which 8 ms to minimize.
[2024-05-23 18:41:25] [INFO ] Deduced a trap composed of 122 places in 972 ms of which 11 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 20/48 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
[2024-05-23 18:41:29] [INFO ] Deduced a trap composed of 57 places in 982 ms of which 9 ms to minimize.
[2024-05-23 18:41:30] [INFO ] Deduced a trap composed of 105 places in 944 ms of which 9 ms to minimize.
[2024-05-23 18:41:30] [INFO ] Deduced a trap composed of 148 places in 939 ms of which 9 ms to minimize.
[2024-05-23 18:41:31] [INFO ] Deduced a trap composed of 36 places in 960 ms of which 8 ms to minimize.
[2024-05-23 18:41:32] [INFO ] Deduced a trap composed of 201 places in 992 ms of which 8 ms to minimize.
[2024-05-23 18:41:33] [INFO ] Deduced a trap composed of 29 places in 560 ms of which 6 ms to minimize.
[2024-05-23 18:41:34] [INFO ] Deduced a trap composed of 27 places in 450 ms of which 5 ms to minimize.
[2024-05-23 18:41:34] [INFO ] Deduced a trap composed of 29 places in 481 ms of which 5 ms to minimize.
[2024-05-23 18:41:35] [INFO ] Deduced a trap composed of 37 places in 456 ms of which 4 ms to minimize.
[2024-05-23 18:41:35] [INFO ] Deduced a trap composed of 3 places in 963 ms of which 9 ms to minimize.
[2024-05-23 18:41:36] [INFO ] Deduced a trap composed of 106 places in 963 ms of which 9 ms to minimize.
[2024-05-23 18:41:37] [INFO ] Deduced a trap composed of 39 places in 601 ms of which 6 ms to minimize.
[2024-05-23 18:41:38] [INFO ] Deduced a trap composed of 32 places in 970 ms of which 8 ms to minimize.
[2024-05-23 18:41:39] [INFO ] Deduced a trap composed of 31 places in 975 ms of which 8 ms to minimize.
[2024-05-23 18:41:40] [INFO ] Deduced a trap composed of 77 places in 937 ms of which 8 ms to minimize.
[2024-05-23 18:41:41] [INFO ] Deduced a trap composed of 159 places in 933 ms of which 8 ms to minimize.
[2024-05-23 18:41:42] [INFO ] Deduced a trap composed of 23 places in 932 ms of which 8 ms to minimize.
[2024-05-23 18:41:43] [INFO ] Deduced a trap composed of 15 places in 794 ms of which 7 ms to minimize.
[2024-05-23 18:41:44] [INFO ] Deduced a trap composed of 137 places in 889 ms of which 8 ms to minimize.
[2024-05-23 18:41:45] [INFO ] Deduced a trap composed of 117 places in 954 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/551 variables, 20/68 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
[2024-05-23 18:41:48] [INFO ] Deduced a trap composed of 90 places in 705 ms of which 6 ms to minimize.
SMT process timed out in 152361ms, After SMT, problems are : Problem set: 0 solved, 2267 unsolved
Fused 2267 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 303 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 243 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 244 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 716637 steps (0 resets) in 120004 ms. (5 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 69 ms. (57 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 67 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 68 ms. (58 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 70 ms. (56 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 82 ms. (48 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 88 ms. (44 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 157 ms. (25 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 102 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 101 ms. (39 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 138 ms. (28 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 159 ms. (25 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 146 ms. (27 steps per ms) remains 2267/2267 properties
Interrupted probabilistic random walk after 704550 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :0 out of 2267
Probabilistic random walk after 704550 steps, saw 495517 distinct states, run finished after 93002 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-23 18:43:52] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:43:52] [INFO ] Invariant cache hit.
[2024-05-23 18:43:52] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2267 unsolved
[2024-05-23 18:45:16] [INFO ] Deduced a trap composed of 38 places in 788 ms of which 6 ms to minimize.
[2024-05-23 18:45:16] [INFO ] Deduced a trap composed of 74 places in 748 ms of which 8 ms to minimize.
[2024-05-23 18:45:17] [INFO ] Deduced a trap composed of 33 places in 617 ms of which 9 ms to minimize.
[2024-05-23 18:45:18] [INFO ] Deduced a trap composed of 64 places in 709 ms of which 5 ms to minimize.
[2024-05-23 18:45:18] [INFO ] Deduced a trap composed of 41 places in 742 ms of which 5 ms to minimize.
[2024-05-23 18:45:19] [INFO ] Deduced a trap composed of 28 places in 648 ms of which 8 ms to minimize.
[2024-05-23 18:45:20] [INFO ] Deduced a trap composed of 21 places in 655 ms of which 5 ms to minimize.
[2024-05-23 18:45:21] [INFO ] Deduced a trap composed of 27 places in 761 ms of which 5 ms to minimize.
[2024-05-23 18:45:21] [INFO ] Deduced a trap composed of 39 places in 716 ms of which 7 ms to minimize.
[2024-05-23 18:45:22] [INFO ] Deduced a trap composed of 23 places in 613 ms of which 8 ms to minimize.
[2024-05-23 18:45:23] [INFO ] Deduced a trap composed of 31 places in 711 ms of which 5 ms to minimize.
[2024-05-23 18:45:23] [INFO ] Deduced a trap composed of 3 places in 509 ms of which 5 ms to minimize.
[2024-05-23 18:45:24] [INFO ] Deduced a trap composed of 27 places in 732 ms of which 5 ms to minimize.
[2024-05-23 18:45:24] [INFO ] Deduced a trap composed of 87 places in 526 ms of which 5 ms to minimize.
SMT process timed out in 92146ms, After SMT, problems are : Problem set: 0 solved, 2267 unsolved
Fused 2267 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 303 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 147 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 147 ms. Remains : 551/551 places, 3492/3492 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 155 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
[2024-05-23 18:45:25] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:45:25] [INFO ] Invariant cache hit.
[2024-05-23 18:45:26] [INFO ] Implicit Places using invariants in 699 ms returned []
[2024-05-23 18:45:26] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:45:26] [INFO ] Invariant cache hit.
[2024-05-23 18:45:26] [INFO ] State equation strengthened by 876 read => feed constraints.
[2024-05-23 18:45:28] [INFO ] Implicit Places using invariants and state equation in 2395 ms returned []
Implicit Place search using SMT with State Equation took 3101 ms to find 0 implicit places.
[2024-05-23 18:45:28] [INFO ] Redundant transitions in 308 ms returned []
Running 3483 sub problems to find dead transitions.
[2024-05-23 18:45:28] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:45:28] [INFO ] Invariant cache hit.
[2024-05-23 18:45:28] [INFO ] State equation strengthened by 876 read => feed constraints.
(s163 0.0timeout
^^^^^^^^^^
(error "Invalid token: 0.0timeout")
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 1.0)
(s8 0.0)
(s9 1.0)
(s10 1.0)
(s11 1.0)
(s12 1.0)
(s13 1.0)
(s14 1.0)
(s15 1.0)
(s16 1.0)
(s17 1.0)
(s18 1.0)
(s19 1.0)
(s20 1.0)
(s21 1.0)
(s22 1.0)
(s23 1.0)
(s24 1.0)
(s25 0.0)
(s26 1.0)
(s27 1.0)
(s28 1.0)
(s29 1.0)
(s30 1.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 0.0)
(s45 1.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 0.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 0.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 1.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 0.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 0.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 0.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 1.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 0.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 0.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 0.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 0.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 0.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 0.0)
(s153 0.0)
(s154 0.0)
(s155 1.0)
(s156 0.0)
(s157 0.0)
(s158 1.0)
(s159 0.0)
(s160 0.0)
(s161 0.0)
(s162 0.0)
(s163 0.0timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/551 variables, 19/19 constraints. Problems are: Problem set: 0 solved, 3483 unsolved
SMT process timed out in 33023ms, After SMT, problems are : Problem set: 0 solved, 3483 unsolved
Search for dead transitions found 0 dead transitions in 33063ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 36643 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 400000 steps (8 resets) in 8177 ms. (48 steps per ms) remains 148/303 properties
Running SMT prover for 148 properties.
[2024-05-23 18:46:03] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:46:04] [INFO ] Invariant cache hit.
[2024-05-23 18:46:04] [INFO ] [Real]Absence check using 19 positive place invariants in 16 ms returned sat
[2024-05-23 18:46:04] [INFO ] [Real]Absence check using 19 positive and 9 generalized place invariants in 14 ms returned sat
[2024-05-23 18:46:05] [INFO ] After 983ms SMT Verify possible using state equation in real domain returned unsat :0 sat :148
[2024-05-23 18:46:05] [INFO ] State equation strengthened by 876 read => feed constraints.
[2024-05-23 18:46:07] [INFO ] After 1961ms SMT Verify possible using 876 Read/Feed constraints in real domain returned unsat :0 sat :148
TRAPS : Iteration 0
[2024-05-23 18:46:27] [INFO ] After 22532ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:148
[2024-05-23 18:46:27] [INFO ] After 23878ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:148
[2024-05-23 18:46:28] [INFO ] [Nat]Absence check using 19 positive place invariants in 25 ms returned sat
[2024-05-23 18:46:28] [INFO ] [Nat]Absence check using 19 positive and 9 generalized place invariants in 17 ms returned sat
[2024-05-23 18:46:29] [INFO ] After 1023ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :148
[2024-05-23 18:46:31] [INFO ] After 2076ms SMT Verify possible using 876 Read/Feed constraints in natural domain returned unsat :0 sat :148
TRAPS : Iteration 0
[2024-05-23 18:46:32] [INFO ] Deduced a trap composed of 3 places in 605 ms of which 7 ms to minimize.
[2024-05-23 18:46:32] [INFO ] Deduced a trap composed of 61 places in 493 ms of which 5 ms to minimize.
[2024-05-23 18:46:33] [INFO ] Deduced a trap composed of 28 places in 607 ms of which 6 ms to minimize.
[2024-05-23 18:46:34] [INFO ] Deduced a trap composed of 6 places in 600 ms of which 6 ms to minimize.
[2024-05-23 18:46:34] [INFO ] Deduced a trap composed of 5 places in 529 ms of which 6 ms to minimize.
[2024-05-23 18:46:35] [INFO ] Deduced a trap composed of 32 places in 490 ms of which 5 ms to minimize.
[2024-05-23 18:46:35] [INFO ] Deduced a trap composed of 3 places in 507 ms of which 5 ms to minimize.
[2024-05-23 18:46:36] [INFO ] Deduced a trap composed of 3 places in 503 ms of which 5 ms to minimize.
[2024-05-23 18:46:36] [INFO ] Deduced a trap composed of 39 places in 404 ms of which 4 ms to minimize.
[2024-05-23 18:46:37] [INFO ] Deduced a trap composed of 59 places in 406 ms of which 4 ms to minimize.
[2024-05-23 18:46:37] [INFO ] Deduced a trap composed of 27 places in 417 ms of which 4 ms to minimize.
[2024-05-23 18:46:38] [INFO ] Deduced a trap composed of 19 places in 393 ms of which 4 ms to minimize.
[2024-05-23 18:46:38] [INFO ] Trap strengthening (SAT) tested/added 13/12 trap constraints in 6914 ms
[2024-05-23 18:46:39] [INFO ] Deduced a trap composed of 3 places in 513 ms of which 5 ms to minimize.
[2024-05-23 18:46:39] [INFO ] Deduced a trap composed of 37 places in 429 ms of which 5 ms to minimize.
[2024-05-23 18:46:40] [INFO ] Deduced a trap composed of 37 places in 390 ms of which 4 ms to minimize.
[2024-05-23 18:46:40] [INFO ] Deduced a trap composed of 3 places in 120 ms of which 2 ms to minimize.
[2024-05-23 18:46:40] [INFO ] Deduced a trap composed of 25 places in 301 ms of which 3 ms to minimize.
[2024-05-23 18:46:40] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 2219 ms
[2024-05-23 18:46:41] [INFO ] Deduced a trap composed of 3 places in 486 ms of which 5 ms to minimize.
[2024-05-23 18:46:41] [INFO ] Deduced a trap composed of 26 places in 398 ms of which 4 ms to minimize.
[2024-05-23 18:46:42] [INFO ] Deduced a trap composed of 33 places in 377 ms of which 4 ms to minimize.
[2024-05-23 18:46:42] [INFO ] Deduced a trap composed of 20 places in 446 ms of which 4 ms to minimize.
[2024-05-23 18:46:42] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 2094 ms
[2024-05-23 18:46:43] [INFO ] Deduced a trap composed of 3 places in 409 ms of which 4 ms to minimize.
[2024-05-23 18:46:43] [INFO ] Deduced a trap composed of 21 places in 294 ms of which 3 ms to minimize.
[2024-05-23 18:46:43] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 938 ms
[2024-05-23 18:46:44] [INFO ] Deduced a trap composed of 15 places in 298 ms of which 3 ms to minimize.
[2024-05-23 18:46:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 467 ms
[2024-05-23 18:46:45] [INFO ] Deduced a trap composed of 3 places in 128 ms of which 1 ms to minimize.
[2024-05-23 18:46:45] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 288 ms
[2024-05-23 18:46:46] [INFO ] Deduced a trap composed of 38 places in 239 ms of which 3 ms to minimize.
[2024-05-23 18:46:46] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 409 ms
[2024-05-23 18:46:48] [INFO ] Deduced a trap composed of 29 places in 186 ms of which 3 ms to minimize.
[2024-05-23 18:46:48] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 357 ms
[2024-05-23 18:46:49] [INFO ] Deduced a trap composed of 21 places in 300 ms of which 4 ms to minimize.
[2024-05-23 18:46:49] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 471 ms
[2024-05-23 18:46:51] [INFO ] Deduced a trap composed of 27 places in 289 ms of which 3 ms to minimize.
[2024-05-23 18:46:51] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 454 ms
[2024-05-23 18:46:52] [INFO ] Deduced a trap composed of 27 places in 284 ms of which 4 ms to minimize.
[2024-05-23 18:46:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 454 ms
[2024-05-23 18:46:53] [INFO ] Deduced a trap composed of 23 places in 294 ms of which 4 ms to minimize.
[2024-05-23 18:46:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 461 ms
[2024-05-23 18:46:54] [INFO ] Deduced a trap composed of 3 places in 110 ms of which 2 ms to minimize.
[2024-05-23 18:46:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 270 ms
[2024-05-23 18:46:55] [INFO ] Deduced a trap composed of 33 places in 206 ms of which 3 ms to minimize.
[2024-05-23 18:46:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 374 ms
[2024-05-23 18:46:56] [INFO ] Deduced a trap composed of 14 places in 373 ms of which 4 ms to minimize.
[2024-05-23 18:46:57] [INFO ] Deduced a trap composed of 27 places in 283 ms of which 3 ms to minimize.
[2024-05-23 18:46:57] [INFO ] Deduced a trap composed of 25 places in 186 ms of which 2 ms to minimize.
[2024-05-23 18:46:57] [INFO ] Deduced a trap composed of 23 places in 182 ms of which 3 ms to minimize.
[2024-05-23 18:46:57] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1426 ms
[2024-05-23 18:46:58] [INFO ] Deduced a trap composed of 19 places in 185 ms of which 2 ms to minimize.
[2024-05-23 18:46:58] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 342 ms
[2024-05-23 18:46:58] [INFO ] Deduced a trap composed of 16 places in 181 ms of which 2 ms to minimize.
[2024-05-23 18:46:58] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 348 ms
[2024-05-23 18:46:59] [INFO ] Deduced a trap composed of 49 places in 177 ms of which 2 ms to minimize.
[2024-05-23 18:46:59] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 339 ms
[2024-05-23 18:47:01] [INFO ] Deduced a trap composed of 33 places in 194 ms of which 2 ms to minimize.
[2024-05-23 18:47:01] [INFO ] Deduced a trap composed of 31 places in 186 ms of which 3 ms to minimize.
[2024-05-23 18:47:01] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 621 ms
[2024-05-23 18:47:02] [INFO ] Deduced a trap composed of 59 places in 205 ms of which 2 ms to minimize.
[2024-05-23 18:47:02] [INFO ] Deduced a trap composed of 35 places in 184 ms of which 2 ms to minimize.
[2024-05-23 18:47:02] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 639 ms
[2024-05-23 18:47:03] [INFO ] Deduced a trap composed of 29 places in 398 ms of which 4 ms to minimize.
[2024-05-23 18:47:03] [INFO ] Deduced a trap composed of 17 places in 400 ms of which 4 ms to minimize.
[2024-05-23 18:47:04] [INFO ] Deduced a trap composed of 15 places in 293 ms of which 3 ms to minimize.
[2024-05-23 18:47:04] [INFO ] Deduced a trap composed of 21 places in 178 ms of which 2 ms to minimize.
[2024-05-23 18:47:04] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1672 ms
[2024-05-23 18:47:05] [INFO ] Deduced a trap composed of 11 places in 202 ms of which 3 ms to minimize.
[2024-05-23 18:47:05] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 358 ms
[2024-05-23 18:47:06] [INFO ] Deduced a trap composed of 15 places in 174 ms of which 2 ms to minimize.
[2024-05-23 18:47:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 329 ms
[2024-05-23 18:47:08] [INFO ] Deduced a trap composed of 31 places in 191 ms of which 3 ms to minimize.
[2024-05-23 18:47:08] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 344 ms
[2024-05-23 18:47:11] [INFO ] Deduced a trap composed of 55 places in 262 ms of which 3 ms to minimize.
[2024-05-23 18:47:11] [INFO ] Deduced a trap composed of 23 places in 280 ms of which 3 ms to minimize.
[2024-05-23 18:47:12] [INFO ] Deduced a trap composed of 57 places in 181 ms of which 2 ms to minimize.
[2024-05-23 18:47:12] [INFO ] Deduced a trap composed of 25 places in 172 ms of which 2 ms to minimize.
[2024-05-23 18:47:12] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1269 ms
[2024-05-23 18:47:14] [INFO ] Deduced a trap composed of 28 places in 283 ms of which 3 ms to minimize.
[2024-05-23 18:47:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 403 ms
TRAPS : Iteration 1
[2024-05-23 18:47:16] [INFO ] Deduced a trap composed of 19 places in 680 ms of which 7 ms to minimize.
[2024-05-23 18:47:16] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 828 ms
[2024-05-23 18:47:17] [INFO ] Deduced a trap composed of 22 places in 267 ms of which 3 ms to minimize.
[2024-05-23 18:47:17] [INFO ] Deduced a trap composed of 17 places in 252 ms of which 3 ms to minimize.
[2024-05-23 18:47:17] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 767 ms
[2024-05-23 18:47:24] [INFO ] Deduced a trap composed of 29 places in 329 ms of which 4 ms to minimize.
[2024-05-23 18:47:24] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 503 ms
[2024-05-23 18:47:27] [INFO ] Deduced a trap composed of 21 places in 379 ms of which 4 ms to minimize.
[2024-05-23 18:47:27] [INFO ] Deduced a trap composed of 57 places in 279 ms of which 3 ms to minimize.
[2024-05-23 18:47:27] [INFO ] Deduced a trap composed of 59 places in 190 ms of which 2 ms to minimize.
[2024-05-23 18:47:27] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1178 ms
[2024-05-23 18:47:38] [INFO ] Deduced a trap composed of 59 places in 180 ms of which 2 ms to minimize.
[2024-05-23 18:47:38] [INFO ] Deduced a trap composed of 31 places in 179 ms of which 2 ms to minimize.
[2024-05-23 18:47:38] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 592 ms
TRAPS : Iteration 2
[2024-05-23 18:47:40] [INFO ] Deduced a trap composed of 37 places in 187 ms of which 2 ms to minimize.
[2024-05-23 18:47:40] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 348 ms
[2024-05-23 18:47:42] [INFO ] Deduced a trap composed of 32 places in 313 ms of which 3 ms to minimize.
[2024-05-23 18:47:42] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 477 ms
[2024-05-23 18:47:48] [INFO ] Deduced a trap composed of 25 places in 194 ms of which 3 ms to minimize.
[2024-05-23 18:47:48] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 365 ms
[2024-05-23 18:47:56] [INFO ] Deduced a trap composed of 23 places in 174 ms of which 2 ms to minimize.
[2024-05-23 18:47:56] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 337 ms
TRAPS : Iteration 3
[2024-05-23 18:48:04] [INFO ] Deduced a trap composed of 13 places in 295 ms of which 3 ms to minimize.
[2024-05-23 18:48:04] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 454 ms
TRAPS : Iteration 4
[2024-05-23 18:48:32] [INFO ] Deduced a trap composed of 62 places in 109 ms of which 2 ms to minimize.
[2024-05-23 18:48:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 206 ms
TRAPS : Iteration 5
[2024-05-23 18:48:50] [INFO ] Deduced a trap composed of 62 places in 156 ms of which 1 ms to minimize.
[2024-05-23 18:48:50] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 279 ms
[2024-05-23 18:48:52] [INFO ] Deduced a trap composed of 27 places in 125 ms of which 1 ms to minimize.
[2024-05-23 18:48:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 236 ms
TRAPS : Iteration 6
[2024-05-23 18:49:11] [INFO ] After 161959ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :148
[2024-05-23 18:49:14] [INFO ] After 166341ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :148
RANDOM walk for 684192 steps (0 resets) in 120004 ms. (5 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 76 ms. (52 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 93 ms. (42 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 123 ms. (32 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 100 ms. (39 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2267/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2266/2267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 99 ms. (40 steps per ms) remains 2266/2266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2265/2266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 78 ms. (50 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 90 ms. (44 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 113 ms. (35 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 155 ms. (25 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2265/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2265/2265 properties
Interrupted probabilistic random walk after 681510 steps, run timeout after 96002 ms. (steps per millisecond=7 ) properties seen :0 out of 2265
Probabilistic random walk after 681510 steps, saw 480302 distinct states, run finished after 96003 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-23 18:51:22] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:51:22] [INFO ] Invariant cache hit.
[2024-05-23 18:51:22] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2265 unsolved
[2024-05-23 18:53:07] [INFO ] Deduced a trap composed of 38 places in 1006 ms of which 10 ms to minimize.
[2024-05-23 18:53:08] [INFO ] Deduced a trap composed of 27 places in 906 ms of which 7 ms to minimize.
[2024-05-23 18:53:09] [INFO ] Deduced a trap composed of 62 places in 934 ms of which 8 ms to minimize.
[2024-05-23 18:53:10] [INFO ] Deduced a trap composed of 39 places in 1018 ms of which 8 ms to minimize.
SMT process timed out in 107251ms, After SMT, problems are : Problem set: 0 solved, 2265 unsolved
Fused 2265 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 303 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 236 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 236 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 414008 steps (0 resets) in 120004 ms. (3 steps per ms) remains 2264/2265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 85 ms. (46 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 116 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 120 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 96 ms. (41 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 119 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 111 ms. (35 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 104 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 114 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 92 ms. (43 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 156 ms. (25 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 107 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 83 ms. (47 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 129 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 98 ms. (40 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 132 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 103 ms. (38 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 106 ms. (37 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 124 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 122 ms. (32 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 109 ms. (36 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 153 ms. (26 steps per ms) remains 2264/2264 properties
Interrupted probabilistic random walk after 691020 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :0 out of 2264
Probabilistic random walk after 691020 steps, saw 486531 distinct states, run finished after 93001 ms. (steps per millisecond=7 ) properties seen :0
[2024-05-23 18:55:15] [INFO ] Flow matrix only has 1413 transitions (discarded 2079 similar events)
[2024-05-23 18:55:15] [INFO ] Invariant cache hit.
[2024-05-23 18:55:15] [INFO ] State equation strengthened by 876 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-05-23 18:56:37] [INFO ] Deduced a trap composed of 38 places in 631 ms of which 6 ms to minimize.
[2024-05-23 18:56:38] [INFO ] Deduced a trap composed of 50 places in 658 ms of which 8 ms to minimize.
[2024-05-23 18:56:38] [INFO ] Deduced a trap composed of 116 places in 852 ms of which 7 ms to minimize.
[2024-05-23 18:56:39] [INFO ] Deduced a trap composed of 164 places in 856 ms of which 7 ms to minimize.
[2024-05-23 18:56:40] [INFO ] Deduced a trap composed of 31 places in 890 ms of which 8 ms to minimize.
[2024-05-23 18:56:41] [INFO ] Deduced a trap composed of 27 places in 914 ms of which 8 ms to minimize.
[2024-05-23 18:56:42] [INFO ] Deduced a trap composed of 39 places in 909 ms of which 8 ms to minimize.
[2024-05-23 18:56:43] [INFO ] Deduced a trap composed of 157 places in 931 ms of which 8 ms to minimize.
[2024-05-23 18:56:44] [INFO ] Deduced a trap composed of 21 places in 931 ms of which 8 ms to minimize.
[2024-05-23 18:56:45] [INFO ] Deduced a trap composed of 33 places in 900 ms of which 8 ms to minimize.
[2024-05-23 18:56:46] [INFO ] Deduced a trap composed of 57 places in 960 ms of which 9 ms to minimize.
[2024-05-23 18:56:47] [INFO ] Deduced a trap composed of 3 places in 880 ms of which 8 ms to minimize.
[2024-05-23 18:56:48] [INFO ] Deduced a trap composed of 88 places in 874 ms of which 8 ms to minimize.
[2024-05-23 18:56:48] [INFO ] Deduced a trap composed of 31 places in 848 ms of which 8 ms to minimize.
[2024-05-23 18:56:49] [INFO ] Deduced a trap composed of 104 places in 846 ms of which 7 ms to minimize.
[2024-05-23 18:56:50] [INFO ] Deduced a trap composed of 112 places in 997 ms of which 8 ms to minimize.
[2024-05-23 18:56:51] [INFO ] Deduced a trap composed of 32 places in 995 ms of which 9 ms to minimize.
[2024-05-23 18:56:52] [INFO ] Deduced a trap composed of 3 places in 1027 ms of which 10 ms to minimize.
[2024-05-23 18:56:53] [INFO ] Deduced a trap composed of 29 places in 486 ms of which 4 ms to minimize.
[2024-05-23 18:56:53] [INFO ] Deduced a trap composed of 30 places in 495 ms of which 5 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 20/48 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-05-23 18:56:56] [INFO ] Deduced a trap composed of 33 places in 807 ms of which 8 ms to minimize.
[2024-05-23 18:56:57] [INFO ] Deduced a trap composed of 56 places in 925 ms of which 8 ms to minimize.
[2024-05-23 18:56:58] [INFO ] Deduced a trap composed of 64 places in 862 ms of which 8 ms to minimize.
[2024-05-23 18:56:59] [INFO ] Deduced a trap composed of 40 places in 909 ms of which 8 ms to minimize.
[2024-05-23 18:57:00] [INFO ] Deduced a trap composed of 33 places in 908 ms of which 8 ms to minimize.
[2024-05-23 18:57:01] [INFO ] Deduced a trap composed of 150 places in 956 ms of which 9 ms to minimize.
[2024-05-23 18:57:02] [INFO ] Deduced a trap composed of 29 places in 952 ms of which 8 ms to minimize.
[2024-05-23 18:57:03] [INFO ] Deduced a trap composed of 38 places in 937 ms of which 8 ms to minimize.
[2024-05-23 18:57:04] [INFO ] Deduced a trap composed of 105 places in 903 ms of which 8 ms to minimize.
[2024-05-23 18:57:05] [INFO ] Deduced a trap composed of 17 places in 908 ms of which 8 ms to minimize.
[2024-05-23 18:57:06] [INFO ] Deduced a trap composed of 60 places in 922 ms of which 8 ms to minimize.
[2024-05-23 18:57:07] [INFO ] Deduced a trap composed of 36 places in 875 ms of which 8 ms to minimize.
[2024-05-23 18:57:08] [INFO ] Deduced a trap composed of 57 places in 955 ms of which 8 ms to minimize.
[2024-05-23 18:57:09] [INFO ] Deduced a trap composed of 113 places in 821 ms of which 7 ms to minimize.
[2024-05-23 18:57:09] [INFO ] Deduced a trap composed of 72 places in 814 ms of which 8 ms to minimize.
[2024-05-23 18:57:10] [INFO ] Deduced a trap composed of 103 places in 887 ms of which 8 ms to minimize.
[2024-05-23 18:57:11] [INFO ] Deduced a trap composed of 96 places in 861 ms of which 7 ms to minimize.
[2024-05-23 18:57:12] [INFO ] Deduced a trap composed of 29 places in 887 ms of which 7 ms to minimize.
[2024-05-23 18:57:13] [INFO ] Deduced a trap composed of 122 places in 919 ms of which 8 ms to minimize.
[2024-05-23 18:57:14] [INFO ] Deduced a trap composed of 155 places in 869 ms of which 7 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/551 variables, 20/68 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 551/1964 variables, and 68 constraints, problems are : Problem set: 0 solved, 2264 unsolved in 120049 ms.
Refiners :[Positive P Invariants (semi-flows): 19/19 constraints, Generalized P Invariants (flows): 9/9 constraints, State Equation: 0/551 constraints, ReadFeed: 0/876 constraints, PredecessorRefiner: 2264/2264 constraints, Known Traps: 40/40 constraints]
Escalating to Integer solving :Problem set: 0 solved, 2264 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/303 variables, 1/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/303 variables, 0/1 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 2 (OVERLAPS) 248/551 variables, 18/19 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/551 variables, 9/28 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/551 variables, 40/68 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-05-23 18:58:00] [INFO ] Deduced a trap composed of 61 places in 987 ms of which 9 ms to minimize.
[2024-05-23 18:58:01] [INFO ] Deduced a trap composed of 108 places in 917 ms of which 8 ms to minimize.
[2024-05-23 18:58:02] [INFO ] Deduced a trap composed of 131 places in 959 ms of which 7 ms to minimize.
[2024-05-23 18:58:03] [INFO ] Deduced a trap composed of 84 places in 947 ms of which 8 ms to minimize.
[2024-05-23 18:58:04] [INFO ] Deduced a trap composed of 90 places in 926 ms of which 7 ms to minimize.
[2024-05-23 18:58:05] [INFO ] Deduced a trap composed of 73 places in 862 ms of which 8 ms to minimize.
[2024-05-23 18:58:06] [INFO ] Deduced a trap composed of 37 places in 1106 ms of which 8 ms to minimize.
[2024-05-23 18:58:07] [INFO ] Deduced a trap composed of 29 places in 431 ms of which 5 ms to minimize.
[2024-05-23 18:58:07] [INFO ] Deduced a trap composed of 27 places in 414 ms of which 4 ms to minimize.
[2024-05-23 18:58:08] [INFO ] Deduced a trap composed of 151 places in 995 ms of which 8 ms to minimize.
[2024-05-23 18:58:09] [INFO ] Deduced a trap composed of 23 places in 963 ms of which 8 ms to minimize.
[2024-05-23 18:58:13] [INFO ] Deduced a trap composed of 19 places in 1046 ms of which 9 ms to minimize.
[2024-05-23 18:58:18] [INFO ] Deduced a trap composed of 90 places in 1031 ms of which 8 ms to minimize.
[2024-05-23 18:58:19] [INFO ] Deduced a trap composed of 61 places in 1009 ms of which 8 ms to minimize.
[2024-05-23 18:58:22] [INFO ] Deduced a trap composed of 93 places in 1005 ms of which 8 ms to minimize.
[2024-05-23 18:58:23] [INFO ] Deduced a trap composed of 84 places in 903 ms of which 7 ms to minimize.
[2024-05-23 18:58:25] [INFO ] Deduced a trap composed of 40 places in 950 ms of which 9 ms to minimize.
[2024-05-23 18:58:26] [INFO ] Deduced a trap composed of 81 places in 934 ms of which 8 ms to minimize.
[2024-05-23 18:58:27] [INFO ] Deduced a trap composed of 89 places in 1034 ms of which 8 ms to minimize.
[2024-05-23 18:58:28] [INFO ] Deduced a trap composed of 77 places in 857 ms of which 8 ms to minimize.
At refinement iteration 5 (INCLUDED_ONLY) 0/551 variables, 20/88 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-05-23 18:58:32] [INFO ] Deduced a trap composed of 19 places in 941 ms of which 9 ms to minimize.
[2024-05-23 18:58:33] [INFO ] Deduced a trap composed of 106 places in 982 ms of which 8 ms to minimize.
[2024-05-23 18:58:34] [INFO ] Deduced a trap composed of 140 places in 1035 ms of which 10 ms to minimize.
[2024-05-23 18:58:36] [INFO ] Deduced a trap composed of 103 places in 1036 ms of which 9 ms to minimize.
[2024-05-23 18:58:37] [INFO ] Deduced a trap composed of 138 places in 1019 ms of which 9 ms to minimize.
[2024-05-23 18:58:38] [INFO ] Deduced a trap composed of 3 places in 1004 ms of which 9 ms to minimize.
[2024-05-23 18:58:39] [INFO ] Deduced a trap composed of 98 places in 968 ms of which 8 ms to minimize.
[2024-05-23 18:58:40] [INFO ] Deduced a trap composed of 3 places in 942 ms of which 8 ms to minimize.
[2024-05-23 18:58:41] [INFO ] Deduced a trap composed of 143 places in 917 ms of which 8 ms to minimize.
[2024-05-23 18:58:42] [INFO ] Deduced a trap composed of 74 places in 886 ms of which 8 ms to minimize.
[2024-05-23 18:58:42] [INFO ] Deduced a trap composed of 137 places in 908 ms of which 7 ms to minimize.
[2024-05-23 18:58:43] [INFO ] Deduced a trap composed of 124 places in 683 ms of which 5 ms to minimize.
[2024-05-23 18:58:44] [INFO ] Deduced a trap composed of 94 places in 884 ms of which 8 ms to minimize.
[2024-05-23 18:58:45] [INFO ] Deduced a trap composed of 35 places in 835 ms of which 6 ms to minimize.
[2024-05-23 18:58:46] [INFO ] Deduced a trap composed of 81 places in 730 ms of which 6 ms to minimize.
[2024-05-23 18:58:46] [INFO ] Deduced a trap composed of 196 places in 745 ms of which 5 ms to minimize.
[2024-05-23 18:58:47] [INFO ] Deduced a trap composed of 89 places in 734 ms of which 8 ms to minimize.
[2024-05-23 18:58:48] [INFO ] Deduced a trap composed of 132 places in 604 ms of which 5 ms to minimize.
[2024-05-23 18:58:49] [INFO ] Deduced a trap composed of 94 places in 641 ms of which 5 ms to minimize.
[2024-05-23 18:58:49] [INFO ] Deduced a trap composed of 135 places in 547 ms of which 5 ms to minimize.
At refinement iteration 6 (INCLUDED_ONLY) 0/551 variables, 20/108 constraints. Problems are: Problem set: 0 solved, 2264 unsolved
[2024-05-23 18:58:53] [INFO ] Deduced a trap composed of 37 places in 818 ms of which 8 ms to minimize.
[2024-05-23 18:58:54] [INFO ] Deduced a trap composed of 34 places in 860 ms of which 8 ms to minimize.
[2024-05-23 18:58:55] [INFO ] Deduced a trap composed of 28 places in 936 ms of which 8 ms to minimize.
[2024-05-23 18:58:56] [INFO ] Deduced a trap composed of 26 places in 870 ms of which 7 ms to minimize.
[2024-05-23 18:58:57] [INFO ] Deduced a trap composed of 28 places in 867 ms of which 8 ms to minimize.
[2024-05-23 18:58:57] [INFO ] Deduced a trap composed of 52 places in 908 ms of which 9 ms to minimize.
[2024-05-23 18:58:58] [INFO ] Deduced a trap composed of 30 places in 985 ms of which 9 ms to minimize.
[2024-05-23 18:58:59] [INFO ] Deduced a trap composed of 25 places in 934 ms of which 8 ms to minimize.
[2024-05-23 18:59:00] [INFO ] Deduced a trap composed of 116 places in 914 ms of which 8 ms to minimize.
[2024-05-23 18:59:01] [INFO ] Deduced a trap composed of 66 places in 908 ms of which 8 ms to minimize.
[2024-05-23 18:59:02] [INFO ] Deduced a trap composed of 29 places in 1004 ms of which 7 ms to minimize.
[2024-05-23 18:59:03] [INFO ] Deduced a trap composed of 125 places in 902 ms of which 8 ms to minimize.
[2024-05-23 18:59:04] [INFO ] Deduced a trap composed of 113 places in 930 ms of which 8 ms to minimize.
[2024-05-23 18:59:05] [INFO ] Deduced a trap composed of 124 places in 926 ms of which 8 ms to minimize.
[2024-05-23 18:59:06] [INFO ] Deduced a trap composed of 32 places in 898 ms of which 8 ms to minimize.
[2024-05-23 18:59:07] [INFO ] Deduced a trap composed of 96 places in 879 ms of which 8 ms to minimize.
[2024-05-23 18:59:08] [INFO ] Deduced a trap composed of 117 places in 954 ms of which 7 ms to minimize.
[2024-05-23 18:59:09] [INFO ] Deduced a trap composed of 86 places in 791 ms of which 7 ms to minimize.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 551/1964 variables, and 126 constraints, problems are : Problem set: 0 solved, 2264 unsolved in 120068 ms.
Refiners :[Positive P Invariants (semi-flows): 19/19 constraints, Generalized P Invariants (flows): 9/9 constraints, State Equation: 0/551 constraints, ReadFeed: 0/876 constraints, PredecessorRefiner: 0/2264 constraints, Known Traps: 98/98 constraints]
After SMT, in 242152ms problems are : Problem set: 0 solved, 2264 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 303 out of 551 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 551/551 places, 3492/3492 transitions.
Applied a total of 0 rules in 234 ms. Remains 551 /551 variables (removed 0) and now considering 3492/3492 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 235 ms. Remains : 551/551 places, 3492/3492 transitions.
RANDOM walk for 379125 steps (0 resets) in 120004 ms. (3 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 86 ms. (46 steps per ms) remains 2264/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2263/2264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 94 ms. (42 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 149 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 150 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 139 ms. (28 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 161 ms. (24 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 147 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 154 ms. (25 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 137 ms. (29 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 148 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 158 ms. (25 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 130 ms. (30 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 126 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 118 ms. (33 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 145 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 144 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 121 ms. (32 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 127 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 115 ms. (34 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 131 ms. (30 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 128 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 134 ms. (29 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 142 ms. (28 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 140 ms. (28 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 135 ms. (29 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 143 ms. (27 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 117 ms. (33 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 125 ms. (31 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 152 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 136 ms. (29 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 110 ms. (36 steps per ms) remains 2263/2263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 151 ms. (26 steps per ms) remains 2263/2263 properties
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EisenbergMcGuire-PT-09"
export BK_EXAMINATION="Liveness"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool greatspnxred"
echo " Input is EisenbergMcGuire-PT-09, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-171636274400124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/EisenbergMcGuire-PT-09.tgz
mv EisenbergMcGuire-PT-09 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "Liveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property Liveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "Liveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;