About the Execution of LoLa+red for MultiCrashLeafsetExtension-PT-S16C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1619.159 | 1800000.00 | 2176564.00 | 17794.70 | [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/mcc2023-input.r245-tall-167856432800498.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is MultiCrashLeafsetExtension-PT-S16C08, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-167856432800498
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.8M
-rw-r--r-- 1 mcc users 15K Feb 26 03:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 03:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 03:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 26 03:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 26 03:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 24K Feb 26 03:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 03:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 6.3M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1678722038216
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S16C08
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-13 15:40:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 15:40:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:40:43] [INFO ] Load time of PNML (sax parser for PT used): 629 ms
[2023-03-13 15:40:43] [INFO ] Transformed 6876 places.
[2023-03-13 15:40:43] [INFO ] Transformed 9571 transitions.
[2023-03-13 15:40:43] [INFO ] Parsed PT model containing 6876 places and 9571 transitions and 35518 arcs in 875 ms.
Incomplete random walk after 10000 steps, including 120 resets, run finished after 3499 ms. (steps per millisecond=2 ) properties (out of 6876) seen :2901
Running SMT prover for 3975 properties.
[2023-03-13 15:40:47] [INFO ] Flow matrix only has 9299 transitions (discarded 272 similar events)
// Phase 1: matrix 9299 rows 6876 cols
[2023-03-13 15:40:48] [INFO ] Computed 649 place invariants in 692 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 15:41:18] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:41:18] [INFO ] After 25140ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 3975 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 3975 out of 6876 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6876/6876 places, 9571/9571 transitions.
Graph (complete) has 21033 edges and 6876 vertex of which 6843 are kept as prefixes of interest. Removing 33 places using SCC suffix rule.47 ms
Discarding 33 places :
Also discarding 0 output transitions
Drop transitions removed 675 transitions
Trivial Post-agglo rules discarded 675 transitions
Performed 675 trivial Post agglomeration. Transition count delta: 675
Iterating post reduction 0 with 675 rules applied. Total rules applied 676 place count 6843 transition count 8896
Reduce places removed 675 places and 0 transitions.
Iterating post reduction 1 with 675 rules applied. Total rules applied 1351 place count 6168 transition count 8896
Performed 177 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 177 Pre rules applied. Total rules applied 1351 place count 6168 transition count 8719
Deduced a syphon composed of 177 places in 31 ms
Reduce places removed 177 places and 0 transitions.
Iterating global reduction 2 with 354 rules applied. Total rules applied 1705 place count 5991 transition count 8719
Discarding 498 places :
Symmetric choice reduction at 2 with 498 rule applications. Total rules 2203 place count 5493 transition count 8221
Iterating global reduction 2 with 498 rules applied. Total rules applied 2701 place count 5493 transition count 8221
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 9 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 2711 place count 5488 transition count 8216
Free-agglomeration rule (complex) applied 288 times.
Iterating global reduction 2 with 288 rules applied. Total rules applied 2999 place count 5488 transition count 7928
Reduce places removed 288 places and 0 transitions.
Iterating post reduction 2 with 288 rules applied. Total rules applied 3287 place count 5200 transition count 7928
Partial Free-agglomeration rule applied 177 times.
Drop transitions removed 177 transitions
Iterating global reduction 3 with 177 rules applied. Total rules applied 3464 place count 5200 transition count 7928
Applied a total of 3464 rules in 2494 ms. Remains 5200 /6876 variables (removed 1676) and now considering 7928/9571 (removed 1643) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2511 ms. Remains : 5200/6876 places, 7928/9571 transitions.
Interrupted random walk after 149526 steps, including 2579 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 2104
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1871) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1871) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1869) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1869) seen :4
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1865) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1865) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1863) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1863) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1863) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1861) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1861) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1859) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1859) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1857) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1855) seen :5
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1850) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1850) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1845) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1845) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1845) seen :3
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 1842) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1840) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1840) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1838) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1836) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1836) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1835) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1835) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1833) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1831) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1831) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1831) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1831) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1831) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1829) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1829) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1829) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1827) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1827) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1823) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1823) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1821) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1821) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1819) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1817) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1817) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1816) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1816) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1816) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1816) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1816) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1816) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 1814) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1812) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1810) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1810) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1810) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1810) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1809) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1809) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1805) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1805) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1800) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1800) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1798) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1798) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1796) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1795) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1795) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 1793) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1793) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1792) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1792) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1790) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1790) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1788) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1787) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1787) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1786) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1786) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1784) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1784) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 44 ms. (steps per millisecond=22 ) properties (out of 1780) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1780) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1778) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1777) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1777) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1775) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1775) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1770) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1770) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1769) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1769) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1769) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1767) seen :6
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1761) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1761) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1758) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1758) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1756) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1756) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1754) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1752) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1752) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1750) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1748) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1748) seen :5
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1743) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1743) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1741) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1739) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1739) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 1735) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1733) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1731) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1729) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1729) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1727) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1725) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1725) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1725) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1725) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1724) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1724) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1724) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1722) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 1722) seen :0
Running SMT prover for 1722 properties.
[2023-03-13 15:42:14] [INFO ] Flow matrix only has 7632 transitions (discarded 296 similar events)
// Phase 1: matrix 7632 rows 5200 cols
[2023-03-13 15:42:14] [INFO ] Computed 616 place invariants in 348 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 15:46:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:46:01] [INFO ] After 225059ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 1722 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1722 out of 5200 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5200/5200 places, 7928/7928 transitions.
Graph (complete) has 28121 edges and 5200 vertex of which 5199 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.11 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 971 transitions
Trivial Post-agglo rules discarded 971 transitions
Performed 971 trivial Post agglomeration. Transition count delta: 971
Iterating post reduction 0 with 971 rules applied. Total rules applied 972 place count 5199 transition count 6957
Reduce places removed 971 places and 0 transitions.
Iterating post reduction 1 with 971 rules applied. Total rules applied 1943 place count 4228 transition count 6957
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 50 Pre rules applied. Total rules applied 1943 place count 4228 transition count 6907
Deduced a syphon composed of 50 places in 6 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 2 with 100 rules applied. Total rules applied 2043 place count 4178 transition count 6907
Discarding 745 places :
Symmetric choice reduction at 2 with 745 rule applications. Total rules 2788 place count 3433 transition count 6162
Iterating global reduction 2 with 745 rules applied. Total rules applied 3533 place count 3433 transition count 6162
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 3537 place count 3431 transition count 6160
Free-agglomeration rule (complex) applied 52 times.
Iterating global reduction 2 with 52 rules applied. Total rules applied 3589 place count 3431 transition count 6108
Reduce places removed 52 places and 0 transitions.
Iterating post reduction 2 with 52 rules applied. Total rules applied 3641 place count 3379 transition count 6108
Discarding 161 places :
Symmetric choice reduction at 3 with 161 rule applications. Total rules 3802 place count 3218 transition count 5947
Iterating global reduction 3 with 161 rules applied. Total rules applied 3963 place count 3218 transition count 5947
Partial Free-agglomeration rule applied 57 times.
Drop transitions removed 57 transitions
Iterating global reduction 3 with 57 rules applied. Total rules applied 4020 place count 3218 transition count 5947
Discarding 15 places :
Symmetric choice reduction at 3 with 15 rule applications. Total rules 4035 place count 3203 transition count 5932
Iterating global reduction 3 with 15 rules applied. Total rules applied 4050 place count 3203 transition count 5932
Applied a total of 4050 rules in 1512 ms. Remains 3203 /5200 variables (removed 1997) and now considering 5932/7928 (removed 1996) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1513 ms. Remains : 3203/5200 places, 5932/7928 transitions.
Interrupted random walk after 177830 steps, including 3566 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 163
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1559) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1559) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1557) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1557) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 1556) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1555) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1555) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1550) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1550) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1550) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1550) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1550) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1548) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1548) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1544) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1544) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1544) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1544) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1544) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1544) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1544) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1542) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1542) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1542) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1542) seen :6
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1536) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1536) seen :1
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1535) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1535) seen :0
Running SMT prover for 1535 properties.
[2023-03-13 15:46:37] [INFO ] Flow matrix only has 5602 transitions (discarded 330 similar events)
// Phase 1: matrix 5602 rows 3203 cols
[2023-03-13 15:46:37] [INFO ] Computed 615 place invariants in 169 ms
[2023-03-13 15:48:43] [INFO ] After 124451ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1535
[2023-03-13 15:50:40] [INFO ] [Nat]Absence check using 38 positive place invariants in 64 ms returned sat
[2023-03-13 15:50:40] [INFO ] [Nat]Absence check using 38 positive and 577 generalized place invariants in 484 ms returned sat
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:629)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 15:52:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:52:28] [INFO ] After 225067ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1535
Fused 1535 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 1535 out of 3203 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3203/3203 places, 5932/5932 transitions.
Graph (complete) has 23674 edges and 3203 vertex of which 3202 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.8 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 67 transitions
Trivial Post-agglo rules discarded 67 transitions
Performed 67 trivial Post agglomeration. Transition count delta: 67
Iterating post reduction 0 with 67 rules applied. Total rules applied 68 place count 3202 transition count 5865
Reduce places removed 67 places and 0 transitions.
Iterating post reduction 1 with 67 rules applied. Total rules applied 135 place count 3135 transition count 5865
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 135 place count 3135 transition count 5859
Deduced a syphon composed of 6 places in 5 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 147 place count 3129 transition count 5859
Discarding 30 places :
Symmetric choice reduction at 2 with 30 rule applications. Total rules 177 place count 3099 transition count 5829
Iterating global reduction 2 with 30 rules applied. Total rules applied 207 place count 3099 transition count 5829
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 209 place count 3098 transition count 5828
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 2 with 6 rules applied. Total rules applied 215 place count 3098 transition count 5822
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 221 place count 3092 transition count 5822
Partial Free-agglomeration rule applied 37 times.
Drop transitions removed 37 transitions
Iterating global reduction 3 with 37 rules applied. Total rules applied 258 place count 3092 transition count 5822
Discarding 31 places :
Symmetric choice reduction at 3 with 31 rule applications. Total rules 289 place count 3061 transition count 5791
Iterating global reduction 3 with 31 rules applied. Total rules applied 320 place count 3061 transition count 5791
Applied a total of 320 rules in 1038 ms. Remains 3061 /3203 variables (removed 142) and now considering 5791/5932 (removed 141) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1038 ms. Remains : 3061/3203 places, 5791/5932 transitions.
Interrupted random walk after 193483 steps, including 3882 resets, run timeout after 30001 ms. (steps per millisecond=6 ) properties seen 70
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1465) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1465) seen :5
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1460) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1458) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 34 ms. (steps per millisecond=29 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 31 ms. (steps per millisecond=32 ) properties (out of 1456) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1456) seen :0
Interrupted probabilistic random walk after 582104 steps, run timeout after 96001 ms. (steps per millisecond=6 ) properties seen :{96=1, 97=1, 107=1, 108=1, 118=1, 119=1, 127=1, 128=1, 134=1, 135=1, 152=1, 153=1, 230=1, 231=1, 232=1, 233=1, 241=1, 242=1, 243=1, 244=1, 252=1, 253=1, 259=1, 260=1, 264=1, 265=1, 266=1, 267=1, 285=1, 286=1, 344=1, 345=1, 351=1, 352=1, 353=1, 354=1, 360=1, 361=1, 362=1, 363=1, 367=1, 368=1, 370=1, 371=1, 382=1, 383=1, 428=1, 429=1, 430=1, 431=1, 434=1, 435=1, 439=1, 440=1, 442=1, 443=1, 444=1, 445=1, 454=1, 455=1, 488=1, 489=1, 490=1, 491=1, 493=1, 494=1, 495=1, 496=1, 497=1, 498=1, 509=1, 510=1, 537=1, 538=1, 539=1, 540=1, 541=1, 542=1, 543=1, 544=1, 545=1, 546=1, 547=1, 548=1, 549=1, 550=1, 563=1, 564=1, 597=1, 598=1, 599=1, 600=1, 601=1, 602=1, 603=1, 604=1, 605=1, 606=1, 607=1, 608=1, 609=1, 610=1, 611=1, 612=1, 625=1, 626=1, 657=1, 658=1, 659=1, 660=1, 661=1, 662=1, 663=1, 664=1, 665=1, 666=1, 667=1, 668=1, 669=1, 670=1, 671=1, 672=1, 673=1, 674=1, 687=1, 688=1, 714=1, 715=1, 716=1, 717=1, 718=1, 719=1, 720=1, 721=1, 722=1, 723=1, 724=1, 725=1, 726=1, 727=1, 728=1, 729=1, 738=1, 739=1, 760=1, 761=1, 762=1, 763=1, 764=1, 765=1, 766=1, 767=1, 768=1, 769=1, 770=1, 771=1, 772=1, 773=1, 774=1, 775=1, 776=1, 777=1, 778=1, 779=1, 788=1, 789=1, 816=1, 817=1, 818=1, 819=1, 820=1, 821=1, 822=1, 823=1, 824=1, 825=1, 826=1, 827=1, 828=1, 829=1, 830=1, 831=1, 832=1, 833=1, 834=1, 835=1, 848=1, 849=1, 872=1, 873=1, 874=1, 875=1, 876=1, 877=1, 878=1, 879=1, 880=1, 881=1, 882=1, 883=1, 884=1, 885=1, 886=1, 887=1, 902=1, 903=1, 930=1, 931=1, 932=1, 933=1, 934=1, 935=1, 936=1, 937=1, 938=1, 939=1, 940=1, 941=1, 943=1, 944=1, 945=1, 946=1, 963=1, 964=1, 1008=1, 1009=1, 1010=1, 1011=1, 1016=1, 1017=1, 1018=1, 1019=1, 1023=1, 1024=1, 1025=1, 1026=1, 1030=1, 1031=1, 1032=1, 1033=1, 1051=1, 1052=1, 1436=1, 1437=1, 1438=1, 1439=1, 1440=1, 1441=1, 1442=1, 1443=1, 1444=1, 1445=1, 1446=1, 1447=1, 1448=1, 1449=1, 1450=1, 1451=1, 1455=1}
Probabilistic random walk after 582104 steps, saw 254625 distinct states, run finished after 96007 ms. (steps per millisecond=6 ) properties seen :259
Running SMT prover for 1197 properties.
[2023-03-13 15:54:38] [INFO ] Flow matrix only has 5455 transitions (discarded 336 similar events)
// Phase 1: matrix 5455 rows 3061 cols
[2023-03-13 15:54:38] [INFO ] Computed 614 place invariants in 251 ms
[2023-03-13 15:56:24] [INFO ] After 104992ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1197
[2023-03-13 15:57:54] [INFO ] [Nat]Absence check using 37 positive place invariants in 98 ms returned sat
[2023-03-13 15:57:54] [INFO ] [Nat]Absence check using 37 positive and 577 generalized place invariants in 195 ms returned sat
[2023-03-13 16:00:09] [INFO ] After 40565ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1196
[2023-03-13 16:00:09] [INFO ] State equation strengthened by 2722 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 16:00:09] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 16:00:09] [INFO ] After 225096ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1197
Fused 1197 Parikh solutions to 137 different solutions.
Parikh walk visited 0 properties in 530 ms.
Support contains 1197 out of 3061 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3061/3061 places, 5791/5791 transitions.
Graph (complete) has 23343 edges and 3061 vertex of which 3060 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.6 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 134 transitions
Trivial Post-agglo rules discarded 134 transitions
Performed 134 trivial Post agglomeration. Transition count delta: 134
Iterating post reduction 0 with 134 rules applied. Total rules applied 135 place count 3060 transition count 5657
Reduce places removed 134 places and 0 transitions.
Iterating post reduction 1 with 134 rules applied. Total rules applied 269 place count 2926 transition count 5657
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 18 Pre rules applied. Total rules applied 269 place count 2926 transition count 5639
Deduced a syphon composed of 18 places in 4 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 2 with 36 rules applied. Total rules applied 305 place count 2908 transition count 5639
Discarding 91 places :
Symmetric choice reduction at 2 with 91 rule applications. Total rules 396 place count 2817 transition count 5548
Iterating global reduction 2 with 91 rules applied. Total rules applied 487 place count 2817 transition count 5548
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 491 place count 2817 transition count 5544
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 495 place count 2813 transition count 5544
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 497 place count 2811 transition count 5542
Iterating global reduction 3 with 2 rules applied. Total rules applied 499 place count 2811 transition count 5542
Partial Free-agglomeration rule applied 41 times.
Drop transitions removed 41 transitions
Iterating global reduction 3 with 41 rules applied. Total rules applied 540 place count 2811 transition count 5542
Discarding 23 places :
Symmetric choice reduction at 3 with 23 rule applications. Total rules 563 place count 2788 transition count 5519
Iterating global reduction 3 with 23 rules applied. Total rules applied 586 place count 2788 transition count 5519
Applied a total of 586 rules in 873 ms. Remains 2788 /3061 variables (removed 273) and now considering 5519/5791 (removed 272) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 874 ms. Remains : 2788/3061 places, 5519/5791 transitions.
Interrupted random walk after 221532 steps, including 4446 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 60
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1137) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1137) seen :0
Interrupted probabilistic random walk after 652277 steps, run timeout after 93001 ms. (steps per millisecond=7 ) properties seen :{683=1, 684=1, 748=1, 749=1, 750=1, 751=1}
Probabilistic random walk after 652277 steps, saw 283980 distinct states, run finished after 93001 ms. (steps per millisecond=7 ) properties seen :6
Running SMT prover for 1131 properties.
[2023-03-13 16:02:15] [INFO ] Flow matrix only has 5180 transitions (discarded 339 similar events)
// Phase 1: matrix 5180 rows 2788 cols
[2023-03-13 16:02:15] [INFO ] Computed 613 place invariants in 141 ms
[2023-03-13 16:03:59] [INFO ] After 103311ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1131
[2023-03-13 16:05:22] [INFO ] [Nat]Absence check using 33 positive place invariants in 162 ms returned sat
[2023-03-13 16:05:23] [INFO ] [Nat]Absence check using 33 positive and 580 generalized place invariants in 333 ms returned sat
[2023-03-13 16:07:44] [INFO ] After 47476ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1130
[2023-03-13 16:07:44] [INFO ] State equation strengthened by 2722 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 16:07:44] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 16:07:44] [INFO ] After 225111ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:1131
Fused 1131 Parikh solutions to 140 different solutions.
Parikh walk visited 0 properties in 1097 ms.
Support contains 1131 out of 2788 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2788/2788 places, 5519/5519 transitions.
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 0 with 23 rules applied. Total rules applied 23 place count 2788 transition count 5496
Reduce places removed 23 places and 0 transitions.
Iterating post reduction 1 with 23 rules applied. Total rules applied 46 place count 2765 transition count 5496
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 46 place count 2765 transition count 5493
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 52 place count 2762 transition count 5493
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 53 place count 2761 transition count 5492
Iterating global reduction 2 with 1 rules applied. Total rules applied 54 place count 2761 transition count 5492
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 56 place count 2761 transition count 5490
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 58 place count 2759 transition count 5490
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 60 place count 2757 transition count 5488
Iterating global reduction 3 with 2 rules applied. Total rules applied 62 place count 2757 transition count 5488
Partial Free-agglomeration rule applied 20 times.
Drop transitions removed 20 transitions
Iterating global reduction 3 with 20 rules applied. Total rules applied 82 place count 2757 transition count 5488
Discarding 17 places :
Symmetric choice reduction at 3 with 17 rule applications. Total rules 99 place count 2740 transition count 5471
Iterating global reduction 3 with 17 rules applied. Total rules applied 116 place count 2740 transition count 5471
Applied a total of 116 rules in 774 ms. Remains 2740 /2788 variables (removed 48) and now considering 5471/5519 (removed 48) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 774 ms. Remains : 2740/2788 places, 5471/5519 transitions.
Interrupted random walk after 243600 steps, including 4891 resets, run timeout after 30001 ms. (steps per millisecond=8 ) properties seen 52
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1079) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1079) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1077) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1077) seen :2
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1075) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1073) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1072) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1072) seen :0
Interrupted probabilistic random walk after 659403 steps, run timeout after 96001 ms. (steps per millisecond=6 ) properties seen :{}
Probabilistic random walk after 659403 steps, saw 287032 distinct states, run finished after 96003 ms. (steps per millisecond=6 ) properties seen :0
Running SMT prover for 1072 properties.
[2023-03-13 16:09:55] [INFO ] Flow matrix only has 5131 transitions (discarded 340 similar events)
// Phase 1: matrix 5131 rows 2740 cols
[2023-03-13 16:09:55] [INFO ] Computed 613 place invariants in 135 ms
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14900184 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16160504 kB
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.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -timeout 180 -rebuildPNML
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S16C08"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is MultiCrashLeafsetExtension-PT-S16C08, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r245-tall-167856432800498"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S16C08.tgz
mv MultiCrashLeafsetExtension-PT-S16C08 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;