About the Execution of ITS-Tools for Peterson-PT-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9449.619 | 1800000.00 | 4094315.00 | 3750.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r277-smll-171654416900173.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool itstools
Input is Peterson-PT-5, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r277-smll-171654416900173
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 110K Apr 12 02:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 458K Apr 12 02:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 107K Apr 12 02:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 475K Apr 12 02:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 47K Apr 23 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 150K Apr 23 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 40K Apr 23 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 135K Apr 23 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 173K Apr 12 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 733K Apr 12 03:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 289K Apr 12 03:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 12 03:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.8K Apr 23 07:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Apr 23 07:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 2 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 535K May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1716770631415
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=Peterson-PT-5
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202405141337
[2024-05-27 00:43:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-27 00:43:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-27 00:43:54] [INFO ] Load time of PNML (sax parser for PT used): 495 ms
[2024-05-27 00:43:54] [INFO ] Transformed 834 places.
[2024-05-27 00:43:54] [INFO ] Transformed 1242 transitions.
[2024-05-27 00:43:54] [INFO ] Found NUPN structural information;
[2024-05-27 00:43:54] [INFO ] Parsed PT model containing 834 places and 1242 transitions and 3828 arcs in 680 ms.
[2024-05-27 00:43:55] [INFO ] Flatten gal took : 355 ms
[2024-05-27 00:43:55] [INFO ] Flatten gal took : 119 ms
RANDOM walk for 40000 steps (8 resets) in 4828 ms. (8 steps per ms) remains 490/834 properties
BEST_FIRST walk for 400 steps (8 resets) in 17 ms. (22 steps per ms) remains 490/490 properties
[2024-05-27 00:43:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5517962513149754303.gal : 63 ms
BEST_FIRST walk for 400 steps (8 resets) in 11 ms. (33 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 10 ms. (36 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 35 ms. (11 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 16 ms. (23 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 19 ms. (20 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 17 ms. (22 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 12 ms. (30 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 6 ms. (57 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 10 ms. (36 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 17 ms. (22 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 10 ms. (36 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 18 ms. (21 steps per ms) remains 490/490 properties
[2024-05-27 00:43:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16117965080400378620.prop : 6 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5517962513149754303.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16117965080400378620.prop' '--nowitness' '--gen-order' 'FOLLOW'
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 12 ms. (30 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 20 ms. (19 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 8 ms. (44 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 10 ms. (36 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 9 ms. (40 steps per ms) remains 490/490 properties
its-reach command run as :
BEST_FIRST walk for 400 steps (8 resets) in 19 ms. (20 steps per ms) remains 490/490 properties
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
BEST_FIRST walk for 400 steps (8 resets) in 7 ms. (50 steps per ms) remains 490/490 properties
[2024-05-27 00:43:56] [INFO ] Flow matrix only has 1122 transitions (discarded 120 similar events)
// Phase 1: matrix 1122 rows 834 cols
Loading property file /tmp/ReachabilityCardinality16117965080400378620.prop.
[2024-05-27 00:43:56] [INFO ] Computed 23 invariants in 33 ms
[2024-05-27 00:43:56] [INFO ] State equation strengthened by 205 read => feed constraints.
SDD proceeding with computation,490 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,490 properties remain. new max is 8
SDD size :2 after 9
SDD proceeding with computation,490 properties remain. new max is 16
SDD size :9 after 11
SDD proceeding with computation,490 properties remain. new max is 32
SDD size :11 after 12
SDD proceeding with computation,490 properties remain. new max is 64
SDD size :12 after 15
SDD proceeding with computation,490 properties remain. new max is 128
SDD size :15 after 16
SDD proceeding with computation,490 properties remain. new max is 256
SDD size :16 after 21
SDD proceeding with computation,490 properties remain. new max is 512
SDD size :21 after 76
SDD proceeding with computation,490 properties remain. new max is 1024
SDD size :76 after 180
Invariant property smplace_679 does not hold.
Invariant property smplace_253 does not hold.
Invariant property smplace_66 does not hold.
Invariant property smplace_65 does not hold.
Invariant property smplace_57 does not hold.
Invariant property smplace_30 does not hold.
SDD proceeding with computation,484 properties remain. new max is 1024
SDD size :180 after 874
Invariant property smplace_285 does not hold.
SDD proceeding with computation,483 properties remain. new max is 1024
SDD size :874 after 1264
SDD proceeding with computation,483 properties remain. new max is 2048
SDD size :1264 after 2322
SDD proceeding with computation,483 properties remain. new max is 4096
SDD size :2322 after 5193
Error getting values : (error "ParserException while parsing response: ((s9 (/ 1.0 2.0))
(s13 (/ 1.0 2.0))
(s15 (/ 1.0 2.0))
(s16 (/ 1.0 2.0))
(s19 (/ 1.0 2.0))
(s21 (/ 1.0 2.0))
(s30 (/ 1.0 2.0))
(s31 (/ 1.0 2.0))
(s33 (/ 1.0 2.0))
(s34 (/ 1.0 2.0))
(s35 (/ 1.0 2.0))
(s36 (/ 1.0 2.0))
(s37 (/ 1.0 2.0))
(s38 (/ 1.0 2.0))
(s40 (/ 1.0 2.0))
(s42 (/ 1.0 2.0))
(s43 (/ 1.0 2.0))
(s45 (/ 1.0 2.0))
(s46 (/ 1.0 2.0))
(s47 (/ 1.0 2.0))
(s48 (/ 1.0 2.0))
(s49 (/ 1.0 2.0))
(s50 (/ 1.0 2.0))
(s51 (/ 1.0 2.0))
(s53 (/ 1.0 2.0))
(s55 (/ 1.0 2.0))
(s56 (/ 1.0 2.0))
(s57 (/ 1.0 2.0))
(s58 (/ 1.0 2.0))
(s59 (/ 1.0 2.0))
(s60 (/ 1.0 2.0))
(s61 (/ 1.0 2.0))
(s62 (/ 1.0 2.0))
(s63 (/ 1.0 2.0))
(s64 (/ 1.0 2.0))
(s65 (/ 1.0 2.0))
(s66 (/ 1.0 2.0))
(s67 (/ 1.0 2.0))
(s68 (/ 1.0 2.0))
(s69 (/ 1.0 2.0))
(s70 (/ 1.0 2.0))
(s71 (/ 1.0 2.0))
(s72 (/ 1.0 2.0))
(s73 (/ 1.0 2.0))
(s74 (/ 1.0 2.0))
(s75 (/ 1.0 2.0))
(s76 (/ 1.0 2.0))
(s77 (/ 1.0 2.0))
(s78 (/ 1.0 2.0))
(s79 (/ 1.0 2.0))
(s80 (/ 1.0 2.0))
(s81 (/ 1.0 2.0))
(s82 (/ 1.0 2.0))
(s83 (/ 1.0 2.0))
(s84 (/ 1.0 2.0))
(s85 (/ 1.0 2.0))
(s86 (/ 1.0 2.0))
(s87 (/ 1.0 2.0))
(s88 (/ 1.0 2.0))
(s89 (/ 1.0 2.0))
(s90 (/ 1.0 2.0))
(s91 (/ 1.0 2.0))
(s92 (/ 1.0 2.0))
(s93 (/ 1.0 2.0))
(s94 (/ 1.0 2.0))
(s95 (/ 1.0 2.0))
(s96 (/ 1.0 2.0))
(s97 (/ 1.0 2.0))
(s98 (/ 1.0 2.0))
(s99 (/ 1.0 2.0))
(s100 (/ 1.0 2.0))
(s101 (/ 1.0 2.0))
(s102 (/ 1.0 2.0))
(s103 (/ 1.0 2.0))
(s104 (/ 1.0 2.0))
(s105 (/ 1.0 2.0))
(s106 (/ 1.0 2.0))
(s107 (/ 1.0 2.0))
(s108 (/ 1.0 2.0))
(s109 (/ 1.0 2.0))
(s110 (/ 1.0 2.0))
(s111 (/ 1.0 2.0))
(s112 (/ 1.0 2.0))
(s113 (/ 1.0 2.0))
(s114 (/ 1.0 2.0))
(s115 (/ 1.0 2.0))
(s116 (/ 1.0 2.0))
(s117 (/ 1.0 2.0))
(s118 (/ 1.0 2.0))
(s119 (/ 1.0 2.0))
(s120 (/ 1.0 2.0))
(s121 (/ 1.0 2.0))
(s122 (/ 1.0 2.0))
(s123 (/ 1.0 2.0))
(s124 (/ 1.0 2.0))
(s125 (/ 1.0 2.0))
(s126 (/ 1.0 2.0))
(s127 (/ 1.0 2.0))
(s128 (/ 1.0 2.0))
(s129 (/ 1.0 2.0))
(s130 (/ 1.0 2.0))
(s131 (/ 1.0 2.0))
(s132 (/ 1.0 2.0))
(s133 (/ 1.0 2.0))
(s134 (/ 1.0 2.0))
(s135 (/ 1.0 2.0))
(s136 (/ 1.0 2.0))
(s137 (/ 1.0 2.0))
(s138 (/ 1.0 2.0))
(s139 (/ 1.0 2.0))
(s140 (/ 1.0 2.0))
(s141 (/ 1.0 2.0))
(s142 (/ 1.0 2.0))
(s143 (/ 1.0 2.0))
(s144 (/ 1.0 2.0))
(s145 (/ 1.0 2.0))
(s146 (/ 1.0 2.0))
(s147 (/ 1.0 2.0))
(s148 (/ 1.0 2.0))
(s149 (/ 1.0 2.0))
(s150 (/ 1.0 2.0))
(s151 (/ 1.0 2.0))
(s152 (/ 1.0 2.0))
(s153 (/ 1.0 2.0))
(s154 (/ 1.0 2.0))
(s155 (/ 1.0 2.0))
(s156 (/ 1.0 2.0))
(s157 (/ 1.0 2.0))
(s158 (/ 1.0 2.0))
(s159 (/ 1.0 2.0))
(s160 (/ 1.0 2.0))
(s161 (/ 1.0 2.0))
(s162 (/ 1.0 2.0))
(s163 (/ 1.0 2.0))
(s164 (/ 1.0 2.0))
(s165 (/ 1.0 2.0))
(s166 (/ 1.0 2.0))
(s167 (/ 1.0 2.0))
(s168 (/ 1.0 2.0))
(s169 (/ 1.0 2.0))
(s170 (/ 1.0 2.0))
(s171 (/ 1.0 2.0))
(s172 (/ 1.0 2.0))
(s181 (/ 1.0 2.0))
(s182 (/ 1.0 2.0))
(s183 (/ 1.0 2.0))
(s184 (/ 1.0 2.0))
(s185 (/ 1.0 2.0))
(s187 (/ 1.0 2.0))
(s188 (/ 1.0 2.0))
(s239 (/ 1.0 2.0))
(s253 (/ 1.0 2.0))
(s256 (/ 1.0 2.0))
(s257 (/ 1.0 2.0))
(s258 (/ 1.0 2.0))
(s259 (/ 1.0 2.0))
(s260 (/ 1.0 2.0))
(s261 (/ 1.0 2.0))
(s262 (/ 1.0 2.0))
(s263 (/ 1.0 2.0))
(s265 (/ 1.0 2.0))
(s268 (/ 1.0 2.0))
(s269 (/ 1.0 2.0))
(s270 (/ 1.0 2.0))
(s272 (/ 1.0 2.0))
(s274 (/ 1.0 2.0))
(s280 (/ 1.0 2.0))
(s285 (/ 1.0 2.0))
(s286 (/ 1.0 2.0))
(s287 (/ 1.0 2.0))
(s288 (/ 1.0 2.0))
(s289 (/ 1.0 2.0))
(s290 (/ 1.0 2.0))
(s291 (/ 1.0 2.0))
(s292 (/ 1.0 2.0))
(s293 (/ 1.0 2.0))
(s294 (/ 1.0 2.0))
(s295 (/ 1.0 2.0))
(s296 (/ 1.0 2.0))
(s297 (/ 1.0 2.0))
(s298 (/ 1.0 2.0))
(s299 (/ 1.0 2.0))
(s300 (/ 1.0 2.0))
(s301 (/ 1.0 2.0))
(s302 (/ 1.0 2.0))
(s303 (/ 1.0 2.0))
(s304 (/ 1.0 2.0))
(s306 (/ 1.0 2.0))
(s307 (/ 1.0 2.0))
(s308 (/ 1.0 2.0))
(s309 (/ 1.0 2.0))
(s310 (/ 1.0 2.0))
(s312 (/ 1.0 2.0))
(s313 (/ 1.0 2.0))
(s314 (/ 1.0 2.0))
(s315 (/ 1.0 2.0))
(s316 (/ 1.0 2.0))
(s317 (/ 1.0 2.0))
(s318 (/ 1.0 2.0))
(s319 (/ 1.0 2.0))
(s320 (/ 1.0 2.0))
(s321 (/ 1.0 2.0))
(s322 (/ 1.0 2.0))
(s323 (/ 1.0 2.0))
(s324 (/ 1.0 2.0))
(s325 (/ 1.0 2.0))
(s326 (/ 1.0 2.0))
(s327 (/ 1.0 2.0))
(s328 (/ 1.0 2.0))
(s329 (/ 1.0 2.0))
(s330 (/ 1.0 2.0))
(s331 (/ 1.0 2.0))
(s332 (/ 1.0 2.0))
(s333 (/ 1.0 2.0))
(s334 (/ 1.0 2.0))
(s335 (/ 1.0 2.0))
(s336 (/ 1.0 2.0))
(s337 (/ 1.0 2.0))
(s338 (/ 1.0 2.0))
(s339 (/ 1.0 2.0))
(s340 (/ 1.0 2.0))
(s341 (/ 1.0 2.0))
(s342 (/ 1.0 2.0))
(s343 (/ 1.0 2.0))
(s344 (/ 1.0 2.0))
(s345 (/ 1.0 2.0))
(s346 (/ 1.0 2.0))
(s347 (/ 1.0 2.0))
(s348 (/ 1.0 2.0))
(s349 (/ 1.0 2.0))
(s350 (/ 1.0 2.0))
(s351 (/ 1.0 2.0))
(s352 (/ 1.0 2.0))
(s353 (/ 1.0 2.0))
(s354 (/ 1.0 2.0))
(s355 (/ 1.0 2.0))
(s356 (/ 1.0 2.0))
(s357 (/ 1.0 2.0))
(s358 (/ 1.0 2.0))
(s359 (/ 1.0 2.0))
(s360 (/ 1.0 2.0))
(s361 (/ 1.0 2.0))
(s362 (/ 1.0 2.0))
(s363 (/ 1.0 2.0))
(s364 (/ 1.0 2.0))
(s365 (/ 1.0 2.0))
(s366 (/ 1.0 2.0))
(s367 (/ 1.0 2.0))
(s368 (/ 1.0 2.0))
(s369 (/ 1.0 2.0))
(s370 (/ 1.0 2.0))
(s371 (/ 1.0 2.0))
(s372 (/ 1.0 2.0))
(s373 (/ 1.0 2.0))
(s374 (/ 1.0 2.0))
(s375 (/ 1.0 2.0))
(s376 (/ 1.0 2.0))
(s377 (/ 1.0 2.0))
(s378 (/ 1.0 2.0))
(s379 (/ 1.0 2.0))
(s380 (/ 1.0 2.0))
(s400 (/ 1.0 2.0))
(s405 (/ 1.0 2.0))
(s406 (/ 1.0 2.0))
(s407 (/ 1.0 2.0))
(s408 (/ 1.0 2.0))
(s409 (/ 1.0 2.0))
(s410 (/ 1.0 2.0))
(s411 (/ 1.0 2.0))
(s412 (/ 1.0 2.0))
(s414 (/ 1.0 2.0))
(s415 (/ 1.0 2.0))
(s416 (/ 1.0 2.0))
(s419 (/ 1.0 2.0))
(s426 (/ 1.0 2.0))
(s445 (/ 1.0 2.0))
(s446 (/ 1.0 2.0))
(s448 (/ 1.0 2.0))
(s449 (/ 1.0 2.0))
(s450 (/ 1.0 2.0))
(s451 (/ 1.0 2.0))
(s452 (/ 1.0 2.0))
(s453 (/ 1.0 2.0))
(s455 (/ 1.0 2.0))
(s456 (/ 1.0 2.0))
(s458 (/ 1.0 2.0))
(s459 (/ 1.0 2.0))
(s461 (/ 1.0 2.0))
(s462 (/ 1.0 2.0))
(s464 (/ 1.0 2.0))
(s465 (/ 1.0 2.0))
(s466 (/ 1.0 2.0))
(s467 (/ 1.0 2.0))
(s470 (/ 1.0 2.0))
(s476 (/ 1.0 2.0))
(s477 (/ 1.0 2.0))
(s478 (/ 1.0 2.0))
(s479 (/ 1.0 2.0))
(s480 (/ 1.0 2.0))
(s481 (/ 1.0 2.0))
(s482 (/ 1.0 2.0))
(s483 (/ 1.0 2.0))
(s484 (/ 1.0 2.0))
(s485 (/ 1.0 2.0))
(s486 (/ 1.0 2.0))
(s487 (/ 1.0 2.0))
(s488 (/ 1.0 2.0))
(s489 (/ 1.0 2.0))
(s490 (/ 1.0 2.0))
(s491 (/ 1.0 2.0))
(s492 (/ 1.0 2.0))
(s493 (/ 1.0 2.0))
(s494 (/ 1.0 2.0))
(s495 (/ 1.0 2.0))
(s496 (/ 1.0 2.0))
(s497 (/ 1.0 2.0))
(s498 (/ 1.0 2.0))
(s499 (/ 1.0 2.0))
(s500 (/ 1.0 2.0))
(s501 (/ 1.0 2.0))
(s502 (/ 1.0 2.0))
(s503 (/ 1.0 2.0))
(s504 (/ 1.0 2.0))
(s505 (/ 1.0 2.0))
(s506 (/ 1.0 2.0))
(s507 (/ 1.0 2.0))
(s508 (/ 1.0 2.0))
(s509 (/ 1.0 2.0))
(s510 (/ 1.0 2.0))
(s511 (/ 1.0 2.0))
(s512 (/ 1.0 2.0))
(s513 (/ 1.0 2.0))
(s514 (/ 1.0 2.0))
(s515 (/ 1.0 2.0))
(s516 (/ 1.0 2.0))
(s521 (/ 1.0 2.0))
(s523 (/ 1.0 2.0))
(s524 (/ 1.0 2.0))
(s541 (/ 1.0 2.0))
(s542 (/ 1.0 2.0))
(s543 (/ 1.0 2.0))
(s544 (/ 1.0 2.0))
(s545 (/ 1.0 2.0))
(s546 (/ 1.0 2.0))
(s547 (/ 1.0 2.0))
(s548 (/ 1.0 2.0))
(s549 (/ 1.0 2.0))
(s550 (/ 1.0 2.0))
(s551 (/ 1.0 2.0))
(s552 (/ 1.0 2.0))
(s553 (/ 1.0 2.0))
(s554 (/ 1.0 2.0))
(s555 (/ 1.0 2.0))
(s556 (/ 1.0 2.0))
(s557 (/ 1.0 2.0))
(s558 (/ 1.0 2.0))
(s559 (/ 1.0 2.0))
(s560 (/ 1.0 2.0))
(s561 (/ 1.0 2.0))
(s562 (/ 1.0 2.0))
(s563 (/ 1.0 2.0))
(s564 (/ 1.0 2.0))
(s565 (/ 1.0 2.0))
(s566 (/ 1.0 2.0))
(s567 (/ 1.0 2.0))
(s568 (/ 1.0 2.0))
(s569 (/ 1.0 2.0))
(s570 (/ 1.0 2.0))
(s571 (/ 1.0 2.0))
(s572 (/ 1.0 2.0))
(s592 (/ 1.0 2.0))
(s593 (/ 1.0 2.0))
(s594 (/ 1.0 2.0))
(s595 (/ 1.0 2.0))
(s597 (/ 1.0 2.0))
(s603 (/ 1.0 2.0))
(s637 (/ 1.0 2.0))
(s638 (/ 1.0 2.0))
(s639 (/ 1.0 2.0))
(s640 (/ 1.0 2.0))
(s641 (/ 1.0 2.0))
(s642 (/ 1.0 2.0))
(s643 (/ 1.0 2.0))
(s644 (/ 1.0 2.0))
(s645 (/ 1.0 2.0))
(s646 (/ 1.0 2.0))
(s647 (/ 1.0 2.0))
(s648 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/490 variables, 490/490 constraints. Problems are: Problem set: 0 solved, 490 unsolved
Invariant property smplace_675 does not hold.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 490/1956 variables, and 490 constraints, problems are : Problem set: 8 solved, 482 unsolved in 5103 ms.
Refiners :[Domain max(s): 490/834 constraints, Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 0/6 constraints, State Equation: 0/834 constraints, ReadFeed: 0/205 constraints, PredecessorRefiner: 490/490 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 8 solved, 482 unsolved
Invariant property smplace_464 does not hold.
Invariant property smplace_257 does not hold.
At refinement iteration 0 (INCLUDED_ONLY) 0/482 variables, 482/482 constraints. Problems are: Problem set: 10 solved, 480 unsolved
Invariant property smplace_34 does not hold.
SDD proceeding with computation,479 properties remain. new max is 4096
SDD size :5193 after 7516
Invariant property smplace_649 does not hold.
Invariant property smplace_648 does not hold.
Invariant property smplace_647 does not hold.
Invariant property smplace_508 does not hold.
Invariant property smplace_506 does not hold.
Invariant property smplace_505 does not hold.
Invariant property smplace_316 does not hold.
Invariant property smplace_286 does not hold.
SDD proceeding with computation,471 properties remain. new max is 4096
SDD size :7516 after 11371
Invariant property smplace_676 does not hold.
Invariant property smplace_465 does not hold.
Invariant property smplace_258 does not hold.
Invariant property smplace_33 does not hold.
SDD proceeding with computation,467 properties remain. new max is 4096
SDD size :11371 after 29340
SDD proceeding with computation,467 properties remain. new max is 8192
SDD size :29340 after 34070
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 482/1956 variables, and 482 constraints, problems are : Problem set: 23 solved, 467 unsolved in 5020 ms.
Refiners :[Domain max(s): 482/834 constraints, Positive P Invariants (semi-flows): 0/17 constraints, Generalized P Invariants (flows): 0/6 constraints, State Equation: 0/834 constraints, ReadFeed: 0/205 constraints, PredecessorRefiner: 0/490 constraints, Known Traps: 0/0 constraints]
After SMT, in 10433ms problems are : Problem set: 23 solved, 467 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 467 out of 834 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 834/834 places, 1242/1242 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 113 transitions
Trivial Post-agglo rules discarded 113 transitions
Performed 113 trivial Post agglomeration. Transition count delta: 113
Iterating post reduction 0 with 113 rules applied. Total rules applied 113 place count 834 transition count 1129
Reduce places removed 113 places and 0 transitions.
Iterating post reduction 1 with 113 rules applied. Total rules applied 226 place count 721 transition count 1129
Performed 85 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 85 Pre rules applied. Total rules applied 226 place count 721 transition count 1044
Deduced a syphon composed of 85 places in 2 ms
Reduce places removed 85 places and 0 transitions.
Iterating global reduction 2 with 170 rules applied. Total rules applied 396 place count 636 transition count 1044
Applied a total of 396 rules in 169 ms. Remains 636 /834 variables (removed 198) and now considering 1044/1242 (removed 198) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 186 ms. Remains : 636/834 places, 1044/1242 transitions.
Invariant property smplace_63 does not hold.
Invariant property smplace_62 does not hold.
Invariant property smplace_61 does not hold.
SDD proceeding with computation,464 properties remain. new max is 8192
SDD size :34070 after 67707
SDD proceeding with computation,464 properties remain. new max is 16384
SDD size :67707 after 132266
Invariant property smplace_697 does not hold.
Invariant property smplace_669 does not hold.
Invariant property smplace_459 does not hold.
Invariant property smplace_268 does not hold.
Invariant property smplace_263 does not hold.
Invariant property smplace_64 does not hold.
Invariant property smplace_43 does not hold.
Invariant property smplace_40 does not hold.
SDD proceeding with computation,456 properties remain. new max is 16384
SDD size :132266 after 247519
Invariant property smplace_291 does not hold.
SDD proceeding with computation,455 properties remain. new max is 16384
SDD size :247519 after 321828
SDD proceeding with computation,455 properties remain. new max is 32768
SDD size :321828 after 411444
RANDOM walk for 2954565 steps (8 resets) in 120006 ms. (24 steps per ms) remains 435/467 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 435/435 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 435/435 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 431/435 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 427/431 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 331 ms. (120 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 334 ms. (119 steps per ms) remains 427/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 236 ms. (168 steps per ms) remains 423/427 properties
BEST_FIRST walk for 40004 steps (8 resets) in 241 ms. (165 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 343 ms. (116 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 326 ms. (122 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 243 ms. (163 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 300 ms. (132 steps per ms) remains 423/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 419/423 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 310 ms. (128 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 321 ms. (124 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 260 ms. (153 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 314 ms. (126 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 234 ms. (170 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 257 ms. (155 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 262 ms. (152 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 310 ms. (128 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 267 ms. (149 steps per ms) remains 419/419 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 419/419 properties
[2024-05-27 00:44:44] [INFO ] Flow matrix only has 924 transitions (discarded 120 similar events)
// Phase 1: matrix 924 rows 636 cols
[2024-05-27 00:44:44] [INFO ] Computed 23 invariants in 7 ms
[2024-05-27 00:44:44] [INFO ] State equation strengthened by 205 read => feed constraints.
Invariant property smplace_641 does not hold.
Invariant property smplace_595 does not hold.
Invariant property smplace_414 does not hold.
Invariant property smplace_292 does not hold.
Invariant property smplace_290 does not hold.
Invariant property smplace_289 does not hold.
Invariant property smplace_272 does not hold.
Invariant property smplace_13 does not hold.
SDD proceeding with computation,447 properties remain. new max is 32768
SDD size :411444 after 592081
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/407 variables, 407/407 constraints. Problems are: Problem set: 0 solved, 407 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/407 variables, 0/407 constraints. Problems are: Problem set: 4 solved, 403 unsolved
At refinement iteration 2 (OVERLAPS) 187/594 variables, 6/413 constraints. Problems are: Problem set: 4 solved, 403 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/594 variables, 187/600 constraints. Problems are: Problem set: 4 solved, 403 unsolved
Invariant property smplace_644 does not hold.
Invariant property smplace_643 does not hold.
Invariant property smplace_642 does not hold.
Invariant property smplace_504 does not hold.
Invariant property smplace_503 does not hold.
Invariant property smplace_502 does not hold.
Invariant property smplace_501 does not hold.
SDD proceeding with computation,440 properties remain. new max is 32768
SDD size :592081 after 1.57497e+06
At refinement iteration 4 (INCLUDED_ONLY) 0/594 variables, 0/600 constraints. Problems are: Problem set: 11 solved, 396 unsolved
At refinement iteration 5 (OVERLAPS) 6/600 variables, 6/606 constraints. Problems are: Problem set: 11 solved, 396 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/600 variables, 6/612 constraints. Problems are: Problem set: 11 solved, 396 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/600 variables, 0/612 constraints. Problems are: Problem set: 11 solved, 396 unsolved
At refinement iteration 8 (OVERLAPS) 6/606 variables, 6/618 constraints. Problems are: Problem set: 11 solved, 396 unsolved
SDD proceeding with computation,440 properties remain. new max is 65536
SDD size :1.57497e+06 after 1.94114e+06
At refinement iteration 9 (INCLUDED_ONLY) 0/606 variables, 6/624 constraints. Problems are: Problem set: 11 solved, 396 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/606 variables, 0/624 constraints. Problems are: Problem set: 11 solved, 396 unsolved
At refinement iteration 11 (OVERLAPS) 924/1530 variables, 606/1230 constraints. Problems are: Problem set: 11 solved, 396 unsolved
Invariant property smplace_674 does not hold.
Invariant property smplace_467 does not hold.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 45134ms, After SMT, problems are : Problem set: 11 solved, 396 unsolved
Fused 396 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 396 out of 636 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 636/636 places, 1044/1044 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 0 with 37 rules applied. Total rules applied 37 place count 636 transition count 1007
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 1 with 37 rules applied. Total rules applied 74 place count 599 transition count 1007
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 17 Pre rules applied. Total rules applied 74 place count 599 transition count 990
Deduced a syphon composed of 17 places in 2 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 108 place count 582 transition count 990
Applied a total of 108 rules in 113 ms. Remains 582 /636 variables (removed 54) and now considering 990/1044 (removed 54) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 113 ms. Remains : 582/636 places, 990/1044 transitions.
Invariant property smplace_260 does not hold.
Invariant property smplace_35 does not hold.
SDD proceeding with computation,436 properties remain. new max is 65536
SDD size :1.94114e+06 after 2.78792e+06
Invariant property smplace_672 does not hold.
Invariant property smplace_592 does not hold.
Invariant property smplace_462 does not hold.
Invariant property smplace_426 does not hold.
Invariant property smplace_262 does not hold.
Invariant property smplace_239 does not hold.
Invariant property smplace_75 does not hold.
Invariant property smplace_37 does not hold.
Invariant property smplace_9 does not hold.
SDD proceeding with computation,427 properties remain. new max is 65536
SDD size :2.78792e+06 after 3.6797e+06
RANDOM walk for 3367815 steps (8 resets) in 120004 ms. (28 steps per ms) remains 392/396 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 233 ms. (170 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 261 ms. (152 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 231 ms. (172 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 392/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 285 ms. (139 steps per ms) remains 388/392 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 228 ms. (174 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 263 ms. (151 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 259 ms. (153 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 224 ms. (177 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 379 ms. (105 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 318 ms. (125 steps per ms) remains 388/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 308 ms. (129 steps per ms) remains 384/388 properties
BEST_FIRST walk for 40004 steps (8 resets) in 244 ms. (163 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 229 ms. (173 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 248 ms. (160 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 231 ms. (172 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 277 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 268 ms. (148 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 240 ms. (165 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 252 ms. (158 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 266 ms. (149 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 269 ms. (148 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 249 ms. (160 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 274 ms. (145 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 284 ms. (140 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 384/384 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 384/384 properties
SDD proceeding with computation,427 properties remain. new max is 131072
SDD size :3.6797e+06 after 5.39333e+06
SDD proceeding with computation,427 properties remain. new max is 262144
SDD size :5.39333e+06 after 9.21892e+06
Interrupted probabilistic random walk after 8797495 steps, run timeout after 117001 ms. (steps per millisecond=75 ) properties seen :0 out of 384
Probabilistic random walk after 8797495 steps, saw 1257775 distinct states, run finished after 117010 ms. (steps per millisecond=75 ) properties seen :0
[2024-05-27 00:48:06] [INFO ] Flow matrix only has 870 transitions (discarded 120 similar events)
// Phase 1: matrix 870 rows 582 cols
[2024-05-27 00:48:06] [INFO ] Computed 23 invariants in 5 ms
[2024-05-27 00:48:06] [INFO ] State equation strengthened by 205 read => feed constraints.
SDD proceeding with computation,427 properties remain. new max is 524288
SDD size :9.21892e+06 after 1.6322e+07
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/379 variables, 379/379 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/379 variables, 0/379 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 2 (OVERLAPS) 161/540 variables, 6/385 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/540 variables, 161/546 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/540 variables, 0/546 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 5 (OVERLAPS) 6/546 variables, 6/552 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/546 variables, 6/558 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/546 variables, 0/558 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 8 (OVERLAPS) 6/552 variables, 6/564 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/552 variables, 6/570 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/552 variables, 0/570 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 11 (OVERLAPS) 870/1422 variables, 552/1122 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1422 variables, 205/1327 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1422 variables, 0/1327 constraints. Problems are: Problem set: 0 solved, 379 unsolved
At refinement iteration 14 (OVERLAPS) 30/1452 variables, 30/1357 constraints. Problems are: Problem set: 0 solved, 379 unsolved
Error getting values : (error "ParserException while parsing response: ((t0 (/ 11.0 188.0))
(t1 (/ 11.0 188.0))
(t2 (/ 5.0 188.0))
(t3 (/ 5.0 188.0))
(t4 (/ 7.0 188.0))
(t5 (/ 2.0 47.0))
(t6 (/ 1.0 47.0))
(t7 (/ 7.0 188.0))
(t8 (/ 1.0 47.0))
(t9 (/ 1.0 47.0))
(t10 (/ 1.0 47.0))
(t11 (/ 1.0 47.0))
(t12 0.0)
(t13 0.0)
(t14 0.0)
(t15 0.0)
(t16 0.0)
(t17 0.0)
(t18 0.0)
(t19 0.0)
(t20 0.0)
(t21 0.0)
(t22 (/ 8.0 47.0))
(t23 0.0)
(t24 0.0)
(t25 0.0)
(t26 0.0)
(t27 0.0)
(t28 0.0)
(t29 0.0)
(t30 0.0)
(t31 0.0)
(t32 0.0)
(t33 0.0)
(t34 0.0)
(t35 0.0)
(t36 0.0)
(t37 0.0)
(t38 0.0)
(t39 0.0)
(t40 0.0)
(t41 0.0)
(t42 (/ 3.0 188.0))
(t43 (/ 1.0 47.0))
(t44 (/ 1.0 47.0))
(t45 (/ 9.0 47.0))
(t46 (/ 1.0 47.0))
(t47 (/ 10.0 47.0))
(t48 (/ 7.0 188.0))
(t49 (/ 7.0 188.0))
(t50 (/ 1.0 47.0))
(t51 (/ 11.0 188.0))
(t52 (/ 2.0 47.0))
(t53 (/ 2.0 47.0))
(t54 (/ 2.0 47.0))
(t55 (/ 3.0 47.0))
(t56 (/ 3.0 47.0))
(t57 (/ 11.0 188.0))
(t58 (/ 43.0 188.0))
(t59 (/ 15.0 188.0))
(t60 (/ 1.0 4.0))
(t61 (/ 9.0 188.0))
(t62 (/ 15.0 188.0))
(t63 (/ 15.0 188.0))
(t64 (/ 3.0 188.0))
(t65 (/ 1.0 47.0))
(t66 (/ 1.0 47.0))
(t67 (/ 1.0 47.0))
(t68 (/ 1.0 47.0))
(t69 (/ 7.0 188.0))
(t70 (/ 1.0 47.0))
(t71 (/ 2.0 47.0))
(t72 (/ 7.0 188.0))
(t73 (/ 2.0 47.0))
(t74 (/ 2.0 47.0))
(t75 (/ 11.0 188.0))
(t76 (/ 2.0 47.0))
(t77 (/ 11.0 188.0))
(t78 (/ 11.0 188.0))
(t79 (/ 15.0 188.0))
(t80 (/ 3.0 47.0))
(t81 (/ 3.0 188.0))
(t82 (/ 3.0 188.0))
(t83 (/ 2.0 47.0))
(t84 (/ 7.0 188.0))
(t85 (/ 7.0 188.0))
(t86 (/ 1.0 47.0))
(t87 (/ 1.0 47.0))
(t88 (/ 1.0 47.0))
(t89 (/ 1.0 47.0))
(t90 (/ 1.0 47.0))
(t91 (/ 3.0 47.0))
(t92 (/ 3.0 47.0))
(t93 (/ 11.0 188.0))
(t94 (/ 11.0 188.0))
(t95 (/ 2.0 47.0))
(t96 (/ 11.0 188.0))
(t97 (/ 2.0 47.0))
(t98 (/ 2.0 47.0))
(t99 (/ 15.0 188.0))
(t100 (/ 15.0 188.0))
(t101 (/ 15.0 188.0))
(t102 (/ 3.0 47.0))
(t103 (/ 15.0 188.0))
(t104 (/ 3.0 188.0))
(t105 (/ 1.0 47.0))
(t106 (/ 1.0 47.0))
(t107 (/ 2.0 47.0))
(t108 (/ 7.0 188.0))
(t109 (/ 2.0 47.0))
(t110 (/ 2.0 47.0))
(t111 (/ 1.0 47.0))
(t112 (/ 1.0 47.0))
(t113 (/ 7.0 188.0))
(t114 (/ 1.0 47.0))
(t115 (/ 3.0 47.0))
(t116 (/ 3.0 47.0))
(t117 (/ 3.0 47.0))
(t118 (/ 15.0 188.0))
(t119 (/ 2.0 47.0))
(t120 (/ 11.0 188.0))
(t121 (/ 11.0 188.0))
(t122 (/ 11.0 188.0))
(t123 (/ 15.0 188.0))
(t124 (/ 15.0 188.0))
(t125 (/ 15.0 188.0))
(t126 (/ 37.0 188.0))
(t127 (/ 1.0 47.0))
(t128 (/ 1.0 188.0))
(t129 (/ 1.0 188.0))
(t130 (/ 2.0 47.0))
(t131 (/ 5.0 188.0))
(t132 (/ 5.0 188.0))
(t133 (/ 5.0 188.0))
(t134 (/ 9.0 188.0))
(t135 (/ 9.0 188.0))
(t136 (/ 9.0 188.0))
(t137 (/ 2.0 47.0))
(t138 (/ 11.0 47.0))
(t139 (/ 3.0 47.0))
(t140 (/ 3.0 47.0))
(t141 (/ 3.0 47.0))
(t142 (/ 33.0 188.0))
(t143 (/ 1.0 188.0))
(t144 (/ 1.0 188.0))
(t145 (/ 1.0 188.0))
(t146 (/ 1.0 188.0))
(t147 (/ 1.0 188.0))
(t148 (/ 1.0 188.0))
(t149 (/ 5.0 188.0))
(t150 (/ 1.0 47.0))
(t151 (/ 5.0 188.0))
(t152 (/ 5.0 188.0))
(t153 (/ 2.0 47.0))
(t154 (/ 5.0 188.0))
(t155 (/ 9.0 188.0))
(t156 (/ 2.0 47.0))
(t157 (/ 9.0 188.0))
(t158 (/ 9.0 188.0))
(t159 (/ 3.0 47.0))
(t160 (/ 3.0 47.0))
(t161 (/ 3.0 47.0))
(t162 (/ 3.0 47.0))
(t163 (/ 3.0 47.0))
(t164 (/ 1.0 188.0))
(t165 (/ 2.0 47.0))
(t166 (/ 5.0 188.0))
(t167 (/ 5.0 188.0))
(t168 (/ 1.0 47.0))
(t169 (/ 5.0 188.0))
(t170 (/ 1.0 188.0))
(t171 (/ 1.0 188.0))
(t172 (/ 1.0 188.0))
(t173 (/ 1.0 188.0))
(t174 (/ 1.0 188.0))
(t175 (/ 2.0 47.0))
(t176 (/ 5.0 188.0))
(t177 (/ 2.0 47.0))
(t178 (/ 5.0 188.0))
(t179 (/ 1.0 47.0))
(t180 (/ 5.0 188.0))
(t181 (/ 5.0 188.0))
(t182 (/ 3.0 47.0))
(t183 (/ 3.0 47.0))
(t184 (/ 1.0 188.0))
(t185 (/ 1.0 188.0))
(t186 (/ 1.0 188.0))
(t187 (/ 1.0 188.0))
(t188 (/ 1.0 188.0))
(t189 0.0)
(t190 0.0)
(t191 0.0)
(t192 0.0)
(t193 0.0)
(t194 0.0)
(t195 0.0)
(t196 0.0)
(t197 0.0)
(t198 0.0)
(t199 0.0)
(t200 0.0)
(t201 0.0)
(t202 0.0)
(t203 0.0)
(t204 0.0)
(t205 0.0)
(t206 0.0)
(t207 0.0)
(t208 0.0)
(t209 0.0)
(t210 0.0)
(t211 0.0)
(t212 0.0)
(t213 0.0)
(t214 0.0)
(t215 0.0)
(t216 0.0)
(t217 0.0)
(t218 0.0)
(t219 0.0)
(t220 0.0)
(t221 0.0)
(t222 0.0)
(t223 0.0)
(t224 0.0)
(t225 0.0)
(t226 0.0)
(t227 0.0)
(t228 0.0)
(t229 (/ 9.0 188.0))
(t230 (/ 9.0 188.0))
(t231 (/ 2.0 47.0))
(t232 (/ 9.0 188.0))
(t233 (/ 5.0 188.0))
(t234 (/ 2.0 47.0))
(t235 (/ 5.0 188.0))
(t236 (/ 5.0 188.0))
(t237 (/ 1.0 47.0))
(t238 (/ 5.0 188.0))
(t239 (/ 1.0 188.0))
(t240 (/ 1.0 188.0))
(t241 (/ 1.0 188.0))
(t242 (/ 1.0 188.0))
(t243 (/ 1.0 188.0))
(t244 0.0)
(t245 0.0)
(t246 0.0)
(t247 0.0)
(t248 0.0)
(t249 0.0)
(t250 0.0)
(t251 0.0)
(t252 0.0)
(t253 0.0)
(t254 0.0)
(t255 0.0)
(t256 0.0)
(t257 (/ 5.0 94.0))
(t258 (/ 5.0 94.0))
(t259 (/ 7.0 94.0))
(t260 (/ 3.0 47.0))
(t261 (/ 1.0 94.0))
(t262 (/ 3.0 188.0))
(t263 (/ 3.0 188.0))
(t264 (/ 3.0 188.0))
(t265 (/ 3.0 188.0))
(t266 (/ 3.0 94.0))
(t267 (/ 3.0 188.0))
(t268 (/ 7.0 188.0))
(t269 (/ 3.0 94.0))
(t270 (/ 7.0 94.0))
(t271 (/ 23.0 94.0))
(t272 (/ 9.0 188.0))
(t273 (/ 7.0 94.0))
(t274 (/ 7.0 94.0))
(t275 (/ 1.0 94.0))
(t276 (/ 3.0 188.0))
(t277 (/ 3.0 188.0))
(t278 (/ 3.0 188.0))
(t279 (/ 3.0 188.0))
(t280 (/ 7.0 188.0))
(t281 (/ 3.0 94.0))
(t282 (/ 3.0 94.0))
(t283 (/ 3.0 188.0))
(t284 (/ 5.0 94.0))
(t285 (/ 7.0 188.0))
(t286 (/ 7.0 188.0))
(t287 (/ 7.0 188.0))
(t288 0.0)
(t289 0.0)
(t290 0.0)
(t291 0.0)
(t292 0.0)
(t293 0.0)
(t294 0.0)
(t295 0.0)
(t296 0.0)
(t297 0.0)
(t298 0.0)
(t299 0.0)
(t300 0.0)
(t301 0.0)
(t302 0.0)
(t303 0.0)
(t304 0.0)
(t305 0.0)
(t306 0.0)
(t307 0.0)
(t308 (/ 5.0 94.0))
(t309 (/ 5.0 94.0))
(t310 (/ 5.0 188.0))
(t311 (/ 5.0 188.0))
(t312 0.0)
(t313 0.0)
(t314 0.0)
(t315 0.0)
(t316 0.0)
(t317 (/ 3.0 188.0))
(t318 (/ 3.0 188.0))
(t319 (/ 3.0 188.0))
(t320 (/ 3.0 188.0))
(t321 (/ 3.0 94.0))
(t322 (/ 3.0 188.0))
(t323 (/ 7.0 188.0))
(t324 (/ 3.0 94.0))
(t325 (/ 91.0 94.0))
(t326 (/ 57.0 188.0))
(t327 (/ 175.0 188.0))
(t328 (/ 179.0 188.0))
(t329 (/ 175.0 188.0))
(t330 (/ 1.0 94.0))
(t331 (/ 12.0 47.0))
(t332 (/ 11.0 188.0))
(t333 (/ 7.0 94.0))
(t334 (/ 7.0 94.0))
(t335 (/ 7.0 94.0))
(t336 (/ 7.0 94.0))
(t337 (/ 7.0 188.0))
(t338 (/ 7.0 188.0))
(t339 (/ 7.0 188.0))
(t340 (/ 5.0 94.0))
(t341 (/ 5.0 94.0))
(t342 (/ 5.0 94.0))
(t343 (/ 11.0 188.0))
(t344 (/ 11.0 188.0))
(t345 (/ 39.0 188.0))
(t346 (/ 173.0 188.0))
(t347 (/ 12.0 47.0))
(t348 (/ 163.0 188.0))
(t349 (/ 159.0 188.0))
(t350 (/ 42.0 47.0))
(t351 (/ 1.0 94.0))
(t352 (/ 7.0 94.0))
(t353 (/ 5.0 94.0))
(t354 (/ 21.0 94.0))
(t355 (/ 11.0 188.0))
(t356 (/ 11.0 188.0))
(t357 (/ 7.0 188.0))
(t358 (/ 7.0 188.0))
(t359 (/ 7.0 188.0))
(t360 (/ 5.0 94.0))
(t361 (/ 3.0 188.0))
(t362 (/ 3.0 94.0))
(t363 (/ 3.0 94.0))
(t364 (/ 39.0 188.0))
(t365 (/ 3.0 188.0))
(t366 (/ 35.0 188.0))
(t367 (/ 3.0 188.0))
(t368 (/ 3.0 188.0))
(t369 (/ 3.0 188.0))
(t370 (/ 3.0 188.0))
(t371 (/ 3.0 188.0))
(t372 (/ 3.0 188.0))
(t373 (/ 1.0 94.0))
(t374 (/ 7.0 94.0))
(t375 (/ 7.0 94.0))
(t376 (/ 11.0 188.0))
(t377 (/ 7.0 94.0))
(t378 (/ 11.0 188.0))
(t379 (/ 11.0 188.0))
(t380 (/ 5.0 94.0))
(t381 (/ 5.0 94.0))
(t382 (/ 7.0 188.0))
(t383 (/ 5.0 94.0))
(t384 (/ 7.0 188.0))
(t385 (/ 7.0 188.0))
(t386 (/ 3.0 94.0))
(t387 (/ 7.0 188.0))
(t388 (/ 3.0 188.0))
(t389 (/ 3.0 94.0))
(t390 0.0)
(t391 0.0)
(t392 0.0)
(t393 0.0)
(t394 0.0)
(t395 (/ 5.0 188.0))
(t396 0.0)
(t397 (/ 9.0 188.0))
(t398 (/ 11.0 188.0))
(t399 (/ 4.0 47.0))
(t400 (/ 3.0 47.0))
(t401 (/ 4.0 47.0))
(t402 (/ 163.0 188.0))
(t403 (/ 4.0 47.0))
(t404 (/ 13.0 188.0))
(t405 (/ 3.0 47.0))
(t406 (/ 3.0 47.0))
(t407 (/ 65.0 94.0))
(t408 (/ 139.0 188.0))
(t409 (/ 9.0 188.0))
(t410 (/ 9.0 188.0))
(t411 (/ 9.0 188.0))
(t412 (/ 2.0 47.0))
(t413 (/ 13.0 188.0))
(t414 (/ 4.0 47.0))
(t415 (/ 4.0 47.0))
(t416 (/ 34.0 47.0))
(t417 (/ 13.0 188.0))
(t418 (/ 4.0 47.0))
(t419 (/ 41.0 47.0))
(t420 (/ 13.0 94.0))
(t421 0.0)
(t422 (/ 38.0 47.0))
(t423 (/ 8.0 47.0))
(t424 (/ 143.0 188.0))
(t425 0.0)
(t426 0.0)
(t427 0.0)
(t428 0.0)
(t429 0.0)
(t430 0.0)
(t431 0.0)
(t432 (/ 187.0 188.0))
(t433 0.0)
(t434 0.0)
(t435 0.0)
(t436 0.0)
(t437 0.0)
(t438 (/ 187.0 188.0))
(t439 0.0)
(t440 0.0)
(t441 0.0)
(t442 0.0)
(t443 0.0)
(t444 0.0)
(t445 0.0)
(t446 0.0)
(t447 (/ 187.0 188.0))
(t448 (/ 4.0 47.0))
(t449 (/ 4.0 47.0))
(t450 (/ 13.0 188.0))
(t451 (/ 4.0 47.0))
(t452 (/ 151.0 188.0))
(t453 (/ 4.0 47.0))
(t454 (/ 4.0 47.0))
(t455 (/ 13.0 188.0))
(t456 (/ 187.0 188.0))
(t457 (/ 34.0 47.0))
(t458 (/ 187.0 188.0))
(t459 (/ 187.0 188.0))
(t460 (/ 4.0 47.0))
(t461 (/ 13.0 188.0))timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 75180ms, After SMT, problems are : Problem set: 0 solved, 379 unsolved
Fused 379 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 379 out of 582 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 582/582 places, 990/990 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 582 transition count 982
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 574 transition count 982
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 16 place count 574 transition count 978
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 24 place count 570 transition count 978
Applied a total of 24 rules in 52 ms. Remains 570 /582 variables (removed 12) and now considering 978/990 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 52 ms. Remains : 570/582 places, 978/990 transitions.
RANDOM walk for 3448746 steps (8 resets) in 120004 ms. (28 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 275 ms. (144 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 310 ms. (128 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 316 ms. (126 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 330 ms. (120 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 344 ms. (115 steps per ms) remains 379/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 403 ms. (99 steps per ms) remains 372/379 properties
BEST_FIRST walk for 40004 steps (8 resets) in 341 ms. (116 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 363 ms. (109 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 357 ms. (111 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 328 ms. (121 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 334 ms. (119 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 311 ms. (128 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 390 ms. (102 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 413 ms. (96 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 418 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 317 ms. (125 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 388 ms. (102 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 311 ms. (128 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 372/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 368/372 properties
BEST_FIRST walk for 40004 steps (8 resets) in 325 ms. (122 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 328 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 331 ms. (120 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 325 ms. (122 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 350 ms. (113 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 393 ms. (101 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 409 ms. (97 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 323 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 326 ms. (122 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 339 ms. (117 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 371 ms. (107 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 305 ms. (130 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 333 ms. (119 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 342 ms. (116 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 387 ms. (103 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 401 ms. (99 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 307 ms. (129 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 331 ms. (120 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 321 ms. (124 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 329 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 361 ms. (110 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 317 ms. (125 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 340 ms. (117 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 329 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 312 ms. (127 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 331 ms. (120 steps per ms) remains 368/368 properties
BEST_FIRST walk for 40004 steps (8 resets) in 328 ms. (121 steps per ms) remains 368/368 properties
Invariant property smplace_695 does not hold.
Invariant property smplace_456 does not hold.
Invariant property smplace_303 does not hold.
Invariant property smplace_67 does not hold.
Invariant property smplace_46 does not hold.
SDD proceeding with computation,422 properties remain. new max is 524288
SDD size :1.6322e+07 after 2.85589e+07
Interrupted probabilistic random walk after 9423701 steps, run timeout after 117001 ms. (steps per millisecond=80 ) properties seen :0 out of 368
Probabilistic random walk after 9423701 steps, saw 1347274 distinct states, run finished after 117006 ms. (steps per millisecond=80 ) properties seen :0
[2024-05-27 00:51:58] [INFO ] Flow matrix only has 858 transitions (discarded 120 similar events)
// Phase 1: matrix 858 rows 570 cols
[2024-05-27 00:51:58] [INFO ] Computed 23 invariants in 6 ms
[2024-05-27 00:51:58] [INFO ] State equation strengthened by 205 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/364 variables, 364/364 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/364 variables, 0/364 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 2 (OVERLAPS) 164/528 variables, 6/370 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/528 variables, 164/534 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/528 variables, 0/534 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 5 (OVERLAPS) 6/534 variables, 6/540 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/534 variables, 6/546 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/534 variables, 0/546 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 8 (OVERLAPS) 6/540 variables, 6/552 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/540 variables, 6/558 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/540 variables, 0/558 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 11 (OVERLAPS) 858/1398 variables, 540/1098 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1398 variables, 205/1303 constraints. Problems are: Problem set: 0 solved, 364 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1398 variables, 0/1303 constraints. Problems are: Problem set: 0 solved, 364 unsolved
SMT process timed out in 90093ms, After SMT, problems are : Problem set: 0 solved, 364 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 364 out of 570 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 570/570 places, 978/978 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 570 transition count 969
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 18 place count 561 transition count 969
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 18 place count 561 transition count 966
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 24 place count 558 transition count 966
Applied a total of 24 rules in 87 ms. Remains 558 /570 variables (removed 12) and now considering 966/978 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 87 ms. Remains : 558/570 places, 966/978 transitions.
Detected timeout of ITS tools.
[2024-05-27 00:53:56] [INFO ] Flatten gal took : 136 ms
[2024-05-27 00:53:56] [INFO ] Applying decomposition
[2024-05-27 00:53:56] [INFO ] Flatten gal took : 163 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/convert-linux64' '-i' '/tmp/graph17996123457489875873.txt' '-o' '/tmp/graph17996123457489875873.bin' '-w' '/tmp/graph17996123457489875873.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405141337/bin/louvain-linux64' '/tmp/graph17996123457489875873.bin' '-l' '-1' '-v' '-w' '/tmp/graph17996123457489875873.weights' '-q' '0' '-e' '0.001'
[2024-05-27 00:53:57] [INFO ] Decomposing Gal with order
[2024-05-27 00:53:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-27 00:53:58] [INFO ] Removed a total of 1033 redundant transitions.
RANDOM walk for 2607476 steps (5 resets) in 120026 ms. (21 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 325 ms. (122 steps per ms) remains 364/364 properties
[2024-05-27 00:53:59] [INFO ] Flatten gal took : 633 ms
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 365 ms. (109 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 448 ms. (89 steps per ms) remains 364/364 properties
[2024-05-27 00:53:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 47 ms.
[2024-05-27 00:53:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16628981716562297301.gal : 57 ms
[2024-05-27 00:53:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality106494462918902565.prop : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality16628981716562297301.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality106494462918902565.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405141337/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...307
BEST_FIRST walk for 40004 steps (8 resets) in 488 ms. (81 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 494 ms. (80 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 425 ms. (93 steps per ms) remains 364/364 properties
Loading property file /tmp/ReachabilityCardinality106494462918902565.prop.
BEST_FIRST walk for 40004 steps (8 resets) in 454 ms. (87 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 451 ms. (88 steps per ms) remains 364/364 properties
SDD proceeding with computation,364 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,364 properties remain. new max is 8
SDD size :1 after 24
BEST_FIRST walk for 40004 steps (8 resets) in 417 ms. (95 steps per ms) remains 364/364 properties
SDD proceeding with computation,364 properties remain. new max is 16
SDD size :24 after 309
BEST_FIRST walk for 40004 steps (8 resets) in 444 ms. (89 steps per ms) remains 364/364 properties
SDD proceeding with computation,364 properties remain. new max is 32
SDD size :309 after 6152
BEST_FIRST walk for 40004 steps (8 resets) in 394 ms. (101 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 363 ms. (109 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 278 ms. (143 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 349 ms. (114 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 291 ms. (137 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 305 ms. (130 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 313 ms. (127 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 314 ms. (126 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 436 ms. (91 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 313 ms. (127 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 316 ms. (126 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 333 ms. (119 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 341 ms. (116 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 409 ms. (97 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 362 ms. (110 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 364 ms. (109 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 393 ms. (101 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 317 ms. (125 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 379 ms. (105 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 304 ms. (131 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 364/364 properties
BEST_FIRST walk for 40004 steps (8 resets) in 308 ms. (129 steps per ms) remains 364/364 properties
Invariant property smplace_748 does not hold.
Invariant property smplace_747 does not hold.
Invariant property smplace_734 does not hold.
Invariant property smplace_733 does not hold.
Invariant property smplace_712 does not hold.
Invariant property smplace_671 does not hold.
Invariant property smplace_563 does not hold.
Invariant property smplace_545 does not hold.
Invariant property smplace_480 does not hold.
Invariant property smplace_479 does not hold.
Invariant property smplace_478 does not hold.
Invariant property smplace_461 does not hold.
Invariant property smplace_373 does not hold.
Invariant property smplace_322 does not hold.
Invariant property smplace_321 does not hold.
Invariant property smplace_320 does not hold.
Invariant property smplace_319 does not hold.
Invariant property smplace_261 does not hold.
Invariant property smplace_120 does not hold.
Invariant property smplace_98 does not hold.
Invariant property smplace_97 does not hold.
Invariant property smplace_96 does not hold.
Invariant property smplace_95 does not hold.
Invariant property smplace_38 does not hold.
SDD proceeding with computation,340 properties remain. new max is 32
SDD size :3.06545e+06 after 1.75409e+07
SDD proceeding with computation,340 properties remain. new max is 64
SDD size :1.75409e+07 after 1.75597e+07
Invariant property smplace_694 does not hold.
Invariant property smplace_693 does not hold.
Invariant property smplace_691 does not hold.
Invariant property smplace_458 does not hold.
Invariant property smplace_455 does not hold.
Invariant property smplace_451 does not hold.
Invariant property smplace_307 does not hold.
Invariant property smplace_302 does not hold.
Invariant property smplace_301 does not hold.
Interrupted probabilistic random walk after 8821099 steps, run timeout after 105001 ms. (steps per millisecond=84 ) properties seen :0 out of 364
Probabilistic random walk after 8821099 steps, saw 1261130 distinct states, run finished after 105001 ms. (steps per millisecond=84 ) properties seen :0
[2024-05-27 00:55:49] [INFO ] Flow matrix only has 846 transitions (discarded 120 similar events)
// Phase 1: matrix 846 rows 558 cols
[2024-05-27 00:55:49] [INFO ] Computed 23 invariants in 5 ms
[2024-05-27 00:55:49] [INFO ] State equation strengthened by 205 read => feed constraints.
Invariant property smplace_50 does not hold.
Invariant property smplace_48 does not hold.
Invariant property smplace_47 does not hold.
SDD proceeding with computation,328 properties remain. new max is 64
SDD size :1.75597e+07 after 9.97986e+08
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/331 variables, 331/331 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/331 variables, 0/331 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 2 (OVERLAPS) 185/516 variables, 6/337 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/516 variables, 185/522 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/516 variables, 0/522 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 5 (OVERLAPS) 6/522 variables, 6/528 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/522 variables, 6/534 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/522 variables, 0/534 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 8 (OVERLAPS) 6/528 variables, 6/540 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/528 variables, 6/546 constraints. Problems are: Problem set: 3 solved, 328 unsolved
SDD proceeding with computation,328 properties remain. new max is 128
SDD size :9.97986e+08 after 9.97986e+08
At refinement iteration 10 (INCLUDED_ONLY) 0/528 variables, 0/546 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 11 (OVERLAPS) 846/1374 variables, 528/1074 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1374 variables, 205/1279 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1374 variables, 0/1279 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 14 (OVERLAPS) 30/1404 variables, 30/1309 constraints. Problems are: Problem set: 3 solved, 328 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1404 variables, 30/1339 constraints. Problems are: Problem set: 3 solved, 328 unsolved
Error getting values : (error "ParserException while parsing response: ((t0 (/ 7.0 218.0))
(t1 (/ 2.0 109.0))
(t2 (/ 2.0 109.0))
(t3 (/ 2.0 109.0))
(t4 (/ 1.0 218.0))
(t5 (/ 2.0 109.0))
(t6 (/ 2.0 109.0))
(t7 0.0)
(t8 0.0)
(t9 0.0)
(t10 0.0)
(t11 0.0)
(t12 0.0)
(t13 0.0)
(t14 0.0)
(t15 0.0)
(t16 0.0)
(t17 0.0)
(t18 0.0)
(t19 0.0)
(t20 0.0)
(t21 0.0)
(t22 0.0)
(t23 0.0)
(t24 0.0)
(t25 0.0)
(t26 0.0)
(t27 0.0)
(t28 0.0)
(t29 0.0)
(t30 0.0)
(t31 0.0)
(t32 0.0)
(t33 0.0)
(t34 0.0)
(t35 0.0)
(t36 0.0)
(t37 (/ 3.0 218.0))
(t38 (/ 2.0 109.0))
(t39 (/ 2.0 109.0))
(t40 (/ 2.0 109.0))
(t41 (/ 2.0 109.0))
(t42 (/ 4.0 109.0))
(t43 (/ 7.0 218.0))
(t44 (/ 7.0 218.0))
(t45 (/ 2.0 109.0))
(t46 (/ 11.0 218.0))
(t47 (/ 4.0 109.0))
(t48 (/ 4.0 109.0))
(t49 (/ 4.0 109.0))
(t50 (/ 6.0 109.0))
(t51 (/ 6.0 109.0))
(t52 (/ 11.0 218.0))
(t53 (/ 11.0 218.0))
(t54 (/ 6.0 109.0))
(t55 (/ 6.0 109.0))
(t56 (/ 15.0 218.0))
(t57 (/ 3.0 218.0))
(t58 (/ 2.0 109.0))
(t59 (/ 2.0 109.0))
(t60 (/ 2.0 109.0))
(t61 (/ 163.0 218.0))
(t62 (/ 7.0 218.0))
(t63 (/ 2.0 109.0))
(t64 (/ 4.0 109.0))
(t65 (/ 7.0 218.0))
(t66 (/ 5.0 218.0))
(t67 (/ 82.0 109.0))
(t68 (/ 11.0 218.0))
(t69 (/ 5.0 218.0))
(t70 (/ 11.0 218.0))
(t71 (/ 11.0 218.0))
(t72 (/ 6.0 109.0))
(t73 (/ 3.0 218.0))
(t74 (/ 3.0 218.0))
(t75 (/ 4.0 109.0))
(t76 (/ 7.0 218.0))
(t77 (/ 7.0 218.0))
(t78 (/ 2.0 109.0))
(t79 (/ 2.0 109.0))
(t80 (/ 2.0 109.0))
(t81 (/ 2.0 109.0))
(t82 (/ 2.0 109.0))
(t83 (/ 6.0 109.0))
(t84 (/ 6.0 109.0))
(t85 (/ 11.0 218.0))
(t86 (/ 11.0 218.0))
(t87 (/ 4.0 109.0))
(t88 (/ 11.0 218.0))
(t89 (/ 4.0 109.0))
(t90 (/ 4.0 109.0))
(t91 (/ 15.0 218.0))
(t92 (/ 15.0 218.0))
(t93 (/ 15.0 218.0))
(t94 (/ 6.0 109.0))
(t95 (/ 15.0 218.0))
(t96 (/ 3.0 218.0))
(t97 (/ 2.0 109.0))
(t98 (/ 2.0 109.0))
(t99 (/ 4.0 109.0))
(t100 (/ 7.0 218.0))
(t101 (/ 4.0 109.0))
(t102 (/ 4.0 109.0))
(t103 (/ 2.0 109.0))
(t104 (/ 2.0 109.0))
(t105 (/ 7.0 218.0))
(t106 (/ 2.0 109.0))
(t107 (/ 6.0 109.0))
(t108 (/ 6.0 109.0))
(t109 (/ 6.0 109.0))
(t110 (/ 15.0 218.0))
(t111 (/ 4.0 109.0))
(t112 (/ 11.0 218.0))
(t113 (/ 11.0 218.0))
(t114 (/ 11.0 218.0))
(t115 (/ 15.0 218.0))
(t116 (/ 6.0 109.0))
(t117 (/ 15.0 218.0))
(t118 (/ 5.0 218.0))
(t119 (/ 2.0 109.0))
(t120 (/ 1.0 218.0))
(t121 (/ 1.0 218.0))
(t122 (/ 4.0 109.0))
(t123 (/ 5.0 218.0))
(t124 (/ 5.0 218.0))
(t125 (/ 5.0 218.0))
(t126 (/ 9.0 218.0))
(t127 (/ 9.0 218.0))
(t128 (/ 4.0 109.0))
(t129 (/ 6.0 109.0))
(t130 (/ 6.0 109.0))
(t131 (/ 6.0 109.0))
(t132 (/ 1.0 218.0))
(t133 (/ 1.0 218.0))
(t134 (/ 1.0 218.0))
(t135 (/ 1.0 218.0))
(t136 (/ 1.0 218.0))
(t137 (/ 1.0 218.0))
(t138 (/ 1.0 218.0))
(t139 (/ 5.0 218.0))
(t140 (/ 2.0 109.0))
(t141 (/ 5.0 218.0))
(t142 (/ 5.0 218.0))
(t143 (/ 4.0 109.0))
(t144 (/ 5.0 218.0))
(t145 (/ 9.0 218.0))
(t146 (/ 4.0 109.0))
(t147 (/ 9.0 218.0))
(t148 (/ 9.0 218.0))
(t149 (/ 6.0 109.0))
(t150 (/ 6.0 109.0))
(t151 (/ 6.0 109.0))
(t152 (/ 6.0 109.0))
(t153 (/ 6.0 109.0))
(t154 (/ 1.0 218.0))
(t155 (/ 2.0 109.0))
(t156 (/ 1.0 218.0))
(t157 (/ 1.0 218.0))
(t158 (/ 1.0 218.0))
(t159 (/ 1.0 218.0))
(t160 (/ 1.0 218.0))
(t161 (/ 4.0 109.0))
(t162 (/ 5.0 218.0))
(t163 (/ 4.0 109.0))
(t164 (/ 5.0 218.0))
(t165 (/ 2.0 109.0))
(t166 (/ 5.0 218.0))
(t167 (/ 82.0 109.0))
(t168 (/ 6.0 109.0))
(t169 (/ 1.0 218.0))
(t170 (/ 1.0 218.0))
(t171 (/ 1.0 218.0))
(t172 (/ 1.0 218.0))
(t173 (/ 1.0 218.0))
(t174 0.0)
(t175 0.0)
(t176 0.0)
(t177 0.0)
(t178 0.0)
(t179 0.0)
(t180 0.0)
(t181 0.0)
(t182 0.0)
(t183 0.0)
(t184 0.0)
(t185 0.0)
(t186 0.0)
(t187 0.0)
(t188 0.0)
(t189 0.0)
(t190 0.0)
(t191 0.0)
(t192 0.0)
(t193 0.0)
(t194 0.0)
(t195 0.0)
(t196 0.0)
(t197 0.0)
(t198 0.0)
(t199 0.0)
(t200 0.0)
(t201 0.0)
(t202 0.0)
(t203 0.0)
(t204 0.0)
(t205 0.0)
(t206 0.0)
(t207 0.0)
(t208 0.0)
(t209 0.0)
(t210 0.0)
(t211 0.0)
(t212 (/ 9.0 218.0))
(t213 (/ 9.0 218.0))
(t214 (/ 4.0 109.0))
(t215 (/ 9.0 218.0))
(t216 (/ 5.0 218.0))
(t217 (/ 4.0 109.0))
(t218 (/ 5.0 218.0))
(t219 (/ 5.0 218.0))
(t220 (/ 2.0 109.0))
(t221 (/ 5.0 218.0))
(t222 (/ 1.0 218.0))
(t223 (/ 1.0 218.0))
(t224 (/ 1.0 218.0))
(t225 (/ 1.0 218.0))
(t226 (/ 1.0 218.0))
(t227 0.0)
(t228 0.0)
(t229 0.0)
(t230 0.0)
(t231 0.0)
(t232 0.0)
(t233 0.0)
(t234 0.0)
(t235 (/ 5.0 109.0))
(t236 (/ 5.0 109.0))
(t237 (/ 6.0 109.0))
(t238 (/ 1.0 109.0))
(t239 (/ 3.0 218.0))
(t240 (/ 3.0 218.0))
(t241 (/ 1.0 218.0))
(t242 (/ 3.0 218.0))
(t243 (/ 2.0 109.0))
(t244 (/ 3.0 218.0))
(t245 (/ 3.0 109.0))
(t246 (/ 6.0 109.0))
(t247 (/ 6.0 109.0))
(t248 (/ 7.0 109.0))
(t249 (/ 1.0 109.0))
(t250 (/ 3.0 218.0))
(t251 (/ 81.0 109.0))
(t252 (/ 3.0 218.0))
(t253 (/ 3.0 218.0))
(t254 (/ 7.0 218.0))
(t255 (/ 3.0 109.0))
(t256 (/ 3.0 109.0))
(t257 (/ 3.0 218.0))
(t258 (/ 5.0 109.0))
(t259 (/ 5.0 218.0))
(t260 (/ 5.0 218.0))
(t261 (/ 82.0 109.0))
(t262 0.0)
(t263 0.0)
(t264 0.0)
(t265 0.0)
(t266 0.0)
(t267 0.0)
(t268 0.0)
(t269 0.0)
(t270 0.0)
(t271 0.0)
(t272 0.0)
(t273 0.0)
(t274 0.0)
(t275 0.0)
(t276 0.0)
(t277 0.0)
(t278 0.0)
(t279 0.0)
(t280 0.0)
(t281 0.0)
(t282 0.0)
(t283 0.0)
(t284 0.0)
(t285 0.0)
(t286 0.0)
(t287 (/ 3.0 218.0))
(t288 (/ 3.0 218.0))
(t289 (/ 3.0 218.0))
(t290 (/ 3.0 218.0))
(t291 (/ 3.0 109.0))
(t292 (/ 3.0 218.0))
(t293 (/ 7.0 218.0))
(t294 (/ 3.0 109.0))
(t295 (/ 106.0 109.0))
(t296 (/ 106.0 109.0))
(t297 (/ 209.0 218.0))
(t298 (/ 213.0 218.0))
(t299 (/ 26.0 109.0))
(t300 (/ 1.0 109.0))
(t301 (/ 22.0 109.0))
(t302 (/ 11.0 218.0))
(t303 (/ 7.0 109.0))
(t304 (/ 7.0 109.0))
(t305 (/ 7.0 109.0))
(t306 (/ 7.0 109.0))
(t307 (/ 7.0 218.0))
(t308 (/ 7.0 218.0))
(t309 (/ 7.0 218.0))
(t310 (/ 5.0 109.0))
(t311 (/ 5.0 109.0))
(t312 (/ 5.0 109.0))
(t313 (/ 11.0 218.0))
(t314 (/ 11.0 218.0))
(t315 (/ 39.0 218.0))
(t316 (/ 207.0 218.0))
(t317 (/ 24.0 109.0))
(t318 (/ 20.0 109.0))
(t319 (/ 197.0 218.0))
(t320 (/ 22.0 109.0))
(t321 (/ 1.0 109.0))
(t322 (/ 7.0 109.0))
(t323 (/ 5.0 109.0))
(t324 (/ 5.0 109.0))
(t325 (/ 11.0 218.0))
(t326 (/ 11.0 218.0))
(t327 (/ 7.0 218.0))
(t328 (/ 7.0 218.0))
(t329 (/ 7.0 218.0))
(t330 (/ 5.0 109.0))
(t331 (/ 3.0 218.0))
(t332 (/ 3.0 109.0))
(t333 (/ 3.0 109.0))
(t334 (/ 7.0 218.0))
(t335 (/ 3.0 218.0))
(t336 (/ 3.0 218.0))
(t337 (/ 3.0 218.0))
(t338 (/ 3.0 218.0))
(t339 (/ 3.0 218.0))
(t340 (/ 3.0 218.0))
(t341 (/ 3.0 218.0))
(t342 (/ 3.0 218.0))
(t343 (/ 1.0 109.0))
(t344 (/ 7.0 109.0))
(t345 (/ 6.0 109.0))
(t346 (/ 11.0 218.0))
(t347 (/ 7.0 109.0))
(t348 (/ 11.0 218.0))
(t349 (/ 11.0 218.0))
(t350 (/ 5.0 109.0))
(t351 (/ 5.0 109.0))
(t352 (/ 7.0 218.0))
(t353 (/ 5.0 109.0))
(t354 (/ 7.0 218.0))
(t355 (/ 7.0 218.0))
(t356 (/ 3.0 109.0))
(t357 (/ 7.0 218.0))
(t358 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
SMT process timed out in 105089ms, After SMT, problems are : Problem set: 3 solved, 328 unsolved
Fused 328 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 328 out of 558 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 558/558 places, 966/966 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 18 transitions
Trivial Post-agglo rules discarded 18 transitions
Performed 18 trivial Post agglomeration. Transition count delta: 18
Iterating post reduction 0 with 18 rules applied. Total rules applied 18 place count 558 transition count 948
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 1 with 18 rules applied. Total rules applied 36 place count 540 transition count 948
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 36 place count 540 transition count 939
Deduced a syphon composed of 9 places in 2 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 54 place count 531 transition count 939
Applied a total of 54 rules in 58 ms. Remains 531 /558 variables (removed 27) and now considering 939/966 (removed 27) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 60 ms. Remains : 531/558 places, 939/966 transitions.
RANDOM walk for 2771124 steps (8 resets) in 120004 ms. (23 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 392 ms. (101 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 286 ms. (139 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 288 ms. (138 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 341 ms. (116 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 389 ms. (102 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 320 ms. (124 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 282 ms. (141 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 384 ms. (103 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 289 ms. (137 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 300 ms. (132 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 310 ms. (128 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 250 ms. (159 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 300 ms. (132 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 455 ms. (87 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 416 ms. (95 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 380 ms. (104 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 279 ms. (142 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 319 ms. (125 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 316 ms. (126 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 314 ms. (126 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 330 ms. (120 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 326 ms. (122 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 342 ms. (116 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 313 ms. (127 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 366 ms. (109 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 337 ms. (118 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 328/328 properties
Interrupted probabilistic random walk after 7739865 steps, run timeout after 105001 ms. (steps per millisecond=73 ) properties seen :0 out of 328
Probabilistic random walk after 7739865 steps, saw 1106726 distinct states, run finished after 105002 ms. (steps per millisecond=73 ) properties seen :0
[2024-05-27 00:59:54] [INFO ] Flow matrix only has 819 transitions (discarded 120 similar events)
// Phase 1: matrix 819 rows 531 cols
[2024-05-27 00:59:54] [INFO ] Computed 23 invariants in 4 ms
[2024-05-27 00:59:54] [INFO ] State equation strengthened by 205 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/328 variables, 328/328 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/328 variables, 0/328 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 2 (OVERLAPS) 161/489 variables, 6/334 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/489 variables, 161/495 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/489 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 5 (OVERLAPS) 6/495 variables, 6/501 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/495 variables, 6/507 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/495 variables, 0/507 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 8 (OVERLAPS) 6/501 variables, 6/513 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/501 variables, 6/519 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/501 variables, 0/519 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 11 (OVERLAPS) 819/1320 variables, 501/1020 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1320 variables, 205/1225 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1320 variables, 0/1225 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 14 (OVERLAPS) 30/1350 variables, 30/1255 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1350 variables, 30/1285 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 16 (INCLUDED_ONLY) 0/1350 variables, 5/1290 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1350 variables, 0/1290 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 18 (OVERLAPS) 0/1350 variables, 0/1290 constraints. Problems are: Problem set: 0 solved, 328 unsolved
No progress, stopping.
After SMT solving in domain Real declared 1350/1350 variables, and 1290 constraints, problems are : Problem set: 0 solved, 328 unsolved in 120008 ms.
Refiners :[Domain max(s): 531/531 constraints, Positive P Invariants (semi-flows): 17/17 constraints, Generalized P Invariants (flows): 6/6 constraints, State Equation: 531/531 constraints, ReadFeed: 205/205 constraints, PredecessorRefiner: 328/328 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 328 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/328 variables, 328/328 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/328 variables, 0/328 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 2 (OVERLAPS) 161/489 variables, 6/334 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/489 variables, 161/495 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/489 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 5 (OVERLAPS) 6/495 variables, 6/501 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/495 variables, 6/507 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/495 variables, 0/507 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 8 (OVERLAPS) 6/501 variables, 6/513 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/501 variables, 6/519 constraints. Problems are: Problem set: 0 solved, 328 unsolved
[2024-05-27 01:02:07] [INFO ] Deduced a trap composed of 34 places in 494 ms of which 51 ms to minimize.
[2024-05-27 01:02:08] [INFO ] Deduced a trap composed of 39 places in 455 ms of which 23 ms to minimize.
[2024-05-27 01:02:08] [INFO ] Deduced a trap composed of 44 places in 339 ms of which 5 ms to minimize.
[2024-05-27 01:02:09] [INFO ] Deduced a trap composed of 50 places in 228 ms of which 4 ms to minimize.
[2024-05-27 01:02:09] [INFO ] Deduced a trap composed of 58 places in 198 ms of which 4 ms to minimize.
[2024-05-27 01:02:10] [INFO ] Deduced a trap composed of 75 places in 265 ms of which 4 ms to minimize.
[2024-05-27 01:02:10] [INFO ] Deduced a trap composed of 109 places in 152 ms of which 3 ms to minimize.
[2024-05-27 01:02:10] [INFO ] Deduced a trap composed of 92 places in 177 ms of which 4 ms to minimize.
[2024-05-27 01:02:10] [INFO ] Deduced a trap composed of 64 places in 144 ms of which 3 ms to minimize.
[2024-05-27 01:02:11] [INFO ] Deduced a trap composed of 72 places in 132 ms of which 3 ms to minimize.
[2024-05-27 01:02:11] [INFO ] Deduced a trap composed of 84 places in 89 ms of which 2 ms to minimize.
[2024-05-27 01:02:11] [INFO ] Deduced a trap composed of 89 places in 88 ms of which 2 ms to minimize.
[2024-05-27 01:02:11] [INFO ] Deduced a trap composed of 112 places in 102 ms of which 2 ms to minimize.
[2024-05-27 01:02:11] [INFO ] Deduced a trap composed of 129 places in 99 ms of which 2 ms to minimize.
[2024-05-27 01:02:11] [INFO ] Deduced a trap composed of 152 places in 102 ms of which 2 ms to minimize.
At refinement iteration 10 (INCLUDED_ONLY) 0/501 variables, 15/534 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/501 variables, 0/534 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 12 (OVERLAPS) 819/1320 variables, 501/1035 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1320 variables, 205/1240 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1320 variables, 328/1568 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 15 (INCLUDED_ONLY) 0/1320 variables, 0/1568 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 16 (OVERLAPS) 30/1350 variables, 30/1598 constraints. Problems are: Problem set: 0 solved, 328 unsolved
At refinement iteration 17 (INCLUDED_ONLY) 0/1350 variables, 30/1628 constraints. Problems are: Problem set: 0 solved, 328 unsolved
SMT process timed out in 240107ms, After SMT, problems are : Problem set: 0 solved, 328 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 328 out of 531 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 531/531 places, 939/939 transitions.
Applied a total of 0 rules in 49 ms. Remains 531 /531 variables (removed 0) and now considering 939/939 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 50 ms. Remains : 531/531 places, 939/939 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 531/531 places, 939/939 transitions.
Applied a total of 0 rules in 37 ms. Remains 531 /531 variables (removed 0) and now considering 939/939 (removed 0) transitions.
[2024-05-27 01:03:54] [INFO ] Flow matrix only has 819 transitions (discarded 120 similar events)
[2024-05-27 01:03:54] [INFO ] Invariant cache hit.
[2024-05-27 01:03:54] [INFO ] Implicit Places using invariants in 460 ms returned [495, 507, 508, 509, 510, 511]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 474 ms to find 6 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 525/531 places, 939/939 transitions.
Applied a total of 0 rules in 22 ms. Remains 525 /525 variables (removed 0) and now considering 939/939 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 535 ms. Remains : 525/531 places, 939/939 transitions.
Detected timeout of ITS tools.
RANDOM walk for 2482708 steps (5 resets) in 120004 ms. (20 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 251 ms. (158 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 242 ms. (164 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 368 ms. (108 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 331 ms. (120 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 376 ms. (106 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 343 ms. (116 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 330 ms. (120 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 314 ms. (126 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 381 ms. (104 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 271 ms. (147 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 337 ms. (118 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 372 ms. (107 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 265 ms. (150 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 333 ms. (119 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 264 ms. (150 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 371 ms. (107 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 369 ms. (108 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 356 ms. (112 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 297 ms. (134 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 328/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 385 ms. (103 steps per ms) remains 324/328 properties
BEST_FIRST walk for 40004 steps (8 resets) in 292 ms. (136 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 280 ms. (142 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 295 ms. (135 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 374 ms. (106 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 371 ms. (107 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 371 ms. (107 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 369 ms. (108 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 255 ms. (156 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 238 ms. (167 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 290 ms. (137 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 303 ms. (131 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 370 ms. (107 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 369 ms. (108 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 367 ms. (108 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 296 ms. (134 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 273 ms. (146 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 294 ms. (135 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 299 ms. (133 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 293 ms. (136 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 315 ms. (126 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 400 ms. (99 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 378 ms. (105 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 301 ms. (132 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 383 ms. (104 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 352 ms. (113 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 346 ms. (115 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 360 ms. (110 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 373 ms. (106 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 287 ms. (138 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 276 ms. (144 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 302 ms. (132 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 281 ms. (141 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 298 ms. (133 steps per ms) remains 324/324 properties
BEST_FIRST walk for 40004 steps (8 resets) in 330 ms. (120 steps per ms) remains 324/324 properties
Interrupted probabilistic random walk after 7840196 steps, run timeout after 111001 ms. (steps per millisecond=70 ) properties seen :0 out of 324
Probabilistic random walk after 7840196 steps, saw 1121013 distinct states, run finished after 111004 ms. (steps per millisecond=70 ) properties seen :0
[2024-05-27 01:06:23] [INFO ] Flow matrix only has 819 transitions (discarded 120 similar events)
// Phase 1: matrix 819 rows 525 cols
[2024-05-27 01:06:23] [INFO ] Computed 17 invariants in 7 ms
[2024-05-27 01:06:23] [INFO ] State equation strengthened by 205 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/324 variables, 324/324 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/324 variables, 0/324 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 2 (OVERLAPS) 165/489 variables, 6/330 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/489 variables, 165/495 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/489 variables, 0/495 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 5 (OVERLAPS) 6/495 variables, 6/501 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/495 variables, 6/507 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/495 variables, 0/507 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 8 (OVERLAPS) 819/1314 variables, 495/1002 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1314 variables, 205/1207 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1314 variables, 0/1207 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 11 (OVERLAPS) 30/1344 variables, 30/1237 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1344 variables, 30/1267 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1344 variables, 5/1272 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 14 (INCLUDED_ONLY) 0/1344 variables, 0/1272 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 15 (OVERLAPS) 0/1344 variables, 0/1272 constraints. Problems are: Problem set: 0 solved, 324 unsolved
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
No progress, stopping.
After SMT solving in domain Real declared 1344/1344 variables, and 1272 constraints, problems are : Problem set: 0 solved, 324 unsolved in 135015 ms.
Refiners :[Domain max(s): 525/525 constraints, Positive P Invariants (semi-flows): 17/17 constraints, State Equation: 525/525 constraints, ReadFeed: 205/205 constraints, PredecessorRefiner: 324/324 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 324 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/324 variables, 324/324 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/324 variables, 0/324 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 2 (OVERLAPS) 165/489 variables, 6/330 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/489 variables, 165/495 constraints. Problems are: Problem set: 0 solved, 324 unsolved
[2024-05-27 01:08:43] [INFO ] Deduced a trap composed of 34 places in 481 ms of which 8 ms to minimize.
[2024-05-27 01:08:43] [INFO ] Deduced a trap composed of 39 places in 381 ms of which 6 ms to minimize.
[2024-05-27 01:08:44] [INFO ] Deduced a trap composed of 44 places in 341 ms of which 5 ms to minimize.
[2024-05-27 01:08:45] [INFO ] Deduced a trap composed of 50 places in 251 ms of which 4 ms to minimize.
[2024-05-27 01:08:45] [INFO ] Deduced a trap composed of 58 places in 249 ms of which 4 ms to minimize.
[2024-05-27 01:08:45] [INFO ] Deduced a trap composed of 75 places in 241 ms of which 4 ms to minimize.
[2024-05-27 01:08:46] [INFO ] Deduced a trap composed of 109 places in 153 ms of which 2 ms to minimize.
[2024-05-27 01:08:46] [INFO ] Deduced a trap composed of 92 places in 154 ms of which 3 ms to minimize.
[2024-05-27 01:08:46] [INFO ] Deduced a trap composed of 72 places in 133 ms of which 3 ms to minimize.
[2024-05-27 01:08:46] [INFO ] Deduced a trap composed of 64 places in 135 ms of which 3 ms to minimize.
[2024-05-27 01:08:46] [INFO ] Deduced a trap composed of 84 places in 120 ms of which 2 ms to minimize.
[2024-05-27 01:08:47] [INFO ] Deduced a trap composed of 89 places in 136 ms of which 3 ms to minimize.
[2024-05-27 01:08:47] [INFO ] Deduced a trap composed of 112 places in 152 ms of which 3 ms to minimize.
[2024-05-27 01:08:47] [INFO ] Deduced a trap composed of 129 places in 144 ms of which 3 ms to minimize.
[2024-05-27 01:08:47] [INFO ] Deduced a trap composed of 152 places in 159 ms of which 3 ms to minimize.
At refinement iteration 4 (INCLUDED_ONLY) 0/489 variables, 15/510 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/489 variables, 0/510 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 6 (OVERLAPS) 6/495 variables, 6/516 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/495 variables, 6/522 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/495 variables, 0/522 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 9 (OVERLAPS) 819/1314 variables, 495/1017 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1314 variables, 205/1222 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/1314 variables, 324/1546 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1314 variables, 0/1546 constraints. Problems are: Problem set: 0 solved, 324 unsolved
At refinement iteration 13 (OVERLAPS) 30/1344 variables, 30/1576 constraints. Problems are: Problem set: 0 solved, 324 unsolved
SMT process timed out in 270099ms, After SMT, problems are : Problem set: 0 solved, 324 unsolved
Fused 324 Parikh solutions to 93 different solutions.
Parikh walk visited 68 properties in 4046 ms.
Support contains 256 out of 525 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 525/525 places, 939/939 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 45 transitions
Trivial Post-agglo rules discarded 45 transitions
Performed 45 trivial Post agglomeration. Transition count delta: 45
Iterating post reduction 0 with 45 rules applied. Total rules applied 45 place count 525 transition count 894
Reduce places removed 45 places and 0 transitions.
Iterating post reduction 1 with 45 rules applied. Total rules applied 90 place count 480 transition count 894
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 12 Pre rules applied. Total rules applied 90 place count 480 transition count 882
Deduced a syphon composed of 12 places in 3 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 24 rules applied. Total rules applied 114 place count 468 transition count 882
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 122 place count 464 transition count 878
Applied a total of 122 rules in 33 ms. Remains 464 /525 variables (removed 61) and now considering 878/939 (removed 61) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 33 ms. Remains : 464/525 places, 878/939 transitions.
RANDOM walk for 4000000 steps (8 resets) in 78985 ms. (50 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 228 ms. (174 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 326 ms. (122 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 334 ms. (119 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 311 ms. (128 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 327 ms. (121 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 307 ms. (129 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 345 ms. (115 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 419 ms. (95 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 397 ms. (100 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 434 ms. (91 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 354 ms. (112 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 347 ms. (114 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 307 ms. (129 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 329 ms. (121 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 333 ms. (119 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 353 ms. (113 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 338 ms. (118 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 305 ms. (130 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 355 ms. (112 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 245 ms. (162 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 340 ms. (117 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 420 ms. (95 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 440 ms. (90 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 428 ms. (93 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 439 ms. (90 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 402 ms. (99 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 382 ms. (104 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 398 ms. (100 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 442 ms. (90 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 351 ms. (113 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 359 ms. (111 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 339 ms. (117 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 324 ms. (123 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 343 ms. (116 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 322 ms. (123 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 283 ms. (140 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 358 ms. (111 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 335 ms. (119 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 336 ms. (118 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 375 ms. (106 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 339 ms. (117 steps per ms) remains 256/256 properties
BEST_FIRST walk for 40004 steps (8 resets) in 348 ms. (114 steps per ms) remains 256/256 properties
Interrupted probabilistic random walk after 5811155 steps, run timeout after 75001 ms. (steps per millisecond=77 ) properties seen :0 out of 256
Probabilistic random walk after 5811155 steps, saw 831134 distinct states, run finished after 75001 ms. (steps per millisecond=77 ) properties seen :0
[2024-05-27 01:12:38] [INFO ] Flow matrix only has 758 transitions (discarded 120 similar events)
// Phase 1: matrix 758 rows 464 cols
[2024-05-27 01:12:38] [INFO ] Computed 17 invariants in 2 ms
[2024-05-27 01:12:38] [INFO ] State equation strengthened by 205 read => feed constraints.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/256 variables, 256/256 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/256 variables, 0/256 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 2 (OVERLAPS) 172/428 variables, 6/262 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/428 variables, 172/434 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/428 variables, 0/434 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 5 (OVERLAPS) 6/434 variables, 6/440 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/434 variables, 6/446 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/434 variables, 0/446 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 8 (OVERLAPS) 758/1192 variables, 434/880 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 9 (INCLUDED_ONLY) 0/1192 variables, 205/1085 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/1192 variables, 0/1085 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 11 (OVERLAPS) 30/1222 variables, 30/1115 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 12 (INCLUDED_ONLY) 0/1222 variables, 30/1145 constraints. Problems are: Problem set: 0 solved, 256 unsolved
At refinement iteration 13 (INCLUDED_ONLY) 0/1222 variables, 5/1150 constraints. Problems are: Problem set: 0 solved, 256 unsolved
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ 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//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-5"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool itstools"
echo " Input is Peterson-PT-5, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r277-smll-171654416900173"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-5.tgz
mv Peterson-PT-5 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;