About the Execution of LoLa+red for RERS17pb115-PT-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3681.228 | 1800000.00 | 3453758.00 | 3620.60 | [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.r341-tall-167889213500097.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 RERS17pb115-PT-2, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r341-tall-167889213500097
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.1K Feb 25 13:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 13:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1679096754379
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=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS17pb115-PT-2
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-17 23:45:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-17 23:45:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 23:45:58] [INFO ] Load time of PNML (sax parser for PT used): 1854 ms
[2023-03-17 23:45:58] [INFO ] Transformed 1399 places.
[2023-03-17 23:45:58] [INFO ] Transformed 144369 transitions.
[2023-03-17 23:45:58] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2407 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 1399/1399 places, 144369/144369 transitions.
Ensure Unique test removed 18 places
Iterating post reduction 0 with 18 rules applied. Total rules applied 18 place count 1381 transition count 144369
Applied a total of 18 rules in 1286 ms. Remains 1381 /1399 variables (removed 18) and now considering 144369/144369 (removed 0) transitions.
[2023-03-17 23:46:00] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2023-03-17 23:46:00] [INFO ] Computed 19 place invariants in 409 ms
[2023-03-17 23:46:10] [INFO ] Implicit Places using invariants in 10130 ms returned []
Implicit Place search using SMT only with invariants took 10156 ms to find 0 implicit places.
[2023-03-17 23:46:10] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-17 23:46:10] [INFO ] Invariant cache hit.
[2023-03-17 23:46:40] [INFO ] Performed 92442/144369 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2023-03-17 23:46:56] [INFO ] Dead Transitions using invariants and state equation in 46908 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 1381/1399 places, 144369/144369 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 58369 ms. Remains : 1381/1399 places, 144369/144369 transitions.
Discarding 2848 transitions out of 144369. Remains 141521
Initial state reduction rules removed 1 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 2967 ms. (steps per millisecond=3 ) properties (out of 141520) seen :2157
Interrupted probabilistic random walk after 1154 steps, run timeout after 15086 ms. (steps per millisecond=0 ) properties seen :{353=1, 1426=1, 8599=1, 9290=1, 11307=1, 11456=1, 11503=1, 11970=1, 12499=1, 12531=1, 17526=1, 17775=1, 19579=1, 23155=1, 25589=1, 35142=1, 37521=1, 42819=1, 51995=1, 52009=1, 52012=1, 79251=1, 85060=1, 90795=1, 91942=1, 94525=1, 111895=1, 115848=1, 118877=1, 118928=1, 119841=1, 131757=1}
Probabilistic random walk after 1154 steps, saw 973 distinct states, run finished after 15093 ms. (steps per millisecond=0 ) properties seen :32
Running SMT prover for 139330 properties.
[2023-03-17 23:47:21] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-17 23:47:21] [INFO ] Invariant cache hit.
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-17 23:47:46] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-17 23:47:46] [INFO ] After 25035ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 139330 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 12 ms.
Support contains 1380 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 1032 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1038 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 115099 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 14775
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124555) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124554) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124551) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124546) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124545) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124545) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124543) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124543) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124543) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124542) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124542) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124542) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124541) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124541) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124541) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124540) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124540) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124540) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124538) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124537) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124537) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124537) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124536) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124536) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124535) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124535) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124534) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124533) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124533) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124532) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124530) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124530) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124527) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124527) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124526) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124519) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124519) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 124518) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 124518) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124518) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124517) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124517) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124517) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124517) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124516) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124516) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 124516) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124516) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 124510) seen :0
Running SMT prover for 124510 properties.
[2023-03-17 23:48:53] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-17 23:48:53] [INFO ] Invariant cache hit.
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-17 23:52:39] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-17 23:52:39] [INFO ] After 225027ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 124510 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 8 ms.
Support contains 1379 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 798 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 798 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 121098 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 7314
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117196) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117196) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117195) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117194) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117191) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117184) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117184) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 117181) seen :0
Interrupted probabilistic random walk after 17620 steps, run timeout after 189057 ms. (steps per millisecond=0 ) properties seen :{32=1, 35=1, 37=1, 41=1, 42=1, 48=1, 56=1, 58=1, 61=1, 913=1, 2193=1, 2279=1, 2425=1, 2991=1, 3072=1, 3557=1, 3731=1, 4599=1, 4710=1, 4746=1, 4850=1, 4864=1, 4868=1, 4873=1, 4879=1, 4903=1, 4905=1, 4925=1, 5324=1, 5370=1, 5660=1, 5665=1, 5669=1, 5675=1, 5681=1, 6124=1, 6132=1, 6134=1, 6138=1, 6165=1, 6173=1, 6698=1, 6738=1, 6857=1, 7050=1, 7075=1, 7511=1, 7691=1, 8269=1, 8497=1, 8532=1, 8544=1, 8545=1, 8547=1, 8553=1, 8565=1, 8573=1, 8582=1, 8586=1, 8592=1, 8597=1, 8740=1, 8759=1, 9083=1, 9114=1, 9674=1, 10032=1, 10060=1, 10072=1, 10566=1, 11098=1, 11118=1, 11136=1, 11246=1, 11269=1, 11280=1, 11352=1, 11364=1, 11372=1, 11382=1, 11438=1, 11561=1, 11564=1, 12361=1, 12369=1, 12384=1, 12569=1, 14390=1, 15541=1, 15603=1, 15620=1, 15632=1, 15655=1, 15680=1, 15684=1, 15687=1, 15697=1, 15762=1, 16408=1, 16410=1, 16416=1, 16423=1, 16425=1, 16434=1, 16485=1, 16492=1, 16495=1, 16499=1, 16502=1, 16811=1, 16841=1, 16847=1, 16860=1, 16862=1, 16877=1, 16895=1, 16899=1, 16907=1, 16914=1, 16935=1, 16940=1, 17614=1, 17895=1, 17916=1, 17927=1, 18464=1, 18487=1, 18783=1, 19452=1, 20239=1, 20256=1, 21720=1, 21722=1, 21741=1, 22294=1, 22349=1, 23068=1, 23078=1, 23083=1, 23898=1, 24808=1, 24819=1, 24821=1, 24832=1, 24836=1, 24843=1, 24854=1, 24877=1, 25049=1, 25091=1, 26389=1, 26665=1, 26692=1, 27126=1, 27145=1, 27159=1, 27608=1, 27616=1, 27629=1, 27699=1, 27704=1, 28011=1, 28921=1, 29219=1, 29634=1, 29656=1, 30222=1, 30596=1, 31800=1, 32580=1, 32952=1, 33190=1, 33202=1, 33850=1, 33858=1, 33860=1, 33867=1, 33916=1, 34695=1, 34700=1, 34712=1, 35148=1, 35216=1, 35380=1, 35563=1, 35591=1, 35628=1, 35692=1, 35774=1, 35777=1, 35904=1, 36365=1, 36489=1, 36638=1, 36716=1, 37386=1, 37393=1, 37405=1, 37409=1, 38161=1, 38750=1, 38789=1, 38798=1, 38828=1, 38841=1, 39117=1, 39146=1, 39179=1, 39197=1, 39212=1, 39226=1, 39693=1, 39803=1, 39849=1, 40351=1, 40381=1, 40389=1, 40395=1, 40406=1, 40426=1, 40477=1, 40479=1, 40481=1, 40486=1, 40492=1, 40498=1, 40502=1, 40504=1, 40507=1, 40509=1, 40523=1, 40525=1, 40530=1, 40533=1, 40535=1, 40547=1, 40551=1, 40555=1, 40559=1, 40563=1, 40568=1, 40573=1, 40719=1, 40802=1, 41019=1, 41219=1, 41223=1, 41328=1, 41757=1, 41796=1, 42141=1, 42281=1, 42455=1, 42797=1, 43151=1, 44164=1, 45056=1, 45082=1, 45299=1, 47258=1, 47287=1, 47311=1, 47317=1, 47319=1, 47600=1, 47631=1, 47789=1, 47892=1, 48005=1, 48050=1, 48132=1, 48164=1, 49069=1, 49123=1, 49146=1, 49187=1, 49590=1, 49604=1, 49660=1, 49975=1, 49982=1, 49985=1, 49989=1, 49992=1, 49998=1, 50020=1, 50023=1, 50037=1, 50038=1, 50042=1, 50047=1, 50051=1, 50057=1, 50235=1, 50242=1, 50457=1, 51078=1, 52083=1, 52097=1, 52148=1, 52201=1, 53576=1, 53746=1, 54275=1, 55221=1, 55223=1, 55225=1, 55232=1, 55281=1, 55331=1, 55952=1, 56018=1, 56071=1, 56085=1, 56626=1, 56660=1, 57477=1, 58219=1, 58252=1, 58258=1, 58803=1, 58851=1, 58856=1, 58947=1, 58971=1, 58992=1, 59000=1, 59003=1, 59023=1, 59032=1, 59095=1, 59411=1, 60095=1, 60923=1, 61380=1, 61770=1, 61833=1, 62708=1, 64105=1, 65116=1, 67723=1, 67731=1, 67734=1, 67749=1, 67769=1, 67774=1, 67785=1, 67788=1, 67800=1, 67809=1, 67820=1, 67891=1, 69467=1, 70155=1, 70188=1, 70199=1, 70251=1, 70957=1, 70966=1, 70969=1, 71331=1, 72660=1, 72674=1, 73648=1, 73649=1, 73659=1, 73661=1, 73665=1, 73690=1, 73694=1, 73703=1, 73717=1, 73723=1, 73727=1, 73729=1, 73733=1, 73740=1, 73979=1, 74113=1, 74640=1, 74734=1, 75738=1, 75751=1, 75780=1, 75807=1, 75832=1, 76212=1, 76261=1, 76262=1, 76264=1, 76271=1, 76279=1, 76291=1, 76438=1, 76439=1, 76446=1, 76474=1, 76489=1, 76491=1, 76503=1, 76882=1, 76978=1, 76986=1, 77181=1, 77380=1, 77383=1, 77525=1, 78174=1, 78959=1, 79097=1, 80090=1, 80123=1, 80475=1, 81214=1, 81258=1, 81295=1, 81298=1, 81465=1, 82149=1, 82206=1, 82380=1, 84610=1, 84755=1, 84766=1, 85561=1, 85690=1, 86312=1, 86731=1, 87136=1, 87148=1, 87159=1, 87162=1, 87176=1, 87243=1, 87258=1, 88254=1, 90354=1, 90360=1, 90368=1, 90374=1, 90380=1, 90384=1, 90388=1, 91057=1, 91072=1, 91082=1, 91088=1, 91090=1, 91094=1, 91096=1, 91103=1, 91108=1, 91918=1, 91919=1, 91920=1, 92005=1, 93986=1, 94557=1, 95098=1, 95113=1, 95115=1, 95204=1, 95207=1, 95208=1, 95939=1, 95947=1, 96440=1, 96455=1, 96564=1, 96657=1, 97894=1, 98716=1, 99082=1, 99460=1, 99570=1, 99757=1, 100448=1, 101454=1, 101902=1, 101914=1, 102100=1, 102155=1, 102171=1, 102514=1, 102870=1, 102902=1, 102924=1, 103995=1, 104015=1, 104152=1, 105500=1, 105501=1, 106122=1, 106137=1, 106265=1, 107245=1, 107880=1, 107984=1, 108032=1, 108872=1, 109334=1, 109347=1, 110175=1, 110184=1, 110752=1, 110866=1, 110875=1, 110892=1, 111514=1, 111984=1, 112049=1, 112080=1, 112286=1, 112383=1, 113776=1, 117095=1, 117102=1}
Probabilistic random walk after 17620 steps, saw 15148 distinct states, run finished after 189060 ms. (steps per millisecond=0 ) properties seen :517
Running SMT prover for 116664 properties.
[2023-03-17 23:56:53] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-17 23:56:53] [INFO ] Invariant cache hit.
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-18 00:00:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 00:00:38] [INFO ] After 225031ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 116664 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 7 ms.
Support contains 1379 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 1120 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1120 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 127431 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 5054
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 111610) seen :0
Interrupted probabilistic random walk after 11231 steps, run timeout after 114022 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 11231 steps, saw 9678 distinct states, run finished after 114026 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 111610 properties.
[2023-03-18 00:03:13] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 00:03:13] [INFO ] Invariant cache hit.
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-18 00:06:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 00:06:58] [INFO ] After 225021ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 111610 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 9 ms.
Support contains 1378 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 764 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 765 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 123301 steps, including 0 resets, run timeout after 30005 ms. (steps per millisecond=4 ) properties seen 3868
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107742) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 107742) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107741) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107741) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 107740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 107740) seen :0
Interrupted probabilistic random walk after 13885 steps, run timeout after 135099 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 13885 steps, saw 11911 distinct states, run finished after 135111 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 107740 properties.
[2023-03-18 00:10:00] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
[2023-03-18 00:10:00] [INFO ] Invariant cache hit.
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-18 00:13:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-18 00:13:45] [INFO ] After 225023ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 107740 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 8 ms.
Support contains 1376 out of 1381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 889 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 889 ms. Remains : 1381/1381 places, 144369/144369 transitions.
Interrupted random walk after 128851 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=4 ) properties seen 3090
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 104650) seen :0
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12439572 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16050364 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 QuasiLiveness -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="RERS17pb115-PT-2"
export BK_EXAMINATION="QuasiLiveness"
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 RERS17pb115-PT-2, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r341-tall-167889213500097"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-2.tgz
mv RERS17pb115-PT-2 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;